1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -loop-reduce -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" 3*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-pc-windows-msvc" 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workerdefine void @f() personality i32 (...)* @__CxxFrameHandler3 { 6*9880d681SAndroid Build Coastguard Workerentry: 7*9880d681SAndroid Build Coastguard Worker br label %for.cond.i 8*9880d681SAndroid Build Coastguard Worker 9*9880d681SAndroid Build Coastguard Workerfor.cond.i: ; preds = %for.inc.i, %entry 10*9880d681SAndroid Build Coastguard Worker %_First.addr.0.i = phi i32* [ null, %entry ], [ %incdec.ptr.i, %for.inc.i ] 11*9880d681SAndroid Build Coastguard Worker invoke void @g() 12*9880d681SAndroid Build Coastguard Worker to label %for.inc.i unwind label %catch.dispatch.i 13*9880d681SAndroid Build Coastguard Worker 14*9880d681SAndroid Build Coastguard Workercatch.dispatch.i: ; preds = %for.cond.i 15*9880d681SAndroid Build Coastguard Worker %cs = catchswitch within none [label %for.cond.1.preheader.i] unwind to caller 16*9880d681SAndroid Build Coastguard Worker 17*9880d681SAndroid Build Coastguard Workerfor.cond.1.preheader.i: ; preds = %catch.dispatch.i 18*9880d681SAndroid Build Coastguard Worker %0 = catchpad within %cs [i8* null, i32 64, i8* null] 19*9880d681SAndroid Build Coastguard Worker %cmp.i = icmp eq i32* %_First.addr.0.i, null 20*9880d681SAndroid Build Coastguard Worker br label %for.cond.1.i 21*9880d681SAndroid Build Coastguard Worker 22*9880d681SAndroid Build Coastguard Workerfor.cond.1.i: ; preds = %for.body.i, %for.cond.1.preheader.i 23*9880d681SAndroid Build Coastguard Worker br i1 %cmp.i, label %for.end.i, label %for.body.i 24*9880d681SAndroid Build Coastguard Worker 25*9880d681SAndroid Build Coastguard Workerfor.body.i: ; preds = %for.cond.1.i 26*9880d681SAndroid Build Coastguard Worker call void @g() 27*9880d681SAndroid Build Coastguard Worker br label %for.cond.1.i 28*9880d681SAndroid Build Coastguard Worker 29*9880d681SAndroid Build Coastguard Workerfor.inc.i: ; preds = %for.cond.i 30*9880d681SAndroid Build Coastguard Worker %incdec.ptr.i = getelementptr inbounds i32, i32* %_First.addr.0.i, i64 1 31*9880d681SAndroid Build Coastguard Worker br label %for.cond.i 32*9880d681SAndroid Build Coastguard Worker 33*9880d681SAndroid Build Coastguard Workerfor.end.i: ; preds = %for.cond.1.i 34*9880d681SAndroid Build Coastguard Worker catchret from %0 to label %leave 35*9880d681SAndroid Build Coastguard Worker 36*9880d681SAndroid Build Coastguard Workerleave: ; preds = %for.end.i 37*9880d681SAndroid Build Coastguard Worker ret void 38*9880d681SAndroid Build Coastguard Worker} 39*9880d681SAndroid Build Coastguard Worker 40*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: define void @f( 41*9880d681SAndroid Build Coastguard Worker; CHECK: %[[PHI:.*]] = phi i64 [ %[[IV_NEXT:.*]], {{.*}} ], [ 0, {{.*}} ] 42*9880d681SAndroid Build Coastguard Worker; CHECK: %[[ITOP:.*]] = inttoptr i64 %[[PHI]] to i32* 43*9880d681SAndroid Build Coastguard Worker; CHECK: %[[CMP:.*]] = icmp eq i32* %[[ITOP]], null 44*9880d681SAndroid Build Coastguard Worker; CHECK: %[[IV_NEXT]] = add i64 %[[PHI]], -4 45*9880d681SAndroid Build Coastguard Worker 46*9880d681SAndroid Build Coastguard Workerdeclare void @g() 47*9880d681SAndroid Build Coastguard Worker 48*9880d681SAndroid Build Coastguard Workerdeclare i32 @__CxxFrameHandler3(...) 49