Testcase for stuff instcombine should do eventually

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

1 files changed, 24 insertions, 0 deletions

diff --git a/test/Transforms/InstCombine/setcc-strength-reduce.ll b/test/Transforms/InstCombine/setcc-strength-reduce.ll
new file mode 100644
index 0000000..1018ca5
--- /dev/null
+++ b/test/Transforms/InstCombine/setcc-strength-reduce.ll
@@ -0,0 +1,24 @@
+; This test ensures that "strength reduction" of conditional expressions are
+; working.  Basically this boils down to converting setlt,gt,le,ge instructions
+; into equivalent setne,eq instructions.
+;
+
+; RUN: if as < %s | opt -instcombine | dis | grep -v seteq | grep -v setne | grep set
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+bool "test1"(uint %A) {
+	%B = setge uint %A, 1   ; setne %A, 0
+	ret bool %B
+}
+
+bool "test2"(uint %A) {
+	%B = setgt uint %A, 0   ; setne %A, 0
+	ret bool %B
+}
+
+bool "test3"(sbyte %A) {
+	%B = setge sbyte %A, -127   ; setne %A, -128
+	ret bool %B
+}