Lines Matching defs:meet

552     // Result = meet(a, b) for a in A, b in B where Var(a) == Var(b)
561       LLVM_DEBUG(dbgs() << "meet fragment maps for "
567   bool meet(const BasicBlock &BB,
569     LLVM_DEBUG(dbgs() << "meet block info from preds of " << BB.getName()
574     // LiveIn locs for BB is the meet of the already-processed preds' LiveOut
579       // the identity value for the meet operation.
591         LLVM_DEBUG(dbgs() << "BBLiveIn = meet BBLiveIn, " << Pred->getName()
596       // An empty set is ⊥ for the intersect-like meet operation. If we've
598       // ⊥ since `meet(a, ⊥) = ⊥`.
606       LLVM_DEBUG(dbgs() << "change=true (first) on meet on " << BB.getName()
615       LLVM_DEBUG(dbgs() << "change=true on meet on " << BB.getName() << "\n");
620     LLVM_DEBUG(dbgs() << "change=false on meet on " << BB.getName() << "\n");
908     // solve it, we perform meet() and process() using the two worklist method
911     // This dataflow is essentially working on maps of sets and at each meet we
925         bool InChanged = meet(*BB, Visited);