Module cranelift_codegen_meta::cdsl::instructions
source · Structs
Functions
- Verify that the use of TypeVars is consistent with
ctrl_typevar
as the controlling type variable. - Checks that the input operands actually match the given format.
- Check if this instruction is polymorphic, and verify its use of type variables.