67 enum AbstractValue {  enum
82 impl AbstractValue {  impl
83     fn join(self, other: AbstractValue) -> AbstractValue {  in join()  argument
86             (AbstractValue::None, p2) => p2,  in join()
87             (p1, AbstractValue::None) => p1,  in join()
89             (AbstractValue::Many, _p2) => AbstractValue::Many,  in join()
90             (_p1, AbstractValue::Many) => AbstractValue::Many,  in join()
92             (AbstractValue::One(v1), AbstractValue::One(v2)) => {  in join()
94                     AbstractValue::One(v1)  in join()
96                     AbstractValue::Many  in join()
103         matches!(self, AbstractValue::One(_))  in is_one()
190     absvals: FxHashMap<Value /*Group A*/, AbstractValue>,
200     fn get(&self, actual: Value) -> AbstractValue {  in get()  argument
207     fn maybe_get(&self, actual: Value) -> Option<&AbstractValue> {  in maybe_get()  argument
211     fn set(&mut self, actual: Value, lp: AbstractValue) {  in set()  argument
277             let mb_old_absval = state.absvals.insert(*formal, AbstractValue::None);  in do_remove_constant_phis()
309                             None => AbstractValue::One(*actual),  in do_remove_constant_phis()
311                         _ => AbstractValue::Many,  in do_remove_constant_phis()
363             if let AbstractValue::One(replacement_val) = state.get(*formal) {  in do_remove_constant_phis()