llvm/test/Transforms/LoopStrengthReduce/funclet.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -loop-reduce -S | FileCheck %s
   3
   4 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
   5 target triple = "i686-pc-windows-msvc"
   6
   7 declare i32 @_except_handler3(...)
   8 declare i32 @__CxxFrameHandler3(...)
   9
  10 declare void @external(i32*)
  11 declare void @reserve()
  12
  13 define void @f() personality i32 (...)* @_except_handler3 {
  14 ; CHECK-LABEL: @f(
  15 ; CHECK-NEXT:  entry:
  16 ; CHECK-NEXT:    br label [[THROW:%.*]]
  17 ; CHECK:       throw:
  18 ; CHECK-NEXT:    [[TMP96:%.*]] = getelementptr inbounds i8, i8* undef, i32 1
  19 ; CHECK-NEXT:    invoke void @reserve()
  20 ; CHECK-NEXT:    to label [[THROW]] unwind label [[PAD:%.*]]
  21 ; CHECK:       pad:
  22 ; CHECK-NEXT:    [[PHI2:%.*]] = phi i8* [ [[TMP96]], [[THROW]] ]
  23 ; CHECK-NEXT:    [[CS:%.*]] = catchswitch within none [label %unreachable] unwind label [[BLAH2:%.*]]
  24 ; CHECK:       unreachable:
  25 ; CHECK-NEXT:    [[TMP0:%.*]] = catchpad within [[CS]] []
  26 ; CHECK-NEXT:    unreachable
  27 ; CHECK:       blah2:
  28 ; CHECK-NEXT:    [[CLEANUPPADI4_I_I_I:%.*]] = cleanuppad within none []
  29 ; CHECK-NEXT:    [[SCEVGEP:%.*]] = getelementptr i8, i8* [[PHI2]], i32 -1
  30 ; CHECK-NEXT:    br label [[LOOP_BODY:%.*]]
  31 ; CHECK:       loop_body:
  32 ; CHECK-NEXT:    [[LSR_IV:%.*]] = phi i8* [ [[SCEVGEP1:%.*]], [[ITER:%.*]] ], [ [[SCEVGEP]], [[BLAH2]] ]
  33 ; CHECK-NEXT:    [[SCEVGEP1]] = getelementptr i8, i8* [[LSR_IV]], i32 1
  34 ; CHECK-NEXT:    [[TMP100:%.*]] = icmp eq i8* [[SCEVGEP1]], undef
  35 ; CHECK-NEXT:    br i1 [[TMP100]], label [[UNWIND_OUT:%.*]], label [[ITER]]
  36 ; CHECK:       iter:
  37 ; CHECK-NEXT:    br i1 true, label [[UNWIND_OUT]], label [[LOOP_BODY]]
  38 ; CHECK:       unwind_out:
  39 ; CHECK-NEXT:    cleanupret from [[CLEANUPPADI4_I_I_I]] unwind to caller
  40 ;
  41 entry:
  42   br label %throw
  43
  44 throw:                                            ; preds = %throw, %entry
  45   %tmp96 = getelementptr inbounds i8, i8* undef, i32 1
  46   invoke void @reserve()
  47   to label %throw unwind label %pad
  48
  49 pad:                                              ; preds = %throw
  50   %phi2 = phi i8* [ %tmp96, %throw ]
  51   %cs = catchswitch within none [label %unreachable] unwind label %blah2
  52
  53 unreachable:
  54   catchpad within %cs []
  55   unreachable
  56
  57 blah2:
  58   %cleanuppadi4.i.i.i = cleanuppad within none []
  59   br label %loop_body
  60
  61 loop_body:                                        ; preds = %iter, %pad
  62   %tmp99 = phi i8* [ %tmp101, %iter ], [ %phi2, %blah2 ]
  63   %tmp100 = icmp eq i8* %tmp99, undef
  64   br i1 %tmp100, label %unwind_out, label %iter
  65
  66 iter:                                             ; preds = %loop_body
  67   %tmp101 = getelementptr inbounds i8, i8* %tmp99, i32 1
  68   br i1 undef, label %unwind_out, label %loop_body
  69
  70 unwind_out:                                       ; preds = %iter, %loop_body
  71   cleanupret from %cleanuppadi4.i.i.i unwind to caller
  72 }
  73
  74 define void @g() personality i32 (...)* @_except_handler3 {
  75 ; CHECK-LABEL: @g(
  76 ; CHECK-NEXT:  entry:
  77 ; CHECK-NEXT:    br label [[THROW:%.*]]
  78 ; CHECK:       throw:
  79 ; CHECK-NEXT:    [[TMP96:%.*]] = getelementptr inbounds i8, i8* undef, i32 1
  80 ; CHECK-NEXT:    invoke void @reserve()
  81 ; CHECK-NEXT:    to label [[THROW]] unwind label [[PAD:%.*]]
  82 ; CHECK:       pad:
  83 ; CHECK-NEXT:    [[PHI2:%.*]] = phi i8* [ [[TMP96]], [[THROW]] ]
  84 ; CHECK-NEXT:    [[CS:%.*]] = catchswitch within none [label [[UNREACHABLE:%.*]], label %blah] unwind to caller
  85 ; CHECK:       unreachable:
  86 ; CHECK-NEXT:    [[TMP0:%.*]] = catchpad within [[CS]] []
  87 ; CHECK-NEXT:    unreachable
  88 ; CHECK:       blah:
  89 ; CHECK-NEXT:    [[CATCHPAD:%.*]] = catchpad within [[CS]] []
  90 ; CHECK-NEXT:    [[SCEVGEP:%.*]] = getelementptr i8, i8* [[PHI2]], i32 -1
  91 ; CHECK-NEXT:    br label [[LOOP_BODY:%.*]]
  92 ; CHECK:       unwind_out:
  93 ; CHECK-NEXT:    catchret from [[CATCHPAD]] to label [[LEAVE:%.*]]
  94 ; CHECK:       leave:
  95 ; CHECK-NEXT:    ret void
  96 ; CHECK:       loop_body:
  97 ; CHECK-NEXT:    [[LSR_IV:%.*]] = phi i8* [ [[SCEVGEP1:%.*]], [[ITER:%.*]] ], [ [[SCEVGEP]], [[BLAH:%.*]] ]
  98 ; CHECK-NEXT:    [[SCEVGEP1]] = getelementptr i8, i8* [[LSR_IV]], i32 1
  99 ; CHECK-NEXT:    [[TMP100:%.*]] = icmp eq i8* [[SCEVGEP1]], undef
 100 ; CHECK-NEXT:    br i1 [[TMP100]], label [[UNWIND_OUT:%.*]], label [[ITER]]
 101 ; CHECK:       iter:
 102 ; CHECK-NEXT:    br i1 true, label [[UNWIND_OUT]], label [[LOOP_BODY]]
 103 ;
 104 entry:
 105   br label %throw
 106
 107 throw:                                            ; preds = %throw, %entry
 108   %tmp96 = getelementptr inbounds i8, i8* undef, i32 1
 109   invoke void @reserve()
 110   to label %throw unwind label %pad
 111
 112 pad:
 113   %phi2 = phi i8* [ %tmp96, %throw ]
 114   %cs = catchswitch within none [label %unreachable, label %blah] unwind to caller
 115
 116 unreachable:
 117   catchpad within %cs []
 118   unreachable
 119
 120 blah:
 121   %catchpad = catchpad within %cs []
 122   br label %loop_body
 123
 124 unwind_out:
 125   catchret from %catchpad to label %leave
 126
 127 leave:
 128   ret void
 129
 130 loop_body:                                        ; preds = %iter, %pad
 131   %tmp99 = phi i8* [ %tmp101, %iter ], [ %phi2, %blah ]
 132   %tmp100 = icmp eq i8* %tmp99, undef
 133   br i1 %tmp100, label %unwind_out, label %iter
 134
 135 iter:                                             ; preds = %loop_body
 136   %tmp101 = getelementptr inbounds i8, i8* %tmp99, i32 1
 137   br i1 undef, label %unwind_out, label %loop_body
 138 }
 139
 140 define void @h() personality i32 (...)* @_except_handler3 {
 141 ; CHECK-LABEL: @h(
 142 ; CHECK-NEXT:  entry:
 143 ; CHECK-NEXT:    br label [[THROW:%.*]]
 144 ; CHECK:       throw:
 145 ; CHECK-NEXT:    [[TMP96:%.*]] = getelementptr inbounds i8, i8* undef, i32 1
 146 ; CHECK-NEXT:    invoke void @reserve()
 147 ; CHECK-NEXT:    to label [[THROW]] unwind label [[PAD:%.*]]
 148 ; CHECK:       pad:
 149 ; CHECK-NEXT:    [[CS:%.*]] = catchswitch within none [label [[UNREACHABLE:%.*]], label %blug] unwind to caller
 150 ; CHECK:       unreachable:
 151 ; CHECK-NEXT:    [[TMP0:%.*]] = catchpad within [[CS]] []
 152 ; CHECK-NEXT:    unreachable
 153 ; CHECK:       blug:
 154 ; CHECK-NEXT:    [[PHI2:%.*]] = phi i8* [ [[TMP96]], [[PAD]] ]
 155 ; CHECK-NEXT:    [[CATCHPAD:%.*]] = catchpad within [[CS]] []
 156 ; CHECK-NEXT:    [[SCEVGEP:%.*]] = getelementptr i8, i8* [[PHI2]], i32 -1
 157 ; CHECK-NEXT:    br label [[LOOP_BODY:%.*]]
 158 ; CHECK:       unwind_out:
 159 ; CHECK-NEXT:    catchret from [[CATCHPAD]] to label [[LEAVE:%.*]]
 160 ; CHECK:       leave:
 161 ; CHECK-NEXT:    ret void
 162 ; CHECK:       loop_body:
 163 ; CHECK-NEXT:    [[LSR_IV:%.*]] = phi i8* [ [[SCEVGEP1:%.*]], [[ITER:%.*]] ], [ [[SCEVGEP]], [[BLUG:%.*]] ]
 164 ; CHECK-NEXT:    [[SCEVGEP1]] = getelementptr i8, i8* [[LSR_IV]], i32 1
 165 ; CHECK-NEXT:    [[TMP100:%.*]] = icmp eq i8* [[SCEVGEP1]], undef
 166 ; CHECK-NEXT:    br i1 [[TMP100]], label [[UNWIND_OUT:%.*]], label [[ITER]]
 167 ; CHECK:       iter:
 168 ; CHECK-NEXT:    br i1 true, label [[UNWIND_OUT]], label [[LOOP_BODY]]
 169 ;
 170 entry:
 171   br label %throw
 172
 173 throw:                                            ; preds = %throw, %entry
 174   %tmp96 = getelementptr inbounds i8, i8* undef, i32 1
 175   invoke void @reserve()
 176   to label %throw unwind label %pad
 177
 178 pad:
 179   %cs = catchswitch within none [label %unreachable, label %blug] unwind to caller
 180
 181 unreachable:
 182   catchpad within %cs []
 183   unreachable
 184
 185 blug:
 186   %phi2 = phi i8* [ %tmp96, %pad ]
 187   %catchpad = catchpad within %cs []
 188   br label %loop_body
 189
 190 unwind_out:
 191   catchret from %catchpad to label %leave
 192
 193 leave:
 194   ret void
 195
 196 loop_body:                                        ; preds = %iter, %pad
 197   %tmp99 = phi i8* [ %tmp101, %iter ], [ %phi2, %blug ]
 198   %tmp100 = icmp eq i8* %tmp99, undef
 199   br i1 %tmp100, label %unwind_out, label %iter
 200
 201 iter:                                             ; preds = %loop_body
 202   %tmp101 = getelementptr inbounds i8, i8* %tmp99, i32 1
 203   br i1 undef, label %unwind_out, label %loop_body
 204 }
 205
 206 define void @i() personality i32 (...)* @_except_handler3 {
 207 ; CHECK-LABEL: @i(
 208 ; CHECK-NEXT:  entry:
 209 ; CHECK-NEXT:    br label [[THROW:%.*]]
 210 ; CHECK:       throw:
 211 ; CHECK-NEXT:    [[TMP96:%.*]] = getelementptr inbounds i8, i8* undef, i32 1
 212 ; CHECK-NEXT:    invoke void @reserve()
 213 ; CHECK-NEXT:    to label [[THROW]] unwind label [[CATCHPAD:%.*]]
 214 ; CHECK:       catchpad:
 215 ; CHECK-NEXT:    [[PHI2:%.*]] = phi i8* [ [[TMP96]], [[THROW]] ]
 216 ; CHECK-NEXT:    [[CS:%.*]] = catchswitch within none [label %cp_body] unwind label [[CLEANUPPAD:%.*]]
 217 ; CHECK:       cp_body:
 218 ; CHECK-NEXT:    [[TMP0:%.*]] = catchpad within [[CS]] []
 219 ; CHECK-NEXT:    br label [[LOOP_HEAD:%.*]]
 220 ; CHECK:       cleanuppad:
 221 ; CHECK-NEXT:    [[TMP1:%.*]] = cleanuppad within none []
 222 ; CHECK-NEXT:    br label [[LOOP_HEAD]]
 223 ; CHECK:       loop_head:
 224 ; CHECK-NEXT:    [[SCEVGEP:%.*]] = getelementptr i8, i8* [[PHI2]], i32 -1
 225 ; CHECK-NEXT:    br label [[LOOP_BODY:%.*]]
 226 ; CHECK:       loop_body:
 227 ; CHECK-NEXT:    [[LSR_IV:%.*]] = phi i8* [ [[SCEVGEP1:%.*]], [[ITER:%.*]] ], [ [[SCEVGEP]], [[LOOP_HEAD]] ]
 228 ; CHECK-NEXT:    [[SCEVGEP1]] = getelementptr i8, i8* [[LSR_IV]], i32 1
 229 ; CHECK-NEXT:    [[TMP100:%.*]] = icmp eq i8* [[SCEVGEP1]], undef
 230 ; CHECK-NEXT:    br i1 [[TMP100]], label [[UNWIND_OUT:%.*]], label [[ITER]]
 231 ; CHECK:       iter:
 232 ; CHECK-NEXT:    br i1 true, label [[UNWIND_OUT]], label [[LOOP_BODY]]
 233 ; CHECK:       unwind_out:
 234 ; CHECK-NEXT:    unreachable
 235 ;
 236 entry:
 237   br label %throw
 238
 239 throw:                                            ; preds = %throw, %entry
 240   %tmp96 = getelementptr inbounds i8, i8* undef, i32 1
 241   invoke void @reserve()
 242   to label %throw unwind label %catchpad
 243
 244 catchpad:                                              ; preds = %throw
 245   %phi2 = phi i8* [ %tmp96, %throw ]
 246   %cs = catchswitch within none [label %cp_body] unwind label %cleanuppad
 247
 248 cp_body:
 249   catchpad within %cs []
 250   br label %loop_head
 251
 252 cleanuppad:
 253   cleanuppad within none []
 254   br label %loop_head
 255
 256 loop_head:
 257   br label %loop_body
 258
 259 loop_body:                                        ; preds = %iter, %catchpad
 260   %tmp99 = phi i8* [ %tmp101, %iter ], [ %phi2, %loop_head ]
 261   %tmp100 = icmp eq i8* %tmp99, undef
 262   br i1 %tmp100, label %unwind_out, label %iter
 263
 264 iter:                                             ; preds = %loop_body
 265   %tmp101 = getelementptr inbounds i8, i8* %tmp99, i32 1
 266   br i1 undef, label %unwind_out, label %loop_body
 267
 268 unwind_out:                                       ; preds = %iter, %loop_body
 269   unreachable
 270 }
 271
 272 define void @test1(i32* %b, i32* %c) personality i32 (...)* @__CxxFrameHandler3 {
 273 ; CHECK-LABEL: @test1(
 274 ; CHECK-NEXT:  entry:
 275 ; CHECK-NEXT:    br label [[FOR_COND:%.*]]
 276 ; CHECK:       for.cond:
 277 ; CHECK-NEXT:    [[D_0:%.*]] = phi i32* [ [[B:%.*]], [[ENTRY:%.*]] ], [ [[INCDEC_PTR:%.*]], [[FOR_INC:%.*]] ]
 278 ; CHECK-NEXT:    invoke void @external(i32* [[D_0]])
 279 ; CHECK-NEXT:    to label [[FOR_INC]] unwind label [[CATCH_DISPATCH:%.*]]
 280 ; CHECK:       for.inc:
 281 ; CHECK-NEXT:    [[INCDEC_PTR]] = getelementptr inbounds i32, i32* [[D_0]], i32 1
 282 ; CHECK-NEXT:    br label [[FOR_COND]]
 283 ; CHECK:       catch.dispatch:
 284 ; CHECK-NEXT:    [[CS:%.*]] = catchswitch within none [label %catch] unwind label [[CATCH_DISPATCH_2:%.*]]
 285 ; CHECK:       catch:
 286 ; CHECK-NEXT:    [[TMP0:%.*]] = catchpad within [[CS]] [i8* null, i32 64, i8* null]
 287 ; CHECK-NEXT:    catchret from [[TMP0]] to label [[TRY_CONT:%.*]]
 288 ; CHECK:       try.cont:
 289 ; CHECK-NEXT:    invoke void @external(i32* [[C:%.*]])
 290 ; CHECK-NEXT:    to label [[TRY_CONT_7:%.*]] unwind label [[CATCH_DISPATCH_2]]
 291 ; CHECK:       catch.dispatch.2:
 292 ; CHECK-NEXT:    [[E_0:%.*]] = phi i32* [ [[C]], [[TRY_CONT]] ], [ [[B]], [[CATCH_DISPATCH]] ]
 293 ; CHECK-NEXT:    [[CS2:%.*]] = catchswitch within none [label %catch.4] unwind to caller
 294 ; CHECK:       catch.4:
 295 ; CHECK-NEXT:    [[TMP1:%.*]] = catchpad within [[CS2]] [i8* null, i32 64, i8* null]
 296 ; CHECK-NEXT:    unreachable
 297 ; CHECK:       try.cont.7:
 298 ; CHECK-NEXT:    ret void
 299 ;
 300 entry:
 301   br label %for.cond
 302
 303 for.cond:                                         ; preds = %for.inc, %entry
 304   %d.0 = phi i32* [ %b, %entry ], [ %incdec.ptr, %for.inc ]
 305   invoke void @external(i32* %d.0)
 306   to label %for.inc unwind label %catch.dispatch
 307
 308 for.inc:                                          ; preds = %for.cond
 309   %incdec.ptr = getelementptr inbounds i32, i32* %d.0, i32 1
 310   br label %for.cond
 311
 312 catch.dispatch:                                   ; preds = %for.cond
 313   %cs = catchswitch within none [label %catch] unwind label %catch.dispatch.2
 314
 315 catch:                                            ; preds = %catch.dispatch
 316   %0 = catchpad within %cs [i8* null, i32 64, i8* null]
 317   catchret from %0 to label %try.cont
 318
 319 try.cont:                                         ; preds = %catch
 320   invoke void @external(i32* %c)
 321   to label %try.cont.7 unwind label %catch.dispatch.2
 322
 323 catch.dispatch.2:                                 ; preds = %try.cont, %catchendblock
 324   %e.0 = phi i32* [ %c, %try.cont ], [ %b, %catch.dispatch ]
 325   %cs2 = catchswitch within none [label %catch.4] unwind to caller
 326
 327 catch.4:                                          ; preds = %catch.dispatch.2
 328   catchpad within %cs2 [i8* null, i32 64, i8* null]
 329   unreachable
 330
 331 try.cont.7:                                       ; preds = %try.cont
 332   ret void
 333 }
 334
 335 define i32 @test2() personality i32 (...)* @_except_handler3 {
 336 ; CHECK-LABEL: @test2(
 337 ; CHECK-NEXT:  entry:
 338 ; CHECK-NEXT:    br label [[FOR_BODY:%.*]]
 339 ; CHECK:       for.body:
 340 ; CHECK-NEXT:    [[PHI:%.*]] = phi i32 [ [[INC:%.*]], [[FOR_INC:%.*]] ], [ 0, [[ENTRY:%.*]] ]
 341 ; CHECK-NEXT:    invoke void @reserve()
 342 ; CHECK-NEXT:    to label [[FOR_INC]] unwind label [[CATCH_DISPATCH:%.*]]
 343 ; CHECK:       catch.dispatch:
 344 ; CHECK-NEXT:    [[TMP18:%.*]] = catchswitch within none [label %catch.handler] unwind to caller
 345 ; CHECK:       catch.handler:
 346 ; CHECK-NEXT:    [[PHI_LCSSA:%.*]] = phi i32 [ [[PHI]], [[CATCH_DISPATCH]] ]
 347 ; CHECK-NEXT:    [[TMP19:%.*]] = catchpad within [[TMP18]] [i8* null]
 348 ; CHECK-NEXT:    catchret from [[TMP19]] to label [[DONE:%.*]]
 349 ; CHECK:       done:
 350 ; CHECK-NEXT:    ret i32 [[PHI_LCSSA]]
 351 ; CHECK:       for.inc:
 352 ; CHECK-NEXT:    [[INC]] = add i32 [[PHI]], 1
 353 ; CHECK-NEXT:    br label [[FOR_BODY]]
 354 ;
 355 entry:
 356   br label %for.body
 357
 358 for.body:                                         ; preds = %for.inc, %entry
 359   %phi = phi i32 [ %inc, %for.inc ], [ 0, %entry ]
 360   invoke void @reserve()
 361   to label %for.inc unwind label %catch.dispatch
 362
 363 catch.dispatch:                                   ; preds = %for.body
 364   %tmp18 = catchswitch within none [label %catch.handler] unwind to caller
 365
 366 catch.handler:                                    ; preds = %catch.dispatch
 367   %phi.lcssa = phi i32 [ %phi, %catch.dispatch ]
 368   %tmp19 = catchpad within %tmp18 [i8* null]
 369   catchret from %tmp19 to label %done
 370
 371 done:
 372   ret i32 %phi.lcssa
 373
 374 for.inc:                                          ; preds = %for.body
 375   %inc = add i32 %phi, 1
 376   br label %for.body
 377 }