2004-11-28 12:29:29 +08:00
|
|
|
; This test case tests the InstructionCombining optimization that
|
|
|
|
; reduces things like:
|
2008-03-01 17:15:35 +08:00
|
|
|
; %Y = sext i8 %X to i32
|
|
|
|
; %C = icmp ult i32 %Y, 1024
|
2004-11-28 12:29:29 +08:00
|
|
|
; to
|
2008-03-01 17:15:35 +08:00
|
|
|
; %C = i1 true
|
2004-11-28 12:29:29 +08:00
|
|
|
; 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.
|
|
|
|
;
|
2009-10-12 14:14:06 +08:00
|
|
|
; RUN: opt < %s -instcombine -S | FileCheck %s
|
2008-03-09 16:16:40 +08:00
|
|
|
; END.
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @lt_signed_to_large_unsigned(i8 %SB) {
|
|
|
|
%Y = sext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp ult i32 %Y, 1024 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: %C1 = icmp sgt i8 %SB, -1
|
|
|
|
; CHECK: ret i1 %C1
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @lt_signed_to_large_signed(i8 %SB) {
|
|
|
|
%Y = sext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp slt i32 %Y, 1024 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: ret i1 true
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @lt_signed_to_large_negative(i8 %SB) {
|
|
|
|
%Y = sext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp slt i32 %Y, -1024 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: ret i1 false
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2009-12-18 06:42:29 +08:00
|
|
|
define i1 @lt_signed_to_small_unsigned(i8 %SB) {
|
|
|
|
%Y = sext i8 %SB to i32
|
|
|
|
%C = icmp ult i32 %Y, 17
|
|
|
|
ret i1 %C
|
|
|
|
; CHECK: %C = icmp ult i8 %SB, 17
|
|
|
|
; CHECK: ret i1 %C
|
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @lt_signed_to_small_signed(i8 %SB) {
|
|
|
|
%Y = sext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp slt i32 %Y, 17 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: %C = icmp slt i8 %SB, 17
|
|
|
|
; CHECK: ret i1 %C
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @lt_signed_to_small_negative(i8 %SB) {
|
|
|
|
%Y = sext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp slt i32 %Y, -17 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: %C = icmp slt i8 %SB, -17
|
|
|
|
; CHECK: ret i1 %C
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @lt_unsigned_to_large_unsigned(i8 %SB) {
|
|
|
|
%Y = zext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp ult i32 %Y, 1024 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: ret i1 true
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @lt_unsigned_to_large_signed(i8 %SB) {
|
|
|
|
%Y = zext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp slt i32 %Y, 1024 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: ret i1 true
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @lt_unsigned_to_large_negative(i8 %SB) {
|
|
|
|
%Y = zext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp slt i32 %Y, -1024 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: ret i1 false
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @lt_unsigned_to_small_unsigned(i8 %SB) {
|
|
|
|
%Y = zext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp ult i32 %Y, 17 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: %C = icmp ult i8 %SB, 17
|
|
|
|
; CHECK: ret i1 %C
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2009-12-18 06:42:29 +08:00
|
|
|
define i1 @lt_unsigned_to_small_signed(i8 %SB) {
|
|
|
|
%Y = zext i8 %SB to i32
|
|
|
|
%C = icmp slt i32 %Y, 17
|
|
|
|
ret i1 %C
|
|
|
|
; CHECK: %C = icmp ult i8 %SB, 17
|
|
|
|
; CHECK: ret i1 %C
|
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @lt_unsigned_to_small_negative(i8 %SB) {
|
|
|
|
%Y = zext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp slt i32 %Y, -17 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: ret i1 false
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @gt_signed_to_large_unsigned(i8 %SB) {
|
|
|
|
%Y = sext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp ugt i32 %Y, 1024 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: %C = icmp slt i8 %SB, 0
|
|
|
|
; CHECK: ret i1 %C
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @gt_signed_to_large_signed(i8 %SB) {
|
|
|
|
%Y = sext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp sgt i32 %Y, 1024 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: ret i1 false
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @gt_signed_to_large_negative(i8 %SB) {
|
|
|
|
%Y = sext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp sgt i32 %Y, -1024 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: ret i1 true
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
2009-10-12 14:14:06 +08:00
|
|
|
|
2009-12-18 06:42:29 +08:00
|
|
|
define i1 @gt_signed_to_small_unsigned(i8 %SB) {
|
|
|
|
%Y = sext i8 %SB to i32
|
|
|
|
%C = icmp ugt i32 %Y, 17
|
|
|
|
ret i1 %C
|
|
|
|
; CHECK: %C = icmp ugt i8 %SB, 17
|
|
|
|
; CHECK: ret i1 %C
|
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @gt_signed_to_small_signed(i8 %SB) {
|
|
|
|
%Y = sext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp sgt i32 %Y, 17 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: %C = icmp sgt i8 %SB, 17
|
|
|
|
; CHECK: ret i1 %C
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @gt_signed_to_small_negative(i8 %SB) {
|
|
|
|
%Y = sext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp sgt i32 %Y, -17 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: %C = icmp sgt i8 %SB, -17
|
|
|
|
; CHECK: ret i1 %C
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @gt_unsigned_to_large_unsigned(i8 %SB) {
|
|
|
|
%Y = zext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp ugt i32 %Y, 1024 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: ret i1 false
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @gt_unsigned_to_large_signed(i8 %SB) {
|
|
|
|
%Y = zext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp sgt i32 %Y, 1024 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: ret i1 false
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @gt_unsigned_to_large_negative(i8 %SB) {
|
|
|
|
%Y = zext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp sgt i32 %Y, -1024 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: ret i1 true
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @gt_unsigned_to_small_unsigned(i8 %SB) {
|
|
|
|
%Y = zext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp ugt i32 %Y, 17 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: %C = icmp ugt i8 %SB, 17
|
|
|
|
; CHECK: ret i1 %C
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
|
|
|
|
2009-12-18 06:42:29 +08:00
|
|
|
define i1 @gt_unsigned_to_small_signed(i8 %SB) {
|
|
|
|
%Y = zext i8 %SB to i32
|
|
|
|
%C = icmp sgt i32 %Y, 17
|
|
|
|
ret i1 %C
|
|
|
|
; CHECK: %C = icmp ugt i8 %SB, 17
|
|
|
|
; CHECK: ret i1 %C
|
|
|
|
}
|
|
|
|
|
2008-03-01 17:15:35 +08:00
|
|
|
define i1 @gt_unsigned_to_small_negative(i8 %SB) {
|
|
|
|
%Y = zext i8 %SB to i32 ; <i32> [#uses=1]
|
|
|
|
%C = icmp sgt i32 %Y, -17 ; <i1> [#uses=1]
|
|
|
|
ret i1 %C
|
2009-10-12 14:14:06 +08:00
|
|
|
; CHECK: ret i1 true
|
2004-11-28 12:29:29 +08:00
|
|
|
}
|
2008-03-01 17:15:35 +08:00
|
|
|
|