Searched refs:lookupState (Results 1 – 7 of 7) sorted by relevance
32 auto *live = solver.lookupState<Executable>(&block); in printAnalysisResults()42 auto *live = solver.lookupState<Executable>( in printAnalysisResults()52 auto *preds = solver.lookupState<PredecessorState>(®ion.front()); in printAnalysisResults()57 auto *preds = solver.lookupState<PredecessorState>(op); in printAnalysisResults()
245 solver.lookupState<LastModification>(op); in runOnOperation()250 return solver.lookupState<UnderlyingValueLattice>(value); in runOnOperation()
40 auto *lattice = solver.lookupState<Lattice<ConstantValue>>(value); in replaceWithConstant()
27 solver.lookupState<IntegerValueRangeLattice>(value); in replaceWithConstant()
26 auto *result = solver.lookupState<IntegerValueRangeLattice>(v); in staticallyNonNegative()
178 const FooState *state = solver.lookupState<FooState>(op); in runOnOperation()
208 const StateT *lookupState(PointT point) const { in lookupState() function