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
This commit is contained in:
Nick Lewycky 2011-07-19 08:22:57 +00:00
parent 439661395f
commit bb2518c716

View File

@ -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