test/Analysis/ScalarEvolution/sext-iv-0.ll

   1 ; RUN: opt %s -disable-output -scalar-evolution -analyze \
   2 ; RUN:  | grep { -->  \{-128,+,1\}<bb1>         Exits: 127} | count 5
   3
   4 ; Convert (sext {-128,+,1}) to {sext(-128),+,sext(1)}, since the
   5 ; trip count is within range where this is safe.
   6
   7 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
   8 target triple = "x86_64-unknown-linux-gnu"
   9
  10 define void @foo(double* nocapture %x) nounwind {
  11 bb1.thread:
  12         br label %bb1
  13
  14 bb1:            ; preds = %bb1, %bb1.thread
  15         %i.0.reg2mem.0 = phi i64 [ -128, %bb1.thread ], [ %8, %bb1 ]            ; <i64> [#uses=3]
  16         %0 = trunc i64 %i.0.reg2mem.0 to i8             ; <i8> [#uses=1]
  17         %1 = trunc i64 %i.0.reg2mem.0 to i9             ; <i8> [#uses=1]
  18         %2 = sext i9 %1 to i64          ; <i64> [#uses=1]
  19         %3 = getelementptr double* %x, i64 %2           ; <double*> [#uses=1]
  20         %4 = load double* %3, align 8           ; <double> [#uses=1]
  21         %5 = fmul double %4, 3.900000e+00               ; <double> [#uses=1]
  22         %6 = sext i8 %0 to i64          ; <i64> [#uses=1]
  23         %7 = getelementptr double* %x, i64 %6           ; <double*> [#uses=1]
  24         store double %5, double* %7, align 8
  25         %8 = add i64 %i.0.reg2mem.0, 1          ; <i64> [#uses=2]
  26         %9 = icmp sgt i64 %8, 127               ; <i1> [#uses=1]
  27         br i1 %9, label %return, label %bb1
  28
  29 return:         ; preds = %bb1
  30         ret void
  31 }