[llvm] baff4b4 - [test] precommit anoter test for D109786

[Philip Reames via llvm-commits]

Author: Philip Reames
Date: 2021-09-14T15:31:44-07:00
New Revision: baff4b41055fc2d75bcdcea7bb39edce38a40acf

URL: https://github.com/llvm/llvm-project/commit/baff4b41055fc2d75bcdcea7bb39edce38a40acf
DIFF: https://github.com/llvm/llvm-project/commit/baff4b41055fc2d75bcdcea7bb39edce38a40acf.diff

LOG: [test] precommit anoter test for D109786

Added: 
    

Modified: 
    llvm/test/Analysis/ScalarEvolution/mul.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Analysis/ScalarEvolution/mul.ll b/llvm/test/Analysis/ScalarEvolution/mul.ll
index 7505b6a8839c..193c9527891f 100644
--- a/llvm/test/Analysis/ScalarEvolution/mul.ll
+++ b/llvm/test/Analysis/ScalarEvolution/mul.ll
@@ -56,3 +56,20 @@ define i8 @test4(i8 %x) {
   %res = mul i8 %udiv, 255
   ret i8 %res
 }
+
+define i8 @test5(i8 %x, i32 %y32) {
+; CHECK-LABEL: 'test5'
+; CHECK-NEXT:  Classifying expressions for: @test5
+; CHECK-NEXT:    %y = trunc i32 %y32 to i8
+; CHECK-NEXT:    --> (trunc i32 %y32 to i8) U: full-set S: full-set
+; CHECK-NEXT:    %udiv = udiv i8 %x, %y
+; CHECK-NEXT:    --> (%x /u (trunc i32 %y32 to i8)) U: full-set S: full-set
+; CHECK-NEXT:    %res = mul i8 %udiv, %y
+; CHECK-NEXT:    --> ((trunc i32 %y32 to i8) * (%x /u (trunc i32 %y32 to i8))) U: full-set S: full-set
+; CHECK-NEXT:  Determining loop execution counts for: @test5
+;
+  %y = trunc i32 %y32 to i8
+  %udiv = udiv i8 %x, %y
+  %res = mul i8 %udiv, %y
+  ret i8 %res
+}