replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Revert r137781; I agree with Duncan's comment that the situation in question is clearly impossible given the current structure of the code. 

llvm-svn: 137853
This commit is contained in:
Eli Friedman 2011-08-17 19:31:49 +00:00
parent 004df6e053
commit ad3cfe7933
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
llvm/lib/Analysis/InstructionSimplify.cpp
View File

@ -1348,11 +1348,6 @@ static Value *SimplifyXorInst(Value *Op0, Value *Op1, const TargetData *TD,
std::swap(Op0, Op1);
}
// A ^ A = 0
// Do this first so that we catch the undef ^ undef "idiom".
if (Op0 == Op1)
return Constant::getNullValue(Op0->getType());
// A ^ undef -> undef
if (match(Op1, m_Undef()))
return Op1;
@ -1361,6 +1356,10 @@ static Value *SimplifyXorInst(Value *Op0, Value *Op1, const TargetData *TD,
if (match(Op1, m_Zero()))
return Op0;
// A ^ A = 0
if (Op0 == Op1)
return Constant::getNullValue(Op0->getType());
// A ^ ~A = ~A ^ A = -1
if (match(Op0, m_Not(m_Specific(Op1))) ||
match(Op1, m_Not(m_Specific(Op0))))