test/Transforms/RewriteStatepointsForGC/base-vector.ll

   1 ; RUN: opt %s -rewrite-statepoints-for-gc -S | FileCheck  %s
   2
   3 define i64 addrspace(1)* @test(<2 x i64 addrspace(1)*> %vec, i32 %idx) gc "statepoint-example" {
   4 ; CHECK-LABEL: @test
   5 ; CHECK: extractelement
   6 ; CHECK: extractelement
   7 ; CHECK: statepoint
   8 ; CHECK: gc.relocate
   9 ; CHECK-DAG: ; (%base_ee, %base_ee)
  10 ; CHECK: gc.relocate
  11 ; CHECK-DAG: ; (%base_ee, %obj)
  12 ; Note that the second extractelement is actually redundant here.  A correct output would
  13 ; be to reuse the existing obj as a base since it is actually a base pointer.
  14 entry:
  15   %obj = extractelement <2 x i64 addrspace(1)*> %vec, i32 %idx
  16   %safepoint_token = call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 0)
  17
  18   ret i64 addrspace(1)* %obj
  19 }
  20
  21 define i64 addrspace(1)* @test2(<2 x i64 addrspace(1)*>* %ptr, i1 %cnd, i32 %idx1, i32 %idx2)
  22     gc "statepoint-example" {
  23 ; CHECK-LABEL: test2
  24 entry:
  25   br i1 %cnd, label %taken, label %untaken
  26 taken:
  27   %obja = load <2 x i64 addrspace(1)*>, <2 x i64 addrspace(1)*>* %ptr
  28   br label %merge
  29 untaken:
  30   %objb = load <2 x i64 addrspace(1)*>, <2 x i64 addrspace(1)*>* %ptr
  31   br label %merge
  32 merge:
  33   %vec = phi <2 x i64 addrspace(1)*> [%obja, %taken], [%objb, %untaken]
  34   br i1 %cnd, label %taken2, label %untaken2
  35 taken2:
  36   %obj0 = extractelement <2 x i64 addrspace(1)*> %vec, i32 %idx1
  37   br label %merge2
  38 untaken2:
  39   %obj1 = extractelement <2 x i64 addrspace(1)*> %vec, i32 %idx2
  40   br label %merge2
  41 merge2:
  42 ; CHECK-LABEL: merge2:
  43 ; CHECK: %obj.base = phi i64 addrspace(1)*
  44 ; CHECK: %obj = phi i64 addrspace(1)*
  45 ; CHECK: statepoint
  46 ; CHECK: gc.relocate
  47 ; CHECK-DAG: ; (%obj.base, %obj)
  48 ; CHECK: gc.relocate
  49 ; CHECK-DAG: ; (%obj.base, %obj.base)
  50   %obj = phi i64 addrspace(1)* [%obj0, %taken2], [%obj1, %untaken2]
  51   %safepoint_token = call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 0)
  52   ret i64 addrspace(1)* %obj
  53 }
  54
  55 define i64 addrspace(1)* @test3(i64 addrspace(1)* %ptr)
  56     gc "statepoint-example" {
  57 ; CHECK-LABEL: test3
  58 entry:
  59   %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %ptr, i32 0
  60   %obj = extractelement <2 x i64 addrspace(1)*> %vec, i32 0
  61 ; CHECK: insertelement
  62 ; CHECK: extractelement
  63 ; CHECK: statepoint
  64 ; CHECK: gc.relocate
  65 ; CHECK-DAG: ; (%ptr, %obj)
  66    %safepoint_token = call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 0)
  67   ret i64 addrspace(1)* %obj
  68 }
  69 define i64 addrspace(1)* @test4(i64 addrspace(1)* %ptr)
  70     gc "statepoint-example" {
  71 ; CHECK-LABEL: test4
  72 entry:
  73   %derived = getelementptr i64, i64 addrspace(1)* %ptr, i64 16
  74   %veca = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %derived, i32 0
  75   %vec = insertelement <2 x i64 addrspace(1)*> %veca, i64 addrspace(1)* %ptr, i32 1
  76   %obj = extractelement <2 x i64 addrspace(1)*> %vec, i32 0
  77 ; CHECK: statepoint
  78 ; CHECK: gc.relocate
  79 ; CHECK-DAG: ; (%ptr, %obj)
  80 ; CHECK: gc.relocate
  81 ; CHECK-DAG: ; (%ptr, %ptr)
  82    %safepoint_token = call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 0)
  83   ret i64 addrspace(1)* %obj
  84 }
  85
  86 declare void @do_safepoint()
  87
  88 declare i32 @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...)