Lines Matching refs:States
759 MapVector<Value *, BDVState> States;
766 States.insert(std::make_pair(def, BDVState()));
779 if (States.insert(std::make_pair(Base, BDVState())).second)
802 DEBUG(dbgs() << "States after initialization:\n");
803 for (auto Pair : States) {
813 auto I = States.find(baseValue);
814 assert(I != States.end() && "lookup failed!");
821 const size_t oldSize = States.size();
828 for (auto Pair : States) {
858 BDVState oldState = States[BDV];
862 States[BDV] = newState;
866 assert(oldSize == States.size() &&
871 DEBUG(dbgs() << "States after meet iteration:\n");
872 for (auto Pair : States) {
879 for (auto Pair : States) {
899 States[I] = BDVState(BDVState::Base, BaseInst);
945 States[I] = BDVState(BDVState::Conflict, BaseInst);
963 assert(States.count(BDV));
964 Base = States[BDV].getBase();
979 for (auto Pair : States) {
1073 for (auto Pair : States) {
1101 assert(States.count(BDV));
1102 assert(States[BDV].isConflict() && States[BDV].getBase() == BaseI);
1103 States[BDV] = BDVState(BDVState::Conflict, Replacement);
1127 for (auto Pair : States) {