mirror of
https://github.com/RPCSX/llvm.git
synced 2025-02-14 01:40:53 +00:00
When unifying instructions during a block diff, actually complain about
any differences we see. This should only happen if there are "non-structural" differences between the instructions, i.e. differences which wouldn't cause diff to return true. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@109742 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
dfb44ac690
commit
02e116cb06
@ -549,7 +549,7 @@ void FunctionDifferenceEngine::runBlockDiff(BasicBlock::iterator LStart,
|
|||||||
{
|
{
|
||||||
Instruction *L = &*LI, *R = &*RI;
|
Instruction *L = &*LI, *R = &*RI;
|
||||||
DifferenceEngine::Context C(Engine, L, R);
|
DifferenceEngine::Context C(Engine, L, R);
|
||||||
diff(L, R, false, true); // unify successors
|
diff(L, R, true, true); // complain and unify successors
|
||||||
Values[L] = R; // make non-tentative
|
Values[L] = R; // make non-tentative
|
||||||
Diff.addMatch(L, R);
|
Diff.addMatch(L, R);
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user