mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-13 04:30:23 +00:00
Test case for PR454
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@18301 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
8dde18fc50
commit
d3938b14ea
@ -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
|
||||||
|
}
|
Loading…
Reference in New Issue
Block a user