mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-07-19 03:29:22 +00:00
It is OK to remove extra cast if operation is EQ/NE even though source
and destination sign may not match but other conditions are met. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31056 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
df308fa7ab
commit
002e499650
@ -4795,8 +4795,9 @@ Instruction *InstCombiner::visitSetCondInstWithCastAndCast(SetCondInst &SCI) {
|
|||||||
// %B = setgt short %X, 1330
|
// %B = setgt short %X, 1330
|
||||||
//
|
//
|
||||||
// because %A may have negative value.
|
// because %A may have negative value.
|
||||||
// However, it is OK if SrcTy is bool. See cast-set.ll testcase.
|
// However, it is OK if SrcTy is bool (See cast-set.ll testcase)
|
||||||
if (isSignSrc == isSignDest || SrcTy == Type::BoolTy)
|
// OR operation is EQ/NE.
|
||||||
|
if (isSignSrc == isSignDest || SrcTy == Type::BoolTy || SCI.isEquality())
|
||||||
RHSCIOp = Res;
|
RHSCIOp = Res;
|
||||||
else
|
else
|
||||||
return 0;
|
return 0;
|
||||||
|
@ -0,0 +1,9 @@
|
|||||||
|
; The optimizer should be able to remove cast operation here.
|
||||||
|
; RUN: llvm-as %s -o - | opt -instcombine | llvm-dis | not grep 'cast.*int'
|
||||||
|
|
||||||
|
bool %eq_signed_to_small_unsigned(sbyte %SB) {
|
||||||
|
%Y = cast sbyte %SB to uint ; <uint> [#uses=1]
|
||||||
|
%C = seteq uint %Y, 17 ; <bool> [#uses=1]
|
||||||
|
ret bool %C
|
||||||
|
}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user