Method value_is_attached

cranelift/codegen/src/ir/dfg.rs:420–428

Determine if `v` is an attached instruction result / block parameter. An attached value can't be attached to something else without first being detached. Value aliases are not considered to be attached to anything. Use `resolve_aliases()` to determine if the original aliased value is attached.

(&self, v: Value)

    /// Value aliases are not considered to be attached to anything. Use `resolve_aliases()` to
    /// determine if the original aliased value is attached.
    pub fn value_is_attached(&self, v: Value) -> bool {
        use self::ValueData::*;
        match ValueData::from(self.values[v]) {
            Inst { inst, num, .. } => Some(&v) == self.inst_results(inst).get(num as usize),
            Param { block, num, .. } => Some(&v) == self.block_params(block).get(num as usize),
            Alias { .. } => false,
            Union { .. } => false,
        }
    }

    /// Resolve value aliases.
    ///