Regression is gone, don't try to find it on clean target.

llvm-svn: 33296

1 files changed, 49 insertions, 0 deletions

diff --git a/llvm/test/Transforms/InstCombine/cast-set.ll b/llvm/test/Transforms/InstCombine/cast-set.ll
new file mode 100644
index 00000000000..801aa1bfc50
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/cast-set.ll
@@ -0,0 +1,49 @@
+; This tests for various complex cast elimination cases instcombine should
+; handle.
+
+; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | notcast
+
+bool %test1(int %X) {
+	%A = cast int %X to uint
+	%c = setne uint %A, 12        ; Convert to setne int %X, 12
+	ret bool %c
+}
+
+bool %test2(int %X, int %Y) {
+	%A = cast int %X to uint
+	%B = cast int %Y to uint
+	%c = setne uint %A, %B       ; Convert to setne int %X, %Y
+	ret bool %c
+}
+
+int %test4(int %A) {
+	%B = cast int %A to uint
+	%C = shl uint %B, ubyte 2
+	%D = cast uint %C to int
+	ret int %D
+}
+
+short %test5(short %A) {
+	%B = cast short %A to uint
+	%C = and uint %B, 15
+	%D = cast uint %C to short
+	ret short %D
+}
+
+bool %test6(bool %A) {
+	%B = cast bool %A to int
+	%C = setne int %B, 0
+	ret bool %C
+}
+
+bool %test6a(bool %A) {
+	%B = cast bool %A to int
+	%C = setne int %B, -1    ; Always true!
+	ret bool %C
+}
+
+bool %test7(sbyte* %A) {
+	%B = cast sbyte* %A to int*
+	%C = seteq int* %B, null
+	ret bool %C
+}