From d8d1584c13c554349c235177b2b89cb5117347b2 Mon Sep 17 00:00:00 2001
From: Nick Lewycky <nicholas@mxc.ca>
Date: Mon, 28 Feb 2011 06:20:05 +0000
Subject: The sign of an srem instruction is the sign of its dividend (the
 first argument), regardless of the divisor. Teach instcombine about this and
 fix test7 in PR9343!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126635 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Transforms/InstCombine/icmp.ll | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'test/Transforms/InstCombine')

diff --git a/test/Transforms/InstCombine/icmp.ll b/test/Transforms/InstCombine/icmp.ll
index 3150883..c11dea5 100644
--- a/test/Transforms/InstCombine/icmp.ll
+++ b/test/Transforms/InstCombine/icmp.ll
@@ -377,3 +377,13 @@ define i1 @test38(i32 %x, i32 %y, i32 %z) {
   %c = icmp ugt i32 %lhs, %rhs
   ret i1 %c
 }
+
+; PR9343 #7
+; CHECK: @test39
+; CHECK: ret i1 false
+define i1 @test39(i31 %X, i32 %Y) {
+  %A = zext i31 %X to i32
+  %B = srem i32 %A, %Y
+  %C = icmp slt i32 %B, 0
+  ret i1 %C
+}
-- 
cgit v1.1