test/Transforms/IndVarSimplify/masked-iv.ll

   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
   8 define void @foo(i64* %A, i64* %B, i64 %n, i64 %a, i64 %s) nounwind {
   9 entry:
  10         %t0 = icmp sgt i64 %n, 0                ; <i1> [#uses=1]
  11         br i1 %t0, label %bb.preheader, label %return
  12
  13 bb.preheader:           ; preds = %entry
  14         br label %bb
  15
  16 bb:             ; 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
  24 return:         ; preds = %entry
  25         ret void
  26 }