Remove test cases that produce undefined results.
authorReid Spencer <rspencer@reidspencer.com>
Tue, 27 Feb 2007 02:34:02 +0000 (02:34 +0000)
committerReid Spencer <rspencer@reidspencer.com>
Tue, 27 Feb 2007 02:34:02 +0000 (02:34 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@34650 91177308-0d34-0410-b5e6-96231b3b80d8

16 files changed:
test/Integer/a1.ll
test/Integer/a1.ll.out
test/Integer/a15.ll
test/Integer/a15.ll.out
test/Integer/a17.ll
test/Integer/a17.ll.out
test/Integer/a31.ll
test/Integer/a31.ll.out
test/Integer/a33.ll
test/Integer/a33.ll.out
test/Integer/a63.ll
test/Integer/a63.ll.out
test/Integer/a7.ll
test/Integer/a7.ll.out
test/Integer/a9.ll
test/Integer/a9.ll.out

index cfd69f06aaacb73d44e40622547f9cfb1d0c56a8..6ee99f42caf81a996e3041728de344812fb8a5ca 100644 (file)
 
 @h = constant i1 shl(i1 1 , i1 1)
 @i = constant i1 shl(i1 1 , i1 0)
-@j = constant i1 lshr(i1 1, i1 1)
-@m = constant i1 ashr(i1 1, i1 1)
+@j = constant i1 lshr(i1 1, i1 1)  ; undefined
+@m = constant i1 ashr(i1 1, i1 1)  ; undefined
 
 @n = constant i1 mul(i1 -1, i1 1)
 @o = constant i1 sdiv(i1 -1, i1 1)
 @p = constant i1 sdiv(i1 1 , i1 -1)
 @q = constant i1 udiv(i1 -1, i1 1)
 @r = constant i1 udiv(i1 1, i1 -1)
-@s = constant i1 srem(i1 -1, i1 1)
+@s = constant i1 srem(i1 -1, i1 1) ; overflow
 @t = constant i1 urem(i1 -1, i1 1)
index d4ef5e07ee6bd841d29c6034a7d5f9b0825a7bbf..aed5169cebbe0483da320fce92920e34b486bbd9 100644 (file)
@@ -8,13 +8,13 @@
 @h = constant i1 false         ; <i1*> [#uses=0]
 @i = constant i1 true          ; <i1*> [#uses=0]
 @j = constant i1 false         ; <i1*> [#uses=0]
-@m = constant i1 true          ; <i1*> [#uses=0]
+@m = constant i1 false         ; <i1*> [#uses=0]
 @n = constant i1 true          ; <i1*> [#uses=0]
 @o = constant i1 true          ; <i1*> [#uses=0]
 @p = constant i1 true          ; <i1*> [#uses=0]
 @q = constant i1 true          ; <i1*> [#uses=0]
 @r = constant i1 true          ; <i1*> [#uses=0]
-@s = constant i1 false         ; <i1*> [#uses=0]
+@s = constant i1 srem (i1 true, i1 true)               ; <i1*> [#uses=0]
 @t = constant i1 false         ; <i1*> [#uses=0]
 
 implementation   ; Functions:
index 4e4908cbbbf0179530eefc4f1dcd713e8d284955..3fc4b1a77d7dd4b0123317f61880e340cf41cffb 100644 (file)
@@ -13,9 +13,7 @@
 @h = constant i15 shl(i15 1 , i15 15)
 @i = constant i15 shl(i15 1 , i15 14)
 @j = constant i15 lshr(i15 32767 , i15 14)
-@k = constant i15 lshr(i15 32767 , i15 15)
 @l = constant i15 ashr(i15 32767 , i15 14)
-@m = constant i15 ashr(i15 32767 , i15 15)
 
 @n = constant i15 mul(i15 32767, i15 2)
 @q = constant i15 mul(i15 -16383,i15 -3)
index 1ebc4e310fb749066ba95fc5c7fb6a676ab6f3c5..006bc2042841cca8eeaa4f5a5cec6031311b0429 100644 (file)
@@ -8,9 +8,7 @@
 @h = constant i15 0            ; <i15*> [#uses=0]
 @i = constant i15 -16384               ; <i15*> [#uses=0]
 @j = constant i15 1            ; <i15*> [#uses=0]
-@k = constant i15 0            ; <i15*> [#uses=0]
 @l = constant i15 -1           ; <i15*> [#uses=0]
-@m = constant i15 -1           ; <i15*> [#uses=0]
 @n = constant i15 -2           ; <i15*> [#uses=0]
 @q = constant i15 16381                ; <i15*> [#uses=0]
 @r = constant i15 0            ; <i15*> [#uses=0]
index a83b2000d868785d15ff8d6ba311d710719f4d74..8d7485e90194d8fc3fa6aa4b509878aee5fad021 100644 (file)
@@ -13,9 +13,7 @@
 @h = constant i17 shl(i17 1 , i17 17)
 @i = constant i17 shl(i17 1 , i17 16)
 @j = constant i17 lshr(i17 131071 , i17 16)
-@k = constant i17 lshr(i17 131071 , i17 17)
 @l = constant i17 ashr(i17 131071 , i17 16)
-@m = constant i17 ashr(i17 131071 , i17 17)
 
 @n = constant i17 mul(i17 131071, i17 2) 
 @q = constant i17 sdiv(i17 -1,    i17 65535)
index c00ce519328c0e60365d359d0da356c77c83a681..20f491ac1d21efd0b201d1a712a6e655670f855e 100644 (file)
@@ -8,9 +8,7 @@
 @h = constant i17 0            ; <i17*> [#uses=0]
 @i = constant i17 -65536               ; <i17*> [#uses=0]
 @j = constant i17 1            ; <i17*> [#uses=0]
-@k = constant i17 0            ; <i17*> [#uses=0]
 @l = constant i17 -1           ; <i17*> [#uses=0]
-@m = constant i17 -1           ; <i17*> [#uses=0]
 @n = constant i17 -2           ; <i17*> [#uses=0]
 @q = constant i17 0            ; <i17*> [#uses=0]
 @r = constant i17 2            ; <i17*> [#uses=0]
index 57c6191bdd5c798889331d61e742ee019d4d04ef..3d18b2a49e88015c9985852b431fa66ee74a08db 100644 (file)
@@ -13,9 +13,7 @@
 @h = constant i31 shl(i31 1 , i31 31)
 @i = constant i31 shl(i31 1 , i31 30)
 @j = constant i31 lshr(i31 2147483647 , i31 30)
-@k = constant i31 lshr(i31 2147483647 , i31 31)
 @l = constant i31 ashr(i31 2147483647 , i31 30)
-@m = constant i31 ashr(i31 2147483647 , i31 31)
 
 @n = constant i31 mul(i31 2147483647, i31 2)
 @q = constant i31 sdiv(i31 -1,        i31 1073741823)
index d8765748ee675cebbf743200f8eb6f99e008c676..fbb16810d27832871e10064b479f3c8439a07979 100644 (file)
@@ -8,9 +8,7 @@
 @h = constant i31 0            ; <i31*> [#uses=0]
 @i = constant i31 -1073741824          ; <i31*> [#uses=0]
 @j = constant i31 1            ; <i31*> [#uses=0]
-@k = constant i31 0            ; <i31*> [#uses=0]
 @l = constant i31 -1           ; <i31*> [#uses=0]
-@m = constant i31 -1           ; <i31*> [#uses=0]
 @n = constant i31 -2           ; <i31*> [#uses=0]
 @q = constant i31 0            ; <i31*> [#uses=0]
 @r = constant i31 2            ; <i31*> [#uses=0]
index 8ef992b1f4a8f71881ae4029ec371c56592b1190..ac9ce7cde9901ae79fcb840a61641c8f7f0fbefb 100644 (file)
@@ -13,9 +13,7 @@
 @h = constant i33 shl(i33 1 , i33 33)
 @i = constant i33 shl(i33 1 , i33 32)
 @j = constant i33 lshr(i33 8589934591 , i33 32)
-@k = constant i33 lshr(i33 8589934591 , i33 33)
 @l = constant i33 ashr(i33 8589934591 , i33 32)
-@m = constant i33 ashr(i33 8589934591 , i33 33)
 
 @n = constant i33 mul(i33 8589934591, i33 2)
 @q = constant i33 sdiv(i33 -1,        i33 4294967295)
index b63dae6ef6cdeccb9de9845ad2d430a72dd6af88..402b61fb8137ddd12b94091abd968700cf616f22 100644 (file)
@@ -8,9 +8,7 @@
 @h = constant i33 0            ; <i33*> [#uses=0]
 @i = constant i33 -4294967296          ; <i33*> [#uses=0]
 @j = constant i33 1            ; <i33*> [#uses=0]
-@k = constant i33 0            ; <i33*> [#uses=0]
 @l = constant i33 -1           ; <i33*> [#uses=0]
-@m = constant i33 -1           ; <i33*> [#uses=0]
 @n = constant i33 -2           ; <i33*> [#uses=0]
 @q = constant i33 0            ; <i33*> [#uses=0]
 @r = constant i33 2            ; <i33*> [#uses=0]
index 6dadaf79e0b851a8b2297d550f8f2e0413c9165c..052ecd585002de9b9abe828960a6ddae74483296 100644 (file)
@@ -13,9 +13,7 @@
 @h = constant i63 shl(i63 1 , i63 63)
 @i = constant i63 shl(i63 1 , i63 62)
 @j = constant i63 lshr(i63 9223372036854775807 , i63 62)
-@k = constant i63 lshr(i63 9223372036854775807 , i63 63)
 @l = constant i63 ashr(i63 9223372036854775807 , i63 62)
-@m = constant i63 ashr(i63 9223372036854775807 , i63 63)
 
 @n = constant i63 mul(i63 9223372036854775807, i63 2) 
 @q = constant i63 sdiv(i63 -1,                 i63 4611686018427387903)
index 3a82d74267d378cb09b00e507b49f4f3a8bf7ec4..80764e2f37baa95596c86a3e28f8b5bc19cbd9dc 100644 (file)
@@ -8,9 +8,7 @@
 @h = constant i63 0            ; <i63*> [#uses=0]
 @i = constant i63 -4611686018427387904         ; <i63*> [#uses=0]
 @j = constant i63 1            ; <i63*> [#uses=0]
-@k = constant i63 0            ; <i63*> [#uses=0]
 @l = constant i63 -1           ; <i63*> [#uses=0]
-@m = constant i63 -1           ; <i63*> [#uses=0]
 @n = constant i63 -2           ; <i63*> [#uses=0]
 @q = constant i63 0            ; <i63*> [#uses=0]
 @u = constant i63 -1           ; <i63*> [#uses=0]
index 294db188457e9fae9df07cca98e63b96dcd0f14d..1edb35f9104b764b415f9ecef5c8d9eb2660372f 100644 (file)
@@ -16,9 +16,7 @@
 @h = constant i7 shl(i7 1 , i7 7)
 @i = constant i7 shl(i7 1 , i7 6)
 @j = constant i7 lshr(i7 127 , i7 6)
-@k = constant i7 lshr(i7 127 , i7 7)
 @l = constant i7 ashr(i7 127 , i7 6)
-@m = constant i7 ashr(i7 127 , i7 7)
 @m2= constant i7 ashr(i7 -1  , i7 3)
 
 @n = constant i7 mul(i7 127, i7 2)
index bbfc8da1a66825bfade58ada31760413ccb0b3be..4ed2133268f0773b77c8a0302ffeb66e16538feb 100644 (file)
@@ -11,9 +11,7 @@
 @h = constant i7 0             ; <i7*> [#uses=0]
 @i = constant i7 -64           ; <i7*> [#uses=0]
 @j = constant i7 1             ; <i7*> [#uses=0]
-@k = constant i7 0             ; <i7*> [#uses=0]
 @l = constant i7 -1            ; <i7*> [#uses=0]
-@m = constant i7 -1            ; <i7*> [#uses=0]
 @m2 = constant i7 -1           ; <i7*> [#uses=0]
 @n = constant i7 -2            ; <i7*> [#uses=0]
 @t = constant i7 -2            ; <i7*> [#uses=0]
index 990c4459fce5af1f7d3e5a7681b5c47000f8ac16..711ec821c295fbab2caf6a14a78d78518299baf0 100644 (file)
@@ -13,9 +13,7 @@
 @h = constant i9 shl(i9 1 , i9 9)
 @i = constant i9 shl(i9 1 , i9 8)
 @j = constant i9 lshr(i9 511 , i9 8)
-@k = constant i9 lshr(i9 511 , i9 9)
 @l = constant i9 ashr(i9 511 , i9 8)
-@m = constant i9 ashr(i9 511 , i9 9)
 
 @n = constant i9 mul(i9 511, i9 2)
 @q = constant i9 sdiv(i9 511, i9 2)
index 28c7cfc955a435655da250aba1c36b55cdac5eb9..77a2a23a7c3103a45ef784ad08c4d331f754ad09 100644 (file)
@@ -8,9 +8,7 @@
 @h = constant i9 0             ; <i9*> [#uses=0]
 @i = constant i9 -256          ; <i9*> [#uses=0]
 @j = constant i9 1             ; <i9*> [#uses=0]
-@k = constant i9 0             ; <i9*> [#uses=0]
 @l = constant i9 -1            ; <i9*> [#uses=0]
-@m = constant i9 -1            ; <i9*> [#uses=0]
 @n = constant i9 -2            ; <i9*> [#uses=0]
 @q = constant i9 0             ; <i9*> [#uses=0]
 @r = constant i9 255           ; <i9*> [#uses=0]