RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-12-14 23:29:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Also fold (A+B) == A -> B == 0 when the add is commuted.

Browse Source 
llvm-svn: 125411
This commit is contained in:
Benjamin Kramer 2011-02-11 21:46:48 +00:00
parent fec8b6bd6d
commit 793cd269de
2 changed files with 23 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/Transforms/InstCombine/InstCombineCompares.cpp
View File

@ -2351,12 +2351,14 @@ Instruction *InstCombiner::visitICmpInst(ICmpInst &I) {
Constant::getNullValue(B->getType()));
// (A+B) == A -> B == 0
if (match(Op0, m_Add(m_Specific(Op1), m_Value(B))))
if (match(Op0, m_Add(m_Specific(Op1), m_Value(B))) ||
match(Op0, m_Add(m_Value(B), m_Specific(Op1))))
return new ICmpInst(I.getPredicate(), B,
Constant::getNullValue(B->getType()));
// A == (A+B) -> B == 0
if (match(Op1, m_Add(m_Specific(Op0), m_Value(B))))
if (match(Op1, m_Add(m_Specific(Op0), m_Value(B))) ||
match(Op1, m_Add(m_Value(B), m_Specific(Op0))))
return new ICmpInst(I.getPredicate(), B,
Constant::getNullValue(B->getType()));

30
test/Transforms/InstCombine/add.ll
View File

@ -276,18 +276,26 @@ define i32 @test36(i32 %a) {
ret i32 %q
}
define i32 @test37(i32 %a, i32 %b) nounwind readnone {
entry:
%add = add nsw i32 %a, %b
define i1 @test37(i32 %a, i32 %b) nounwind readnone {
%add = add i32 %a, %b
%cmp = icmp eq i32 %add, %a
%conv = zext i1 %cmp to i32
ret i32 %conv
ret i1 %cmp
}
define i32 @test38(i32 %a, i32 %b) nounwind readnone {
entry:
%add = add nsw i32 %a, %b
%cmp = icmp eq i32 %add, %a
%conv = zext i1 %cmp to i32
ret i32 %conv
define i1 @test38(i32 %a, i32 %b) nounwind readnone {
%add = add i32 %a, %b
%cmp = icmp eq i32 %add, %b
ret i1 %cmp
}
define i1 @test39(i32 %a, i32 %b) nounwind readnone {
%add = add i32 %b, %a
%cmp = icmp eq i32 %add, %a
ret i1 %cmp
}
define i1 @test40(i32 %a, i32 %b) nounwind readnone {
%add = add i32 %b, %a
%cmp = icmp eq i32 %add, %b
ret i1 %cmp
}