Remove test cases that produce undefined results.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@34650 91177308-0d34-0410-b5e6-96231b3b80d8

16 files changed, 5 insertions, 33 deletions

diff --git a/test/Integer/a1.ll b/test/Integer/a1.ll
index cfd69f06aa..6ee99f42ca 100644
--- a/test/Integer/a1.ll
+++ b/test/Integer/a1.ll
@@ -12,13 +12,13 @@
 
 @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)
diff --git a/test/Integer/a1.ll.out b/test/Integer/a1.ll.out
index d4ef5e07ee..aed5169ceb 100644
--- a/test/Integer/a1.ll.out
+++ b/test/Integer/a1.ll.out
@@ -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:
diff --git a/test/Integer/a15.ll b/test/Integer/a15.ll
index 4e4908cbbb..3fc4b1a77d 100644
--- a/test/Integer/a15.ll
+++ b/test/Integer/a15.ll
@@ -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)
diff --git a/test/Integer/a15.ll.out b/test/Integer/a15.ll.out
index 1ebc4e310f..006bc20428 100644
--- a/test/Integer/a15.ll.out
+++ b/test/Integer/a15.ll.out
@@ -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]
diff --git a/test/Integer/a17.ll b/test/Integer/a17.ll
index a83b2000d8..8d7485e901 100644
--- a/test/Integer/a17.ll
+++ b/test/Integer/a17.ll
@@ -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)
diff --git a/test/Integer/a17.ll.out b/test/Integer/a17.ll.out
index c00ce51932..20f491ac1d 100644
--- a/test/Integer/a17.ll.out
+++ b/test/Integer/a17.ll.out
@@ -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]
diff --git a/test/Integer/a31.ll b/test/Integer/a31.ll
index 57c6191bdd..3d18b2a49e 100644
--- a/test/Integer/a31.ll
+++ b/test/Integer/a31.ll
@@ -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)
diff --git a/test/Integer/a31.ll.out b/test/Integer/a31.ll.out
index d8765748ee..fbb16810d2 100644
--- a/test/Integer/a31.ll.out
+++ b/test/Integer/a31.ll.out
@@ -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]
diff --git a/test/Integer/a33.ll b/test/Integer/a33.ll
index 8ef992b1f4..ac9ce7cde9 100644
--- a/test/Integer/a33.ll
+++ b/test/Integer/a33.ll
@@ -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)
diff --git a/test/Integer/a33.ll.out b/test/Integer/a33.ll.out
index b63dae6ef6..402b61fb81 100644
--- a/test/Integer/a33.ll.out
+++ b/test/Integer/a33.ll.out
@@ -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]
diff --git a/test/Integer/a63.ll b/test/Integer/a63.ll
index 6dadaf79e0..052ecd5850 100644
--- a/test/Integer/a63.ll
+++ b/test/Integer/a63.ll
@@ -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)
diff --git a/test/Integer/a63.ll.out b/test/Integer/a63.ll.out
index 3a82d74267..80764e2f37 100644
--- a/test/Integer/a63.ll.out
+++ b/test/Integer/a63.ll.out
@@ -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]
diff --git a/test/Integer/a7.ll b/test/Integer/a7.ll
index 294db18845..1edb35f910 100644
--- a/test/Integer/a7.ll
+++ b/test/Integer/a7.ll
@@ -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)
diff --git a/test/Integer/a7.ll.out b/test/Integer/a7.ll.out
index bbfc8da1a6..4ed2133268 100644
--- a/test/Integer/a7.ll.out
+++ b/test/Integer/a7.ll.out
@@ -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]
diff --git a/test/Integer/a9.ll b/test/Integer/a9.ll
index 990c4459fc..711ec821c2 100644
--- a/test/Integer/a9.ll
+++ b/test/Integer/a9.ll
@@ -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)
diff --git a/test/Integer/a9.ll.out b/test/Integer/a9.ll.out
index 28c7cfc955..77a2a23a7c 100644
--- a/test/Integer/a9.ll.out
+++ b/test/Integer/a9.ll.out
@@ -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]