cranelift_codegen_meta::cdsl

Module instructions

Source

Structs§

Functions§

  • is_ctrl_typevar_candidate 🔒
    Verify that the use of TypeVars is consistent with ctrl_typevar as the controlling type variable.
  • verify_format 🔒
    Checks that the input operands actually match the given format.
  • verify_polymorphic 🔒
    Check if this instruction is polymorphic, and verify its use of type variables.

Type Aliases§