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

[LVI] Remove overly tight assert from 259429

Browse Source 
I'll submit a test case shortly which covers this, but it's causing clang self host problems in the builders so I wanted to get it removed.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@259432 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Philip Reames 2016-02-01 23:21:11 +00:00
parent f939e55b79
commit 9d1fe7a916
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/Analysis/LazyValueInfo.cpp
View File

@ -853,7 +853,6 @@ bool LazyValueInfoCache::solveBlockValueSelect(LVILatticeVal &BBLV,
LVILatticeVal Result; // Start Undefined. LVILatticeVal Result; // Start Undefined.
Result.mergeIn(TrueVal, DL); Result.mergeIn(TrueVal, DL);
Result.mergeIn(FalseVal, DL); Result.mergeIn(FalseVal, DL);
assert(!Result.isOverdefined() && "Should have exited previously");
BBLV = Result; BBLV = Result;
return true; return true;
} }
@ -984,7 +983,8 @@ bool getValueFromFromCondition(Value *Val, ICmpInst *ICI,
} }
/// \brief Compute the value of Val on the edge BBFrom -> BBTo. Returns false if /// \brief Compute the value of Val on the edge BBFrom -> BBTo. Returns false if
/// Val is not constrained on the edge. /// Val is not constrained on the edge. Result is unspecified if return value
/// is false.
static bool getEdgeValueLocal(Value *Val, BasicBlock *BBFrom, static bool getEdgeValueLocal(Value *Val, BasicBlock *BBFrom,
BasicBlock *BBTo, LVILatticeVal &Result) { BasicBlock *BBTo, LVILatticeVal &Result) {
// TODO: Handle more complex conditionals. If (v == 0 || v2 < 1) is false, we // TODO: Handle more complex conditionals. If (v == 0 || v2 < 1) is false, we