Lines Matching defs:lattice

62 /// This lattice represents, for a given value, the set of memory resources that
89   void setToExitState(WrittenTo *lattice) override {
90     lattice->getValue().clear();
118   WrittenTo *lattice = getLatticeElement(operand.get());
123   propagateIfChanged(lattice, lattice->getValue().addWrites(newWrites));
128   WrittenTo *lattice = getLatticeElement(operand.get());
133   propagateIfChanged(lattice, lattice->getValue().addWrites(newWrites));
144   for (WrittenTo *lattice : operands) {
152     propagateIfChanged(lattice, lattice->getValue().addWrites(newWrites));
199         assert(writtenTo && "expected a sparse lattice");
206         assert(writtenTo && "expected a sparse lattice");