Adjusting verification of "llvm.gc*" intrinsic prototypes to match
[oota-llvm.git] / test / CodeGen / Generic / GC / badreadproto.ll
1 ; RUN: not llvm-as < %s
2
3         %list = type { i32, %list* }
4
5 ; This usage is invalid now; instead, objects must be bitcast to i8* for input
6 ; to the gc intrinsics.
7 declare %list* @llvm.gcread(%list*, %list**)
8
9 define %list* @tl(%list* %l) gc "example" {
10         %hd.ptr = getelementptr %list* %l, i32 0, i32 0
11         %hd = call %list* @llvm.gcread(%list* %l, %list** %hd.ptr)
12         ret i32 %tmp
13 }