6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-01-28 06:32:09 +00:00
Code Issues Projects Releases Wiki Activity

fix PR6193, only considering sign extensions *from i1* for this

Browse Source 
xform.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95642 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2010-02-09 01:12:41 +00:00
parent 940ab54755
commit e538db4fb0
2 changed files with 21 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
View File

@ -1142,19 +1142,24 @@ static Instruction *MatchSelectFromAndOr(Value *A, Value *B,
Value *C, Value *D) {
// If A is not a select of -1/0, this cannot match.
Value *Cond = 0;
if (!match(A, m_SExt(m_Value(Cond))))
if (!match(A, m_SExt(m_Value(Cond))) ||
!Cond->getType()->isInteger(1))
return 0;
// ((cond?-1:0)&C) | (B&(cond?0:-1)) -> cond ? C : B.
if (match(D, m_Not(m_SExt(m_Specific(Cond)))))
if (match(D, m_Not(m_SExt(m_Specific(Cond)))) &&
Cond->getType()->isInteger(1))
return SelectInst::Create(Cond, C, B);
if (match(D, m_SExt(m_Not(m_Specific(Cond)))))
if (match(D, m_SExt(m_Not(m_Specific(Cond)))) &&
Cond->getType()->isInteger(1))
return SelectInst::Create(Cond, C, B);
// ((cond?-1:0)&C) | ((cond?0:-1)&D) -> cond ? C : D.
if (match(B, m_Not(m_SExt(m_Specific(Cond)))))
if (match(B, m_Not(m_SExt(m_Specific(Cond)))) &&
Cond->getType()->isInteger(1))
return SelectInst::Create(Cond, C, D);
if (match(B, m_SExt(m_Not(m_Specific(Cond)))))
if (match(B, m_SExt(m_Not(m_Specific(Cond)))) &&
Cond->getType()->isInteger(1))
return SelectInst::Create(Cond, C, D);
return 0;
}

11
test/Transforms/InstCombine/crash.ll
View File

@ -226,3 +226,14 @@ define void @test10a() {
ret void
}
; PR6193
define i32 @test11(i32 %aMaskWidth, i8 %aStride) nounwind {
entry:
%conv41 = sext i8 %aStride to i32
%neg = xor i32 %conv41, -1
%and42 = and i32 %aMaskWidth, %neg
%and47 = and i32 130, %conv41
%or = or i32 %and42, %and47
ret i32 %or
}