Test cases for when casts to bool can be eliminated

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

diff --git a/test/Transforms/InstCombine/cast.ll b/test/Transforms/InstCombine/cast.ll
index ac92b959ef6400660ec0a31ff8b34b1d27b08931..2ef6240a757c569674f85d9bf3e1c58ec5d611ed 100644 (file)
--- a/test/Transforms/InstCombine/cast.ll
+++ b/test/Transforms/InstCombine/cast.ll
@@ -68,3 +68,16 @@ short %test10(short %A) {
        %c2 = cast uint %c1 to short
        ret short %c2
 }
        %c2 = cast uint %c1 to short
        ret short %c2
 }

+
+bool %test11(ubyte %A, ubyte %B) {
+        %C = sub ubyte %A, %B
+        %D = cast ubyte %C to bool    ; == setne A, B
+        ret bool %D
+}
+
+bool %test12(ubyte %A) {
+        %B = add ubyte %A, 255
+        %C = cast ubyte %B to bool    ; === A != 1
+        ret bool %C
+}
+