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

   1 ; RUN: opt < %s "-passes=print<scalar-evolution>" -disable-output 2>&1 | FileCheck %s
   2
   3 ; Convert (sext {-128,+,1}) to {sext(-128),+,sext(1)}, since the
   4 ; trip count is within range where this is safe.
   5
   6 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"
   7 target triple = "x86_64-unknown-linux-gnu"
   8
   9 define void @foo(ptr nocapture %x) nounwind {
  10 bb1.thread:
  11         br label %bb1
  12
  13 bb1:            ; preds = %bb1, %bb1.thread
  14         %i.0.reg2mem.0 = phi i64 [ -128, %bb1.thread ], [ %8, %bb1 ]            ; <i64> [#uses=3]
  15 ; CHECK: %i.0.reg2mem.0
  16 ; CHECK-NEXT: -->  {-128,+,1}<nsw><%bb1>{{ U: [^ ]+ S: [^ ]+}}{{ *}}Exits: 127
  17         %0 = trunc i64 %i.0.reg2mem.0 to i8             ; <i8> [#uses=1]
  18 ; CHECK: %0
  19 ; CHECK-NEXT: -->  {-128,+,1}<%bb1>{{ U: [^ ]+ S: [^ ]+}}{{ *}}Exits: 127
  20         %1 = trunc i64 %i.0.reg2mem.0 to i9             ; <i8> [#uses=1]
  21 ; CHECK: %1
  22 ; CHECK-NEXT: -->  {-128,+,1}<%bb1>{{ U: [^ ]+ S: [^ ]+}}{{ *}}Exits: 127
  23         %2 = sext i9 %1 to i64          ; <i64> [#uses=1]
  24 ; CHECK: %2
  25 ; CHECK-NEXT: -->  {-128,+,1}<nsw><%bb1>{{ U: [^ ]+ S: [^ ]+}}{{ *}}Exits: 127
  26         %3 = getelementptr double, ptr %x, i64 %2               ; <ptr> [#uses=1]
  27         %4 = load double, ptr %3, align 8               ; <double> [#uses=1]
  28         %5 = fmul double %4, 3.900000e+00               ; <double> [#uses=1]
  29         %6 = sext i8 %0 to i64          ; <i64> [#uses=1]
  30         %7 = getelementptr double, ptr %x, i64 %6               ; <ptr> [#uses=1]
  31         store double %5, ptr %7, align 8
  32         %8 = add i64 %i.0.reg2mem.0, 1          ; <i64> [#uses=2]
  33         %9 = icmp sgt i64 %8, 127               ; <i1> [#uses=1]
  34         br i1 %9, label %return, label %bb1
  35
  36 return:         ; preds = %bb1
  37         ret void
  38 }