1; RUN: opt < %s -indvars -S > %t
2; RUN: not grep trunc %t
3; RUN: grep and %t | count 1
4
5; Indvars should do the IV arithmetic in the canonical IV type (i64),
6; and only use one truncation.
7
8define void @foo(i64* %A, i64* %B, i64 %n, i64 %a, i64 %s) nounwind {
9entry:
10	%t0 = icmp sgt i64 %n, 0		; <i1> [#uses=1]
11	br i1 %t0, label %bb.preheader, label %return
12
13bb.preheader:		; preds = %entry
14	br label %bb
15
16bb:		; preds = %bb, %bb.preheader
17	%i.01 = phi i64 [ %t6, %bb ], [ %a, %bb.preheader ]		; <i64> [#uses=3]
18	%t1 = and i64 %i.01, 255		; <i64> [#uses=1]
19	%t2 = getelementptr i64* %A, i64 %t1		; <i64*> [#uses=1]
20	store i64 %i.01, i64* %t2, align 8
21	%t6 = add i64 %i.01, %s		; <i64> [#uses=1]
22	br label %bb
23
24return:		; preds = %entry
25	ret void
26}
27