From 5f6c861257ab9fe457392fa70a664d093b56209a Mon Sep 17 00:00:00 2001
From: Reid Spencer <rspencer@reidspencer.com>
Date: Sun, 28 Nov 2004 04:29:29 +0000
Subject: [PATCH] Test case for PR454

llvm-svn: 18301
---
 ...004-11-27-SetCCForCastLargerAndConstant.ll | 159 ++++++++++++++++++
 1 file changed, 159 insertions(+)
 create mode 100644 test/Regression/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll

diff --git a/test/Regression/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll b/test/Regression/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll
new file mode 100644
index 00000000000..b04d544636e
--- /dev/null
+++ b/test/Regression/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll
@@ -0,0 +1,159 @@
+; This test case tests the InstructionCombining optimization that
+; reduces things like:
+;   %Y = cast sbyte %X to uint
+;   %C = setlt uint %Y, 1024
+; to
+;   %C = bool true
+; It includes test cases for different constant values, signedness of the
+; cast operands, and types of setCC operators. In all cases, the cast should
+; be eliminated. In many cases the setCC is also eliminated based on the
+; constant value and the range of the casted value.
+;
+; RUN: llvm-as %s -o - | opt -instcombine -o - | llvm-dis -o - | grep -v cast
+
+implementation   ; Functions:
+
+; 
+bool %lt_signed_to_large_unsigned(sbyte %SB) {
+  %Y = cast sbyte %SB to uint		; <uint> [#uses=1]
+  %C = setlt uint %Y, 1024		; <bool> [#uses=1]
+  ret bool %C
+}
+
+bool %lt_signed_to_large_signed(sbyte %SB) {
+  %Y = cast sbyte %SB to int
+  %C = setlt int %Y, 1024
+  ret bool %C
+}
+
+bool %lt_signed_to_large_negative(sbyte %SB) {
+  %Y = cast sbyte %SB to int
+  %C = setlt int %Y, -1024
+  ret bool %C
+}
+
+bool %lt_signed_to_small_unsigned(sbyte %SB) {
+  %Y = cast sbyte %SB to uint		; <uint> [#uses=1]
+  %C = setlt uint %Y, 17		; <bool> [#uses=1]
+  ret bool %C
+}
+
+bool %lt_signed_to_small_signed(sbyte %SB) {
+  %Y = cast sbyte %SB to int
+  %C = setlt int %Y, 17
+  ret bool %C
+}
+
+bool %lt_signed_to_small_negative(sbyte %SB) {
+  %Y = cast sbyte %SB to int
+  %C = setlt int %Y, -17
+  ret bool %C
+}
+
+bool %lt_unsigned_to_large_unsigned(ubyte %SB) {
+  %Y = cast ubyte %SB to uint		; <uint> [#uses=1]
+  %C = setlt uint %Y, 1024		; <bool> [#uses=1]
+  ret bool %C
+}
+
+bool %lt_unsigned_to_large_signed(ubyte %SB) {
+  %Y = cast ubyte %SB to int
+  %C = setlt int %Y, 1024
+  ret bool %C
+}
+
+bool %lt_unsigned_to_large_negative(ubyte %SB) {
+  %Y = cast ubyte %SB to int
+  %C = setlt int %Y, -1024
+  ret bool %C
+}
+
+bool %lt_unsigned_to_small_unsigned(ubyte %SB) {
+  %Y = cast ubyte %SB to uint		; <uint> [#uses=1]
+  %C = setlt uint %Y, 17		; <bool> [#uses=1]
+  ret bool %C
+}
+
+bool %lt_unsigned_to_small_signed(ubyte %SB) {
+  %Y = cast ubyte %SB to int
+  %C = setlt int %Y, 17
+  ret bool %C
+}
+
+bool %lt_unsigned_to_small_negative(ubyte %SB) {
+  %Y = cast ubyte %SB to int
+  %C = setlt int %Y, -17
+  ret bool %C
+}
+
+bool %gt_signed_to_large_unsigned(sbyte %SB) {
+  %Y = cast sbyte %SB to uint		; <uint> [#uses=1]
+  %C = setgt uint %Y, 1024		; <bool> [#uses=1]
+  ret bool %C
+}
+
+bool %gt_signed_to_large_signed(sbyte %SB) {
+  %Y = cast sbyte %SB to int
+  %C = setgt int %Y, 1024
+  ret bool %C
+}
+
+bool %gt_signed_to_large_negative(sbyte %SB) {
+  %Y = cast sbyte %SB to int
+  %C = setgt int %Y, -1024
+  ret bool %C
+}
+
+bool %gt_signed_to_small_unsigned(sbyte %SB) {
+  %Y = cast sbyte %SB to uint		; <uint> [#uses=1]
+  %C = setgt uint %Y, 17		; <bool> [#uses=1]
+  ret bool %C
+}
+
+bool %gt_signed_to_small_signed(sbyte %SB) {
+  %Y = cast sbyte %SB to int
+  %C = setgt int %Y, 17
+  ret bool %C
+}
+
+bool %gt_signed_to_small_negative(sbyte %SB) {
+  %Y = cast sbyte %SB to int
+  %C = setgt int %Y, -17
+  ret bool %C
+}
+
+bool %gt_unsigned_to_large_unsigned(ubyte %SB) {
+  %Y = cast ubyte %SB to uint		; <uint> [#uses=1]
+  %C = setgt uint %Y, 1024		; <bool> [#uses=1]
+  ret bool %C
+}
+
+bool %gt_unsigned_to_large_signed(ubyte %SB) {
+  %Y = cast ubyte %SB to int
+  %C = setgt int %Y, 1024
+  ret bool %C
+}
+
+bool %gt_unsigned_to_large_negative(ubyte %SB) {
+  %Y = cast ubyte %SB to int
+  %C = setgt int %Y, -1024
+  ret bool %C
+}
+
+bool %gt_unsigned_to_small_unsigned(ubyte %SB) {
+  %Y = cast ubyte %SB to uint		; <uint> [#uses=1]
+  %C = setgt uint %Y, 17		; <bool> [#uses=1]
+  ret bool %C
+}
+
+bool %gt_unsigned_to_small_signed(ubyte %SB) {
+  %Y = cast ubyte %SB to int
+  %C = setgt int %Y, 17
+  ret bool %C
+}
+
+bool %gt_unsigned_to_small_negative(ubyte %SB) {
+  %Y = cast ubyte %SB to int
+  %C = setgt int %Y, -17
+  ret bool %C
+}