Module inline

Expand description

Inlining pass for MIR functions.

Modules§

body_is_forwarder 🔒
check_codegen_attributes 🔒: Returns an error if inlining is not possible based on codegen attributes alone. A success indicates that inlining decision should be based on other criteria.
check_mir_is_available 🔒
create_temp_if_necessary 🔒: If arg is already a temporary, returns it. Otherwise, introduces a fresh temporary T and an instruction T = arg, and returns T.
inline 🔒
inline_call 🔒
make_call_args 🔒
new_call_temp 🔒: Introduces a new temporary into the caller body that is live for the duration of the call.
process_blocks 🔒
resolve_callsite 🔒
try_inlining 🔒: Attempts to inline a callsite into the caller body. When successful returns basic blocks containing the inlined body. Otherwise returns an error describing why inlining didn’t take place.
try_instance_mir 🔒