maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[LVI] Remove overly tight assert from 259429 

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.

llvm-svn: 259432
This commit is contained in:
Philip Reames 2016-02-01 23:21:11 +00:00
parent bddf6c8c57
commit 13f7324b86
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
llvm/lib/Analysis/LazyValueInfo.cpp
View File

@ -853,7 +853,6 @@ bool LazyValueInfoCache::solveBlockValueSelect(LVILatticeVal &BBLV,
LVILatticeVal Result; // Start Undefined.
Result.mergeIn(TrueVal, DL);
Result.mergeIn(FalseVal, DL);
assert(!Result.isOverdefined() && "Should have exited previously");
BBLV = Result;
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
/// 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,
BasicBlock *BBTo, LVILatticeVal &Result) {
// TODO: Handle more complex conditionals. If (v == 0 || v2 < 1) is false, we