Displaying 1 result from an estimated 1 matches for "mergeassumeblockvalueconstantrang".
Did you mean:
mergeassumeblockvalueconstantrange
2015 Apr 16
3
[LLVMdev] LazyValueInfo.getPredicateAt
...intentional that LazyValueInfo.getPredicateAt doesn't solve for
the value and only takes assumptions into account?
getPredicateAt gets lattice value from cache using getValueAt call:
LVILatticeVal LazyValueInfoCache::getValueAt(Value *V, Instruction *CxtI) {
...
LVILatticeVal Result;
mergeAssumeBlockValueConstantRange(V, Result, CxtI);
...
return Result;
}
Other get functions in LazyValueInfoCache solve to obtain the result:
LVILatticeVal LazyValueInfoCache::getValueInBlock(Value *V, BasicBlock *BB,
Instruction *CxtI) {
...
pushBlockValue(std::mak...