llvm/test/Transforms/RewriteStatepointsForGC/rematerialize-derived-pointers.ll

   1 ; RUN: opt < %s -rewrite-statepoints-for-gc -S | FileCheck %s
   2
   3
   4 declare void @use_obj16(i16 addrspace(1)*) "gc-leaf-function"
   5 declare void @use_obj32(i32 addrspace(1)*) "gc-leaf-function"
   6 declare void @use_obj64(i64 addrspace(1)*) "gc-leaf-function"
   7
   8 declare void @do_safepoint()
   9
  10 define void @test_gep_const(i32 addrspace(1)* %base) gc "statepoint-example" {
  11 ; CHECK-LABEL: test_gep_const
  12 entry:
  13   %ptr = getelementptr i32, i32 addrspace(1)* %base, i32 15
  14 ; CHECK: getelementptr i32, i32 addrspace(1)* %base, i32 15
  15   call void @do_safepoint() [ "deopt"() ]
  16 ; CHECK: %base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 7, i32 7)
  17 ; CHECK: bitcast i8 addrspace(1)* %base.relocated to i32 addrspace(1)*
  18 ; CHECK: getelementptr i32, i32 addrspace(1)* %base.relocated.casted, i32 15
  19   call void @use_obj32(i32 addrspace(1)* %base)
  20   call void @use_obj32(i32 addrspace(1)* %ptr)
  21   ret void
  22 }
  23
  24 define void @test_gep_idx(i32 addrspace(1)* %base, i32 %idx) gc "statepoint-example" {
  25 ; CHECK-LABEL: test_gep_idx
  26 entry:
  27   %ptr = getelementptr i32, i32 addrspace(1)* %base, i32 %idx
  28 ; CHECK: getelementptr
  29   call void @do_safepoint() [ "deopt"() ]
  30 ; CHECK: %base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 7, i32 7)
  31 ; CHECK: %base.relocated.casted = bitcast i8 addrspace(1)* %base.relocated to i32 addrspace(1)*
  32 ; CHECK: getelementptr i32, i32 addrspace(1)* %base.relocated.casted, i32 %idx
  33   call void @use_obj32(i32 addrspace(1)* %base)
  34   call void @use_obj32(i32 addrspace(1)* %ptr)
  35   ret void
  36 }
  37
  38 define void @test_bitcast(i32 addrspace(1)* %base) gc "statepoint-example" {
  39 ; CHECK-LABEL: test_bitcast
  40 entry:
  41   %ptr = bitcast i32 addrspace(1)* %base to i64 addrspace(1)*
  42 ; CHECK: bitcast i32 addrspace(1)* %base to i64 addrspace(1)*
  43   call void @do_safepoint() [ "deopt"() ]
  44 ; CHECK: %base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 7, i32 7)
  45 ; CHECK: %base.relocated.casted = bitcast i8 addrspace(1)* %base.relocated to i32 addrspace(1)*
  46 ; CHECK: bitcast i32 addrspace(1)* %base.relocated.casted to i64 addrspace(1)*
  47   call void @use_obj32(i32 addrspace(1)* %base)
  48   call void @use_obj64(i64 addrspace(1)* %ptr)
  49   ret void
  50 }
  51
  52 define void @test_bitcast_bitcast(i32 addrspace(1)* %base) gc "statepoint-example" {
  53 ; CHECK-LABEL: test_bitcast_bitcast
  54 entry:
  55   %ptr1 = bitcast i32 addrspace(1)* %base to i64 addrspace(1)*
  56   %ptr2 = bitcast i64 addrspace(1)* %ptr1 to i16 addrspace(1)*
  57 ; CHECK: bitcast i32 addrspace(1)* %base to i64 addrspace(1)*
  58 ; CHECK: bitcast i64 addrspace(1)* %ptr1 to i16 addrspace(1)*
  59   call void @do_safepoint() [ "deopt"() ]
  60
  61 ; CHECK: %base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 7, i32 7)
  62 ; CHECK: %base.relocated.casted = bitcast i8 addrspace(1)* %base.relocated to i32 addrspace(1)*
  63 ; CHECK: bitcast i32 addrspace(1)* %base.relocated.casted to i64 addrspace(1)*
  64 ; CHECK: bitcast i64 addrspace(1)* %ptr1.remat to i16 addrspace(1)*
  65   call void @use_obj32(i32 addrspace(1)* %base)
  66   call void @use_obj16(i16 addrspace(1)* %ptr2)
  67   ret void
  68 }
  69
  70 define void @test_addrspacecast_addrspacecast(i32 addrspace(1)* %base) gc "statepoint-example" {
  71 ; CHECK-LABEL: test_addrspacecast_addrspacecast
  72 entry:
  73   %ptr1 = addrspacecast i32 addrspace(1)* %base to i32*
  74   %ptr2 = addrspacecast i32* %ptr1 to i32 addrspace(1)*
  75 ; CHECK: addrspacecast i32 addrspace(1)* %base to i32*
  76 ; CHECK: addrspacecast i32* %ptr1 to i32 addrspace(1)*
  77   call void @do_safepoint() [ "deopt"() ]
  78
  79 ; CHECK: %ptr2.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 8, i32 7)
  80 ; CHECK: %ptr2.relocated.casted = bitcast i8 addrspace(1)* %ptr2.relocated to i32 addrspace(1)*
  81 ; CHECK: %base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 8, i32 8)
  82 ; CHECK: %base.relocated.casted = bitcast i8 addrspace(1)* %base.relocated to i32 addrspace(1)*
  83   call void @use_obj32(i32 addrspace(1)* %base)
  84   call void @use_obj32(i32 addrspace(1)* %ptr2)
  85   ret void
  86 }
  87
  88 define void @test_bitcast_gep(i32 addrspace(1)* %base) gc "statepoint-example" {
  89 ; CHECK-LABEL: test_bitcast_gep
  90 entry:
  91   %ptr.gep = getelementptr i32, i32 addrspace(1)* %base, i32 15
  92 ; CHECK: getelementptr
  93 ; CHECK: bitcast i32 addrspace(1)* %ptr.gep to i64 addrspace(1)*
  94   %ptr.cast = bitcast i32 addrspace(1)* %ptr.gep to i64 addrspace(1)*
  95   call void @do_safepoint() [ "deopt"() ]
  96
  97 ; CHECK: gc.relocate
  98 ; CHECK: bitcast
  99 ; CHECK: getelementptr
 100 ; CHECK: bitcast
 101   call void @use_obj32(i32 addrspace(1)* %base)
 102   call void @use_obj64(i64 addrspace(1)* %ptr.cast)
 103   ret void
 104 }
 105
 106 define void @test_intersecting_chains(i32 addrspace(1)* %base, i32 %idx) gc "statepoint-example" {
 107 ; CHECK-LABEL: test_intersecting_chains
 108 entry:
 109   %ptr.gep = getelementptr i32, i32 addrspace(1)* %base, i32 15
 110 ; CHECK: getelementptr
 111   %ptr.cast = bitcast i32 addrspace(1)* %ptr.gep to i64 addrspace(1)*
 112 ; CHECK: bitcast
 113   %ptr.cast2 = bitcast i32 addrspace(1)* %ptr.gep to i16 addrspace(1)*
 114 ; CHECK: bitcast
 115   call void @do_safepoint() [ "deopt"() ]
 116
 117 ; CHECK: getelementptr
 118 ; CHECK: bitcast
 119 ; CHECK: getelementptr
 120 ; CHECK: bitcast
 121   call void @use_obj64(i64 addrspace(1)* %ptr.cast)
 122   call void @use_obj16(i16 addrspace(1)* %ptr.cast2)
 123   ret void
 124 }
 125
 126 define void @test_cost_threshold(i32 addrspace(1)* %base, i32 %idx1, i32 %idx2, i32 %idx3) gc "statepoint-example" {
 127 ; CHECK-LABEL: test_cost_threshold
 128 entry:
 129   %ptr.gep = getelementptr i32, i32 addrspace(1)* %base, i32 15
 130 ; CHECK: getelementptr
 131   %ptr.gep2 = getelementptr i32, i32 addrspace(1)* %ptr.gep, i32 %idx1
 132 ; CHECK: getelementptr
 133   %ptr.gep3 = getelementptr i32, i32 addrspace(1)* %ptr.gep2, i32 %idx2
 134 ; CHECK: getelementptr
 135   %ptr.gep4 = getelementptr i32, i32 addrspace(1)* %ptr.gep3, i32 %idx3
 136 ; CHECK: getelementptr
 137   %ptr.cast = bitcast i32 addrspace(1)* %ptr.gep4 to i64 addrspace(1)*
 138   call void @do_safepoint() [ "deopt"() ]
 139
 140 ; CHECK: gc.relocate
 141 ; CHECK: bitcast
 142 ; CHECK: gc.relocate
 143 ; CHECK: bitcast
 144   call void @use_obj64(i64 addrspace(1)* %ptr.cast)
 145   ret void
 146 }
 147
 148 define void @test_two_derived(i32 addrspace(1)* %base) gc "statepoint-example" {
 149 ; CHECK-LABEL: test_two_derived
 150 entry:
 151   %ptr = getelementptr i32, i32 addrspace(1)* %base, i32 15
 152   %ptr2 = getelementptr i32, i32 addrspace(1)* %base, i32 12
 153 ; CHECK: getelementptr
 154 ; CHECK: getelementptr
 155   call void @do_safepoint() [ "deopt"() ]
 156
 157 ; CHECK: gc.relocate
 158 ; CHECK: bitcast
 159 ; CHECK: getelementptr
 160 ; CHECK: getelementptr
 161   call void @use_obj32(i32 addrspace(1)* %ptr)
 162   call void @use_obj32(i32 addrspace(1)* %ptr2)
 163   ret void
 164 }
 165
 166 define void @test_gep_smallint_array([3 x i32] addrspace(1)* %base) gc "statepoint-example" {
 167 ; CHECK-LABEL: test_gep_smallint_array
 168 entry:
 169   %ptr = getelementptr [3 x i32], [3 x i32] addrspace(1)* %base, i32 0, i32 2
 170 ; CHECK: getelementptr
 171   call void @do_safepoint() [ "deopt"() ]
 172
 173 ; CHECK: gc.relocate
 174 ; CHECK: bitcast
 175 ; CHECK: getelementptr
 176   call void @use_obj32(i32 addrspace(1)* %ptr)
 177   ret void
 178 }
 179
 180 declare i32 @fake_personality_function()
 181
 182 define void @test_invoke(i32 addrspace(1)* %base) gc "statepoint-example" personality i32 ()* @fake_personality_function {
 183 ; CHECK-LABEL: test_invoke
 184 entry:
 185   %ptr.gep = getelementptr i32, i32 addrspace(1)* %base, i32 15
 186 ; CHECK: getelementptr
 187   %ptr.cast = bitcast i32 addrspace(1)* %ptr.gep to i64 addrspace(1)*
 188 ; CHECK: bitcast
 189   %ptr.cast2 = bitcast i32 addrspace(1)* %ptr.gep to i16 addrspace(1)*
 190 ; CHECK: bitcast
 191   invoke void @do_safepoint() [ "deopt"() ]
 192           to label %normal unwind label %exception
 193
 194 normal:
 195 ; CHECK: normal:
 196 ; CHECK: gc.relocate
 197 ; CHECK: bitcast
 198 ; CHECK: getelementptr
 199 ; CHECK: bitcast
 200 ; CHECK: getelementptr
 201 ; CHECK: bitcast
 202   call void @use_obj64(i64 addrspace(1)* %ptr.cast)
 203   call void @use_obj16(i16 addrspace(1)* %ptr.cast2)
 204   ret void
 205
 206 exception:
 207 ; CHECK: exception:
 208   %landing_pad4 = landingpad token
 209           cleanup
 210 ; CHECK: gc.relocate
 211 ; CHECK: bitcast
 212 ; CHECK: getelementptr
 213 ; CHECK: bitcast
 214 ; CHECK: getelementptr
 215 ; CHECK: bitcast
 216   call void @use_obj64(i64 addrspace(1)* %ptr.cast)
 217   call void @use_obj16(i16 addrspace(1)* %ptr.cast2)
 218   ret void
 219 }
 220
 221 define void @test_loop(i32 addrspace(1)* %base) gc "statepoint-example" {
 222 ; CHECK-LABEL: test_loop
 223 entry:
 224   %ptr.gep = getelementptr i32, i32 addrspace(1)* %base, i32 15
 225 ; CHECK: getelementptr
 226   br label %loop
 227
 228 loop:                                             ; preds = %loop, %entry
 229 ; CHECK: phi i32 addrspace(1)* [ %ptr.gep, %entry ], [ %ptr.gep.remat, %loop ]
 230 ; CHECK: phi i32 addrspace(1)* [ %base, %entry ], [ %base.relocated.casted, %loop ]
 231   call void @use_obj32(i32 addrspace(1)* %ptr.gep)
 232   call void @do_safepoint() [ "deopt"() ]
 233 ; CHECK: gc.relocate
 234 ; CHECK: bitcast
 235 ; CHECK: getelementptr
 236   br label %loop
 237 }
 238
 239 define void @test_too_long(i32 addrspace(1)* %base) gc "statepoint-example" {
 240 ; CHECK-LABEL: test_too_long
 241 entry:
 242   %ptr.gep = getelementptr i32, i32 addrspace(1)* %base, i32 15
 243   %ptr.gep1 = getelementptr i32, i32 addrspace(1)* %ptr.gep, i32 15
 244   %ptr.gep2 = getelementptr i32, i32 addrspace(1)* %ptr.gep1, i32 15
 245   %ptr.gep3 = getelementptr i32, i32 addrspace(1)* %ptr.gep2, i32 15
 246   %ptr.gep4 = getelementptr i32, i32 addrspace(1)* %ptr.gep3, i32 15
 247   %ptr.gep5 = getelementptr i32, i32 addrspace(1)* %ptr.gep4, i32 15
 248   %ptr.gep6 = getelementptr i32, i32 addrspace(1)* %ptr.gep5, i32 15
 249   %ptr.gep7 = getelementptr i32, i32 addrspace(1)* %ptr.gep6, i32 15
 250   %ptr.gep8 = getelementptr i32, i32 addrspace(1)* %ptr.gep7, i32 15
 251   %ptr.gep9 = getelementptr i32, i32 addrspace(1)* %ptr.gep8, i32 15
 252   %ptr.gep10 = getelementptr i32, i32 addrspace(1)* %ptr.gep9, i32 15
 253   %ptr.gep11 = getelementptr i32, i32 addrspace(1)* %ptr.gep10, i32 15
 254   call void @do_safepoint() [ "deopt"() ]
 255 ; CHECK: gc.relocate
 256 ; CHECK: bitcast
 257 ; CHECK: gc.relocate
 258 ; CHECK: bitcast
 259   call void @use_obj32(i32 addrspace(1)* %ptr.gep11)
 260   ret void
 261 }
 262
 263
 264 declare i32 addrspace(1)* @new_instance() nounwind "gc-leaf-function"
 265
 266 ; remat the gep in presence of base pointer which is a phi node.
 267 ; FIXME: We should remove the extra basephi.base as well.
 268 define void @contains_basephi(i1 %cond) gc "statepoint-example" {
 269 ; CHECK-LABEL: contains_basephi
 270 entry:
 271   %base1 = call i32 addrspace(1)* @new_instance()
 272   %base2 = call i32 addrspace(1)* @new_instance()
 273   br i1 %cond, label %here, label %there
 274
 275 here:
 276   br label %merge
 277
 278 there:
 279   br label %merge
 280
 281 merge:
 282   ; CHECK: %basephi.base = phi i32 addrspace(1)* [ %base1, %here ], [ %base2, %there ], !is_base_value !0
 283   ; CHECK: %basephi = phi i32 addrspace(1)* [ %base1, %here ], [ %base2, %there ]
 284   ; CHECK: %ptr.gep = getelementptr i32, i32 addrspace(1)* %basephi, i32 15
 285   ; CHECK: %statepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint
 286   ; CHECK: %basephi.base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 7, i32 7) ; (%basephi.base, %basephi.base)
 287   ; CHECK: %basephi.base.relocated.casted = bitcast i8 addrspace(1)* %basephi.base.relocated to i32 addrspace(1)*
 288   ; CHECK: %ptr.gep.remat = getelementptr i32, i32 addrspace(1)* %basephi, i32 15
 289   ; CHECK: call void @use_obj32(i32 addrspace(1)* %ptr.gep.remat)
 290
 291
 292
 293   %basephi = phi i32 addrspace(1)* [ %base1, %here ], [ %base2, %there ]
 294   %ptr.gep = getelementptr i32, i32 addrspace(1)* %basephi, i32 15
 295   call void @do_safepoint() ["deopt"() ]
 296   call void @use_obj32(i32 addrspace(1)* %ptr.gep)
 297   ret void
 298 }