OSDN Git Service

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 cfd69f0..6ee99f4 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 d4ef5e0..aed5169 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 4e4908c..3fc4b1a 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 1ebc4e3..006bc20 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 a83b200..8d7485e 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 c00ce51..20f491a 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 57c6191..3d18b2a 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 d876574..fbb1681 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 8ef992b..ac9ce7c 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 b63dae6..402b61f 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 6dadaf7..052ecd5 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 3a82d74..80764e2 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 294db18..1edb35f 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 bbfc8da..4ed2133 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 990c445..711ec82 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 28c7cfc..77a2a23 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]