mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-13 20:32:21 +00:00
X86: Don't turn shifts into ands if there's another use that may not check for equality.
Fixes PR19964. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@210371 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
013321a0f9
commit
0da5960e5b
@ -10162,7 +10162,7 @@ SDValue X86TargetLowering::EmitTest(SDValue Op, unsigned X86CC, SDLoc dl,
|
||||
// If we have a constant logical shift that's only used in a comparison
|
||||
// against zero turn it into an equivalent AND. This allows turning it into
|
||||
// a TEST instruction later.
|
||||
if ((X86CC == X86::COND_E || X86CC == X86::COND_NE) &&
|
||||
if ((X86CC == X86::COND_E || X86CC == X86::COND_NE) && Op->hasOneUse() &&
|
||||
isa<ConstantSDNode>(Op->getOperand(1)) && !hasNonFlagsUse(Op)) {
|
||||
EVT VT = Op.getValueType();
|
||||
unsigned BitWidth = VT.getSizeInBits();
|
||||
|
@ -198,3 +198,16 @@ define i32 @test14(i32 %mask, i32 %base, i32 %intra) #0 {
|
||||
; CHECK: shrl $7, %edi
|
||||
; CHECK-NEXT: cmovnsl %edx, %esi
|
||||
}
|
||||
|
||||
; PR19964
|
||||
define zeroext i1 @test15(i32 %bf.load, i32 %n) {
|
||||
%bf.lshr = lshr i32 %bf.load, 16
|
||||
%cmp2 = icmp eq i32 %bf.lshr, 0
|
||||
%cmp5 = icmp uge i32 %bf.lshr, %n
|
||||
%.cmp5 = or i1 %cmp2, %cmp5
|
||||
ret i1 %.cmp5
|
||||
|
||||
; CHECK-LABEL: test15:
|
||||
; CHECK: shrl $16, %edi
|
||||
; CHECK: cmpl %esi, %edi
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user