1; RUN: opt < %s -loop-reduce -S | FileCheck %s
2target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
3target triple = "x86_64-pc-windows-msvc"
4
5define void @f() personality i32 (...)* @__CxxFrameHandler3 {
6entry:
7  br label %for.cond.i
8
9for.cond.i:                                       ; preds = %for.inc.i, %entry
10  %_First.addr.0.i = phi i32* [ null, %entry ], [ %incdec.ptr.i, %for.inc.i ]
11  invoke void @g()
12          to label %for.inc.i unwind label %catch.dispatch.i
13
14catch.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
17
18for.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
21
22for.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
24
25for.body.i:                                       ; preds = %for.cond.1.i
26  invoke void @g()
27          to label %for.cond.1.i unwind label %catchendblock.i
28
29catchendblock.i:                                  ; preds = %for.body.i, %catch.dispatch.i
30  catchendpad unwind to caller
31
32for.inc.i:                                        ; preds = %for.cond.i
33  %incdec.ptr.i = getelementptr inbounds i32, i32* %_First.addr.0.i, i64 1
34  br label %for.cond.i
35
36for.end.i:                                        ; preds = %for.cond.1.i
37  catchret %0 to label %leave
38
39leave:                                            ; preds = %for.end.i
40  ret void
41}
42
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
48
49declare void @g()
50
51declare i32 @__CxxFrameHandler3(...)
52