From: Philip Reames <listmail@philipreames.com>
Date: Thu, 16 Sep 2021 19:13:33 +0000 (-0700)
Subject: autogen a SCEV test for ease of update
X-Git-Tag: upstream/15.0.7~31303
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=f79ce5875f560528c801c404b1be1ce3e203c2e1;p=platform%2Fupstream%2Fllvm.git

autogen a SCEV test for ease of update
---

diff --git a/llvm/test/Analysis/ScalarEvolution/trip-count-implied-addrec.ll b/llvm/test/Analysis/ScalarEvolution/trip-count-implied-addrec.ll
index f75d78e..9ea26f1 100644
--- a/llvm/test/Analysis/ScalarEvolution/trip-count-implied-addrec.ll
+++ b/llvm/test/Analysis/ScalarEvolution/trip-count-implied-addrec.ll
@@ -1,3 +1,4 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
 ; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>"  -scalar-evolution-classify-expressions=0 2>&1 | FileCheck %s
 
 ; A collection of tests that show we can use facts about an exit test to
@@ -8,10 +9,15 @@
 
 @G = external global i8
 
-; CHECK-LABEL: Determining loop execution counts for: @nw_implies_nuw
-; CHECK: Loop %for.body: backedge-taken count is %n
-; CHECK: Loop %for.body: max backedge-taken count is -1
 define void @nw_implies_nuw(i16 %n) mustprogress {
+; CHECK-LABEL: 'nw_implies_nuw'
+; CHECK-NEXT:  Determining loop execution counts for: @nw_implies_nuw
+; CHECK-NEXT:  Loop %for.body: backedge-taken count is %n
+; CHECK-NEXT:  Loop %for.body: max backedge-taken count is -1
+; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is %n
+; CHECK-NEXT:   Predicates:
+; CHECK:       Loop %for.body: Trip multiple is 1
+;
 entry:
   br label %for.body
 
@@ -26,10 +32,13 @@ for.end:                                          ; preds = %for.body, %entry
   ret void
 }
 
-; CHECK-LABEL: Determining loop execution counts for: @neg_nw_nuw
-; CHECK: Loop %for.body: Unpredictable backedge-taken count
-; CHECK: Loop %for.body: Unpredictable max backedge-taken count
 define void @neg_nw_nuw(i16 %n) mustprogress {
+; CHECK-LABEL: 'neg_nw_nuw'
+; CHECK-NEXT:  Determining loop execution counts for: @neg_nw_nuw
+; CHECK-NEXT:  Loop %for.body: Unpredictable backedge-taken count.
+; CHECK-NEXT:  Loop %for.body: Unpredictable max backedge-taken count.
+; CHECK-NEXT:  Loop %for.body: Unpredictable predicated backedge-taken count.
+;
 entry:
   br label %for.body
 
@@ -44,10 +53,15 @@ for.end:                                          ; preds = %for.body, %entry
   ret void
 }
 
-; CHECK-LABEL: Determining loop execution counts for: @nw_implies_nsw
-; CHECK: Loop %for.body: Unpredictable backedge-taken count
-; CHECK: Loop %for.body: Unpredictable max backedge-taken count
 define void @nw_implies_nsw(i16 %n) mustprogress {
+; CHECK-LABEL: 'nw_implies_nsw'
+; CHECK-NEXT:  Determining loop execution counts for: @nw_implies_nsw
+; CHECK-NEXT:  Loop %for.body: Unpredictable backedge-taken count.
+; CHECK-NEXT:  Loop %for.body: Unpredictable max backedge-taken count.
+; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is (128 + (-128 smax %n))
+; CHECK-NEXT:   Predicates:
+; CHECK-NEXT:    {-128,+,1}<%for.body> Added Flags: <nssw>
+;
 entry:
   br label %for.body
 
@@ -62,10 +76,13 @@ for.end:                                          ; preds = %for.body, %entry
   ret void
 }
 
-; CHECK-LABEL: Determining loop execution counts for: @neg_nw_nsw
-; CHECK: Loop %for.body: Unpredictable backedge-taken count
-; CHECK: Loop %for.body: Unpredictable max backedge-taken count
 define void @neg_nw_nsw(i16 %n) mustprogress {
+; CHECK-LABEL: 'neg_nw_nsw'
+; CHECK-NEXT:  Determining loop execution counts for: @neg_nw_nsw
+; CHECK-NEXT:  Loop %for.body: Unpredictable backedge-taken count.
+; CHECK-NEXT:  Loop %for.body: Unpredictable max backedge-taken count.
+; CHECK-NEXT:  Loop %for.body: Unpredictable predicated backedge-taken count.
+;
 entry:
   br label %for.body
 
@@ -81,10 +98,15 @@ for.end:                                          ; preds = %for.body, %entry
 }
 
 
-; CHECK-LABEL: Determining loop execution counts for: @actually_infinite
-; CHECK: Loop %for.body: Unpredictable backedge-taken count
-; CHECK: Loop %for.body: Unpredictable max backedge-taken count
 define void @actually_infinite() {
+; CHECK-LABEL: 'actually_infinite'
+; CHECK-NEXT:  Determining loop execution counts for: @actually_infinite
+; CHECK-NEXT:  Loop %for.body: Unpredictable backedge-taken count.
+; CHECK-NEXT:  Loop %for.body: Unpredictable max backedge-taken count.
+; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is 257
+; CHECK-NEXT:   Predicates:
+; CHECK-NEXT:    {0,+,1}<%for.body> Added Flags: <nusw>
+;
 entry:
   br label %for.body