Lines Matching refs:BDVState

600 class BDVState {  class
604 BDVState(Status s, Value *b = nullptr) : status(s), base(b) { in BDVState() function in __anon336f80a60411::BDVState
607 explicit BDVState(Value *b) : status(Base), base(b) {} in BDVState() function in __anon336f80a60411::BDVState
608 BDVState() : status(Unknown), base(nullptr) {} in BDVState() function in __anon336f80a60411::BDVState
617 bool operator==(const BDVState &other) const { in operator ==()
621 bool operator!=(const BDVState &other) const { return !(*this == other); } in operator !=()
649 static raw_ostream &operator<<(raw_ostream &OS, const BDVState &State) { in operator <<()
666 void meetWith(BDVState otherState) { in meetWith()
670 BDVState getResult() const { return currentResult; } in getResult()
673 BDVState currentResult;
676 static BDVState meet(BDVState LHS, BDVState RHS) { in meet()
679 BDVState Result = pureMeet(LHS, RHS); in meet()
685 static BDVState pureMeet(const BDVState &stateA, const BDVState &stateB) { in pureMeet()
687 case BDVState::Unknown: in pureMeet()
690 case BDVState::Base: in pureMeet()
700 return BDVState(BDVState::Conflict); in pureMeet()
703 return BDVState(BDVState::Conflict); in pureMeet()
705 case BDVState::Conflict: in pureMeet()
759 MapVector<Value *, BDVState> States; in findBasePointer()
766 States.insert(std::make_pair(def, BDVState())); in findBasePointer()
779 if (States.insert(std::make_pair(Base, BDVState())).second) in findBasePointer()
812 return BDVState(baseValue); in findBasePointer()
858 BDVState oldState = States[BDV]; in findBasePointer()
859 BDVState newState = calculateMeet.getResult(); in findBasePointer()
881 BDVState State = Pair.second; in findBasePointer()
899 States[I] = BDVState(BDVState::Base, BaseInst); in findBasePointer()
945 States[I] = BDVState(BDVState::Conflict, BaseInst); in findBasePointer()
981 BDVState State = Pair.second; in findBasePointer()
1103 States[BDV] = BDVState(BDVState::Conflict, Replacement); in findBasePointer()