language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 12:18:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

First compile of erased lambdas

Browse source
This commit is contained in:
Ayaz Hafiz 2023-06-27 16:16:25 -05:00
parent cf74f849e1
commit b2d3b52bd5
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 110 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

98
crates/compiler/uitest/tests/lambda_set/erased/multi_branch_capturing.txt
View file

@ -13,3 +13,101 @@ main = (f "") {}
# ^^^^ {} -?-> Str
# -emit:mono
procedure : `#UserApp.3` Str
procedure = `#UserApp.3` (`#UserApp.40`: {}):
let `#UserApp.41` : Str = "";
ret `#UserApp.41`;
procedure : `#UserApp.4` Str
procedure = `#UserApp.4` (`#UserApp.29`: {}, `#Attr.#arg_closure`: Boxed([])):
let `#UserApp.31` : Boxed({Str}) = lowlevel PtrCast `#Attr.#arg_closure`;
let `#UserApp.32` : {Str} = Unbox `#UserApp.31`;
joinpoint `#Derived_gen.IdentId(0)`:
let `#UserApp.s` : Str = StructAtIndex 0 `#UserApp.32`;
ret `#UserApp.s`;
in
let `#Derived_gen.IdentId(1)` : Int1 = lowlevel RefCountIsUnique `#UserApp.31`;
if `#Derived_gen.IdentId(1)` then
decref `#UserApp.31`;
jump `#Derived_gen.IdentId(0)`;
else
inc `#UserApp.32`;
decref `#UserApp.31`;
jump `#Derived_gen.IdentId(0)`;
procedure : `#UserApp.f` {Boxed([]), Boxed([]), Boxed([])}
procedure = `#UserApp.f` (`#UserApp.s`: Str):
let `#UserApp.38` : Int1 = CallByName `Bool.true`;
if `#UserApp.38` then
dec `#UserApp.s`;
let `#UserApp.45` : {} = Struct {};
let `#UserApp.46` : Boxed({}) = Box `#UserApp.45`;
let `#UserApp.42` : Boxed([]) = lowlevel PtrCast `#UserApp.46`;
let `#UserApp.43` : Boxed([]) = FunctionPointer `#UserApp.3`;
let `#UserApp.44` : Boxed([]) = NullPointer;
let `#UserApp.39` : {Boxed([]), Boxed([]), Boxed([])} = Struct {`#UserApp.42`, `#UserApp.43`, `#UserApp.44`};
ret `#UserApp.39`;
else
let `#UserApp.36` : {Str} = Struct {`#UserApp.s`};
let `#UserApp.37` : Boxed({Str}) = Box `#UserApp.36`;
let `#UserApp.33` : Boxed([]) = lowlevel PtrCast `#UserApp.37`;
let `#UserApp.34` : Boxed([]) = FunctionPointer `#UserApp.4`;
let `#UserApp.35` : Boxed([]) = NullPointer;
let `#UserApp.28` : {Boxed([]), Boxed([]), Boxed([])} = Struct {`#UserApp.33`, `#UserApp.34`, `#UserApp.35`};
ret `#UserApp.28`;
procedure : `Bool.true` Int1
procedure = `Bool.true` ():
let `Bool.23` : Int1 = true;
ret `Bool.23`;
procedure : `#UserApp.main` Str
procedure = `#UserApp.main` ():
let `#UserApp.6` : {} = Struct {};
let `#UserApp.17` : Str = "";
let `#UserApp.47` : Boxed([]) = NullPointer;
let `#UserApp.48` : Boxed([]) = FunctionPointer `#UserApp.f`;
let `#UserApp.49` : Boxed([]) = NullPointer;
let `#UserApp.18` : {Boxed([]), Boxed([]), Boxed([])} = Struct {`#UserApp.47`, `#UserApp.48`, `#UserApp.49`};
joinpoint `#UserApp.19` `#UserApp.7`:
joinpoint `#UserApp.8` `#UserApp.5`:
ret `#UserApp.5`;
in
let `#UserApp.9` : Boxed([]) = StructAtIndex 0 `#UserApp.7`;
let `#UserApp.10` : Boxed([]) = StructAtIndex 1 `#UserApp.7`;
let `#Derived_gen.IdentId(4)` : Boxed([]) = StructAtIndex 2 `#UserApp.7`;
dec `#Derived_gen.IdentId(4)`;
let `#UserApp.12` : Boxed([]) = NullPointer;
let `#UserApp.11` : Int1 = lowlevel Eq `#UserApp.9` `#UserApp.12`;
dec `#UserApp.12`;
switch `#UserApp.11`:
case 0:
dec `#UserApp.9`;
let `#UserApp.13` : FunPtr({} -> Str) = lowlevel PtrCast `#UserApp.10`;
let `#UserApp.14` : Str = CallByPtr `#UserApp.13` `#UserApp.6`;
jump `#UserApp.8` `#UserApp.14`;
default:
let `#UserApp.15` : FunPtr({}, Boxed([]) -> Str) = lowlevel PtrCast `#UserApp.10`;
let `#UserApp.16` : Str = CallByPtr `#UserApp.15` `#UserApp.6` `#UserApp.9`;
jump `#UserApp.8` `#UserApp.16`;
in
let `#UserApp.20` : Boxed([]) = StructAtIndex 0 `#UserApp.18`;
let `#UserApp.21` : Boxed([]) = StructAtIndex 1 `#UserApp.18`;
dec `#UserApp.49`;
let `#UserApp.23` : Boxed([]) = NullPointer;
let `#UserApp.22` : Int1 = lowlevel Eq `#UserApp.20` `#UserApp.23`;
dec `#UserApp.23`;
switch `#UserApp.22`:
case 0:
dec `#UserApp.20`;
let `#UserApp.24` : FunPtr(Str -> {Boxed([]), Boxed([]), Boxed([])}) = lowlevel PtrCast `#UserApp.21`;
let `#UserApp.25` : {Boxed([]), Boxed([]), Boxed([])} = CallByPtr `#UserApp.24` `#UserApp.17`;
jump `#UserApp.19` `#UserApp.25`;
default:
let `#UserApp.26` : FunPtr(Str, Boxed([]) -> {Boxed([]), Boxed([]), Boxed([])}) = lowlevel PtrCast `#UserApp.21`;
let `#UserApp.27` : {Boxed([]), Boxed([]), Boxed([])} = CallByPtr `#UserApp.26` `#UserApp.17` `#UserApp.20`;
jump `#UserApp.19` `#UserApp.27`;