[−][src]Function cranelift_codegen_meta::gen_inst::get_constraint

fn get_constraint<'entries, 'table>(
    operand: &'entries Operand, 
    ctrl_typevar: Option<&TypeVar>, 
    type_sets: &'table mut UniqueTable<'entries, TypeSet>
) -> String

Get the value type constraint for an SSA value operand, where ctrl_typevar is the controlling type variable.

Each operand constraint is represented as a string, one of:

  • Concrete(vt), where vt is a value type name.
  • Free(idx) where idx is an index into type_sets.
  • Same, Lane, AsBool for controlling typevar-derived constraints.