test/Verifier/statepoint.ll

   1 ; RUN: opt -S %s -verify | FileCheck %s
   2
   3 declare void @use(...)
   4 declare i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(i32, i32, i32)
   5 declare i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32, i32, i32)
   6 declare i32 @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()*, i32, i32, ...)
   7 declare i32 @"personality_function"()
   8
   9 ;; Basic usage
  10 define i64 addrspace(1)* @test1(i8 addrspace(1)* %arg) gc "statepoint-example" {
  11 entry:
  12   %cast = bitcast i8 addrspace(1)* %arg to i64 addrspace(1)*
  13   %safepoint_token = call i32 (void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* undef, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, i8 addrspace(1)* %arg, i64 addrspace(1)* %cast, i8 addrspace(1)* %arg, i8 addrspace(1)* %arg)
  14   %reloc = call i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %safepoint_token, i32 9, i32 10)
  15   ;; It is perfectly legal to relocate the same value multiple times...
  16   %reloc2 = call i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %safepoint_token, i32 9, i32 10)
  17   %reloc3 = call i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(i32 %safepoint_token, i32 10, i32 9)
  18   ret i64 addrspace(1)* %reloc
  19 ; CHECK-LABEL: test1
  20 ; CHECK: statepoint
  21 ; CHECK: gc.relocate
  22 ; CHECK: gc.relocate
  23 ; CHECK: gc.relocate
  24 ; CHECK: ret i64 addrspace(1)* %reloc
  25 }
  26
  27 ; This test catches two cases where the verifier was too strict:
  28 ; 1) A base doesn't need to be relocated if it's never used again
  29 ; 2) A value can be replaced by one which is known equal.  This
  30 ; means a potentially derived pointer can be known base and that
  31 ; we can't check that derived pointer are never bases.
  32 define void @test2(i8 addrspace(1)* %arg, i64 addrspace(1)* %arg2) gc "statepoint-example" {
  33 entry:
  34   %cast = bitcast i8 addrspace(1)* %arg to i64 addrspace(1)*
  35   %c = icmp eq i64 addrspace(1)* %cast,  %arg2
  36   br i1 %c, label %equal, label %notequal
  37
  38 notequal:
  39   ret void
  40
  41 equal:
  42   %safepoint_token = call i32 (void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* undef, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, i8 addrspace(1)* %arg, i64 addrspace(1)* %cast, i8 addrspace(1)* %arg, i8 addrspace(1)* %arg)
  43   %reloc = call i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %safepoint_token, i32 9, i32 10)
  44   call void undef(i64 addrspace(1)* %reloc)
  45   ret void
  46 ; CHECK-LABEL: test2
  47 ; CHECK-LABEL: equal
  48 ; CHECK: statepoint
  49 ; CHECK-NEXT: %reloc = call
  50 ; CHECK-NEXT: call
  51 ; CHECK-NEXT: ret voi
  52 }
  53
  54 ; Basic test for invoke statepoints
  55 define i8 addrspace(1)* @test3(i8 addrspace(1)* %obj, i8 addrspace(1)* %obj1) gc "statepoint-example" {
  56 ; CHECK-LABEL: test3
  57 entry:
  58   ; CHECK-LABEL: entry
  59   ; CHECK: statepoint
  60   %0 = invoke i32 (void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* undef, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i8 addrspace(1)* %obj, i8 addrspace(1)* %obj1)
  61           to label %normal_dest unwind label %exceptional_return
  62
  63 normal_dest:
  64   ; CHECK-LABEL: normal_dest:
  65   ; CHECK: gc.relocate
  66   ; CHECK: gc.relocate
  67   ; CHECK: ret
  68   %obj.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(i32 %0, i32 9, i32 9)
  69   %obj1.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(i32 %0, i32 10, i32 10)
  70   ret i8 addrspace(1)* %obj.relocated
  71
  72 exceptional_return:
  73   ; CHECK-LABEL: exceptional_return
  74   ; CHECK: gc.relocate
  75   ; CHECK: gc.relocate
  76   %landing_pad = landingpad { i8*, i32 } personality i32 ()* @"personality_function"
  77           cleanup
  78   %relocate_token = extractvalue { i8*, i32 } %landing_pad, 1
  79   %obj.relocated1 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(i32 %relocate_token, i32 9, i32 9)
  80   %obj1.relocated1 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(i32 %relocate_token, i32 10, i32 10)
  81   ret i8 addrspace(1)* %obj1.relocated1
  82 }
  83