Lines Matching refs:AbstractState
130 // An {AbstractState} consists of two {HalfState}s, representing the mutable
135 struct AbstractState : public ZoneObject {
136 explicit AbstractState(Zone* zone)
138 explicit AbstractState(HalfState mutable_state, HalfState immutable_state)
141 bool Equals(AbstractState const* that) const {
145 void IntersectWith(AbstractState const* that) {
161 Reduction UpdateState(Node* node, AbstractState const* state);
164 AbstractState const* ComputeLoopState(Node* node,
165 AbstractState const* state) const;
175 AbstractState const* empty_state() const { return &empty_state_; }
177 AbstractState const empty_state_;
178 NodeAuxData<AbstractState const*> node_states_;