1 ; RUN: opt < %s -loop-reduce -S | FileCheck %s
2 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
3 target triple = "x86_64-pc-windows-msvc"
5 define void @f() personality i32 (...)* @__CxxFrameHandler3 {
9 for.cond.i: ; preds = %for.inc.i, %entry
10 %_First.addr.0.i = phi i32* [ null, %entry ], [ %incdec.ptr.i, %for.inc.i ]
12 to label %for.inc.i unwind label %catch.dispatch.i
14 catch.dispatch.i: ; preds = %for.cond.i
15 %0 = catchpad [i8* null, i32 64, i8* null]
16 to label %for.cond.1.preheader.i unwind label %catchendblock.i
18 for.cond.1.preheader.i: ; preds = %catch.dispatch.i
19 %cmp.i = icmp eq i32* %_First.addr.0.i, null
20 br label %for.cond.1.i
22 for.cond.1.i: ; preds = %for.body.i, %for.cond.1.preheader.i
23 br i1 %cmp.i, label %for.end.i, label %for.body.i
25 for.body.i: ; preds = %for.cond.1.i
27 to label %for.cond.1.i unwind label %catchendblock.i
29 catchendblock.i: ; preds = %for.body.i, %catch.dispatch.i
30 catchendpad unwind to caller
32 for.inc.i: ; preds = %for.cond.i
33 %incdec.ptr.i = getelementptr inbounds i32, i32* %_First.addr.0.i, i64 1
36 for.end.i: ; preds = %for.cond.1.i
37 catchret %0 to label %leave
39 leave: ; preds = %for.end.i
43 ; CHECK-LABEL: define void @f(
44 ; CHECK: %[[PHI:.*]] = phi i64 [ %[[IV_NEXT:.*]], {{.*}} ], [ 0, {{.*}} ]
45 ; CHECK: %[[ITOP:.*]] = inttoptr i64 %[[PHI]] to i32*
46 ; CHECK: %[[CMP:.*]] = icmp eq i32* %[[ITOP]], null
47 ; CHECK: %[[IV_NEXT]] = add i64 %[[PHI]], -4
51 declare i32 @__CxxFrameHandler3(...)