test/Transforms/Inline/inline_invoke.ll

   1 ; RUN: opt < %s -inline -S | FileCheck %s
   2
   3 ; Test that the inliner correctly handles inlining into invoke sites
   4 ; by appending selectors and forwarding _Unwind_Resume directly to the
   5 ; enclosing landing pad.
   6
   7 ;; Test 0 - basic functionality.
   8
   9 %struct.A = type { i8 }
  10
  11 @_ZTIi = external constant i8*
  12
  13 declare void @_ZN1AC1Ev(%struct.A*)
  14
  15 declare void @_ZN1AD1Ev(%struct.A*)
  16
  17 declare void @use(i32) nounwind
  18
  19 declare void @opaque()
  20
  21 declare i32 @llvm.eh.typeid.for(i8*) nounwind
  22
  23 declare i32 @__gxx_personality_v0(...)
  24
  25 declare i8* @__cxa_begin_catch(i8*)
  26
  27 declare void @__cxa_end_catch()
  28
  29 declare void @_ZSt9terminatev()
  30
  31 define internal void @test0_in() alwaysinline uwtable ssp {
  32 entry:
  33   %a = alloca %struct.A, align 1
  34   %b = alloca %struct.A, align 1
  35   call void @_ZN1AC1Ev(%struct.A* %a)
  36   invoke void @_ZN1AC1Ev(%struct.A* %b)
  37           to label %invoke.cont unwind label %lpad
  38
  39 invoke.cont:
  40   invoke void @_ZN1AD1Ev(%struct.A* %b)
  41           to label %invoke.cont1 unwind label %lpad
  42
  43 invoke.cont1:
  44   call void @_ZN1AD1Ev(%struct.A* %a)
  45   ret void
  46
  47 lpad:
  48   %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
  49             cleanup
  50   invoke void @_ZN1AD1Ev(%struct.A* %a)
  51           to label %invoke.cont2 unwind label %terminate.lpad
  52
  53 invoke.cont2:
  54   resume { i8*, i32 } %exn
  55
  56 terminate.lpad:
  57   %exn1 = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
  58             catch i8* null
  59   call void @_ZSt9terminatev() noreturn nounwind
  60   unreachable
  61 }
  62
  63 define void @test0_out() uwtable ssp {
  64 entry:
  65   invoke void @test0_in()
  66           to label %ret unwind label %lpad
  67
  68 ret:
  69   ret void
  70
  71 lpad:                                             ; preds = %entry
  72   %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
  73             catch i8* bitcast (i8** @_ZTIi to i8*)
  74   %eh.exc = extractvalue { i8*, i32 } %exn, 0
  75   %eh.selector = extractvalue { i8*, i32 } %exn, 1
  76   %0 = call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIi to i8*)) nounwind
  77   %1 = icmp eq i32 %eh.selector, %0
  78   br i1 %1, label %catch, label %eh.resume
  79
  80 catch:
  81   %ignored = call i8* @__cxa_begin_catch(i8* %eh.exc) nounwind
  82   call void @__cxa_end_catch() nounwind
  83   br label %ret
  84
  85 eh.resume:
  86   resume { i8*, i32 } %exn
  87 }
  88
  89 ; CHECK:    define void @test0_out()
  90 ; CHECK:      [[A:%.*]] = alloca %struct.A,
  91 ; CHECK:      [[B:%.*]] = alloca %struct.A,
  92 ; CHECK:      invoke void @_ZN1AC1Ev(%struct.A* [[A]])
  93 ; CHECK:      invoke void @_ZN1AC1Ev(%struct.A* [[B]])
  94 ; CHECK:      invoke void @_ZN1AD1Ev(%struct.A* [[B]])
  95 ; CHECK:      invoke void @_ZN1AD1Ev(%struct.A* [[A]])
  96 ; CHECK:      landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
  97 ; CHECK-NEXT:    cleanup
  98 ; CHECK-NEXT:    catch i8* bitcast (i8** @_ZTIi to i8*)
  99 ; CHECK-NEXT:    catch i8* bitcast (i8** @_ZTIi to i8*)
 100 ; CHECK-NEXT: invoke void @_ZN1AD1Ev(%struct.A* [[A]])
 101 ; CHECK-NEXT:   to label %[[LBL:[^\s]+]] unwind
 102 ; CHECK: [[LBL]]:
 103 ; CHECK-NEXT: br label %[[LPAD:[^\s]+]]
 104 ; CHECK:      ret void
 105 ; CHECK:      landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
 106 ; CHECK-NEXT:    catch i8* bitcast (i8** @_ZTIi to i8*)
 107 ; CHECK-NEXT: br label %[[LPAD]]
 108 ; CHECK: [[LPAD]]:
 109 ; CHECK-NEXT: phi { i8*, i32 } [
 110 ; CHECK-NEXT: extractvalue { i8*, i32 }
 111 ; CHECK-NEXT: extractvalue { i8*, i32 }
 112 ; CHECK-NEXT: call i32 @llvm.eh.typeid.for(
 113
 114
 115 ;; Test 1 - Correctly handle phis in outer landing pads.
 116
 117 define void @test1_out() uwtable ssp {
 118 entry:
 119   invoke void @test0_in()
 120           to label %cont unwind label %lpad
 121
 122 cont:
 123   invoke void @test0_in()
 124           to label %ret unwind label %lpad
 125
 126 ret:
 127   ret void
 128
 129 lpad:
 130   %x = phi i32 [ 0, %entry ], [ 1, %cont ]
 131   %y = phi i32 [ 1, %entry ], [ 4, %cont ]
 132   %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
 133             catch i8* bitcast (i8** @_ZTIi to i8*)
 134   %eh.exc = extractvalue { i8*, i32 } %exn, 0
 135   %eh.selector = extractvalue { i8*, i32 } %exn, 1
 136   %0 = call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIi to i8*)) nounwind
 137   %1 = icmp eq i32 %eh.selector, %0
 138   br i1 %1, label %catch, label %eh.resume
 139
 140 catch:
 141   %ignored = call i8* @__cxa_begin_catch(i8* %eh.exc) nounwind
 142   call void @use(i32 %x)
 143   call void @use(i32 %y)
 144   call void @__cxa_end_catch() nounwind
 145   br label %ret
 146
 147 eh.resume:
 148   resume { i8*, i32 } %exn
 149 }
 150
 151 ; CHECK:    define void @test1_out()
 152 ; CHECK:      [[A2:%.*]] = alloca %struct.A,
 153 ; CHECK:      [[B2:%.*]] = alloca %struct.A,
 154 ; CHECK:      [[A1:%.*]] = alloca %struct.A,
 155 ; CHECK:      [[B1:%.*]] = alloca %struct.A,
 156 ; CHECK:      invoke void @_ZN1AC1Ev(%struct.A* [[A1]])
 157 ; CHECK-NEXT:   unwind label %[[LPAD:[^\s]+]]
 158 ; CHECK:      invoke void @_ZN1AC1Ev(%struct.A* [[B1]])
 159 ; CHECK-NEXT:   unwind label %[[LPAD1:[^\s]+]]
 160 ; CHECK:      invoke void @_ZN1AD1Ev(%struct.A* [[B1]])
 161 ; CHECK-NEXT:   unwind label %[[LPAD1]]
 162 ; CHECK:      invoke void @_ZN1AD1Ev(%struct.A* [[A1]])
 163 ; CHECK-NEXT:   unwind label %[[LPAD]]
 164
 165 ; Inner landing pad from first inlining.
 166 ; CHECK:    [[LPAD1]]:
 167 ; CHECK-NEXT: [[LPADVAL1:%.*]] = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
 168 ; CHECK-NEXT:    cleanup
 169 ; CHECK-NEXT:    catch i8* bitcast (i8** @_ZTIi to i8*)
 170 ; CHECK-NEXT:    catch i8* bitcast (i8** @_ZTIi to i8*)
 171 ; CHECK-NEXT: invoke void @_ZN1AD1Ev(%struct.A* [[A1]])
 172 ; CHECK-NEXT:   to label %[[RESUME1:[^\s]+]] unwind
 173 ; CHECK: [[RESUME1]]:
 174 ; CHECK-NEXT: br label %[[LPAD_JOIN1:[^\s]+]]
 175
 176 ; CHECK:      invoke void @_ZN1AC1Ev(%struct.A* [[A2]])
 177 ; CHECK-NEXT:   unwind label %[[LPAD]]
 178 ; CHECK:      invoke void @_ZN1AC1Ev(%struct.A* [[B2]])
 179 ; CHECK-NEXT:   unwind label %[[LPAD2:[^\s]+]]
 180 ; CHECK:      invoke void @_ZN1AD1Ev(%struct.A* [[B2]])
 181 ; CHECK-NEXT:   unwind label %[[LPAD2]]
 182 ; CHECK:      invoke void @_ZN1AD1Ev(%struct.A* [[A2]])
 183 ; CHECK-NEXT:   unwind label %[[LPAD]]
 184
 185 ; Inner landing pad from second inlining.
 186 ; CHECK:    [[LPAD2]]:
 187 ; CHECK-NEXT: [[LPADVAL2:%.*]] = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
 188 ; CHECK-NEXT:   cleanup
 189 ; CHECK-NEXT:   catch i8* bitcast (i8** @_ZTIi to i8*)
 190 ; CHECK-NEXT:   catch i8* bitcast (i8** @_ZTIi to i8*)
 191 ; CHECK-NEXT: invoke void @_ZN1AD1Ev(%struct.A* [[A2]])
 192 ; CHECK-NEXT:   to label %[[RESUME2:[^\s]+]] unwind
 193 ; CHECK: [[RESUME2]]:
 194 ; CHECK-NEXT: br label %[[LPAD_JOIN2:[^\s]+]]
 195
 196 ; CHECK:      ret void
 197
 198 ; CHECK:    [[LPAD]]:
 199 ; CHECK-NEXT: [[X:%.*]] = phi i32 [ 0, %entry ], [ 0, {{%.*}} ], [ 1, %cont ], [ 1, {{%.*}} ]
 200 ; CHECK-NEXT: [[Y:%.*]] = phi i32 [ 1, %entry ], [ 1, {{%.*}} ], [ 4, %cont ], [ 4, {{%.*}} ]
 201 ; CHECK-NEXT: [[LPADVAL:%.*]] = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
 202 ; CHECK-NEXT:   catch i8* bitcast (i8** @_ZTIi to i8*)
 203 ; CHECK-NEXT: br label %[[LPAD_JOIN2]]
 204
 205 ; CHECK: [[LPAD_JOIN2]]:
 206 ; CHECK-NEXT: [[XJ2:%.*]] = phi i32 [ [[X]], %[[LPAD]] ], [ 1, %[[RESUME2]] ]
 207 ; CHECK-NEXT: [[YJ2:%.*]] = phi i32 [ [[Y]], %[[LPAD]] ], [ 4, %[[RESUME2]] ]
 208 ; CHECK-NEXT: [[EXNJ2:%.*]] = phi { i8*, i32 } [ [[LPADVAL]], %[[LPAD]] ], [ [[LPADVAL2]], %[[RESUME2]] ]
 209 ; CHECK-NEXT: br label %[[LPAD_JOIN1]]
 210
 211 ; CHECK: [[LPAD_JOIN1]]:
 212 ; CHECK-NEXT: [[XJ1:%.*]] = phi i32 [ [[XJ2]], %[[LPAD_JOIN2]] ], [ 0, %[[RESUME1]] ]
 213 ; CHECK-NEXT: [[YJ1:%.*]] = phi i32 [ [[YJ2]], %[[LPAD_JOIN2]] ], [ 1, %[[RESUME1]] ]
 214 ; CHECK-NEXT: [[EXNJ1:%.*]] = phi { i8*, i32 } [ [[EXNJ2]], %[[LPAD_JOIN2]] ], [ [[LPADVAL1]], %[[RESUME1]] ]
 215 ; CHECK-NEXT: extractvalue { i8*, i32 } [[EXNJ1]], 0
 216 ; CHECK-NEXT: [[SELJ1:%.*]] = extractvalue { i8*, i32 } [[EXNJ1]], 1
 217 ; CHECK-NEXT: [[T:%.*]] = call i32 @llvm.eh.typeid.for(
 218 ; CHECK-NEXT: icmp eq i32 [[SELJ1]], [[T]]
 219
 220 ; CHECK:      call void @use(i32 [[XJ1]])
 221 ; CHECK:      call void @use(i32 [[YJ1]])
 222
 223 ; CHECK:      resume { i8*, i32 }
 224
 225
 226 ;; Test 2 - Don't make invalid IR for inlines into landing pads without eh.exception calls
 227 define void @test2_out() uwtable ssp {
 228 entry:
 229   invoke void @test0_in()
 230           to label %ret unwind label %lpad
 231
 232 ret:
 233   ret void
 234
 235 lpad:
 236   %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
 237             cleanup
 238   call void @_ZSt9terminatev()
 239   unreachable
 240 }
 241
 242 ; CHECK: define void @test2_out()
 243 ; CHECK:      [[A:%.*]] = alloca %struct.A,
 244 ; CHECK:      [[B:%.*]] = alloca %struct.A,
 245 ; CHECK:      invoke void @_ZN1AC1Ev(%struct.A* [[A]])
 246 ; CHECK-NEXT:   unwind label %[[LPAD:[^\s]+]]
 247 ; CHECK:      invoke void @_ZN1AC1Ev(%struct.A* [[B]])
 248 ; CHECK-NEXT:   unwind label %[[LPAD2:[^\s]+]]
 249 ; CHECK:      invoke void @_ZN1AD1Ev(%struct.A* [[B]])
 250 ; CHECK-NEXT:   unwind label %[[LPAD2]]
 251 ; CHECK:      invoke void @_ZN1AD1Ev(%struct.A* [[A]])
 252 ; CHECK-NEXT:   unwind label %[[LPAD]]
 253
 254
 255 ;; Test 3 - Deal correctly with split unwind edges.
 256 define void @test3_out() uwtable ssp {
 257 entry:
 258   invoke void @test0_in()
 259           to label %ret unwind label %lpad
 260
 261 ret:
 262   ret void
 263
 264 lpad:
 265   %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
 266             catch i8* bitcast (i8** @_ZTIi to i8*)
 267   br label %lpad.cont
 268
 269 lpad.cont:
 270   call void @_ZSt9terminatev()
 271   unreachable
 272 }
 273
 274 ; CHECK: define void @test3_out()
 275 ; CHECK:      landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
 276 ; CHECK-NEXT:    cleanup
 277 ; CHECK-NEXT:    catch i8* bitcast (i8** @_ZTIi to i8*)
 278 ; CHECK-NEXT:    catch i8* bitcast (i8** @_ZTIi to i8*)
 279 ; CHECK-NEXT: invoke void @_ZN1AD1Ev(
 280 ; CHECK-NEXT:   to label %[[L:[^\s]+]] unwind
 281 ; CHECK:    [[L]]:
 282 ; CHECK-NEXT: br label %[[JOIN:[^\s]+]]
 283 ; CHECK:    [[JOIN]]:
 284 ; CHECK-NEXT: phi { i8*, i32 }
 285 ; CHECK-NEXT: br label %lpad.cont
 286 ; CHECK:    lpad.cont:
 287 ; CHECK-NEXT: call void @_ZSt9terminatev()
 288
 289
 290 ;; Test 4 - Split unwind edges with a dominance problem
 291 define void @test4_out() uwtable ssp {
 292 entry:
 293   invoke void @test0_in()
 294           to label %cont unwind label %lpad.crit
 295
 296 cont:
 297   invoke void @opaque()
 298           to label %ret unwind label %lpad
 299
 300 ret:
 301   ret void
 302
 303 lpad.crit:
 304   %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
 305             catch i8* bitcast (i8** @_ZTIi to i8*)
 306   call void @opaque() nounwind
 307   br label %terminate
 308
 309 lpad:
 310   %exn2 = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
 311             catch i8* bitcast (i8** @_ZTIi to i8*)
 312   br label %terminate
 313
 314 terminate:
 315   %phi = phi i32 [ 0, %lpad.crit ], [ 1, %lpad ]
 316   call void @use(i32 %phi)
 317   call void @_ZSt9terminatev()
 318   unreachable
 319 }
 320
 321 ; CHECK: define void @test4_out()
 322 ; CHECK:      landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
 323 ; CHECK-NEXT:    cleanup
 324 ; CHECK-NEXT:    catch i8* bitcast (i8** @_ZTIi to i8*)
 325 ; CHECK-NEXT:    catch i8* bitcast (i8** @_ZTIi to i8*)
 326 ; CHECK-NEXT: invoke void @_ZN1AD1Ev(
 327 ; CHECK-NEXT:   to label %[[L:[^\s]+]] unwind
 328 ; CHECK:    [[L]]:
 329 ; CHECK-NEXT: br label %[[JOIN:[^\s]+]]
 330 ; CHECK:      invoke void @opaque()
 331 ; CHECK-NEXT:                  unwind label %lpad
 332 ; CHECK:    lpad.crit:
 333 ; CHECK-NEXT: landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
 334 ; CHECK-NEXT:   catch i8* bitcast (i8** @_ZTIi to i8*)
 335 ; CHECK-NEXT: br label %[[JOIN]]
 336 ; CHECK:    [[JOIN]]:
 337 ; CHECK-NEXT: phi { i8*, i32 }
 338 ; CHECK-NEXT: call void @opaque() [[NUW:#[0-9]+]]
 339 ; CHECK-NEXT: br label %[[FIX:[^\s]+]]
 340 ; CHECK:    lpad:
 341 ; CHECK-NEXT: landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
 342 ; CHECK-NEXT:   catch i8* bitcast (i8** @_ZTIi to i8*)
 343 ; CHECK-NEXT: br label %[[FIX]]
 344 ; CHECK:    [[FIX]]:
 345 ; CHECK-NEXT: [[T1:%.*]] = phi i32 [ 0, %[[JOIN]] ], [ 1, %lpad ]
 346 ; CHECK-NEXT: call void @use(i32 [[T1]])
 347 ; CHECK-NEXT: call void @_ZSt9terminatev()
 348
 349 ; CHECK: attributes [[NUW]] = { nounwind }
 350 ; CHECK: attributes #1 = { nounwind readnone }
 351 ; CHECK: attributes #2 = { ssp uwtable }
 352 ; CHECK: attributes #3 = { noreturn nounwind }