[llvm] bd4bfe0 - [SCCP] Extend tests added 1092357ccdc9 in with UREM/SREM by 0.

[Florian Hahn via llvm-commits]

Author: Florian Hahn
Date: 2021-06-29T16:08:56+01:00
New Revision: bd4bfe0e0c3342c613a23a6b2911a97c267a3f99

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

LOG: [SCCP] Extend tests added 1092357ccdc9 in with UREM/SREM by 0.

Add additional coverage for computing UREM/SREM C, 0.

Added: 
    

Modified: 
    llvm/test/Transforms/SCCP/binaryops-range-special-cases.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/SCCP/binaryops-range-special-cases.ll b/llvm/test/Transforms/SCCP/binaryops-range-special-cases.ll
index 59c1aad6d1f7..ad6d1e452a6a 100644
--- a/llvm/test/Transforms/SCCP/binaryops-range-special-cases.ll
+++ b/llvm/test/Transforms/SCCP/binaryops-range-special-cases.ll
@@ -108,6 +108,9 @@ define void @urem_cmp_constants() {
 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 ; CHECK-NEXT:    [[C_4:%.*]] = icmp eq i16 [[UREM_2]], 1
 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
+; CHECK-NEXT:    [[UREM_3:%.*]] = urem i16 12704, 0
+; CHECK-NEXT:    [[C_5:%.*]] = icmp eq i16 [[UREM_3]], 1
+; CHECK-NEXT:    call void @use(i1 [[C_5]])
 ; CHECK-NEXT:    ret void
 ;
   %sel = select i1 false, i16 0, i16 12704
@@ -121,6 +124,9 @@ define void @urem_cmp_constants() {
   call void @use(i1 %c.3)
   %c.4 = icmp eq i16 %urem.2, 1
   call void @use(i1 %c.4)
+  %urem.3 = urem i16 %sel, 0
+  %c.5 = icmp eq i16 %urem.3, 1
+  call void @use(i1 %c.5)
   ret void
 }
 
@@ -136,6 +142,9 @@ define void @srem_cmp_constants() {
 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 ; CHECK-NEXT:    [[C_4:%.*]] = icmp eq i16 [[SREM_2]], 1
 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
+; CHECK-NEXT:    [[SREM_3:%.*]] = srem i16 12704, 0
+; CHECK-NEXT:    [[C_5:%.*]] = icmp eq i16 [[SREM_3]], 1
+; CHECK-NEXT:    call void @use(i1 [[C_5]])
 ; CHECK-NEXT:    ret void
 ;
   %sel = select i1 false, i16 0, i16 12704
@@ -149,5 +158,8 @@ define void @srem_cmp_constants() {
   call void @use(i1 %c.3)
   %c.4 = icmp eq i16 %srem.2, 1
   call void @use(i1 %c.4)
+  %srem.3 = srem i16 %sel, 0
+  %c.5 = icmp eq i16 %srem.3, 1
+  call void @use(i1 %c.5)
   ret void
 }