[llvm] d0518a2 - [GVN] add another commutable intrinsic test; NFC

[Sanjay Patel via llvm-commits]

Author: Sanjay Patel
Date: 2020-08-30T18:36:28-04:00
New Revision: d0518a2be31cba051c4b81b140ef73aa1f1a78af

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

LOG: [GVN] add another commutable intrinsic test; NFC

This is a reduced version of a test-suite crasher with rG25597f7

Added: 
    

Modified: 
    llvm/test/Transforms/GVN/commute.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/GVN/commute.ll b/llvm/test/Transforms/GVN/commute.ll
index 4fb4f99a27fc..2e6d7274ead9 100644
--- a/llvm/test/Transforms/GVN/commute.ll
+++ b/llvm/test/Transforms/GVN/commute.ll
@@ -29,6 +29,8 @@ define void @cmp(i32 %x, i32 %y) {
   ret void
 }
 
+declare i32 @llvm.umax.i32(i32, i32)
+
 define void @intrinsic(i32 %x, i32 %y) {
 ; CHECK-LABEL: @intrinsic(
 ; CHECK-NEXT:    [[M1:%.*]] = call i32 @llvm.umax.i32(i32 [[X:%.*]], i32 [[Y:%.*]])
@@ -42,4 +44,27 @@ define void @intrinsic(i32 %x, i32 %y) {
   ret void
 }
 
-declare i32 @llvm.umax.i32(i32, i32)
+declare { i32, i1 } @llvm.umul.with.overflow.i32(i32, i32)
+
+define { i32, i1 } @intrinsic2(i32 %x, i32 %y, i1 %cond) {
+; CHECK-LABEL: @intrinsic2(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br i1 [[COND:%.*]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK:       if.then:
+; CHECK-NEXT:    unreachable
+; CHECK:       if.end:
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 0, [[Y:%.*]]
+; CHECK-NEXT:    [[UMUL:%.*]] = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 [[X:%.*]], i32 [[Y]])
+; CHECK-NEXT:    ret { i32, i1 } [[UMUL]]
+;
+entry:
+  br i1 %cond, label %if.then, label %if.end
+
+if.then:
+  unreachable
+
+if.end:
+  %cmp = icmp eq i32 0, %y
+  %umul = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %x, i32 %y)
+  ret { i32, i1 } %umul
+}