test/Transforms/RewriteStatepointsForGC/deopt-bundles/base-vector.ll

   1 ; RUN: opt %s -rewrite-statepoints-for-gc -rs4gc-use-deopt-bundles -S | FileCheck  %s
   2
   3
   4 define i64 addrspace(1)* @test(<2 x i64 addrspace(1)*> %vec, i32 %idx) gc "statepoint-example" {
   5 ; CHECK-LABEL: @test
   6 ; CHECK: extractelement
   7 ; CHECK: extractelement
   8 ; CHECK: statepoint
   9 ; CHECK: gc.relocate
  10 ; CHECK-DAG: ; (%base_ee, %base_ee)
  11 ; CHECK: gc.relocate
  12 ; CHECK-DAG: ; (%base_ee, %obj)
  13 ; Note that the second extractelement is actually redundant here.  A correct output would
  14 ; be to reuse the existing obj as a base since it is actually a base pointer.
  15 entry:
  16   %obj = extractelement <2 x i64 addrspace(1)*> %vec, i32 %idx
  17   call void @do_safepoint() [ "deopt"() ]
  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) gc "statepoint-example" {
  22 ; CHECK-LABEL: test2
  23 entry:
  24   br i1 %cnd, label %taken, label %untaken
  25
  26 taken:                                            ; preds = %entry
  27   %obja = load <2 x i64 addrspace(1)*>, <2 x i64 addrspace(1)*>* %ptr
  28   br label %merge
  29
  30 untaken:                                          ; preds = %entry
  31   %objb = load <2 x i64 addrspace(1)*>, <2 x i64 addrspace(1)*>* %ptr
  32   br label %merge
  33
  34 merge:                                            ; preds = %untaken, %taken
  35   %vec = phi <2 x i64 addrspace(1)*> [ %obja, %taken ], [ %objb, %untaken ]
  36   br i1 %cnd, label %taken2, label %untaken2
  37
  38 taken2:                                           ; preds = %merge
  39   %obj0 = extractelement <2 x i64 addrspace(1)*> %vec, i32 %idx1
  40   br label %merge2
  41
  42 untaken2:                                         ; preds = %merge
  43   %obj1 = extractelement <2 x i64 addrspace(1)*> %vec, i32 %idx2
  44   br label %merge2
  45
  46 merge2:                                           ; preds = %untaken2, %taken2
  47 ; CHECK-LABEL: merge2:
  48 ; CHECK-NEXT: %obj = phi i64 addrspace(1)*
  49 ; CHECK-NEXT: statepoint
  50 ; CHECK: gc.relocate
  51 ; CHECK-DAG: ; (%obj, %obj)
  52   %obj = phi i64 addrspace(1)* [ %obj0, %taken2 ], [ %obj1, %untaken2 ]
  53   call void @do_safepoint() [ "deopt"() ]
  54   ret i64 addrspace(1)* %obj
  55 }
  56
  57 define i64 addrspace(1)* @test3(i64 addrspace(1)* %ptr) gc "statepoint-example" {
  58 ; CHECK-LABEL: test3
  59 ; CHECK: insertelement
  60 ; CHECK: extractelement
  61 ; CHECK: statepoint
  62 ; CHECK: gc.relocate
  63 ; CHECK-DAG: (%obj, %obj)
  64 entry:
  65   %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %ptr, i32 0
  66   %obj = extractelement <2 x i64 addrspace(1)*> %vec, i32 0
  67   call void @do_safepoint() [ "deopt"() ]
  68   ret i64 addrspace(1)* %obj
  69 }
  70
  71 define i64 addrspace(1)* @test4(i64 addrspace(1)* %ptr) gc "statepoint-example" {
  72 ; CHECK-LABEL: test4
  73 ; CHECK: statepoint
  74 ; CHECK: gc.relocate
  75 ; CHECK-DAG: ; (%ptr, %obj)
  76 ; CHECK: gc.relocate
  77 ; CHECK-DAG: ; (%ptr, %ptr)
  78 ; When we can optimize an extractelement from a known
  79 ; index and avoid introducing new base pointer instructions
  80 entry:
  81   %derived = getelementptr i64, i64 addrspace(1)* %ptr, i64 16
  82   %veca = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %derived, i32 0
  83   %vec = insertelement <2 x i64 addrspace(1)*> %veca, i64 addrspace(1)* %ptr, i32 1
  84   %obj = extractelement <2 x i64 addrspace(1)*> %vec, i32 0
  85   call void @do_safepoint() [ "deopt"() ]
  86   ret i64 addrspace(1)* %obj
  87 }
  88
  89 declare void @use(i64 addrspace(1)*) "gc-leaf-function"
  90
  91 define void @test5(i1 %cnd, i64 addrspace(1)* %obj) gc "statepoint-example" {
  92 ; CHECK-LABEL: @test5
  93 ; CHECK: gc.relocate
  94 ; CHECK-DAG: (%obj, %bdv)
  95 ; When we fundementally have to duplicate
  96 entry:
  97   %gep = getelementptr i64, i64 addrspace(1)* %obj, i64 1
  98   %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %gep, i32 0
  99   %bdv = extractelement <2 x i64 addrspace(1)*> %vec, i32 0
 100   call void @do_safepoint() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
 101   call void @use(i64 addrspace(1)* %bdv)
 102   ret void
 103 }
 104
 105 define void @test6(i1 %cnd, i64 addrspace(1)* %obj, i64 %idx) gc "statepoint-example" {
 106 ; CHECK-LABEL: @test6
 107 ; CHECK: %gep = getelementptr i64, i64 addrspace(1)* %obj, i64 1
 108 ; CHECK: %vec.base = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %obj, i32 0, !is_base_value !0
 109 ; CHECK: %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %gep, i32 0
 110 ; CHECK: %bdv.base = extractelement <2 x i64 addrspace(1)*> %vec.base, i64 %idx, !is_base_value !0
 111 ; CHECK:  %bdv = extractelement <2 x i64 addrspace(1)*> %vec, i64 %idx
 112 ; CHECK: gc.statepoint
 113 ; CHECK: gc.relocate
 114 ; CHECK-DAG: (%bdv.base, %bdv)
 115 ; A more complicated example involving vector and scalar bases.
 116 ; This is derived from a failing test case when we didn't have correct
 117 ; insertelement handling.
 118 entry:
 119   %gep = getelementptr i64, i64 addrspace(1)* %obj, i64 1
 120   %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %gep, i32 0
 121   %bdv = extractelement <2 x i64 addrspace(1)*> %vec, i64 %idx
 122   call void @do_safepoint() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
 123   call void @use(i64 addrspace(1)* %bdv)
 124   ret void
 125 }
 126
 127 define i64 addrspace(1)* @test7(i1 %cnd, i64 addrspace(1)* %obj, i64 addrspace(1)* %obj2) gc "statepoint-example" {
 128 ; CHECK-LABEL: @test7
 129 entry:
 130   %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %obj2, i32 0
 131   br label %merge1
 132
 133 merge1:                                           ; preds = %merge1, %entry
 134 ; CHECK-LABEL: merge1:
 135 ; CHECK: vec2.base
 136 ; CHECK: vec2
 137 ; CHECK: gep
 138 ; CHECK: vec3.base
 139 ; CHECK: vec3
 140   %vec2 = phi <2 x i64 addrspace(1)*> [ %vec, %entry ], [ %vec3, %merge1 ]
 141   %gep = getelementptr i64, i64 addrspace(1)* %obj2, i64 1
 142   %vec3 = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %gep, i32 0
 143   br i1 %cnd, label %merge1, label %next1
 144
 145 next1:                                            ; preds = %merge1
 146 ; CHECK-LABEL: next1:
 147 ; CHECK: bdv.base =
 148 ; CHECK: bdv =
 149   %bdv = extractelement <2 x i64 addrspace(1)*> %vec2, i32 0
 150   br label %merge
 151
 152 merge:                                            ; preds = %merge, %next1
 153 ; CHECK-LABEL: merge:
 154 ; CHECK: %objb.base
 155 ; CHECK: %objb
 156 ; CHECK: gc.statepoint
 157 ; CHECK: gc.relocate
 158 ; CHECK-DAG: (%objb.base, %objb)
 159   %objb = phi i64 addrspace(1)* [ %obj, %next1 ], [ %bdv, %merge ]
 160   br i1 %cnd, label %merge, label %next
 161
 162 next:                                             ; preds = %merge
 163   call void @do_safepoint() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
 164   ret i64 addrspace(1)* %objb
 165 }
 166
 167 declare void @do_safepoint()