Lines Matching refs:ValueDef
248 pub fn values_and_defs(&self) -> impl Iterator<Item = (Value, ValueDef)> + '_ { in values_and_defs()
384 pub fn value_def(&self, v: Value) -> ValueDef { in value_def() argument
386 ValueData::Inst { inst, num, .. } => ValueDef::Result(inst, num as usize), in value_def()
387 ValueData::Param { block, num, .. } => ValueDef::Param(block, num as usize), in value_def()
393 ValueData::Union { x, y, .. } => ValueDef::Union(x, y), in value_def()
631 pub enum ValueDef { enum
640 impl ValueDef { impl
838 ir::ValueDef::Result(inst, _) => self.display_inst(inst), in display_value_inst()
839 ir::ValueDef::Param(_, _) => panic!("value is not defined by an instruction"), in display_value_inst()
840 ir::ValueDef::Union(_, _) => panic!("value is a union of two other values"), in display_value_inst()
1619 assert_eq!(dfg.value_def(val), ValueDef::Result(inst, 0)); in make_inst()
1628 assert_eq!(dfg.value_def(v2), ValueDef::Result(inst, 0)); in make_inst()
1669 assert_eq!(dfg.value_def(arg1), ValueDef::Param(block, 0)); in block()
1670 assert_eq!(dfg.value_def(arg2), ValueDef::Param(block, 1)); in block()
1758 ValueDef::Result(i, 0) => i, in aliases()