Lines Matching defs:LocToVal

234 // Perform a join on two `LocToVal` maps.
236 joinLocToVal(const llvm::MapVector<const StorageLocation *, Value *> &LocToVal,
241   for (auto &Entry : LocToVal) {
262 // Perform widening on either `LocToVal` or `ExprToVal`. `Key` must be either
675   this->LocToVal = std::move(CalleeEnv.LocToVal);
690   this->LocToVal = std::move(CalleeEnv.LocToVal);
719   if (!compareKeyToValueMaps(LocToVal, Other.LocToVal, *this, Other, Model))
752   LocToVal = widenKeyToValueMap(LocToVal, PrevEnv.LocToVal, *this, PrevEnv,
757       LocToVal.size() != PrevEnv.LocToVal.size())
804   JoinedEnv.LocToVal =
805       joinLocToVal(EnvA.LocToVal, EnvB.LocToVal, EnvA, EnvB, JoinedEnv, Model);
927   LocToVal[&Loc] = &Val;
942   return LocToVal.lookup(&Loc);
1170   OS << "LocToVal:\n";
1171   for (auto [L, V] : LocToVal) {