llvm/test/Analysis/ScalarEvolution/sext-inreg.ll

   1 ; RUN: opt < %s -analyze -enable-new-pm=0 -scalar-evolution | FileCheck %s
   2 ; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s
   3
   4 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
   5 target triple = "i386-apple-darwin9.6"
   6
   7 define i64 @foo(i64* nocapture %x, i64 %n) nounwind {
   8 ; CHECK-LABEL: Classifying expressions for: @foo
   9 entry:
  10         %t0 = icmp sgt i64 %n, 0
  11         br i1 %t0, label %bb, label %return
  12
  13 bb:
  14         %i.01 = phi i64 [ 0, %entry ], [ %indvar.next, %bb ]
  15         %t1 = shl i64 %i.01, 7
  16         %t2 = ashr i64 %t1, 7
  17 ; CHECK: %t2 = ashr i64 %t1, 7
  18 ; CHECK-NEXT: sext i57 {0,+,199}<%bb> to i64
  19 ; CHECK-SAME: Exits: (sext i57 (-199 + (trunc i64 %n to i57)) to i64)
  20 ; CHECK: %s2 = ashr i64 %s1, 5
  21 ; CHECK-NEXT: sext i59 {0,+,199}<%bb> to i64
  22 ; CHECK-SAME: Exits: (sext i59 (-199 + (trunc i64 %n to i59)) to i64)
  23         %s1 = shl i64 %i.01, 5
  24         %s2 = ashr i64 %s1, 5
  25         %t3 = getelementptr i64, i64* %x, i64 %i.01
  26         store i64 0, i64* %t3, align 1
  27         %indvar.next = add i64 %i.01, 199
  28         %exitcond = icmp eq i64 %indvar.next, %n
  29         br i1 %exitcond, label %return, label %bb
  30
  31 return:
  32         %p = phi i64 [ 0, %entry ], [ %t2, %bb ]
  33         %q = phi i64 [ 0, %entry ], [ %s2, %bb ]
  34         %v = xor i64 %p, %q
  35         ret i64 %v
  36 }