Lines Matching defs:meet

551     // Result = meet(a, b) for a in A, b in B where Var(a) == Var(b)
560       LLVM_DEBUG(dbgs() << "meet fragment maps for "
566   bool meet(const BasicBlock &BB,
568     LLVM_DEBUG(dbgs() << "meet block info from preds of " << BB.getName()
573     // LiveIn locs for BB is the meet of the already-processed preds' LiveOut
578       // the identity value for the meet operation.
590         LLVM_DEBUG(dbgs() << "BBLiveIn = meet BBLiveIn, " << Pred->getName()
595       // An empty set is ⊥ for the intersect-like meet operation. If we've
597       // ⊥ since `meet(a, ⊥) = ⊥`.
605       LLVM_DEBUG(dbgs() << "change=true (first) on meet on " << BB.getName()
614       LLVM_DEBUG(dbgs() << "change=true on meet on " << BB.getName() << "\n");
619     LLVM_DEBUG(dbgs() << "change=false on meet on " << BB.getName() << "\n");
907     // solve it, we perform meet() and process() using the two worklist method
910     // This dataflow is essentially working on maps of sets and at each meet we
924         bool InChanged = meet(*BB, Visited);