1; RUN: opt < %s -indvars -S \
2; RUN:   | grep {%b.1 = phi i32 \\\[ 2, %bb \\\], \\\[ 1, %bb2 \\\]}
3
4; This loop has multiple exits, and the value of %b1 depends on which
5; exit is taken. Indvars should correctly compute the exit values.
6
7target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
8target triple = "x86_64-pc-linux-gnu"
9	%struct..0anon = type <{ i8, [3 x i8] }>
10
11define i32 @main() nounwind {
12entry:
13	br label %bb2
14
15bb2:		; preds = %bb, %entry
16	%sdata.0 = phi i32 [ 1, %entry ], [ %ins10, %bb ]		; <i32> [#uses=2]
17	%b.0 = phi i32 [ 0, %entry ], [ %t0, %bb ]		; <i32> [#uses=2]
18	%tmp6 = trunc i32 %sdata.0 to i8		; <i8> [#uses=2]
19	%t2 = and i8 %tmp6, 1		; <i8> [#uses=1]
20	%t3 = icmp eq i8 %t2, 0		; <i1> [#uses=1]
21	%t4 = xor i8 %tmp6, 1		; <i8> [#uses=1]
22	%tmp8 = zext i8 %t4 to i32		; <i32> [#uses=1]
23	%mask9 = and i32 %sdata.0, -256		; <i32> [#uses=1]
24	%ins10 = or i32 %tmp8, %mask9		; <i32> [#uses=1]
25	br i1 %t3, label %bb3, label %bb
26
27bb:		; preds = %bb2
28	%t0 = add i32 %b.0, 1		; <i32> [#uses=3]
29	%t1 = icmp sgt i32 %t0, 100		; <i1> [#uses=1]
30	br i1 %t1, label %bb3, label %bb2
31
32bb3:		; preds = %bb, %bb2
33	%b.1 = phi i32 [ %t0, %bb ], [ %b.0, %bb2 ]		; <i32> [#uses=1]
34	%t5 = icmp eq i32 %b.1, 1		; <i1> [#uses=1]
35	br i1 %t5, label %bb5, label %bb4
36
37bb4:		; preds = %bb3
38	tail call void @abort() noreturn nounwind
39	unreachable
40
41bb5:		; preds = %bb3
42	ret i32 0
43}
44
45declare void @llvm.memset.i64(i8* nocapture, i8, i64, i32) nounwind
46
47declare void @abort() noreturn nounwind
48