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

   1 ; RUN: opt < %s -scalar-evolution -analyze \
   2 ; RUN:  | grep " -->  (sext i. {.*,+,.*}<%bb1> to i64)" | count 5
   3
   4 ; Don't convert (sext {...,+,...}) to {sext(...),+,sext(...)} in cases
   5 ; where the trip count is not within range.
   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 @foo0(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 i7             ; <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 i7 %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 }
  32
  33 define void @foo1(double* nocapture %x) nounwind {
  34 bb1.thread:
  35         br label %bb1
  36
  37 bb1:            ; preds = %bb1, %bb1.thread
  38         %i.0.reg2mem.0 = phi i64 [ -128, %bb1.thread ], [ %8, %bb1 ]            ; <i64> [#uses=3]
  39         %0 = trunc i64 %i.0.reg2mem.0 to i8             ; <i8> [#uses=1]
  40         %1 = trunc i64 %i.0.reg2mem.0 to i9             ; <i8> [#uses=1]
  41         %2 = sext i9 %1 to i64          ; <i64> [#uses=1]
  42         %3 = getelementptr double* %x, i64 %2           ; <double*> [#uses=1]
  43         %4 = load double* %3, align 8           ; <double> [#uses=1]
  44         %5 = fmul double %4, 3.900000e+00               ; <double> [#uses=1]
  45         %6 = sext i8 %0 to i64          ; <i64> [#uses=1]
  46         %7 = getelementptr double* %x, i64 %6           ; <double*> [#uses=1]
  47         store double %5, double* %7, align 8
  48         %8 = add i64 %i.0.reg2mem.0, 1          ; <i64> [#uses=2]
  49         %9 = icmp sgt i64 %8, 128               ; <i1> [#uses=1]
  50         br i1 %9, label %return, label %bb1
  51
  52 return:         ; preds = %bb1
  53         ret void
  54 }
  55
  56 define void @foo2(double* nocapture %x) nounwind {
  57 bb1.thread:
  58         br label %bb1
  59
  60 bb1:            ; preds = %bb1, %bb1.thread
  61         %i.0.reg2mem.0 = phi i64 [ -129, %bb1.thread ], [ %8, %bb1 ]            ; <i64> [#uses=3]
  62         %0 = trunc i64 %i.0.reg2mem.0 to i8             ; <i8> [#uses=1]
  63         %1 = trunc i64 %i.0.reg2mem.0 to i9             ; <i8> [#uses=1]
  64         %2 = sext i9 %1 to i64          ; <i64> [#uses=1]
  65         %3 = getelementptr double* %x, i64 %2           ; <double*> [#uses=1]
  66         %4 = load double* %3, align 8           ; <double> [#uses=1]
  67         %5 = fmul double %4, 3.900000e+00               ; <double> [#uses=1]
  68         %6 = sext i8 %0 to i64          ; <i64> [#uses=1]
  69         %7 = getelementptr double* %x, i64 %6           ; <double*> [#uses=1]
  70         store double %5, double* %7, align 8
  71         %8 = add i64 %i.0.reg2mem.0, 1          ; <i64> [#uses=2]
  72         %9 = icmp sgt i64 %8, 127               ; <i1> [#uses=1]
  73         br i1 %9, label %return, label %bb1
  74
  75 return:         ; preds = %bb1
  76         ret void
  77 }
  78
  79 define void @foo3(double* nocapture %x) nounwind {
  80 bb1.thread:
  81         br label %bb1
  82
  83 bb1:            ; preds = %bb1, %bb1.thread
  84         %i.0.reg2mem.0 = phi i64 [ -128, %bb1.thread ], [ %8, %bb1 ]            ; <i64> [#uses=3]
  85         %0 = trunc i64 %i.0.reg2mem.0 to i8             ; <i8> [#uses=1]
  86         %1 = trunc i64 %i.0.reg2mem.0 to i9             ; <i8> [#uses=1]
  87         %2 = sext i9 %1 to i64          ; <i64> [#uses=1]
  88         %3 = getelementptr double* %x, i64 %2           ; <double*> [#uses=1]
  89         %4 = load double* %3, align 8           ; <double> [#uses=1]
  90         %5 = fmul double %4, 3.900000e+00               ; <double> [#uses=1]
  91         %6 = sext i8 %0 to i64          ; <i64> [#uses=1]
  92         %7 = getelementptr double* %x, i64 %6           ; <double*> [#uses=1]
  93         store double %5, double* %7, align 8
  94         %8 = add i64 %i.0.reg2mem.0, -1         ; <i64> [#uses=2]
  95         %9 = icmp sgt i64 %8, 127               ; <i1> [#uses=1]
  96         br i1 %9, label %return, label %bb1
  97
  98 return:         ; preds = %bb1
  99         ret void
 100 }