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