From bb2518c71671cf7962f8b5e9ab0f0eec9784a2c1 Mon Sep 17 00:00:00 2001 From: Nick Lewycky Date: Tue, 19 Jul 2011 08:22:57 +0000 Subject: [PATCH] Remove bogus test: for all possible inputs of %X, the 'sub nsw' is guaranteed to perform a signed wrap. Don't rely on any particular handling of that case. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@135471 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstSimplify/compare.ll | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/test/Transforms/InstSimplify/compare.ll b/test/Transforms/InstSimplify/compare.ll index d2c564f567b..2cbd641a742 100644 --- a/test/Transforms/InstSimplify/compare.ll +++ b/test/Transforms/InstSimplify/compare.ll @@ -283,17 +283,6 @@ define i1 @srem3(i16 %X, i32 %Y) { ret i1 %E } -; CHECK: @srem4 -; CHECK-NEXT: ret i1 false -define i1 @srem4(i16 %X, i32 %Y) { - %A = zext i16 %X to i32 - %B = or i32 2147483648, %A - %C = sub nsw i32 %A, %B - %D = srem i32 %C, %Y - %E = icmp slt i32 %D, 0 - ret i1 %E -} - define i1 @udiv1(i32 %X) { ; CHECK: @udiv1 %A = udiv i32 %X, 1000000