[DAGCombiner] Add target hook function to decide folding (mul (add x, c1), c2)
[llvm-project.git] / llvm / test / Transforms / IndVarSimplify / masked-iv.ll
blobc045469e71bbb2142e97a5d93aa5c234d1ecbcd9
1 ; RUN: opt < %s -indvars -S | FileCheck %s
3 ; Indvars should do the IV arithmetic in the canonical IV type (i64),
4 ; and only use one truncation.
6 define void @foo(i64* %A, i64* %B, i64 %n, i64 %a, i64 %s) nounwind {
7 ; CHECK-LABEL: @foo(
8 ; CHECK-NOT: trunc
9 ; CHECK: and
10 ; CHECK-NOT: and
11 entry:
12         %t0 = icmp sgt i64 %n, 0                ; <i1> [#uses=1]
13         br i1 %t0, label %bb.preheader, label %return
15 bb.preheader:           ; preds = %entry
16         br label %bb
18 bb:             ; preds = %bb, %bb.preheader
19         %i.01 = phi i64 [ %t6, %bb ], [ %a, %bb.preheader ]             ; <i64> [#uses=3]
20         %t1 = and i64 %i.01, 255                ; <i64> [#uses=1]
21         %t2 = getelementptr i64, i64* %A, i64 %t1               ; <i64*> [#uses=1]
22         store i64 %i.01, i64* %t2, align 8
23         %t6 = add i64 %i.01, %s         ; <i64> [#uses=1]
24         br label %bb
26 return:         ; preds = %entry
27         ret void