Struct Cx 

pub(crate) struct Cx<'db> {
    db: &'db dyn Db,
    function_section: FunctionSection,
    type_section: TypeSection,
    code_section: CodeSection,
    functions: Map<FnKey<'db>, FnIndex>,
    codegen_queue: Vec<CodegenQueueItem<'db>>,
}

Core codegen context.

Fields

db: &'db dyn Db

function_section: FunctionSection

type_section: TypeSection

code_section: CodeSection

functions: Map<FnKey<'db>, FnIndex>

codegen_queue: Vec<CodegenQueueItem<'db>>

Implementations

impl<'db> Cx<'db>

pub(crate) fn declare_fn( &mut self, function: SymFunction<'db>, generics: Vec<SymGenericTerm<'db>>, ) -> FnIndex

Declares an instantiation of a function with a given set of arguments and returns its index. If the function is already declared, nothing happens. If the function is not already declared, it is enqueued for code-generation.

pub(crate) fn codegen_fn(&mut self, FnKey: FnKey<'db>)

fn codegen_signature( &self, function: SymFunction<'db>, generics: &[SymGenericTerm<'db>], ) -> CodegenSignature<'db>

impl Cx<'_>

pub(crate) fn declare_fn_type( &mut self, inputs: Vec<ValType>, outputs: Vec<ValType>, ) -> FnTypeIndex

Declares an instantiation of a function with a given set of arguments and returns its index. If the function is already declared, nothing happens. If the function is not already declared, it is enqueued for code-generation.

impl<'db> Cx<'db>

pub fn new(db: &'db dyn Db) -> Self

pub fn generate_from_fn( self, function: SymFunction<'db>, generics: Vec<SymGenericTerm<'db>>, ) -> Module

Generates all code reachable from the given fn instantiated with the given arguments.