search for: getvalueinblock

...ll: 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::make_pair(BB, V)); solve(); LVILatticeVal Result = getBlockValue(V, BB); mergeAssumeBlockValueConstantRange(V, Result, CxtI); ... return Result; } Thanks,...

I am primarily interested in phi nodes and their induction variables, in ValueTracking file there is an analysis of them, but if the upper bound is inf, it is not working? 2017-08-07 11:41 GMT+02:00 Anastasiya Ruzhanskaya < anastasiya.ruzhanskaya at frtk.ru>: > So, it is not supported to determine by this instruction : %cmp = icmp slt > i32 %i.03, 99, > that %i.03 = phi i32 [ 0,

...25 in (anonymous namespace)::LVIQuery::getBlockValue () at ctype.h:275 #671 0x169fc2da in (anonymous namespace)::LVIQuery::getEdgeValue () at ctype.h:275 #672 0x169f9a25 in (anonymous namespace)::LVIQuery::getBlockValue () at ctype.h:275 #673 0x169fb6ee in (anonymous namespace)::LazyValueInfoCache::getValueInBlock () at ctype.h:275 #674 0x169fbf64 in llvm::LazyValueInfo::getConstant () at ctype.h:275 #675 0x168dcc70 in (anonymous namespace)::CorrelatedValuePropagation::runOnFunction () at ctype.h:275 #676 0x16b626b5 in llvm::FPPassManager::runOnFunction () at ctype.h:275 #677 0x169c32ce in (anonymous namespa...