mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-22 10:29:35 +00:00
Handle the case where there is no "not". It is possible it got
folded into the select. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@59389 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
faaf951fab
commit
a74cefa6d3
@ -4222,9 +4222,13 @@ static Instruction *MatchSelectFromAndOr(Value *A, Value *B,
|
||||
// Handle "cond ? -1 : 0".
|
||||
if (C1->isAllOnesValue() && C2->isZero()) {
|
||||
// ((cond?-1:0)&C) | (B&(cond?0:-1)) -> cond ? C : B.
|
||||
if (match(D, SELECT_MATCH(Cond2, 0, -1)) && Cond2 == Cond)
|
||||
return SelectInst::Create(Cond, C, B);
|
||||
if (match(D, m_Not(SELECT_MATCH(Cond2, -1, 0))) && Cond2 == Cond)
|
||||
return SelectInst::Create(Cond, C, B);
|
||||
// ((cond?-1:0)&C) | ((cond?0:-1)&D) -> cond ? C : D.
|
||||
if (match(B, SELECT_MATCH(Cond2, 0, -1)) && Cond2 == Cond)
|
||||
return SelectInst::Create(Cond, C, D);
|
||||
if (match(B, m_Not(SELECT_MATCH(Cond2, -1, 0))) && Cond2 == Cond)
|
||||
return SelectInst::Create(Cond, C, D);
|
||||
}
|
||||
|
@ -1,5 +1,5 @@
|
||||
; RUN: llvm-as < %s | opt -instcombine | llvm-dis > %t
|
||||
; RUN: grep select %t | count 4
|
||||
; RUN: grep select %t | count 5
|
||||
; RUN: not grep and %t
|
||||
; RUN: not grep or %t
|
||||
|
||||
@ -31,6 +31,17 @@ entry:
|
||||
%3 = or i32 %1, %2
|
||||
ret i32 %3
|
||||
}
|
||||
define i32 @poo(i32 %a, i32 %b, i32 %c, i32 %d) nounwind {
|
||||
entry:
|
||||
%0 = icmp slt i32 %a, %b
|
||||
%iftmp.0.0 = select i1 %0, i32 -1, i32 0
|
||||
%1 = and i32 %iftmp.0.0, %c
|
||||
%iftmp = select i1 %0, i32 0, i32 -1
|
||||
%2 = and i32 %iftmp, %d
|
||||
%3 = or i32 %1, %2
|
||||
ret i32 %3
|
||||
}
|
||||
|
||||
define i32 @par(i32 %a, i32 %b, i32 %c, i32 %d) nounwind {
|
||||
entry:
|
||||
%0 = icmp slt i32 %a, %b
|
||||
|
Loading…
Reference in New Issue
Block a user