Lines Matching defs:BDVState
692 class BDVState {
705 BDVState() {
709 explicit BDVState(Value *OriginalValue)
711 explicit BDVState(Value *OriginalValue, StatusTy Status, Value *BaseValue = nullptr)
724 // Values of type BDVState form a lattice, and this function implements the
727 void meet(const BDVState &Other) {
729 Status = BDVState::Conflict;
757 bool operator==(const BDVState &Other) const {
762 bool operator!=(const BDVState &other) const { return !(*this == other); }
796 static raw_ostream &operator<<(raw_ostream &OS, const BDVState &State) {
848 MapVector<Value *, BDVState> States;
887 States.insert({Def, BDVState(Def)});
903 if (States.insert(std::make_pair(Base, BDVState(Base))).second)
967 return BDVState(BaseValue, BDVState::Base, BaseValue);
1027 BDVState NewState(BDV);
1040 NewState = BDVState(I, BDVState::Conflict);
1042 BDVState OldState = Pair.second;
1064 BDVState State = Pair.second;
1080 BDVState State = Pair.second;
1116 States[I] = BDVState(I, BDVState::Conflict, BaseInst);
1156 BDVState State = Pair.second;