Home | History | Annotate | Download | only in GC
      1 ; RUN: not llvm-as < %s >& /dev/null
      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 void @llvm.gcwrite(%list*, %list*, %list**)
      8 
      9 define %list* @cons(i32 %hd, %list* %tl) gc "example" {
     10 	%tmp = call i8* @gcalloc(i32 bitcast(%list* getelementptr(%list, %list* null, i32 1) to i32))
     11 	%cell = bitcast i8* %tmp to %list*
     12 	
     13 	%hd.ptr = getelementptr %list, %list* %cell, i32 0, i32 0
     14 	store i32 %hd, i32* %hd.ptr
     15 	
     16 	%tl.ptr = getelementptr %list, %list* %cell, i32 0, i32 0
     17 	call void @llvm.gcwrite(%list* %tl, %list* %cell, %list** %tl.ptr)
     18 	
     19 	ret %cell.2
     20 }
     21 
     22 declare i8* @gcalloc(i32)
     23