diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2011-07-19 08:22:57 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2011-07-19 08:22:57 +0000 |
| commit | bb2518c71671cf7962f8b5e9ab0f0eec9784a2c1 (patch) | |
| tree | 521f4db6cc1e0238e8122dc83ad5f812bebb33a4 | |
| parent | 439661395fd2a2a832dba01c65bc88718528313c (diff) | |
| download | external_llvm-bb2518c71671cf7962f8b5e9ab0f0eec9784a2c1.zip external_llvm-bb2518c71671cf7962f8b5e9ab0f0eec9784a2c1.tar.gz external_llvm-bb2518c71671cf7962f8b5e9ab0f0eec9784a2c1.tar.bz2 | |
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
| -rw-r--r-- | test/Transforms/InstSimplify/compare.ll | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/test/Transforms/InstSimplify/compare.ll b/test/Transforms/InstSimplify/compare.ll index d2c564f..2cbd641 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 |