language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-01 07:41:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Add mono Expr::ErasedMake

Browse source
This commit is contained in:
Ayaz Hafiz 2023-07-02 11:31:10 -05:00
parent 3e3d3cc7f3
commit 2c838aa5c2
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
12 changed files with 162 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

38
crates/compiler/mono/src/ir/erased.rs
View file

@ -122,13 +122,15 @@ fn is_null<'a>(
/// f = compile(f)
/// joinpoint join result:
/// <hole>
/// if (f.value) {
/// f = cast(f.callee, (..params, void*) -> ret);
/// result = f ..args f.value
/// f_value: Ptr<[]> = ErasedLoad(f, .value)
/// f_callee: Ptr<[]> = ErasedLoad(f, .callee)
/// if (f_value != nullptr) {
/// f_callee = Cast(f_callee, (..params, Erased) -> ret);
/// result = f_callee ..args f
/// jump join result
/// } else {
/// f = cast(f.callee, (..params) -> ret);
/// result = f ..args
/// f_callee = cast(f_callee, (..params) -> ret);
/// result = f_callee ..args
/// jump join result
/// }
/// ```
@ -275,10 +277,23 @@ pub fn call_erased_function<'a>(
/// We generate
///
/// ```
/// value = Expr::Box({s})
/// boxed_value = Expr::Box({s})
/// stack_value: Ptr<[]> = Cast(boxed_value, Ptr<[]>)
/// callee = Expr::FunctionPointer(f)
/// refcounter = TODO
/// f = Expr::Struct({ value, callee, refcounter })
/// f = Expr::ErasedMake({ value, callee })
/// ```
///
/// Given
///
/// ```
/// f = \{} -> {}
/// ```
///
/// We generate
///
/// ```
/// callee = Expr::FunctionPointer(f)
/// f = Expr::ErasedMake({ value: nullptr, callee })
/// ```
pub fn build_erased_function<'a>(
env: &mut Env<'a, '_>,
@ -437,14 +452,15 @@ impl<'a> ResolvedErasedLambda<'a> {
/// Given
///
/// ```
/// captures_symbol : void*
/// captures = { a: A, b: B }
/// proc f(...args, captures_symbol: Erased):
/// # captures = { a: A, b: B }
/// ```
///
/// We generate
///
/// ```
/// heap_captures: Box { A, B } = Expr::Call(Lowlevel { Cast, captures_symbol })
/// loaded_captures: Ptr<[]> = ErasedLoad(captures_symbol, .value)
/// heap_captures: Box<{ A, B }> = Expr::Call(Lowlevel { Cast, captures_symbol })
/// stack_captures = Expr::Unbox(heap_captures)
/// a = Expr::StructAtIndex(stack_captures, 0)
/// b = Expr::StructAtIndex(stack_captures, 1)