Module cmse

Functions

is_valid_cmse_inputs 🔒

Returns whether the inputs will fit into the available registers

is_valid_cmse_output 🔒

Returns whether the output will fit into the available registers

should_emit_generic_error 🔒

validate_cmse_abi 🔒

Check conditions on inputs and outputs that the cmse ABIs impose: arguments and results MUST be returned via registers (i.e. MUST NOT spill to the stack). LLVM will also validate these conditions, but by checking them here rustc can emit nicer error messages.