search for: mergeassumeblockvalueconstantrang

Displaying 1 result from an estimated 1 matches for "mergeassumeblockvalueconstantrang".

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...