1; RUN: opt -loop-reduce -verify < %s
2
3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
4target triple = "x86_64--linux-gnu"
5
6define void @unbounded() {
7
8block_A:
9  %0 = sext i32 undef to i64
10  br i1 undef, label %block_F, label %block_G
11
12block_C:                ; preds = %block_F
13  br i1 undef, label %block_D, label %block_E
14
15block_D:                  ; preds = %block_D, %block_C
16  br i1 undef, label %block_E, label %block_D
17
18block_E:              ; preds = %block_D, %block_C
19  %iv2 = phi i64 [ %4, %block_D ], [ %4, %block_C ]
20  %1 = add nsw i32 %iv1, 1
21  %2 = icmp eq i32 %1, undef
22  br i1 %2, label %block_G, label %block_F
23
24block_F:          ; preds = %block_E, %block_A
25  %iv3 = phi i64 [ %iv2, %block_E ], [ %0, %block_A ]
26  %iv1 = phi i32 [ %1, %block_E ], [ undef, %block_A ]
27  %3 = add nsw i64 %iv3, 2
28  %4 = add nsw i64 %iv3, 1
29  br label %block_C
30
31block_G:                              ; preds = %block_E, %block_A
32  ret void
33}
34