test/Verifier/gcroot.ll

   1 ; RUN: not llvm-as -o /dev/null %s 2>&1 | FileCheck %s
   2 ; PR1633
   3
   4 declare void @llvm.gcroot(i8**, i8*)
   5
   6 define void @caller_must_use_gc() {
   7   ; CHECK: Enclosing function does not use GC.
   8   ; CHECK-NEXT: call void @llvm.gcroot(i8** %alloca, i8* null)
   9   %alloca = alloca i8*
  10   call void @llvm.gcroot(i8** %alloca, i8* null)
  11   ret void
  12 }
  13
  14 define void @must_be_alloca() gc "test" {
  15 ; CHECK: llvm.gcroot parameter #1 must be an alloca.
  16 ; CHECK-NEXT: call void @llvm.gcroot(i8** null, i8* null)
  17   call void @llvm.gcroot(i8** null, i8* null)
  18   ret void
  19 }
  20
  21 define void @non_ptr_alloca_null() gc "test" {
  22   ; CHECK: llvm.gcroot parameter #1 must either be a pointer alloca, or argument #2 must be a non-null constant.
  23   ; CHECK-NEXT: call void @llvm.gcroot(i8** %cast.alloca, i8* null)
  24   %alloca = alloca i32
  25   %cast.alloca = bitcast i32* %alloca to i8**
  26   call void @llvm.gcroot(i8** %cast.alloca, i8* null)
  27   ret void
  28 }
  29
  30 define void @non_constant_arg1(i8* %arg) gc "test" {
  31   ; CHECK: llvm.gcroot parameter #2 must be a constant.
  32   ; CHECK-NEXT: call void @llvm.gcroot(i8** %alloca, i8* %arg)
  33   %alloca = alloca i8*
  34   call void @llvm.gcroot(i8** %alloca, i8* %arg)
  35   ret void
  36 }
  37
  38 define void @non_ptr_alloca_non_null() gc "test" {
  39 ; CHECK-NOT: llvm.gcroot parameter
  40   %alloca = alloca i32
  41   %cast.alloca = bitcast i32* %alloca to i8**
  42   call void @llvm.gcroot(i8** %cast.alloca, i8* inttoptr (i64 123 to i8*))
  43   ret void
  44 }
  45
  46 define void @casted_alloca() gc "test" {
  47 ; CHECK-NOT: llvm.gcroot parameter
  48   %alloca = alloca i32*
  49   %ptr.cast.alloca = bitcast i32** %alloca to i8**
  50   call void @llvm.gcroot(i8** %ptr.cast.alloca, i8* null)
  51   ret void
  52 }