aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms
diff options
context:
space:
mode:
authorBob Wilson <bob.wilson@apple.com>2011-10-27 15:47:25 +0000
committerBob Wilson <bob.wilson@apple.com>2011-10-27 15:47:25 +0000
commit090697321b32fe010db07eb03b6a7af94d8caebd (patch)
treee0ec48141a1a3c8fd176de93cc5c8c13ed6b2289 /test/Transforms
parentc45fe4c1dc9fb7cc3a1d58c7b022832eeb478abb (diff)
downloadexternal_llvm-090697321b32fe010db07eb03b6a7af94d8caebd.zip
external_llvm-090697321b32fe010db07eb03b6a7af94d8caebd.tar.gz
external_llvm-090697321b32fe010db07eb03b6a7af94d8caebd.tar.bz2
Revert Duncan's r143028 expression folding which appears to be the culprit
behind a compile failure on 483.xalancbmk. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@143102 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
-rw-r--r--test/Transforms/InstSimplify/compare.ll31
1 files changed, 0 insertions, 31 deletions
diff --git a/test/Transforms/InstSimplify/compare.ll b/test/Transforms/InstSimplify/compare.ll
index 3ece118..2cbd641 100644
--- a/test/Transforms/InstSimplify/compare.ll
+++ b/test/Transforms/InstSimplify/compare.ll
@@ -323,34 +323,3 @@ define i1 @and1(i32 %X) {
ret i1 %B
; CHECK: ret i1 false
}
-
-define i1 @mul1(i32 %X) {
-; CHECK: @mul1
-; Square of a non-zero number is non-zero if there is no overflow.
- %Y = or i32 %X, 1
- %M = mul nuw i32 %Y, %Y
- %C = icmp eq i32 %M, 0
- ret i1 %C
-; CHECK: ret i1 false
-}
-
-define i1 @mul2(i32 %X) {
-; CHECK: @mul2
-; Square of a non-zero number is positive if there is no signed overflow.
- %Y = or i32 %X, 1
- %M = mul nsw i32 %Y, %Y
- %C = icmp sgt i32 %M, 0
- ret i1 %C
-; CHECK: ret i1 true
-}
-
-define i1 @mul3(i32 %X, i32 %Y) {
-; CHECK: @mul3
-; Product of non-negative numbers is non-negative if there is no signed overflow.
- %XX = mul nsw i32 %X, %X
- %YY = mul nsw i32 %Y, %Y
- %M = mul nsw i32 %XX, %YY
- %C = icmp sge i32 %M, 0
- ret i1 %C
-; CHECK: ret i1 true
-}