Commit 015c06ad authored by Philip Reames's avatar Philip Reames Committed by Philip Reames
Browse files

Regenerate a couple scev/indvars tests [nfc] 

Update to modern output to reduce spurious deltas in upcoming change.
parent f6f76920

llvm/test/Analysis/ScalarEvolution/trip-count-negative-stride.ll

+21 −21
Original line number Diff line number Diff line
@@ -63,7 +63,7 @@ define void @ult_infinite_ub() mustprogress { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is 1

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is 1

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 2

; CHECK-NEXT:  Loop %for.body: Trip multiple is 2

;

entry:

  br label %for.body
@@ -88,7 +88,7 @@ define void @ult_129_not_taken() { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is 0

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is 0

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 1

; CHECK-NEXT:  Loop %for.body: Trip multiple is 1

;

entry:

  br label %for.body
@@ -111,7 +111,7 @@ define void @ult_129_unknown_start(i8 %start) mustprogress { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is 0

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is 0

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 1

; CHECK-NEXT:  Loop %for.body: Trip multiple is 1

;

entry:

  br label %for.body
@@ -163,7 +163,7 @@ define void @ult_ub1() { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is 2

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is 2

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 3

; CHECK-NEXT:  Loop %for.body: Trip multiple is 3

;

entry:

  br label %for.body
@@ -188,7 +188,7 @@ define void @ult_ub2() { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is 0

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is 0

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 1

; CHECK-NEXT:  Loop %for.body: Trip multiple is 1

;

entry:

  br label %for.body
@@ -213,7 +213,7 @@ define void @ult_129_preinc() { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is 1

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is 1

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 2

; CHECK-NEXT:  Loop %for.body: Trip multiple is 2

;

entry:

  br label %for.body
@@ -236,7 +236,7 @@ define void @ult_preinc(i8 %step) { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is 1

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is 1

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 2

; CHECK-NEXT:  Loop %for.body: Trip multiple is 2

;

entry:

  %assume = icmp ult i8 128, %step
@@ -313,7 +313,7 @@ define void @slt_wrap() { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is 63

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is 63

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 64

; CHECK-NEXT:  Loop %for.body: Trip multiple is 64

;

entry:

  br label %for.body
@@ -361,7 +361,7 @@ define void @slt_infinite_ub() mustprogress { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is 0

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is 0

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 1

; CHECK-NEXT:  Loop %for.body: Trip multiple is 1

;

entry:

  br label %for.body
@@ -386,7 +386,7 @@ define void @slt_129_not_taken() { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is 0

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is 0

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 1

; CHECK-NEXT:  Loop %for.body: Trip multiple is 1

;

entry:

  br label %for.body
@@ -433,7 +433,7 @@ define void @slt_129_unknown_start(i8 %start) mustprogress { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is (((127 + (-1 * (1 umin (127 + (-1 * %start) + (0 smax (-127 + %start)<nsw>))))<nuw><nsw> + (-1 * %start) + (0 smax (-127 + %start)<nsw>)) /u -127) + (1 umin (127 + (-1 * %start) + (0 smax (-127 + %start)<nsw>))))

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is (((127 + (-1 * (1 umin (127 + (-1 * %start) + (0 smax (-127 + %start)<nsw>))))<nuw><nsw> + (-1 * %start) + (0 smax (-127 + %start)<nsw>)) /u -127) + (1 umin (127 + (-1 * %start) + (0 smax (-127 + %start)<nsw>))))

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 1

; CHECK-NEXT:  Loop %for.body: Trip multiple is 1

;

entry:

  br label %for.body
@@ -459,7 +459,7 @@ define void @slt_ub1() { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is false

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is false

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 1

; CHECK-NEXT:  Loop %for.body: Trip multiple is 1

;

entry:

  br label %for.body
@@ -484,7 +484,7 @@ define void @slt_ub2() { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is false

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is false

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 1

; CHECK-NEXT:  Loop %for.body: Trip multiple is 1

;

entry:

  br label %for.body
@@ -509,7 +509,7 @@ define void @slt_129_preinc() { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is 1

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is 1

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 2

; CHECK-NEXT:  Loop %for.body: Trip multiple is 2

;

entry:

  br label %for.body
@@ -532,7 +532,7 @@ define void @slt_preinc(i8 %step) { 
; CHECK-NEXT:  Loop %for.body: symbolic max backedge-taken count is 1

; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is 1

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %for.body: Trip multiple is 2

; CHECK-NEXT:  Loop %for.body: Trip multiple is 2

;

entry:

  %assume = icmp ult i8 128, %step
@@ -606,13 +606,13 @@ define void @step_is_neg_addrec_slt_8(i64 %n) { 
; CHECK-NEXT:  Loop %inner: symbolic max backedge-taken count is (7 /u {0,+,-1}<nuw><nsw><%outer.header>)

; CHECK-NEXT:  Loop %inner: Predicated backedge-taken count is (7 /u {0,+,-1}<nuw><nsw><%outer.header>)

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %inner: Trip multiple is 1

; CHECK-NEXT:  Loop %inner: Trip multiple is 1

; CHECK-NEXT:  Loop %outer.header: backedge-taken count is 0

; CHECK-NEXT:  Loop %outer.header: constant max backedge-taken count is 0

; CHECK-NEXT:  Loop %outer.header: symbolic max backedge-taken count is 0

; CHECK-NEXT:  Loop %outer.header: Predicated backedge-taken count is 0

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %outer.header: Trip multiple is 1

; CHECK-NEXT:  Loop %outer.header: Trip multiple is 1

;

entry:

  br label %outer.header
@@ -648,13 +648,13 @@ define void @step_is_neg_addrec_slt_var(i32 %n) { 
; CHECK-NEXT:  Loop %inner: symbolic max backedge-taken count is ({0,+,1}<nuw><nsw><%outer.header> + ({0,+,-1}<nsw><%outer.header> smax %n))

; CHECK-NEXT:  Loop %inner: Predicated backedge-taken count is ({0,+,1}<nuw><nsw><%outer.header> + ({0,+,-1}<nsw><%outer.header> smax %n))

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %inner: Trip multiple is 1

; CHECK-NEXT:  Loop %inner: Trip multiple is 1

; CHECK-NEXT:  Loop %outer.header: backedge-taken count is 0

; CHECK-NEXT:  Loop %outer.header: constant max backedge-taken count is 0

; CHECK-NEXT:  Loop %outer.header: symbolic max backedge-taken count is 0

; CHECK-NEXT:  Loop %outer.header: Predicated backedge-taken count is 0

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %outer.header: Trip multiple is 1

; CHECK-NEXT:  Loop %outer.header: Trip multiple is 1

;

entry:

  br label %outer.header
@@ -690,13 +690,13 @@ define void @step_is_neg_addrec_unknown_start(i32 %n) { 
; CHECK-NEXT:  Loop %inner: symbolic max backedge-taken count is ({(-1 * %n),+,1}<nw><%outer.header> + (8 smax {%n,+,-1}<nsw><%outer.header>))

; CHECK-NEXT:  Loop %inner: Predicated backedge-taken count is ({(-1 * %n),+,1}<nw><%outer.header> + (8 smax {%n,+,-1}<nsw><%outer.header>))

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %inner: Trip multiple is 1

; CHECK-NEXT:  Loop %inner: Trip multiple is 1

; CHECK-NEXT:  Loop %outer.header: backedge-taken count is 0

; CHECK-NEXT:  Loop %outer.header: constant max backedge-taken count is 0

; CHECK-NEXT:  Loop %outer.header: symbolic max backedge-taken count is 0

; CHECK-NEXT:  Loop %outer.header: Predicated backedge-taken count is 0

; CHECK-NEXT:   Predicates:

; CHECK:       Loop %outer.header: Trip multiple is 1

; CHECK-NEXT:  Loop %outer.header: Trip multiple is 1

;

entry:

  br label %outer.header

llvm/test/Transforms/IndVarSimplify/cycled_phis.ll

+2 −2

File changed.

Contains only whitespace changes.