llvm/test/Transforms/IndVarSimplify/masked-iv.ll

   1 ; RUN: opt < %s -passes=indvars -S | FileCheck %s
   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(ptr %A, ptr %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
  14
  15 bb.preheader:           ; preds = %entry
  16         br label %bb
  17
  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, ptr %A, i64 %t1                ; <ptr> [#uses=1]
  22         store i64 %i.01, ptr %t2, align 8
  23         %t6 = add i64 %i.01, %s         ; <i64> [#uses=1]
  24         br label %bb
  25
  26 return:         ; preds = %entry
  27         ret void
  28 }