Searched refs:AbstractSparseLattice (Results 1 – 2 of 2) sorted by relevance
32 class AbstractSparseLattice : public AnalysisState {35 AbstractSparseLattice(Value value) : AnalysisState(value) {} in AbstractSparseLattice() function39 virtual ChangeResult join(const AbstractSparseLattice &rhs) = 0;81 class Lattice : public AbstractSparseLattice {85 : AbstractSparseLattice(value), in Lattice()113 ChangeResult join(const AbstractSparseLattice &rhs) override { in join()223 virtual AbstractSparseLattice *getLatticeElement(Value value) = 0;235 void join(AbstractSparseLattice *lhs, const AbstractSparseLattice &rhs);273 std::is_base_of<AbstractSparseLattice, StateT>::value,326 ArrayRef<AbstractSparseLattice *> resultLattices) override { in visitOperationImpl()[all …]
20 void AbstractSparseLattice::onUpdate(DataFlowSolver *solver) const { in onUpdate()88 SmallVector<AbstractSparseLattice *> resultLattices; in visitOperation()93 AbstractSparseLattice *resultLattice = getLatticeElement(result); in visitOperation()121 SmallVector<const AbstractSparseLattice *> operandLattices; in visitOperation()146 SmallVector<AbstractSparseLattice *> argLattices; in visitBlock()150 AbstractSparseLattice *argLattice = getLatticeElement(argument); in visitBlock()226 ArrayRef<AbstractSparseLattice *> lattices) { in visitRegionSuccessors()280 const AbstractSparseLattice *283 AbstractSparseLattice *state = getLatticeElement(value); in getLatticeElementFor()289 ArrayRef<AbstractSparseLattice *> lattices) { in markAllPessimisticFixpoint()[all …]