Struct arret_compiler::EvalHirCtx

pub struct EvalHirCtx { /* fields omitted */ }

Implementations

impl EvalHirCtx

pub fn new(optimising: bool) -> EvalHirCtx

pub fn rust_fun_to_jit_boxed(&mut self, rust_fun: Arc<Fun>) -> Gc<FunThunk>

pub fn register_rust_fun_with_jit(&mut self, rust_fun: &Fun)

Ensures the passed RustFun is known by the JIT

This can be called multiple times with the same Rust fun. Calling it with a fun that’s never used by the JIT is harmless

pub fn rust_fun_to_thunk_reg(
    &mut self,
    b: &mut Builder,
    span: Span,
    rust_fun: &Fun
) -> BuiltReg

pub fn rust_fun_to_callback_reg(
    &mut self,
    b: &mut Builder,
    span: Span,
    rust_fun: &Fun,
    entry_point_abi: &CallbackEntryPointAbiType
) -> BuiltReg

pub fn arret_fun_to_jit_boxed(
    &mut self,
    arret_fun: &ArretFun
) -> Option<Gc<FunThunk>>

pub fn evaled_record_class_for_cons(
    &mut self,
    record_cons: &ArcId<Cons>
) -> &EvaledRecordClass

pub fn cons_for_jit_record_class_id(
    &self,
    record_class_id: RecordClassId
) -> Option<&ArcId<Cons>>

pub fn arret_fun_to_thunk_reg(
    &mut self,
    b: &mut Builder,
    span: Span,
    arret_fun: &ArretFun
) -> BuiltReg

pub fn arret_fun_to_callback_reg(
    &mut self,
    b: &mut Builder,
    span: Span,
    arret_fun: &ArretFun,
    entry_point_abi: &CallbackEntryPointAbiType
) -> BuiltReg

pub fn thunk_reg_to_callback_reg(
    &mut self,
    b: &mut Builder,
    span: Span,
    thunk_reg_abi_type: &BoxedAbiType,
    thunk_reg: BuiltReg,
    entry_point_abi: &CallbackEntryPointAbiType
) -> BuiltReg

pub fn jit_boxed_to_fun_value(
    &self,
    boxed_thunk: Gc<FunThunk>
) -> Option<&Value>

pub fn visit_module_defs<'a>(
    &mut self,
    module_id: ModuleId,
    defs: impl IntoIterator<Item = &'a Def<Inferred>>
) -> Result<(), Error>

pub fn consume_module_defs(
    &mut self,
    module_id: ModuleId,
    defs: impl IntoIterator<Item = Def<Inferred>>
) -> Result<(), Error>

pub fn should_collect(&self) -> bool

pub fn collect_garbage(&mut self)

Collect any boxed values that are no longer reachable

pub fn eval_expr(
    &mut self,
    fcx: &mut FunCtx<'_>,
    b: &mut Option<Builder>,
    expr: &Expr<Inferred>
) -> Result<Value, Error>

pub fn consume_expr(
    &mut self,
    fcx: &mut FunCtx<'_>,
    b: &mut Option<Builder>,
    expr: Expr<Inferred>
) -> Result<Value, Error>

pub fn eval_main_fun(&mut self, main_export_id: ExportId) -> Result<(), Error>

Evaluates the main function of a program

pub fn into_built_program(
    self,
    main_export_id: ExportId
) -> Result<BuiltProgram, Error>

Builds the main function of the program

pub fn value_to_const(&mut self, value: &Value) -> Option<Gc<Any>>

Trait Implementations

impl AsHeap for EvalHirCtx

fn as_heap(&self) -> &Heap

Returns this object as a heap

fn as_heap_mut(&mut self) -> &mut Heap

Returns this object as a mutable heap

impl AsInterner for EvalHirCtx

fn as_interner(&self) -> &Interner

Returns this instance as an Interner