Teach SCEVExpander's visitAddRecExpr to reuse an existing canonical
[oota-llvm.git] / test / Transforms / IndVarSimplify / masked-iv.ll
1 ; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep trunc | count 1
2
3 ; Indvars should do the IV arithmetic in the canonical IV type (i64),
4 ; and only use one truncation.
5
6 define void @foo(i64* %A, i64* %B, i64 %n, i64 %a, i64 %s) nounwind {
7 entry:
8         %t0 = icmp sgt i64 %n, 0                ; <i1> [#uses=1]
9         br i1 %t0, label %bb.preheader, label %return
10
11 bb.preheader:           ; preds = %entry
12         br label %bb
13
14 bb:             ; preds = %bb, %bb.preheader
15         %i.01 = phi i64 [ %t6, %bb ], [ %a, %bb.preheader ]             ; <i64> [#uses=3]
16         %t1 = and i64 %i.01, 255                ; <i64> [#uses=1]
17         %t2 = getelementptr i64* %A, i64 %t1            ; <i64*> [#uses=1]
18         store i64 %i.01, i64* %t2, align 8
19         %t6 = add i64 %i.01, %s         ; <i64> [#uses=1]
20         br label %bb
21
22 return:         ; preds = %entry
23         ret void
24 }