test/Analysis/ScalarEvolution/sext-inreg.ll

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