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

fix mono tests

Browse source
This commit is contained in:
Anton-4 2023-10-07 19:32:09 +02:00
parent b7923ac542
commit 44eedf7359
No known key found for this signature in database
GPG key ID: 0971D718C0A9B937
39 changed files with 1912 additions and 1912 deletions
Download patch file Download diff file Expand all files Collapse all files

130
crates/compiler/test_mono/generated/anonymous_closure_in_polymorphic_expression_issue_4717.txt
View file

@ -2,88 +2,88 @@ procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.24 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
ret Bool.24;
procedure List.26 (List.172, List.173, List.174):
let List.550 : [C U64, C U64] = CallByName List.96 List.172 List.173 List.174;
let List.553 : U8 = 1i64;
let List.554 : U8 = GetTagId List.550;
let List.555 : Int1 = lowlevel Eq List.553 List.554;
if List.555 then
let List.175 : U64 = UnionAtIndex (Id 1) (Index 0) List.550;
ret List.175;
procedure List.26 (List.174, List.175, List.176):
let List.560 : [C U64, C U64] = CallByName List.98 List.174 List.175 List.176;
let List.563 : U8 = 1i64;
let List.564 : U8 = GetTagId List.560;
let List.565 : Int1 = lowlevel Eq List.563 List.564;
if List.565 then
let List.177 : U64 = UnionAtIndex (Id 1) (Index 0) List.560;
ret List.177;
else
let List.176 : U64 = UnionAtIndex (Id 0) (Index 0) List.550;
ret List.176;
let List.178 : U64 = UnionAtIndex (Id 0) (Index 0) List.560;
ret List.178;
procedure List.29 (List.317, List.318):
let List.549 : U64 = CallByName List.6 List.317;
let List.319 : U64 = CallByName Num.77 List.549 List.318;
let List.535 : List U8 = CallByName List.43 List.317 List.319;
ret List.535;
procedure List.29 (List.319, List.320):
let List.559 : U64 = CallByName List.6 List.319;
let List.321 : U64 = CallByName Num.77 List.559 List.320;
let List.545 : List U8 = CallByName List.43 List.319 List.321;
ret List.545;
procedure List.43 (List.315, List.316):
let List.547 : U64 = CallByName List.6 List.315;
let List.546 : U64 = CallByName Num.77 List.547 List.316;
let List.537 : {U64, U64} = Struct {List.316, List.546};
let List.536 : List U8 = CallByName List.49 List.315 List.537;
ret List.536;
procedure List.43 (List.317, List.318):
let List.557 : U64 = CallByName List.6 List.317;
let List.556 : U64 = CallByName Num.77 List.557 List.318;
let List.547 : {U64, U64} = Struct {List.318, List.556};
let List.546 : List U8 = CallByName List.49 List.317 List.547;
ret List.546;
procedure List.49 (List.390, List.391):
let List.544 : U64 = StructAtIndex 0 List.391;
let List.545 : U64 = 0i64;
let List.542 : Int1 = CallByName Bool.11 List.544 List.545;
if List.542 then
dec List.390;
let List.543 : List U8 = Array [];
ret List.543;
procedure List.49 (List.392, List.393):
let List.554 : U64 = StructAtIndex 0 List.393;
let List.555 : U64 = 0i64;
let List.552 : Int1 = CallByName Bool.11 List.554 List.555;
if List.552 then
dec List.392;
let List.553 : List U8 = Array [];
ret List.553;
else
let List.539 : U64 = StructAtIndex 1 List.391;
let List.540 : U64 = StructAtIndex 0 List.391;
let List.538 : List U8 = CallByName List.72 List.390 List.539 List.540;
ret List.538;
let List.549 : U64 = StructAtIndex 1 List.393;
let List.550 : U64 = StructAtIndex 0 List.393;
let List.548 : List U8 = CallByName List.72 List.392 List.549 List.550;
ret List.548;
procedure List.6 (#Attr.2):
let List.548 : U64 = lowlevel ListLen #Attr.2;
ret List.548;
let List.558 : U64 = lowlevel ListLen #Attr.2;
ret List.558;
procedure List.66 (#Attr.2, #Attr.3):
let List.571 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.571;
let List.581 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.581;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.541 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.541;
let List.551 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.551;
procedure List.80 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
joinpoint List.559 List.453 List.454 List.455 List.456 List.457:
let List.561 : Int1 = CallByName Num.22 List.456 List.457;
if List.561 then
let List.570 : U8 = CallByName List.66 List.453 List.456;
let List.562 : [C U64, C U64] = CallByName Test.4 List.454 List.570;
let List.567 : U8 = 1i64;
let List.568 : U8 = GetTagId List.562;
let List.569 : Int1 = lowlevel Eq List.567 List.568;
if List.569 then
let List.458 : U64 = UnionAtIndex (Id 1) (Index 0) List.562;
let List.565 : U64 = 1i64;
let List.564 : U64 = CallByName Num.51 List.456 List.565;
jump List.559 List.453 List.458 List.455 List.564 List.457;
joinpoint List.569 List.463 List.464 List.465 List.466 List.467:
let List.571 : Int1 = CallByName Num.22 List.466 List.467;
if List.571 then
let List.580 : U8 = CallByName List.66 List.463 List.466;
let List.572 : [C U64, C U64] = CallByName Test.4 List.464 List.580;
let List.577 : U8 = 1i64;
let List.578 : U8 = GetTagId List.572;
let List.579 : Int1 = lowlevel Eq List.577 List.578;
if List.579 then
let List.468 : U64 = UnionAtIndex (Id 1) (Index 0) List.572;
let List.575 : U64 = 1i64;
let List.574 : U64 = CallByName Num.51 List.466 List.575;
jump List.569 List.463 List.468 List.465 List.574 List.467;
else
dec List.453;
let List.459 : U64 = UnionAtIndex (Id 0) (Index 0) List.562;
let List.566 : [C U64, C U64] = TagId(0) List.459;
ret List.566;
dec List.463;
let List.469 : U64 = UnionAtIndex (Id 0) (Index 0) List.572;
let List.576 : [C U64, C U64] = TagId(0) List.469;
ret List.576;
else
dec List.453;
let List.560 : [C U64, C U64] = TagId(1) List.454;
ret List.560;
dec List.463;
let List.570 : [C U64, C U64] = TagId(1) List.464;
ret List.570;
in
jump List.559 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
jump List.569 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
procedure List.96 (List.450, List.451, List.452):
let List.557 : U64 = 0i64;
let List.558 : U64 = CallByName List.6 List.450;
let List.556 : [C U64, C U64] = CallByName List.80 List.450 List.451 List.452 List.557 List.558;
ret List.556;
procedure List.98 (List.460, List.461, List.462):
let List.567 : U64 = 0i64;
let List.568 : U64 = CallByName List.6 List.460;
let List.566 : [C U64, C U64] = CallByName List.80 List.460 List.461 List.462 List.567 List.568;
ret List.566;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.294 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

4
crates/compiler/test_mono/generated/call_function_in_empty_list.txt
View file

@ -1,7 +1,7 @@
procedure List.5 (#Attr.2, #Attr.3):
let List.535 : List {} = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
let List.545 : List {} = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
decref #Attr.2;
ret List.535;
ret List.545;
procedure Test.2 (Test.3):
let Test.7 : {} = Struct {};

4
crates/compiler/test_mono/generated/call_function_in_empty_list_unbound.txt
View file

@ -1,7 +1,7 @@
procedure List.5 (#Attr.2, #Attr.3):
let List.535 : List [] = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
let List.545 : List [] = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
decref #Attr.2;
ret List.535;
ret List.545;
procedure Test.2 (Test.3):
let Test.7 : {} = Struct {};

48
crates/compiler/test_mono/generated/capture_void_layout_task.txt
View file

@ -1,31 +1,31 @@
procedure List.18 (List.145, List.146, List.147):
let List.536 : U64 = 0i64;
let List.537 : U64 = CallByName List.6 List.145;
let List.535 : [<r>C {}, C *self {{}, []}] = CallByName List.86 List.145 List.146 List.147 List.536 List.537;
ret List.535;
procedure List.6 (#Attr.2):
let List.546 : U64 = lowlevel ListLen #Attr.2;
ret List.546;
procedure List.66 (#Attr.2, #Attr.3):
let List.545 : [] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.546 : U64 = 0i64;
let List.547 : U64 = CallByName List.6 List.147;
let List.545 : [<r>C {}, C *self {{}, []}] = CallByName List.87 List.147 List.148 List.149 List.546 List.547;
ret List.545;
procedure List.86 (#Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_gen.16, #Derived_gen.17):
joinpoint List.538 List.148 List.149 List.150 List.151 List.152:
let List.540 : Int1 = CallByName Num.22 List.151 List.152;
if List.540 then
let List.544 : [] = CallByName List.66 List.148 List.151;
let List.153 : [<r>C {}, C *self {{}, []}] = CallByName Test.29 List.149 List.544 List.150;
let List.543 : U64 = 1i64;
let List.542 : U64 = CallByName Num.51 List.151 List.543;
jump List.538 List.148 List.153 List.150 List.542 List.152;
procedure List.6 (#Attr.2):
let List.556 : U64 = lowlevel ListLen #Attr.2;
ret List.556;
procedure List.66 (#Attr.2, #Attr.3):
let List.555 : [] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.555;
procedure List.87 (#Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_gen.16, #Derived_gen.17):
joinpoint List.548 List.150 List.151 List.152 List.153 List.154:
let List.550 : Int1 = CallByName Num.22 List.153 List.154;
if List.550 then
let List.554 : [] = CallByName List.66 List.150 List.153;
let List.155 : [<r>C {}, C *self {{}, []}] = CallByName Test.29 List.151 List.554 List.152;
let List.553 : U64 = 1i64;
let List.552 : U64 = CallByName Num.51 List.153 List.553;
jump List.548 List.150 List.155 List.152 List.552 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.538 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17;
jump List.548 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.292 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

66
crates/compiler/test_mono/generated/choose_correct_recursion_var_under_record.txt
View file

@ -2,49 +2,49 @@ procedure Bool.1 ():
let Bool.24 : Int1 = false;
ret Bool.24;
procedure List.2 (List.100, List.101):
let List.549 : U64 = CallByName List.6 List.100;
let List.545 : Int1 = CallByName Num.22 List.101 List.549;
if List.545 then
let List.547 : Str = CallByName List.66 List.100 List.101;
inc List.547;
dec List.100;
let List.546 : [C {}, C Str] = TagId(1) List.547;
ret List.546;
procedure List.2 (List.102, List.103):
let List.559 : U64 = CallByName List.6 List.102;
let List.555 : Int1 = CallByName Num.22 List.103 List.559;
if List.555 then
let List.557 : Str = CallByName List.66 List.102 List.103;
inc List.557;
dec List.102;
let List.556 : [C {}, C Str] = TagId(1) List.557;
ret List.556;
else
dec List.100;
let List.544 : {} = Struct {};
let List.543 : [C {}, C Str] = TagId(0) List.544;
ret List.543;
dec List.102;
let List.554 : {} = Struct {};
let List.553 : [C {}, C Str] = TagId(0) List.554;
ret List.553;
procedure List.5 (#Attr.2, #Attr.3):
let List.551 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.10 #Attr.3;
let List.561 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.10 #Attr.3;
decref #Attr.2;
ret List.551;
ret List.561;
procedure List.6 (#Attr.2):
let List.550 : U64 = lowlevel ListLen #Attr.2;
ret List.550;
let List.560 : U64 = lowlevel ListLen #Attr.2;
ret List.560;
procedure List.66 (#Attr.2, #Attr.3):
let List.548 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.548;
let List.558 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.558;
procedure List.9 (List.306):
let List.542 : U64 = 0i64;
let List.535 : [C {}, C Str] = CallByName List.2 List.306 List.542;
let List.539 : U8 = 1i64;
let List.540 : U8 = GetTagId List.535;
let List.541 : Int1 = lowlevel Eq List.539 List.540;
if List.541 then
let List.307 : Str = UnionAtIndex (Id 1) (Index 0) List.535;
let List.536 : [C {}, C Str] = TagId(1) List.307;
ret List.536;
procedure List.9 (List.308):
let List.552 : U64 = 0i64;
let List.545 : [C {}, C Str] = CallByName List.2 List.308 List.552;
let List.549 : U8 = 1i64;
let List.550 : U8 = GetTagId List.545;
let List.551 : Int1 = lowlevel Eq List.549 List.550;
if List.551 then
let List.309 : Str = UnionAtIndex (Id 1) (Index 0) List.545;
let List.546 : [C {}, C Str] = TagId(1) List.309;
ret List.546;
else
dec List.535;
let List.538 : {} = Struct {};
let List.537 : [C {}, C Str] = TagId(0) List.538;
ret List.537;
dec List.545;
let List.548 : {} = Struct {};
let List.547 : [C {}, C Str] = TagId(0) List.548;
ret List.547;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.291 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

4
crates/compiler/test_mono/generated/closure_in_list.txt
View file

@ -1,6 +1,6 @@
procedure List.6 (#Attr.2):
let List.535 : U64 = lowlevel ListLen #Attr.2;
ret List.535;
let List.545 : U64 = lowlevel ListLen #Attr.2;
ret List.545;
procedure Test.1 (Test.5):
let Test.2 : I64 = 41i64;

52
crates/compiler/test_mono/generated/compose_recursive_lambda_set_productive_nullable_wrapped.txt
View file

@ -2,34 +2,34 @@ procedure Bool.2 ():
let Bool.23 : Int1 = true;
ret Bool.23;
procedure List.18 (List.145, List.146, List.147):
let List.536 : U64 = 0i64;
let List.537 : U64 = CallByName List.6 List.145;
let List.535 : [<rnw><null>, C *self Int1, C *self Int1] = CallByName List.86 List.145 List.146 List.147 List.536 List.537;
ret List.535;
procedure List.6 (#Attr.2):
let List.546 : U64 = lowlevel ListLen #Attr.2;
ret List.546;
procedure List.66 (#Attr.2, #Attr.3):
let List.545 : Int1 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.546 : U64 = 0i64;
let List.547 : U64 = CallByName List.6 List.147;
let List.545 : [<rnw><null>, C *self Int1, C *self Int1] = CallByName List.87 List.147 List.148 List.149 List.546 List.547;
ret List.545;
procedure List.86 (#Derived_gen.3, #Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.7):
joinpoint List.538 List.148 List.149 List.150 List.151 List.152:
let List.540 : Int1 = CallByName Num.22 List.151 List.152;
if List.540 then
let List.544 : Int1 = CallByName List.66 List.148 List.151;
let List.153 : [<rnw><null>, C *self Int1, C *self Int1] = CallByName Test.6 List.149 List.544 List.150;
let List.543 : U64 = 1i64;
let List.542 : U64 = CallByName Num.51 List.151 List.543;
jump List.538 List.148 List.153 List.150 List.542 List.152;
procedure List.6 (#Attr.2):
let List.556 : U64 = lowlevel ListLen #Attr.2;
ret List.556;
procedure List.66 (#Attr.2, #Attr.3):
let List.555 : Int1 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.555;
procedure List.87 (#Derived_gen.5, #Derived_gen.6, #Derived_gen.7, #Derived_gen.8, #Derived_gen.9):
joinpoint List.548 List.150 List.151 List.152 List.153 List.154:
let List.550 : Int1 = CallByName Num.22 List.153 List.154;
if List.550 then
let List.554 : Int1 = CallByName List.66 List.150 List.153;
let List.155 : [<rnw><null>, C *self Int1, C *self Int1] = CallByName Test.6 List.151 List.554 List.152;
let List.553 : U64 = 1i64;
let List.552 : U64 = CallByName Num.51 List.153 List.553;
jump List.548 List.150 List.155 List.152 List.552 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.538 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7;
jump List.548 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7 #Derived_gen.8 #Derived_gen.9;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.292 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;
@ -46,7 +46,7 @@ procedure Str.3 (#Attr.2, #Attr.3):
procedure Test.1 (Test.5):
ret Test.5;
procedure Test.11 (#Derived_gen.8, #Derived_gen.9):
procedure Test.11 (#Derived_gen.3, #Derived_gen.4):
joinpoint Test.27 Test.12 #Attr.12:
let Test.34 : Int1 = UnionAtIndex (Id 2) (Index 1) #Attr.12;
let Test.33 : [<rnw><null>, C *self Int1, C *self Int1] = UnionAtIndex (Id 2) (Index 0) #Attr.12;
@ -86,7 +86,7 @@ procedure Test.11 (#Derived_gen.8, #Derived_gen.9):
decref #Attr.12;
jump #Derived_gen.12;
in
jump Test.27 #Derived_gen.8 #Derived_gen.9;
jump Test.27 #Derived_gen.3 #Derived_gen.4;
procedure Test.2 (Test.13):
ret Test.13;

76
crates/compiler/test_mono/generated/dict.txt
View file

@ -24,59 +24,59 @@ procedure Dict.4 (Dict.560):
dec #Derived_gen.6;
ret Dict.101;
procedure List.11 (List.124, List.125):
let List.536 : List I8 = CallByName List.68 List.125;
let List.535 : List I8 = CallByName List.84 List.124 List.125 List.536;
ret List.535;
procedure List.11 (List.126, List.127):
let List.546 : List I8 = CallByName List.68 List.127;
let List.545 : List I8 = CallByName List.85 List.126 List.127 List.546;
ret List.545;
procedure List.11 (List.124, List.125):
let List.548 : List U64 = CallByName List.68 List.125;
let List.547 : List U64 = CallByName List.84 List.124 List.125 List.548;
ret List.547;
procedure List.11 (List.126, List.127):
let List.558 : List U64 = CallByName List.68 List.127;
let List.557 : List U64 = CallByName List.85 List.126 List.127 List.558;
ret List.557;
procedure List.68 (#Attr.2):
let List.546 : List I8 = lowlevel ListWithCapacity #Attr.2;
ret List.546;
let List.556 : List I8 = lowlevel ListWithCapacity #Attr.2;
ret List.556;
procedure List.68 (#Attr.2):
let List.558 : List U64 = lowlevel ListWithCapacity #Attr.2;
ret List.558;
let List.568 : List U64 = lowlevel ListWithCapacity #Attr.2;
ret List.568;
procedure List.71 (#Attr.2, #Attr.3):
let List.543 : List I8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.543;
let List.553 : List I8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.553;
procedure List.71 (#Attr.2, #Attr.3):
let List.555 : List U64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.555;
let List.565 : List U64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.565;
procedure List.84 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2):
joinpoint List.537 List.126 List.127 List.128:
let List.545 : U64 = 0i64;
let List.539 : Int1 = CallByName Num.24 List.127 List.545;
if List.539 then
let List.544 : U64 = 1i64;
let List.541 : U64 = CallByName Num.75 List.127 List.544;
let List.542 : List I8 = CallByName List.71 List.128 List.126;
jump List.537 List.126 List.541 List.542;
procedure List.85 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2):
joinpoint List.559 List.128 List.129 List.130:
let List.567 : U64 = 0i64;
let List.561 : Int1 = CallByName Num.24 List.129 List.567;
if List.561 then
let List.566 : U64 = 1i64;
let List.563 : U64 = CallByName Num.75 List.129 List.566;
let List.564 : List U64 = CallByName List.71 List.130 List.128;
jump List.559 List.128 List.563 List.564;
else
ret List.128;
ret List.130;
in
jump List.537 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2;
jump List.559 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2;
procedure List.84 (#Derived_gen.3, #Derived_gen.4, #Derived_gen.5):
joinpoint List.549 List.126 List.127 List.128:
let List.557 : U64 = 0i64;
let List.551 : Int1 = CallByName Num.24 List.127 List.557;
if List.551 then
let List.556 : U64 = 1i64;
let List.553 : U64 = CallByName Num.75 List.127 List.556;
let List.554 : List U64 = CallByName List.71 List.128 List.126;
jump List.549 List.126 List.553 List.554;
procedure List.85 (#Derived_gen.3, #Derived_gen.4, #Derived_gen.5):
joinpoint List.547 List.128 List.129 List.130:
let List.555 : U64 = 0i64;
let List.549 : Int1 = CallByName Num.24 List.129 List.555;
if List.549 then
let List.554 : U64 = 1i64;
let List.551 : U64 = CallByName Num.75 List.129 List.554;
let List.552 : List I8 = CallByName List.71 List.130 List.128;
jump List.547 List.128 List.551 List.552;
else
ret List.128;
ret List.130;
in
jump List.549 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5;
jump List.547 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5;
procedure Num.24 (#Attr.2, #Attr.3):
let Num.294 : Int1 = lowlevel NumGt #Attr.2 #Attr.3;

32
crates/compiler/test_mono/generated/empty_list_of_function_type.txt
View file

@ -2,27 +2,27 @@ procedure Bool.1 ():
let Bool.23 : Int1 = false;
ret Bool.23;
procedure List.2 (List.100, List.101):
let List.541 : U64 = CallByName List.6 List.100;
let List.537 : Int1 = CallByName Num.22 List.101 List.541;
if List.537 then
let List.539 : {} = CallByName List.66 List.100 List.101;
dec List.100;
let List.538 : [C {}, C {}] = TagId(1) List.539;
ret List.538;
procedure List.2 (List.102, List.103):
let List.551 : U64 = CallByName List.6 List.102;
let List.547 : Int1 = CallByName Num.22 List.103 List.551;
if List.547 then
let List.549 : {} = CallByName List.66 List.102 List.103;
dec List.102;
let List.548 : [C {}, C {}] = TagId(1) List.549;
ret List.548;
else
dec List.100;
let List.536 : {} = Struct {};
let List.535 : [C {}, C {}] = TagId(0) List.536;
ret List.535;
dec List.102;
let List.546 : {} = Struct {};
let List.545 : [C {}, C {}] = TagId(0) List.546;
ret List.545;
procedure List.6 (#Attr.2):
let List.542 : U64 = lowlevel ListLen #Attr.2;
ret List.542;
let List.552 : U64 = lowlevel ListLen #Attr.2;
ret List.552;
procedure List.66 (#Attr.2, #Attr.3):
let List.540 : {} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.540;
let List.550 : {} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.550;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.291 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

18
crates/compiler/test_mono/generated/encode.txt
View file

@ -1,16 +1,16 @@
procedure List.4 (List.116, List.117):
let List.538 : U64 = 1i64;
let List.536 : List U8 = CallByName List.70 List.116 List.538;
let List.535 : List U8 = CallByName List.71 List.536 List.117;
ret List.535;
procedure List.4 (List.118, List.119):
let List.548 : U64 = 1i64;
let List.546 : List U8 = CallByName List.70 List.118 List.548;
let List.545 : List U8 = CallByName List.71 List.546 List.119;
ret List.545;
procedure List.70 (#Attr.2, #Attr.3):
let List.539 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.539;
let List.549 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.549;
procedure List.71 (#Attr.2, #Attr.3):
let List.537 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.537;
let List.547 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.547;
procedure Test.23 (Test.24, Test.35, Test.22):
let Test.37 : List U8 = CallByName List.4 Test.24 Test.22;

402
crates/compiler/test_mono/generated/encode_derived_nested_record_string.txt
View file

@ -78,235 +78,235 @@ procedure Encode.26 (Encode.105, Encode.106):
ret Encode.108;
procedure List.13 (#Attr.2, #Attr.3):
let List.679 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
ret List.679;
let List.689 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
ret List.689;
procedure List.18 (List.145, List.146, List.147):
let List.565 : U64 = 0i64;
let List.566 : U64 = CallByName List.6 List.145;
let List.564 : {List U8, U64} = CallByName List.86 List.145 List.146 List.147 List.565 List.566;
ret List.564;
procedure List.18 (List.145, List.146, List.147):
let List.625 : U64 = 0i64;
let List.626 : U64 = CallByName List.6 List.145;
let List.624 : {List U8, U64} = CallByName List.86 List.145 List.146 List.147 List.625 List.626;
ret List.624;
procedure List.18 (List.145, List.146, List.147):
let List.637 : U64 = 0i64;
let List.638 : U64 = CallByName List.6 List.145;
let List.636 : List U8 = CallByName List.86 List.145 List.146 List.147 List.637 List.638;
ret List.636;
procedure List.26 (List.172, List.173, List.174):
let List.696 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.96 List.172 List.173 List.174;
let List.699 : U8 = 1i64;
let List.700 : U8 = GetTagId List.696;
let List.701 : Int1 = lowlevel Eq List.699 List.700;
if List.701 then
let List.175 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.696;
ret List.175;
else
let List.176 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.696;
ret List.176;
procedure List.31 (#Attr.2, #Attr.3):
let List.661 : List Str = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.661;
procedure List.38 (List.311):
let List.669 : U64 = 0i64;
let List.668 : List Str = CallByName List.31 List.311 List.669;
ret List.668;
procedure List.4 (List.116, List.117):
let List.620 : U64 = 1i64;
let List.619 : List Str = CallByName List.70 List.116 List.620;
let List.618 : List Str = CallByName List.71 List.619 List.117;
ret List.618;
procedure List.4 (List.116, List.117):
let List.623 : U64 = 1i64;
let List.622 : List U8 = CallByName List.70 List.116 List.623;
let List.621 : List U8 = CallByName List.71 List.622 List.117;
ret List.621;
procedure List.49 (List.390, List.391):
let List.688 : U64 = StructAtIndex 0 List.391;
let List.689 : U64 = 0i64;
let List.686 : Int1 = CallByName Bool.11 List.688 List.689;
if List.686 then
dec List.390;
let List.687 : List U8 = Array [];
ret List.687;
else
let List.683 : U64 = StructAtIndex 1 List.391;
let List.684 : U64 = StructAtIndex 0 List.391;
let List.682 : List U8 = CallByName List.72 List.390 List.683 List.684;
ret List.682;
procedure List.52 (List.405, List.406):
let List.407 : U64 = CallByName List.6 List.405;
joinpoint List.694 List.408:
let List.692 : U64 = 0i64;
let List.691 : {U64, U64} = Struct {List.408, List.692};
inc List.405;
let List.409 : List U8 = CallByName List.49 List.405 List.691;
let List.690 : U64 = CallByName Num.75 List.407 List.408;
let List.681 : {U64, U64} = Struct {List.690, List.408};
let List.410 : List U8 = CallByName List.49 List.405 List.681;
let List.680 : {List U8, List U8} = Struct {List.409, List.410};
ret List.680;
in
let List.695 : Int1 = CallByName Num.24 List.407 List.406;
if List.695 then
jump List.694 List.406;
else
jump List.694 List.407;
procedure List.6 (#Attr.2):
let List.594 : U64 = lowlevel ListLen #Attr.2;
ret List.594;
procedure List.6 (#Attr.2):
let List.675 : U64 = lowlevel ListLen #Attr.2;
ret List.675;
procedure List.6 (#Attr.2):
let List.676 : U64 = lowlevel ListLen #Attr.2;
ret List.676;
procedure List.6 (#Attr.2):
let List.678 : U64 = lowlevel ListLen #Attr.2;
ret List.678;
procedure List.66 (#Attr.2, #Attr.3):
let List.574 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.575 : U64 = 0i64;
let List.576 : U64 = CallByName List.6 List.147;
let List.574 : {List U8, U64} = CallByName List.87 List.147 List.148 List.149 List.575 List.576;
ret List.574;
procedure List.66 (#Attr.2, #Attr.3):
let List.634 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.635 : U64 = 0i64;
let List.636 : U64 = CallByName List.6 List.147;
let List.634 : {List U8, U64} = CallByName List.87 List.147 List.148 List.149 List.635 List.636;
ret List.634;
procedure List.66 (#Attr.2, #Attr.3):
let List.646 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.647 : U64 = 0i64;
let List.648 : U64 = CallByName List.6 List.147;
let List.646 : List U8 = CallByName List.87 List.147 List.148 List.149 List.647 List.648;
ret List.646;
procedure List.68 (#Attr.2):
let List.671 : List Str = lowlevel ListWithCapacity #Attr.2;
procedure List.26 (List.174, List.175, List.176):
let List.706 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.98 List.174 List.175 List.176;
let List.709 : U8 = 1i64;
let List.710 : U8 = GetTagId List.706;
let List.711 : Int1 = lowlevel Eq List.709 List.710;
if List.711 then
let List.177 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.706;
ret List.177;
else
let List.178 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.706;
ret List.178;
procedure List.31 (#Attr.2, #Attr.3):
let List.671 : List Str = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.671;
procedure List.68 (#Attr.2):
let List.673 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.673;
procedure List.38 (List.313):
let List.679 : U64 = 0i64;
let List.678 : List Str = CallByName List.31 List.313 List.679;
ret List.678;
procedure List.70 (#Attr.2, #Attr.3):
let List.600 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.600;
procedure List.4 (List.118, List.119):
let List.630 : U64 = 1i64;
let List.629 : List Str = CallByName List.70 List.118 List.630;
let List.628 : List Str = CallByName List.71 List.629 List.119;
ret List.628;
procedure List.70 (#Attr.2, #Attr.3):
let List.617 : List Str = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.617;
procedure List.4 (List.118, List.119):
let List.633 : U64 = 1i64;
let List.632 : List U8 = CallByName List.70 List.118 List.633;
let List.631 : List U8 = CallByName List.71 List.632 List.119;
ret List.631;
procedure List.71 (#Attr.2, #Attr.3):
let List.598 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.598;
procedure List.49 (List.392, List.393):
let List.698 : U64 = StructAtIndex 0 List.393;
let List.699 : U64 = 0i64;
let List.696 : Int1 = CallByName Bool.11 List.698 List.699;
if List.696 then
dec List.392;
let List.697 : List U8 = Array [];
ret List.697;
else
let List.693 : U64 = StructAtIndex 1 List.393;
let List.694 : U64 = StructAtIndex 0 List.393;
let List.692 : List U8 = CallByName List.72 List.392 List.693 List.694;
ret List.692;
procedure List.71 (#Attr.2, #Attr.3):
let List.615 : List Str = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.615;
procedure List.52 (List.407, List.408):
let List.409 : U64 = CallByName List.6 List.407;
joinpoint List.704 List.410:
let List.702 : U64 = 0i64;
let List.701 : {U64, U64} = Struct {List.410, List.702};
inc List.407;
let List.411 : List U8 = CallByName List.49 List.407 List.701;
let List.700 : U64 = CallByName Num.75 List.409 List.410;
let List.691 : {U64, U64} = Struct {List.700, List.410};
let List.412 : List U8 = CallByName List.49 List.407 List.691;
let List.690 : {List U8, List U8} = Struct {List.411, List.412};
ret List.690;
in
let List.705 : Int1 = CallByName Num.24 List.409 List.408;
if List.705 then
jump List.704 List.408;
else
jump List.704 List.409;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.685 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
procedure List.6 (#Attr.2):
let List.604 : U64 = lowlevel ListLen #Attr.2;
ret List.604;
procedure List.6 (#Attr.2):
let List.685 : U64 = lowlevel ListLen #Attr.2;
ret List.685;
procedure List.8 (#Attr.2, #Attr.3):
let List.650 : List Str = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.650;
procedure List.6 (#Attr.2):
let List.686 : U64 = lowlevel ListLen #Attr.2;
ret List.686;
procedure List.6 (#Attr.2):
let List.688 : U64 = lowlevel ListLen #Attr.2;
ret List.688;
procedure List.66 (#Attr.2, #Attr.3):
let List.584 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.584;
procedure List.66 (#Attr.2, #Attr.3):
let List.644 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.644;
procedure List.66 (#Attr.2, #Attr.3):
let List.656 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.656;
procedure List.68 (#Attr.2):
let List.681 : List Str = lowlevel ListWithCapacity #Attr.2;
ret List.681;
procedure List.68 (#Attr.2):
let List.683 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.683;
procedure List.70 (#Attr.2, #Attr.3):
let List.610 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.610;
procedure List.70 (#Attr.2, #Attr.3):
let List.627 : List Str = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.627;
procedure List.71 (#Attr.2, #Attr.3):
let List.608 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.608;
procedure List.71 (#Attr.2, #Attr.3):
let List.625 : List Str = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.625;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.695 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.695;
procedure List.8 (#Attr.2, #Attr.3):
let List.658 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.658;
let List.660 : List Str = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.660;
procedure List.80 (#Derived_gen.30, #Derived_gen.31, #Derived_gen.32, #Derived_gen.33, #Derived_gen.34):
joinpoint List.705 List.453 List.454 List.455 List.456 List.457:
let List.707 : Int1 = CallByName Num.22 List.456 List.457;
if List.707 then
let List.716 : U8 = CallByName List.66 List.453 List.456;
let List.708 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.454 List.716;
let List.713 : U8 = 1i64;
let List.714 : U8 = GetTagId List.708;
let List.715 : Int1 = lowlevel Eq List.713 List.714;
if List.715 then
let List.458 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.708;
let List.711 : U64 = 1i64;
let List.710 : U64 = CallByName Num.51 List.456 List.711;
jump List.705 List.453 List.458 List.455 List.710 List.457;
procedure List.8 (#Attr.2, #Attr.3):
let List.668 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.668;
procedure List.80 (#Derived_gen.35, #Derived_gen.36, #Derived_gen.37, #Derived_gen.38, #Derived_gen.39):
joinpoint List.715 List.463 List.464 List.465 List.466 List.467:
let List.717 : Int1 = CallByName Num.22 List.466 List.467;
if List.717 then
let List.726 : U8 = CallByName List.66 List.463 List.466;
let List.718 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.464 List.726;
let List.723 : U8 = 1i64;
let List.724 : U8 = GetTagId List.718;
let List.725 : Int1 = lowlevel Eq List.723 List.724;
if List.725 then
let List.468 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.718;
let List.721 : U64 = 1i64;
let List.720 : U64 = CallByName Num.51 List.466 List.721;
jump List.715 List.463 List.468 List.465 List.720 List.467;
else
dec List.453;
let List.459 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.708;
let List.712 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.459;
ret List.712;
dec List.463;
let List.469 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.718;
let List.722 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.469;
ret List.722;
else
dec List.453;
let List.706 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.454;
ret List.706;
dec List.463;
let List.716 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.464;
ret List.716;
in
jump List.705 #Derived_gen.30 #Derived_gen.31 #Derived_gen.32 #Derived_gen.33 #Derived_gen.34;
jump List.715 #Derived_gen.35 #Derived_gen.36 #Derived_gen.37 #Derived_gen.38 #Derived_gen.39;
procedure List.86 (#Derived_gen.35, #Derived_gen.36, #Derived_gen.37, #Derived_gen.38, #Derived_gen.39):
joinpoint List.567 List.148 List.149 List.150 List.151 List.152:
let List.569 : Int1 = CallByName Num.22 List.151 List.152;
if List.569 then
let List.573 : {Str, Str} = CallByName List.66 List.148 List.151;
inc List.573;
let List.153 : {List U8, U64} = CallByName TotallyNotJson.237 List.149 List.573 List.150;
let List.572 : U64 = 1i64;
let List.571 : U64 = CallByName Num.51 List.151 List.572;
jump List.567 List.148 List.153 List.150 List.571 List.152;
procedure List.87 (#Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27):
joinpoint List.649 List.150 List.151 List.152 List.153 List.154:
let List.651 : Int1 = CallByName Num.22 List.153 List.154;
if List.651 then
let List.655 : U8 = CallByName List.66 List.150 List.153;
let List.155 : List U8 = CallByName TotallyNotJson.215 List.151 List.655;
let List.654 : U64 = 1i64;
let List.653 : U64 = CallByName Num.51 List.153 List.654;
jump List.649 List.150 List.155 List.152 List.653 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.567 #Derived_gen.35 #Derived_gen.36 #Derived_gen.37 #Derived_gen.38 #Derived_gen.39;
jump List.649 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27;
procedure List.86 (#Derived_gen.46, #Derived_gen.47, #Derived_gen.48, #Derived_gen.49, #Derived_gen.50):
joinpoint List.639 List.148 List.149 List.150 List.151 List.152:
let List.641 : Int1 = CallByName Num.22 List.151 List.152;
if List.641 then
let List.645 : U8 = CallByName List.66 List.148 List.151;
let List.153 : List U8 = CallByName TotallyNotJson.215 List.149 List.645;
let List.644 : U64 = 1i64;
let List.643 : U64 = CallByName Num.51 List.151 List.644;
jump List.639 List.148 List.153 List.150 List.643 List.152;
procedure List.87 (#Derived_gen.40, #Derived_gen.41, #Derived_gen.42, #Derived_gen.43, #Derived_gen.44):
joinpoint List.577 List.150 List.151 List.152 List.153 List.154:
let List.579 : Int1 = CallByName Num.22 List.153 List.154;
if List.579 then
let List.583 : {Str, Str} = CallByName List.66 List.150 List.153;
inc List.583;
let List.155 : {List U8, U64} = CallByName TotallyNotJson.237 List.151 List.583 List.152;
let List.582 : U64 = 1i64;
let List.581 : U64 = CallByName Num.51 List.153 List.582;
jump List.577 List.150 List.155 List.152 List.581 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.639 #Derived_gen.46 #Derived_gen.47 #Derived_gen.48 #Derived_gen.49 #Derived_gen.50;
jump List.577 #Derived_gen.40 #Derived_gen.41 #Derived_gen.42 #Derived_gen.43 #Derived_gen.44;
procedure List.86 (#Derived_gen.52, #Derived_gen.53, #Derived_gen.54, #Derived_gen.55, #Derived_gen.56):
joinpoint List.627 List.148 List.149 List.150 List.151 List.152:
let List.629 : Int1 = CallByName Num.22 List.151 List.152;
if List.629 then
let List.633 : {Str, Str} = CallByName List.66 List.148 List.151;
inc List.633;
let List.153 : {List U8, U64} = CallByName TotallyNotJson.237 List.149 List.633 List.150;
let List.632 : U64 = 1i64;
let List.631 : U64 = CallByName Num.51 List.151 List.632;
jump List.627 List.148 List.153 List.150 List.631 List.152;
procedure List.87 (#Derived_gen.51, #Derived_gen.52, #Derived_gen.53, #Derived_gen.54, #Derived_gen.55):
joinpoint List.637 List.150 List.151 List.152 List.153 List.154:
let List.639 : Int1 = CallByName Num.22 List.153 List.154;
if List.639 then
let List.643 : {Str, Str} = CallByName List.66 List.150 List.153;
inc List.643;
let List.155 : {List U8, U64} = CallByName TotallyNotJson.237 List.151 List.643 List.152;
let List.642 : U64 = 1i64;
let List.641 : U64 = CallByName Num.51 List.153 List.642;
jump List.637 List.150 List.155 List.152 List.641 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.627 #Derived_gen.52 #Derived_gen.53 #Derived_gen.54 #Derived_gen.55 #Derived_gen.56;
jump List.637 #Derived_gen.51 #Derived_gen.52 #Derived_gen.53 #Derived_gen.54 #Derived_gen.55;
procedure List.96 (List.450, List.451, List.452):
let List.703 : U64 = 0i64;
let List.704 : U64 = CallByName List.6 List.450;
let List.702 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.450 List.451 List.452 List.703 List.704;
ret List.702;
procedure List.98 (List.460, List.461, List.462):
let List.713 : U64 = 0i64;
let List.714 : U64 = CallByName List.6 List.460;
let List.712 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.460 List.461 List.462 List.713 List.714;
ret List.712;
procedure Num.127 (#Attr.2):
let Num.306 : U8 = lowlevel NumIntCast #Attr.2;
@ -1377,7 +1377,7 @@ procedure TotallyNotJson.95 (TotallyNotJson.829):
dec TotallyNotJson.1840;
ret TotallyNotJson.1839;
procedure TotallyNotJson.96 (#Derived_gen.51):
procedure TotallyNotJson.96 (#Derived_gen.56):
joinpoint TotallyNotJson.1847 TotallyNotJson.1168:
let TotallyNotJson.834 : List Str = StructAtIndex 0 TotallyNotJson.1168;
let TotallyNotJson.833 : List Str = StructAtIndex 1 TotallyNotJson.1168;
@ -1413,7 +1413,7 @@ procedure TotallyNotJson.96 (#Derived_gen.51):
let TotallyNotJson.1848 : {List Str, List Str} = Struct {TotallyNotJson.834, TotallyNotJson.833};
ret TotallyNotJson.1848;
in
jump TotallyNotJson.1847 #Derived_gen.51;
jump TotallyNotJson.1847 #Derived_gen.56;
procedure TotallyNotJson.97 (TotallyNotJson.837):
let TotallyNotJson.838 : List Str = CallByName Str.55 TotallyNotJson.837;
@ -1430,7 +1430,7 @@ procedure TotallyNotJson.97 (TotallyNotJson.837):
dec TotallyNotJson.1562;
ret TotallyNotJson.1560;
procedure TotallyNotJson.98 (#Derived_gen.29):
procedure TotallyNotJson.98 (#Derived_gen.34):
joinpoint TotallyNotJson.1568 TotallyNotJson.1169:
let TotallyNotJson.842 : List Str = StructAtIndex 0 TotallyNotJson.1169;
let TotallyNotJson.841 : List Str = StructAtIndex 1 TotallyNotJson.1169;
@ -1466,7 +1466,7 @@ procedure TotallyNotJson.98 (#Derived_gen.29):
let TotallyNotJson.1569 : {List Str, List Str} = Struct {TotallyNotJson.842, TotallyNotJson.841};
ret TotallyNotJson.1569;
in
jump TotallyNotJson.1568 #Derived_gen.29;
jump TotallyNotJson.1568 #Derived_gen.34;
procedure Test.0 ():
let Test.12 : Str = "bar";

346
crates/compiler/test_mono/generated/encode_derived_record_one_field_string.txt
View file

@ -51,205 +51,205 @@ procedure Encode.26 (Encode.105, Encode.106):
ret Encode.108;
procedure List.13 (#Attr.2, #Attr.3):
let List.619 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
ret List.619;
let List.629 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
ret List.629;
procedure List.18 (List.145, List.146, List.147):
let List.565 : U64 = 0i64;
let List.566 : U64 = CallByName List.6 List.145;
let List.564 : {List U8, U64} = CallByName List.86 List.145 List.146 List.147 List.565 List.566;
ret List.564;
procedure List.18 (List.145, List.146, List.147):
let List.577 : U64 = 0i64;
let List.578 : U64 = CallByName List.6 List.145;
let List.576 : List U8 = CallByName List.86 List.145 List.146 List.147 List.577 List.578;
ret List.576;
procedure List.26 (List.172, List.173, List.174):
let List.636 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.96 List.172 List.173 List.174;
let List.639 : U8 = 1i64;
let List.640 : U8 = GetTagId List.636;
let List.641 : Int1 = lowlevel Eq List.639 List.640;
if List.641 then
let List.175 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.636;
ret List.175;
else
let List.176 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.636;
ret List.176;
procedure List.31 (#Attr.2, #Attr.3):
let List.601 : List Str = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.601;
procedure List.38 (List.311):
let List.609 : U64 = 0i64;
let List.608 : List Str = CallByName List.31 List.311 List.609;
ret List.608;
procedure List.4 (List.116, List.117):
let List.560 : U64 = 1i64;
let List.559 : List Str = CallByName List.70 List.116 List.560;
let List.558 : List Str = CallByName List.71 List.559 List.117;
ret List.558;
procedure List.4 (List.116, List.117):
let List.563 : U64 = 1i64;
let List.562 : List U8 = CallByName List.70 List.116 List.563;
let List.561 : List U8 = CallByName List.71 List.562 List.117;
ret List.561;
procedure List.49 (List.390, List.391):
let List.628 : U64 = StructAtIndex 0 List.391;
let List.629 : U64 = 0i64;
let List.626 : Int1 = CallByName Bool.11 List.628 List.629;
if List.626 then
dec List.390;
let List.627 : List U8 = Array [];
ret List.627;
else
let List.623 : U64 = StructAtIndex 1 List.391;
let List.624 : U64 = StructAtIndex 0 List.391;
let List.622 : List U8 = CallByName List.72 List.390 List.623 List.624;
ret List.622;
procedure List.52 (List.405, List.406):
let List.407 : U64 = CallByName List.6 List.405;
joinpoint List.634 List.408:
let List.632 : U64 = 0i64;
let List.631 : {U64, U64} = Struct {List.408, List.632};
inc List.405;
let List.409 : List U8 = CallByName List.49 List.405 List.631;
let List.630 : U64 = CallByName Num.75 List.407 List.408;
let List.621 : {U64, U64} = Struct {List.630, List.408};
let List.410 : List U8 = CallByName List.49 List.405 List.621;
let List.620 : {List U8, List U8} = Struct {List.409, List.410};
ret List.620;
in
let List.635 : Int1 = CallByName Num.24 List.407 List.406;
if List.635 then
jump List.634 List.406;
else
jump List.634 List.407;
procedure List.6 (#Attr.2):
let List.615 : U64 = lowlevel ListLen #Attr.2;
ret List.615;
procedure List.6 (#Attr.2):
let List.616 : U64 = lowlevel ListLen #Attr.2;
ret List.616;
procedure List.6 (#Attr.2):
let List.618 : U64 = lowlevel ListLen #Attr.2;
ret List.618;
procedure List.66 (#Attr.2, #Attr.3):
let List.574 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.575 : U64 = 0i64;
let List.576 : U64 = CallByName List.6 List.147;
let List.574 : {List U8, U64} = CallByName List.87 List.147 List.148 List.149 List.575 List.576;
ret List.574;
procedure List.66 (#Attr.2, #Attr.3):
let List.586 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.587 : U64 = 0i64;
let List.588 : U64 = CallByName List.6 List.147;
let List.586 : List U8 = CallByName List.87 List.147 List.148 List.149 List.587 List.588;
ret List.586;
procedure List.68 (#Attr.2):
let List.611 : List Str = lowlevel ListWithCapacity #Attr.2;
procedure List.26 (List.174, List.175, List.176):
let List.646 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.98 List.174 List.175 List.176;
let List.649 : U8 = 1i64;
let List.650 : U8 = GetTagId List.646;
let List.651 : Int1 = lowlevel Eq List.649 List.650;
if List.651 then
let List.177 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.646;
ret List.177;
else
let List.178 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.646;
ret List.178;
procedure List.31 (#Attr.2, #Attr.3):
let List.611 : List Str = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.611;
procedure List.68 (#Attr.2):
let List.613 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.613;
procedure List.38 (List.313):
let List.619 : U64 = 0i64;
let List.618 : List Str = CallByName List.31 List.313 List.619;
ret List.618;
procedure List.70 (#Attr.2, #Attr.3):
let List.540 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.540;
procedure List.4 (List.118, List.119):
let List.570 : U64 = 1i64;
let List.569 : List Str = CallByName List.70 List.118 List.570;
let List.568 : List Str = CallByName List.71 List.569 List.119;
ret List.568;
procedure List.70 (#Attr.2, #Attr.3):
let List.557 : List Str = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.557;
procedure List.4 (List.118, List.119):
let List.573 : U64 = 1i64;
let List.572 : List U8 = CallByName List.70 List.118 List.573;
let List.571 : List U8 = CallByName List.71 List.572 List.119;
ret List.571;
procedure List.71 (#Attr.2, #Attr.3):
let List.538 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.538;
procedure List.49 (List.392, List.393):
let List.638 : U64 = StructAtIndex 0 List.393;
let List.639 : U64 = 0i64;
let List.636 : Int1 = CallByName Bool.11 List.638 List.639;
if List.636 then
dec List.392;
let List.637 : List U8 = Array [];
ret List.637;
else
let List.633 : U64 = StructAtIndex 1 List.393;
let List.634 : U64 = StructAtIndex 0 List.393;
let List.632 : List U8 = CallByName List.72 List.392 List.633 List.634;
ret List.632;
procedure List.71 (#Attr.2, #Attr.3):
let List.555 : List Str = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.555;
procedure List.52 (List.407, List.408):
let List.409 : U64 = CallByName List.6 List.407;
joinpoint List.644 List.410:
let List.642 : U64 = 0i64;
let List.641 : {U64, U64} = Struct {List.410, List.642};
inc List.407;
let List.411 : List U8 = CallByName List.49 List.407 List.641;
let List.640 : U64 = CallByName Num.75 List.409 List.410;
let List.631 : {U64, U64} = Struct {List.640, List.410};
let List.412 : List U8 = CallByName List.49 List.407 List.631;
let List.630 : {List U8, List U8} = Struct {List.411, List.412};
ret List.630;
in
let List.645 : Int1 = CallByName Num.24 List.409 List.408;
if List.645 then
jump List.644 List.408;
else
jump List.644 List.409;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.625 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
procedure List.6 (#Attr.2):
let List.625 : U64 = lowlevel ListLen #Attr.2;
ret List.625;
procedure List.8 (#Attr.2, #Attr.3):
let List.590 : List Str = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.590;
procedure List.6 (#Attr.2):
let List.626 : U64 = lowlevel ListLen #Attr.2;
ret List.626;
procedure List.6 (#Attr.2):
let List.628 : U64 = lowlevel ListLen #Attr.2;
ret List.628;
procedure List.66 (#Attr.2, #Attr.3):
let List.584 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.584;
procedure List.66 (#Attr.2, #Attr.3):
let List.596 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.596;
procedure List.68 (#Attr.2):
let List.621 : List Str = lowlevel ListWithCapacity #Attr.2;
ret List.621;
procedure List.68 (#Attr.2):
let List.623 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.623;
procedure List.70 (#Attr.2, #Attr.3):
let List.550 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.550;
procedure List.70 (#Attr.2, #Attr.3):
let List.567 : List Str = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.567;
procedure List.71 (#Attr.2, #Attr.3):
let List.548 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.548;
procedure List.71 (#Attr.2, #Attr.3):
let List.565 : List Str = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.565;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.635 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.635;
procedure List.8 (#Attr.2, #Attr.3):
let List.598 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.598;
let List.600 : List Str = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.600;
procedure List.8 (#Attr.2, #Attr.3):
let List.608 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.608;
procedure List.80 (#Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_gen.14, #Derived_gen.15):
joinpoint List.645 List.453 List.454 List.455 List.456 List.457:
let List.647 : Int1 = CallByName Num.22 List.456 List.457;
if List.647 then
let List.656 : U8 = CallByName List.66 List.453 List.456;
let List.648 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.454 List.656;
let List.653 : U8 = 1i64;
let List.654 : U8 = GetTagId List.648;
let List.655 : Int1 = lowlevel Eq List.653 List.654;
if List.655 then
let List.458 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.648;
let List.651 : U64 = 1i64;
let List.650 : U64 = CallByName Num.51 List.456 List.651;
jump List.645 List.453 List.458 List.455 List.650 List.457;
joinpoint List.655 List.463 List.464 List.465 List.466 List.467:
let List.657 : Int1 = CallByName Num.22 List.466 List.467;
if List.657 then
let List.666 : U8 = CallByName List.66 List.463 List.466;
let List.658 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.464 List.666;
let List.663 : U8 = 1i64;
let List.664 : U8 = GetTagId List.658;
let List.665 : Int1 = lowlevel Eq List.663 List.664;
if List.665 then
let List.468 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.658;
let List.661 : U64 = 1i64;
let List.660 : U64 = CallByName Num.51 List.466 List.661;
jump List.655 List.463 List.468 List.465 List.660 List.467;
else
dec List.453;
let List.459 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.648;
let List.652 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.459;
ret List.652;
dec List.463;
let List.469 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.658;
let List.662 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.469;
ret List.662;
else
dec List.453;
let List.646 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.454;
ret List.646;
dec List.463;
let List.656 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.464;
ret List.656;
in
jump List.645 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15;
jump List.655 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15;
procedure List.86 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_gen.30):
joinpoint List.579 List.148 List.149 List.150 List.151 List.152:
let List.581 : Int1 = CallByName Num.22 List.151 List.152;
if List.581 then
let List.585 : U8 = CallByName List.66 List.148 List.151;
let List.153 : List U8 = CallByName TotallyNotJson.215 List.149 List.585;
let List.584 : U64 = 1i64;
let List.583 : U64 = CallByName Num.51 List.151 List.584;
jump List.579 List.148 List.153 List.150 List.583 List.152;
procedure List.87 (#Derived_gen.25, #Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29):
joinpoint List.589 List.150 List.151 List.152 List.153 List.154:
let List.591 : Int1 = CallByName Num.22 List.153 List.154;
if List.591 then
let List.595 : U8 = CallByName List.66 List.150 List.153;
let List.155 : List U8 = CallByName TotallyNotJson.215 List.151 List.595;
let List.594 : U64 = 1i64;
let List.593 : U64 = CallByName Num.51 List.153 List.594;
jump List.589 List.150 List.155 List.152 List.593 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.579 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30;
jump List.589 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29;
procedure List.86 (#Derived_gen.31, #Derived_gen.32, #Derived_gen.33, #Derived_gen.34, #Derived_gen.35):
joinpoint List.567 List.148 List.149 List.150 List.151 List.152:
let List.569 : Int1 = CallByName Num.22 List.151 List.152;
if List.569 then
let List.573 : {Str, Str} = CallByName List.66 List.148 List.151;
inc List.573;
let List.153 : {List U8, U64} = CallByName TotallyNotJson.237 List.149 List.573 List.150;
let List.572 : U64 = 1i64;
let List.571 : U64 = CallByName Num.51 List.151 List.572;
jump List.567 List.148 List.153 List.150 List.571 List.152;
procedure List.87 (#Derived_gen.31, #Derived_gen.32, #Derived_gen.33, #Derived_gen.34, #Derived_gen.35):
joinpoint List.577 List.150 List.151 List.152 List.153 List.154:
let List.579 : Int1 = CallByName Num.22 List.153 List.154;
if List.579 then
let List.583 : {Str, Str} = CallByName List.66 List.150 List.153;
inc List.583;
let List.155 : {List U8, U64} = CallByName TotallyNotJson.237 List.151 List.583 List.152;
let List.582 : U64 = 1i64;
let List.581 : U64 = CallByName Num.51 List.153 List.582;
jump List.577 List.150 List.155 List.152 List.581 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.567 #Derived_gen.31 #Derived_gen.32 #Derived_gen.33 #Derived_gen.34 #Derived_gen.35;
jump List.577 #Derived_gen.31 #Derived_gen.32 #Derived_gen.33 #Derived_gen.34 #Derived_gen.35;
procedure List.96 (List.450, List.451, List.452):
let List.643 : U64 = 0i64;
let List.644 : U64 = CallByName List.6 List.450;
let List.642 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.450 List.451 List.452 List.643 List.644;
ret List.642;
procedure List.98 (List.460, List.461, List.462):
let List.653 : U64 = 0i64;
let List.654 : U64 = CallByName List.6 List.460;
let List.652 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.460 List.461 List.462 List.653 List.654;
ret List.652;
procedure Num.127 (#Attr.2):
let Num.296 : U8 = lowlevel NumIntCast #Attr.2;
@ -1269,7 +1269,7 @@ procedure TotallyNotJson.95 (TotallyNotJson.829):
dec TotallyNotJson.1489;
ret TotallyNotJson.1488;
procedure TotallyNotJson.96 (#Derived_gen.25):
procedure TotallyNotJson.96 (#Derived_gen.30):
joinpoint TotallyNotJson.1496 TotallyNotJson.1168:
let TotallyNotJson.834 : List Str = StructAtIndex 0 TotallyNotJson.1168;
let TotallyNotJson.833 : List Str = StructAtIndex 1 TotallyNotJson.1168;
@ -1305,7 +1305,7 @@ procedure TotallyNotJson.96 (#Derived_gen.25):
let TotallyNotJson.1497 : {List Str, List Str} = Struct {TotallyNotJson.834, TotallyNotJson.833};
ret TotallyNotJson.1497;
in
jump TotallyNotJson.1496 #Derived_gen.25;
jump TotallyNotJson.1496 #Derived_gen.30;
procedure TotallyNotJson.97 (TotallyNotJson.837):
let TotallyNotJson.838 : List Str = CallByName Str.55 TotallyNotJson.837;

346
crates/compiler/test_mono/generated/encode_derived_record_two_field_strings.txt
View file

@ -58,205 +58,205 @@ procedure Encode.26 (Encode.105, Encode.106):
ret Encode.108;
procedure List.13 (#Attr.2, #Attr.3):
let List.619 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
ret List.619;
let List.629 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
ret List.629;
procedure List.18 (List.145, List.146, List.147):
let List.565 : U64 = 0i64;
let List.566 : U64 = CallByName List.6 List.145;
let List.564 : {List U8, U64} = CallByName List.86 List.145 List.146 List.147 List.565 List.566;
ret List.564;
procedure List.18 (List.145, List.146, List.147):
let List.577 : U64 = 0i64;
let List.578 : U64 = CallByName List.6 List.145;
let List.576 : List U8 = CallByName List.86 List.145 List.146 List.147 List.577 List.578;
ret List.576;
procedure List.26 (List.172, List.173, List.174):
let List.636 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.96 List.172 List.173 List.174;
let List.639 : U8 = 1i64;
let List.640 : U8 = GetTagId List.636;
let List.641 : Int1 = lowlevel Eq List.639 List.640;
if List.641 then
let List.175 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.636;
ret List.175;
else
let List.176 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.636;
ret List.176;
procedure List.31 (#Attr.2, #Attr.3):
let List.601 : List Str = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.601;
procedure List.38 (List.311):
let List.609 : U64 = 0i64;
let List.608 : List Str = CallByName List.31 List.311 List.609;
ret List.608;
procedure List.4 (List.116, List.117):
let List.560 : U64 = 1i64;
let List.559 : List Str = CallByName List.70 List.116 List.560;
let List.558 : List Str = CallByName List.71 List.559 List.117;
ret List.558;
procedure List.4 (List.116, List.117):
let List.563 : U64 = 1i64;
let List.562 : List U8 = CallByName List.70 List.116 List.563;
let List.561 : List U8 = CallByName List.71 List.562 List.117;
ret List.561;
procedure List.49 (List.390, List.391):
let List.628 : U64 = StructAtIndex 0 List.391;
let List.629 : U64 = 0i64;
let List.626 : Int1 = CallByName Bool.11 List.628 List.629;
if List.626 then
dec List.390;
let List.627 : List U8 = Array [];
ret List.627;
else
let List.623 : U64 = StructAtIndex 1 List.391;
let List.624 : U64 = StructAtIndex 0 List.391;
let List.622 : List U8 = CallByName List.72 List.390 List.623 List.624;
ret List.622;
procedure List.52 (List.405, List.406):
let List.407 : U64 = CallByName List.6 List.405;
joinpoint List.634 List.408:
let List.632 : U64 = 0i64;
let List.631 : {U64, U64} = Struct {List.408, List.632};
inc List.405;
let List.409 : List U8 = CallByName List.49 List.405 List.631;
let List.630 : U64 = CallByName Num.75 List.407 List.408;
let List.621 : {U64, U64} = Struct {List.630, List.408};
let List.410 : List U8 = CallByName List.49 List.405 List.621;
let List.620 : {List U8, List U8} = Struct {List.409, List.410};
ret List.620;
in
let List.635 : Int1 = CallByName Num.24 List.407 List.406;
if List.635 then
jump List.634 List.406;
else
jump List.634 List.407;
procedure List.6 (#Attr.2):
let List.615 : U64 = lowlevel ListLen #Attr.2;
ret List.615;
procedure List.6 (#Attr.2):
let List.616 : U64 = lowlevel ListLen #Attr.2;
ret List.616;
procedure List.6 (#Attr.2):
let List.618 : U64 = lowlevel ListLen #Attr.2;
ret List.618;
procedure List.66 (#Attr.2, #Attr.3):
let List.574 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.575 : U64 = 0i64;
let List.576 : U64 = CallByName List.6 List.147;
let List.574 : {List U8, U64} = CallByName List.87 List.147 List.148 List.149 List.575 List.576;
ret List.574;
procedure List.66 (#Attr.2, #Attr.3):
let List.586 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.587 : U64 = 0i64;
let List.588 : U64 = CallByName List.6 List.147;
let List.586 : List U8 = CallByName List.87 List.147 List.148 List.149 List.587 List.588;
ret List.586;
procedure List.68 (#Attr.2):
let List.611 : List Str = lowlevel ListWithCapacity #Attr.2;
procedure List.26 (List.174, List.175, List.176):
let List.646 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.98 List.174 List.175 List.176;
let List.649 : U8 = 1i64;
let List.650 : U8 = GetTagId List.646;
let List.651 : Int1 = lowlevel Eq List.649 List.650;
if List.651 then
let List.177 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.646;
ret List.177;
else
let List.178 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.646;
ret List.178;
procedure List.31 (#Attr.2, #Attr.3):
let List.611 : List Str = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.611;
procedure List.68 (#Attr.2):
let List.613 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.613;
procedure List.38 (List.313):
let List.619 : U64 = 0i64;
let List.618 : List Str = CallByName List.31 List.313 List.619;
ret List.618;
procedure List.70 (#Attr.2, #Attr.3):
let List.540 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.540;
procedure List.4 (List.118, List.119):
let List.570 : U64 = 1i64;
let List.569 : List Str = CallByName List.70 List.118 List.570;
let List.568 : List Str = CallByName List.71 List.569 List.119;
ret List.568;
procedure List.70 (#Attr.2, #Attr.3):
let List.557 : List Str = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.557;
procedure List.4 (List.118, List.119):
let List.573 : U64 = 1i64;
let List.572 : List U8 = CallByName List.70 List.118 List.573;
let List.571 : List U8 = CallByName List.71 List.572 List.119;
ret List.571;
procedure List.71 (#Attr.2, #Attr.3):
let List.538 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.538;
procedure List.49 (List.392, List.393):
let List.638 : U64 = StructAtIndex 0 List.393;
let List.639 : U64 = 0i64;
let List.636 : Int1 = CallByName Bool.11 List.638 List.639;
if List.636 then
dec List.392;
let List.637 : List U8 = Array [];
ret List.637;
else
let List.633 : U64 = StructAtIndex 1 List.393;
let List.634 : U64 = StructAtIndex 0 List.393;
let List.632 : List U8 = CallByName List.72 List.392 List.633 List.634;
ret List.632;
procedure List.71 (#Attr.2, #Attr.3):
let List.555 : List Str = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.555;
procedure List.52 (List.407, List.408):
let List.409 : U64 = CallByName List.6 List.407;
joinpoint List.644 List.410:
let List.642 : U64 = 0i64;
let List.641 : {U64, U64} = Struct {List.410, List.642};
inc List.407;
let List.411 : List U8 = CallByName List.49 List.407 List.641;
let List.640 : U64 = CallByName Num.75 List.409 List.410;
let List.631 : {U64, U64} = Struct {List.640, List.410};
let List.412 : List U8 = CallByName List.49 List.407 List.631;
let List.630 : {List U8, List U8} = Struct {List.411, List.412};
ret List.630;
in
let List.645 : Int1 = CallByName Num.24 List.409 List.408;
if List.645 then
jump List.644 List.408;
else
jump List.644 List.409;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.625 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
procedure List.6 (#Attr.2):
let List.625 : U64 = lowlevel ListLen #Attr.2;
ret List.625;
procedure List.8 (#Attr.2, #Attr.3):
let List.590 : List Str = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.590;
procedure List.6 (#Attr.2):
let List.626 : U64 = lowlevel ListLen #Attr.2;
ret List.626;
procedure List.6 (#Attr.2):
let List.628 : U64 = lowlevel ListLen #Attr.2;
ret List.628;
procedure List.66 (#Attr.2, #Attr.3):
let List.584 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.584;
procedure List.66 (#Attr.2, #Attr.3):
let List.596 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.596;
procedure List.68 (#Attr.2):
let List.621 : List Str = lowlevel ListWithCapacity #Attr.2;
ret List.621;
procedure List.68 (#Attr.2):
let List.623 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.623;
procedure List.70 (#Attr.2, #Attr.3):
let List.550 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.550;
procedure List.70 (#Attr.2, #Attr.3):
let List.567 : List Str = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.567;
procedure List.71 (#Attr.2, #Attr.3):
let List.548 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.548;
procedure List.71 (#Attr.2, #Attr.3):
let List.565 : List Str = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.565;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.635 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.635;
procedure List.8 (#Attr.2, #Attr.3):
let List.598 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.598;
let List.600 : List Str = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.600;
procedure List.8 (#Attr.2, #Attr.3):
let List.608 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.608;
procedure List.80 (#Derived_gen.15, #Derived_gen.16, #Derived_gen.17, #Derived_gen.18, #Derived_gen.19):
joinpoint List.645 List.453 List.454 List.455 List.456 List.457:
let List.647 : Int1 = CallByName Num.22 List.456 List.457;
if List.647 then
let List.656 : U8 = CallByName List.66 List.453 List.456;
let List.648 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.454 List.656;
let List.653 : U8 = 1i64;
let List.654 : U8 = GetTagId List.648;
let List.655 : Int1 = lowlevel Eq List.653 List.654;
if List.655 then
let List.458 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.648;
let List.651 : U64 = 1i64;
let List.650 : U64 = CallByName Num.51 List.456 List.651;
jump List.645 List.453 List.458 List.455 List.650 List.457;
joinpoint List.655 List.463 List.464 List.465 List.466 List.467:
let List.657 : Int1 = CallByName Num.22 List.466 List.467;
if List.657 then
let List.666 : U8 = CallByName List.66 List.463 List.466;
let List.658 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.464 List.666;
let List.663 : U8 = 1i64;
let List.664 : U8 = GetTagId List.658;
let List.665 : Int1 = lowlevel Eq List.663 List.664;
if List.665 then
let List.468 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.658;
let List.661 : U64 = 1i64;
let List.660 : U64 = CallByName Num.51 List.466 List.661;
jump List.655 List.463 List.468 List.465 List.660 List.467;
else
dec List.453;
let List.459 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.648;
let List.652 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.459;
ret List.652;
dec List.463;
let List.469 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.658;
let List.662 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.469;
ret List.662;
else
dec List.453;
let List.646 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.454;
ret List.646;
dec List.463;
let List.656 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.464;
ret List.656;
in
jump List.645 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18 #Derived_gen.19;
jump List.655 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18 #Derived_gen.19;
procedure List.86 (#Derived_gen.30, #Derived_gen.31, #Derived_gen.32, #Derived_gen.33, #Derived_gen.34):
joinpoint List.579 List.148 List.149 List.150 List.151 List.152:
let List.581 : Int1 = CallByName Num.22 List.151 List.152;
if List.581 then
let List.585 : U8 = CallByName List.66 List.148 List.151;
let List.153 : List U8 = CallByName TotallyNotJson.215 List.149 List.585;
let List.584 : U64 = 1i64;
let List.583 : U64 = CallByName Num.51 List.151 List.584;
jump List.579 List.148 List.153 List.150 List.583 List.152;
procedure List.87 (#Derived_gen.29, #Derived_gen.30, #Derived_gen.31, #Derived_gen.32, #Derived_gen.33):
joinpoint List.589 List.150 List.151 List.152 List.153 List.154:
let List.591 : Int1 = CallByName Num.22 List.153 List.154;
if List.591 then
let List.595 : U8 = CallByName List.66 List.150 List.153;
let List.155 : List U8 = CallByName TotallyNotJson.215 List.151 List.595;
let List.594 : U64 = 1i64;
let List.593 : U64 = CallByName Num.51 List.153 List.594;
jump List.589 List.150 List.155 List.152 List.593 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.579 #Derived_gen.30 #Derived_gen.31 #Derived_gen.32 #Derived_gen.33 #Derived_gen.34;
jump List.589 #Derived_gen.29 #Derived_gen.30 #Derived_gen.31 #Derived_gen.32 #Derived_gen.33;
procedure List.86 (#Derived_gen.35, #Derived_gen.36, #Derived_gen.37, #Derived_gen.38, #Derived_gen.39):
joinpoint List.567 List.148 List.149 List.150 List.151 List.152:
let List.569 : Int1 = CallByName Num.22 List.151 List.152;
if List.569 then
let List.573 : {Str, Str} = CallByName List.66 List.148 List.151;
inc List.573;
let List.153 : {List U8, U64} = CallByName TotallyNotJson.237 List.149 List.573 List.150;
let List.572 : U64 = 1i64;
let List.571 : U64 = CallByName Num.51 List.151 List.572;
jump List.567 List.148 List.153 List.150 List.571 List.152;
procedure List.87 (#Derived_gen.35, #Derived_gen.36, #Derived_gen.37, #Derived_gen.38, #Derived_gen.39):
joinpoint List.577 List.150 List.151 List.152 List.153 List.154:
let List.579 : Int1 = CallByName Num.22 List.153 List.154;
if List.579 then
let List.583 : {Str, Str} = CallByName List.66 List.150 List.153;
inc List.583;
let List.155 : {List U8, U64} = CallByName TotallyNotJson.237 List.151 List.583 List.152;
let List.582 : U64 = 1i64;
let List.581 : U64 = CallByName Num.51 List.153 List.582;
jump List.577 List.150 List.155 List.152 List.581 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.567 #Derived_gen.35 #Derived_gen.36 #Derived_gen.37 #Derived_gen.38 #Derived_gen.39;
jump List.577 #Derived_gen.35 #Derived_gen.36 #Derived_gen.37 #Derived_gen.38 #Derived_gen.39;
procedure List.96 (List.450, List.451, List.452):
let List.643 : U64 = 0i64;
let List.644 : U64 = CallByName List.6 List.450;
let List.642 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.450 List.451 List.452 List.643 List.644;
ret List.642;
procedure List.98 (List.460, List.461, List.462):
let List.653 : U64 = 0i64;
let List.654 : U64 = CallByName List.6 List.460;
let List.652 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.460 List.461 List.462 List.653 List.654;
ret List.652;
procedure Num.127 (#Attr.2):
let Num.296 : U8 = lowlevel NumIntCast #Attr.2;
@ -1276,7 +1276,7 @@ procedure TotallyNotJson.95 (TotallyNotJson.829):
dec TotallyNotJson.1489;
ret TotallyNotJson.1488;
procedure TotallyNotJson.96 (#Derived_gen.29):
procedure TotallyNotJson.96 (#Derived_gen.34):
joinpoint TotallyNotJson.1496 TotallyNotJson.1168:
let TotallyNotJson.834 : List Str = StructAtIndex 0 TotallyNotJson.1168;
let TotallyNotJson.833 : List Str = StructAtIndex 1 TotallyNotJson.1168;
@ -1312,7 +1312,7 @@ procedure TotallyNotJson.96 (#Derived_gen.29):
let TotallyNotJson.1497 : {List Str, List Str} = Struct {TotallyNotJson.834, TotallyNotJson.833};
ret TotallyNotJson.1497;
in
jump TotallyNotJson.1496 #Derived_gen.29;
jump TotallyNotJson.1496 #Derived_gen.34;
procedure TotallyNotJson.97 (TotallyNotJson.837):
let TotallyNotJson.838 : List Str = CallByName Str.55 TotallyNotJson.837;

202
crates/compiler/test_mono/generated/encode_derived_string.txt
View file

@ -15,123 +15,123 @@ procedure Encode.26 (Encode.105, Encode.106):
let Encode.108 : List U8 = CallByName Encode.24 Encode.109 Encode.110 Encode.106;
ret Encode.108;
procedure List.18 (List.145, List.146, List.147):
let List.549 : U64 = 0i64;
let List.550 : U64 = CallByName List.6 List.145;
let List.548 : List U8 = CallByName List.86 List.145 List.146 List.147 List.549 List.550;
ret List.548;
procedure List.26 (List.172, List.173, List.174):
let List.575 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.96 List.172 List.173 List.174;
let List.578 : U8 = 1i64;
let List.579 : U8 = GetTagId List.575;
let List.580 : Int1 = lowlevel Eq List.578 List.579;
if List.580 then
let List.175 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.575;
ret List.175;
else
let List.176 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.575;
ret List.176;
procedure List.49 (List.390, List.391):
let List.567 : U64 = StructAtIndex 0 List.391;
let List.568 : U64 = 0i64;
let List.565 : Int1 = CallByName Bool.11 List.567 List.568;
if List.565 then
dec List.390;
let List.566 : List U8 = Array [];
ret List.566;
else
let List.562 : U64 = StructAtIndex 1 List.391;
let List.563 : U64 = StructAtIndex 0 List.391;
let List.561 : List U8 = CallByName List.72 List.390 List.562 List.563;
ret List.561;
procedure List.52 (List.405, List.406):
let List.407 : U64 = CallByName List.6 List.405;
joinpoint List.573 List.408:
let List.571 : U64 = 0i64;
let List.570 : {U64, U64} = Struct {List.408, List.571};
inc List.405;
let List.409 : List U8 = CallByName List.49 List.405 List.570;
let List.569 : U64 = CallByName Num.75 List.407 List.408;
let List.560 : {U64, U64} = Struct {List.569, List.408};
let List.410 : List U8 = CallByName List.49 List.405 List.560;
let List.559 : {List U8, List U8} = Struct {List.409, List.410};
ret List.559;
in
let List.574 : Int1 = CallByName Num.24 List.407 List.406;
if List.574 then
jump List.573 List.406;
else
jump List.573 List.407;
procedure List.6 (#Attr.2):
let List.547 : U64 = lowlevel ListLen #Attr.2;
ret List.547;
procedure List.66 (#Attr.2, #Attr.3):
let List.558 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.559 : U64 = 0i64;
let List.560 : U64 = CallByName List.6 List.147;
let List.558 : List U8 = CallByName List.87 List.147 List.148 List.149 List.559 List.560;
ret List.558;
procedure List.26 (List.174, List.175, List.176):
let List.585 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.98 List.174 List.175 List.176;
let List.588 : U8 = 1i64;
let List.589 : U8 = GetTagId List.585;
let List.590 : Int1 = lowlevel Eq List.588 List.589;
if List.590 then
let List.177 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.585;
ret List.177;
else
let List.178 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.585;
ret List.178;
procedure List.49 (List.392, List.393):
let List.577 : U64 = StructAtIndex 0 List.393;
let List.578 : U64 = 0i64;
let List.575 : Int1 = CallByName Bool.11 List.577 List.578;
if List.575 then
dec List.392;
let List.576 : List U8 = Array [];
ret List.576;
else
let List.572 : U64 = StructAtIndex 1 List.393;
let List.573 : U64 = StructAtIndex 0 List.393;
let List.571 : List U8 = CallByName List.72 List.392 List.572 List.573;
ret List.571;
procedure List.52 (List.407, List.408):
let List.409 : U64 = CallByName List.6 List.407;
joinpoint List.583 List.410:
let List.581 : U64 = 0i64;
let List.580 : {U64, U64} = Struct {List.410, List.581};
inc List.407;
let List.411 : List U8 = CallByName List.49 List.407 List.580;
let List.579 : U64 = CallByName Num.75 List.409 List.410;
let List.570 : {U64, U64} = Struct {List.579, List.410};
let List.412 : List U8 = CallByName List.49 List.407 List.570;
let List.569 : {List U8, List U8} = Struct {List.411, List.412};
ret List.569;
in
let List.584 : Int1 = CallByName Num.24 List.409 List.408;
if List.584 then
jump List.583 List.408;
else
jump List.583 List.409;
procedure List.6 (#Attr.2):
let List.557 : U64 = lowlevel ListLen #Attr.2;
ret List.557;
procedure List.66 (#Attr.2, #Attr.3):
let List.568 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.568;
procedure List.68 (#Attr.2):
let List.545 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.545;
let List.555 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.555;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.564 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.564;
let List.574 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.574;
procedure List.8 (#Attr.2, #Attr.3):
let List.543 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.543;
let List.553 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.553;
procedure List.80 (#Derived_gen.8, #Derived_gen.9, #Derived_gen.10, #Derived_gen.11, #Derived_gen.12):
joinpoint List.584 List.453 List.454 List.455 List.456 List.457:
let List.586 : Int1 = CallByName Num.22 List.456 List.457;
if List.586 then
let List.595 : U8 = CallByName List.66 List.453 List.456;
let List.587 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.454 List.595;
let List.592 : U8 = 1i64;
let List.593 : U8 = GetTagId List.587;
let List.594 : Int1 = lowlevel Eq List.592 List.593;
if List.594 then
let List.458 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.587;
let List.590 : U64 = 1i64;
let List.589 : U64 = CallByName Num.51 List.456 List.590;
jump List.584 List.453 List.458 List.455 List.589 List.457;
joinpoint List.594 List.463 List.464 List.465 List.466 List.467:
let List.596 : Int1 = CallByName Num.22 List.466 List.467;
if List.596 then
let List.605 : U8 = CallByName List.66 List.463 List.466;
let List.597 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.464 List.605;
let List.602 : U8 = 1i64;
let List.603 : U8 = GetTagId List.597;
let List.604 : Int1 = lowlevel Eq List.602 List.603;
if List.604 then
let List.468 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.597;
let List.600 : U64 = 1i64;
let List.599 : U64 = CallByName Num.51 List.466 List.600;
jump List.594 List.463 List.468 List.465 List.599 List.467;
else
dec List.453;
let List.459 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.587;
let List.591 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.459;
ret List.591;
dec List.463;
let List.469 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.597;
let List.601 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.469;
ret List.601;
else
dec List.453;
let List.585 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.454;
ret List.585;
dec List.463;
let List.595 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.464;
ret List.595;
in
jump List.584 #Derived_gen.8 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12;
jump List.594 #Derived_gen.8 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12;
procedure List.86 (#Derived_gen.3, #Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.7):
joinpoint List.551 List.148 List.149 List.150 List.151 List.152:
let List.553 : Int1 = CallByName Num.22 List.151 List.152;
if List.553 then
let List.557 : U8 = CallByName List.66 List.148 List.151;
let List.153 : List U8 = CallByName TotallyNotJson.215 List.149 List.557;
let List.556 : U64 = 1i64;
let List.555 : U64 = CallByName Num.51 List.151 List.556;
jump List.551 List.148 List.153 List.150 List.555 List.152;
procedure List.87 (#Derived_gen.3, #Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.7):
joinpoint List.561 List.150 List.151 List.152 List.153 List.154:
let List.563 : Int1 = CallByName Num.22 List.153 List.154;
if List.563 then
let List.567 : U8 = CallByName List.66 List.150 List.153;
let List.155 : List U8 = CallByName TotallyNotJson.215 List.151 List.567;
let List.566 : U64 = 1i64;
let List.565 : U64 = CallByName Num.51 List.153 List.566;
jump List.561 List.150 List.155 List.152 List.565 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.551 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7;
jump List.561 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7;
procedure List.96 (List.450, List.451, List.452):
let List.582 : U64 = 0i64;
let List.583 : U64 = CallByName List.6 List.450;
let List.581 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.450 List.451 List.452 List.582 List.583;
ret List.581;
procedure List.98 (List.460, List.461, List.462):
let List.592 : U64 = 0i64;
let List.593 : U64 = CallByName List.6 List.460;
let List.591 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.460 List.461 List.462 List.592 List.593;
ret List.591;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.292 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;

274
crates/compiler/test_mono/generated/encode_derived_tag_one_field_string.txt
View file

@ -44,167 +44,167 @@ procedure Encode.26 (Encode.105, Encode.106):
let Encode.108 : List U8 = CallByName Encode.24 Encode.109 Encode.110 Encode.106;
ret Encode.108;
procedure List.18 (List.145, List.146, List.147):
let List.563 : U64 = 0i64;
let List.564 : U64 = CallByName List.6 List.145;
let List.562 : {List U8, U64} = CallByName List.86 List.145 List.146 List.147 List.563 List.564;
ret List.562;
procedure List.18 (List.145, List.146, List.147):
let List.575 : U64 = 0i64;
let List.576 : U64 = CallByName List.6 List.145;
let List.574 : List U8 = CallByName List.86 List.145 List.146 List.147 List.575 List.576;
ret List.574;
procedure List.26 (List.172, List.173, List.174):
let List.616 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.96 List.172 List.173 List.174;
let List.619 : U8 = 1i64;
let List.620 : U8 = GetTagId List.616;
let List.621 : Int1 = lowlevel Eq List.619 List.620;
if List.621 then
let List.175 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.616;
ret List.175;
else
let List.176 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.616;
ret List.176;
procedure List.4 (List.116, List.117):
let List.561 : U64 = 1i64;
let List.560 : List U8 = CallByName List.70 List.116 List.561;
let List.559 : List U8 = CallByName List.71 List.560 List.117;
ret List.559;
procedure List.49 (List.390, List.391):
let List.608 : U64 = StructAtIndex 0 List.391;
let List.609 : U64 = 0i64;
let List.606 : Int1 = CallByName Bool.11 List.608 List.609;
if List.606 then
dec List.390;
let List.607 : List U8 = Array [];
ret List.607;
else
let List.603 : U64 = StructAtIndex 1 List.391;
let List.604 : U64 = StructAtIndex 0 List.391;
let List.602 : List U8 = CallByName List.72 List.390 List.603 List.604;
ret List.602;
procedure List.52 (List.405, List.406):
let List.407 : U64 = CallByName List.6 List.405;
joinpoint List.614 List.408:
let List.612 : U64 = 0i64;
let List.611 : {U64, U64} = Struct {List.408, List.612};
inc List.405;
let List.409 : List U8 = CallByName List.49 List.405 List.611;
let List.610 : U64 = CallByName Num.75 List.407 List.408;
let List.601 : {U64, U64} = Struct {List.610, List.408};
let List.410 : List U8 = CallByName List.49 List.405 List.601;
let List.600 : {List U8, List U8} = Struct {List.409, List.410};
ret List.600;
in
let List.615 : Int1 = CallByName Num.24 List.407 List.406;
if List.615 then
jump List.614 List.406;
else
jump List.614 List.407;
procedure List.6 (#Attr.2):
let List.586 : U64 = lowlevel ListLen #Attr.2;
ret List.586;
procedure List.6 (#Attr.2):
let List.588 : U64 = lowlevel ListLen #Attr.2;
ret List.588;
procedure List.66 (#Attr.2, #Attr.3):
let List.572 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.573 : U64 = 0i64;
let List.574 : U64 = CallByName List.6 List.147;
let List.572 : {List U8, U64} = CallByName List.87 List.147 List.148 List.149 List.573 List.574;
ret List.572;
procedure List.66 (#Attr.2, #Attr.3):
let List.584 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.585 : U64 = 0i64;
let List.586 : U64 = CallByName List.6 List.147;
let List.584 : List U8 = CallByName List.87 List.147 List.148 List.149 List.585 List.586;
ret List.584;
procedure List.26 (List.174, List.175, List.176):
let List.626 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.98 List.174 List.175 List.176;
let List.629 : U8 = 1i64;
let List.630 : U8 = GetTagId List.626;
let List.631 : Int1 = lowlevel Eq List.629 List.630;
if List.631 then
let List.177 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.626;
ret List.177;
else
let List.178 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.626;
ret List.178;
procedure List.4 (List.118, List.119):
let List.571 : U64 = 1i64;
let List.570 : List U8 = CallByName List.70 List.118 List.571;
let List.569 : List U8 = CallByName List.71 List.570 List.119;
ret List.569;
procedure List.49 (List.392, List.393):
let List.618 : U64 = StructAtIndex 0 List.393;
let List.619 : U64 = 0i64;
let List.616 : Int1 = CallByName Bool.11 List.618 List.619;
if List.616 then
dec List.392;
let List.617 : List U8 = Array [];
ret List.617;
else
let List.613 : U64 = StructAtIndex 1 List.393;
let List.614 : U64 = StructAtIndex 0 List.393;
let List.612 : List U8 = CallByName List.72 List.392 List.613 List.614;
ret List.612;
procedure List.52 (List.407, List.408):
let List.409 : U64 = CallByName List.6 List.407;
joinpoint List.624 List.410:
let List.622 : U64 = 0i64;
let List.621 : {U64, U64} = Struct {List.410, List.622};
inc List.407;
let List.411 : List U8 = CallByName List.49 List.407 List.621;
let List.620 : U64 = CallByName Num.75 List.409 List.410;
let List.611 : {U64, U64} = Struct {List.620, List.410};
let List.412 : List U8 = CallByName List.49 List.407 List.611;
let List.610 : {List U8, List U8} = Struct {List.411, List.412};
ret List.610;
in
let List.625 : Int1 = CallByName Num.24 List.409 List.408;
if List.625 then
jump List.624 List.408;
else
jump List.624 List.409;
procedure List.6 (#Attr.2):
let List.596 : U64 = lowlevel ListLen #Attr.2;
ret List.596;
procedure List.6 (#Attr.2):
let List.598 : U64 = lowlevel ListLen #Attr.2;
ret List.598;
procedure List.66 (#Attr.2, #Attr.3):
let List.582 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.582;
procedure List.66 (#Attr.2, #Attr.3):
let List.594 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.594;
procedure List.68 (#Attr.2):
let List.599 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.599;
let List.609 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.609;
procedure List.70 (#Attr.2, #Attr.3):
let List.540 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.540;
let List.550 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.550;
procedure List.71 (#Attr.2, #Attr.3):
let List.538 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.538;
let List.548 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.548;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.605 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.605;
let List.615 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.615;
procedure List.8 (#Attr.2, #Attr.3):
let List.597 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.597;
let List.607 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.607;
procedure List.80 (#Derived_gen.16, #Derived_gen.17, #Derived_gen.18, #Derived_gen.19, #Derived_gen.20):
joinpoint List.625 List.453 List.454 List.455 List.456 List.457:
let List.627 : Int1 = CallByName Num.22 List.456 List.457;
if List.627 then
let List.636 : U8 = CallByName List.66 List.453 List.456;
let List.628 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.454 List.636;
let List.633 : U8 = 1i64;
let List.634 : U8 = GetTagId List.628;
let List.635 : Int1 = lowlevel Eq List.633 List.634;
if List.635 then
let List.458 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.628;
let List.631 : U64 = 1i64;
let List.630 : U64 = CallByName Num.51 List.456 List.631;
jump List.625 List.453 List.458 List.455 List.630 List.457;
procedure List.80 (#Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24, #Derived_gen.25):
joinpoint List.635 List.463 List.464 List.465 List.466 List.467:
let List.637 : Int1 = CallByName Num.22 List.466 List.467;
if List.637 then
let List.646 : U8 = CallByName List.66 List.463 List.466;
let List.638 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.464 List.646;
let List.643 : U8 = 1i64;
let List.644 : U8 = GetTagId List.638;
let List.645 : Int1 = lowlevel Eq List.643 List.644;
if List.645 then
let List.468 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.638;
let List.641 : U64 = 1i64;
let List.640 : U64 = CallByName Num.51 List.466 List.641;
jump List.635 List.463 List.468 List.465 List.640 List.467;
else
dec List.453;
let List.459 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.628;
let List.632 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.459;
ret List.632;
dec List.463;
let List.469 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.638;
let List.642 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.469;
ret List.642;
else
dec List.453;
let List.626 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.454;
ret List.626;
dec List.463;
let List.636 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.464;
ret List.636;
in
jump List.625 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18 #Derived_gen.19 #Derived_gen.20;
jump List.635 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25;
procedure List.86 (#Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24, #Derived_gen.25):
joinpoint List.577 List.148 List.149 List.150 List.151 List.152:
let List.579 : Int1 = CallByName Num.22 List.151 List.152;
if List.579 then
let List.583 : U8 = CallByName List.66 List.148 List.151;
let List.153 : List U8 = CallByName TotallyNotJson.215 List.149 List.583;
let List.582 : U64 = 1i64;
let List.581 : U64 = CallByName Num.51 List.151 List.582;
jump List.577 List.148 List.153 List.150 List.581 List.152;
procedure List.87 (#Derived_gen.10, #Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_gen.14):
joinpoint List.575 List.150 List.151 List.152 List.153 List.154:
let List.577 : Int1 = CallByName Num.22 List.153 List.154;
if List.577 then
let List.581 : Str = CallByName List.66 List.150 List.153;
inc List.581;
let List.155 : {List U8, U64} = CallByName TotallyNotJson.267 List.151 List.581 List.152;
let List.580 : U64 = 1i64;
let List.579 : U64 = CallByName Num.51 List.153 List.580;
jump List.575 List.150 List.155 List.152 List.579 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.577 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25;
jump List.575 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14;
procedure List.86 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_gen.30):
joinpoint List.565 List.148 List.149 List.150 List.151 List.152:
let List.567 : Int1 = CallByName Num.22 List.151 List.152;
if List.567 then
let List.571 : Str = CallByName List.66 List.148 List.151;
inc List.571;
let List.153 : {List U8, U64} = CallByName TotallyNotJson.267 List.149 List.571 List.150;
let List.570 : U64 = 1i64;
let List.569 : U64 = CallByName Num.51 List.151 List.570;
jump List.565 List.148 List.153 List.150 List.569 List.152;
procedure List.87 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_gen.30):
joinpoint List.587 List.150 List.151 List.152 List.153 List.154:
let List.589 : Int1 = CallByName Num.22 List.153 List.154;
if List.589 then
let List.593 : U8 = CallByName List.66 List.150 List.153;
let List.155 : List U8 = CallByName TotallyNotJson.215 List.151 List.593;
let List.592 : U64 = 1i64;
let List.591 : U64 = CallByName Num.51 List.153 List.592;
jump List.587 List.150 List.155 List.152 List.591 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.565 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30;
jump List.587 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30;
procedure List.96 (List.450, List.451, List.452):
let List.623 : U64 = 0i64;
let List.624 : U64 = CallByName List.6 List.450;
let List.622 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.450 List.451 List.452 List.623 List.624;
ret List.622;
procedure List.98 (List.460, List.461, List.462):
let List.633 : U64 = 0i64;
let List.634 : U64 = CallByName List.6 List.460;
let List.632 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.460 List.461 List.462 List.633 List.634;
ret List.632;
procedure Num.127 (#Attr.2):
let Num.298 : U8 = lowlevel NumIntCast #Attr.2;

272
crates/compiler/test_mono/generated/encode_derived_tag_two_payloads_string.txt
View file

@ -47,167 +47,167 @@ procedure Encode.26 (Encode.105, Encode.106):
let Encode.108 : List U8 = CallByName Encode.24 Encode.109 Encode.110 Encode.106;
ret Encode.108;
procedure List.18 (List.145, List.146, List.147):
let List.563 : U64 = 0i64;
let List.564 : U64 = CallByName List.6 List.145;
let List.562 : {List U8, U64} = CallByName List.86 List.145 List.146 List.147 List.563 List.564;
ret List.562;
procedure List.18 (List.145, List.146, List.147):
let List.575 : U64 = 0i64;
let List.576 : U64 = CallByName List.6 List.145;
let List.574 : List U8 = CallByName List.86 List.145 List.146 List.147 List.575 List.576;
ret List.574;
procedure List.26 (List.172, List.173, List.174):
let List.616 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.96 List.172 List.173 List.174;
let List.619 : U8 = 1i64;
let List.620 : U8 = GetTagId List.616;
let List.621 : Int1 = lowlevel Eq List.619 List.620;
if List.621 then
let List.175 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.616;
ret List.175;
else
let List.176 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.616;
ret List.176;
procedure List.4 (List.116, List.117):
let List.561 : U64 = 1i64;
let List.560 : List U8 = CallByName List.70 List.116 List.561;
let List.559 : List U8 = CallByName List.71 List.560 List.117;
ret List.559;
procedure List.49 (List.390, List.391):
let List.608 : U64 = StructAtIndex 0 List.391;
let List.609 : U64 = 0i64;
let List.606 : Int1 = CallByName Bool.11 List.608 List.609;
if List.606 then
dec List.390;
let List.607 : List U8 = Array [];
ret List.607;
else
let List.603 : U64 = StructAtIndex 1 List.391;
let List.604 : U64 = StructAtIndex 0 List.391;
let List.602 : List U8 = CallByName List.72 List.390 List.603 List.604;
ret List.602;
procedure List.52 (List.405, List.406):
let List.407 : U64 = CallByName List.6 List.405;
joinpoint List.614 List.408:
let List.612 : U64 = 0i64;
let List.611 : {U64, U64} = Struct {List.408, List.612};
inc List.405;
let List.409 : List U8 = CallByName List.49 List.405 List.611;
let List.610 : U64 = CallByName Num.75 List.407 List.408;
let List.601 : {U64, U64} = Struct {List.610, List.408};
let List.410 : List U8 = CallByName List.49 List.405 List.601;
let List.600 : {List U8, List U8} = Struct {List.409, List.410};
ret List.600;
in
let List.615 : Int1 = CallByName Num.24 List.407 List.406;
if List.615 then
jump List.614 List.406;
else
jump List.614 List.407;
procedure List.6 (#Attr.2):
let List.586 : U64 = lowlevel ListLen #Attr.2;
ret List.586;
procedure List.6 (#Attr.2):
let List.588 : U64 = lowlevel ListLen #Attr.2;
ret List.588;
procedure List.66 (#Attr.2, #Attr.3):
let List.572 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.573 : U64 = 0i64;
let List.574 : U64 = CallByName List.6 List.147;
let List.572 : {List U8, U64} = CallByName List.87 List.147 List.148 List.149 List.573 List.574;
ret List.572;
procedure List.66 (#Attr.2, #Attr.3):
let List.584 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.585 : U64 = 0i64;
let List.586 : U64 = CallByName List.6 List.147;
let List.584 : List U8 = CallByName List.87 List.147 List.148 List.149 List.585 List.586;
ret List.584;
procedure List.26 (List.174, List.175, List.176):
let List.626 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.98 List.174 List.175 List.176;
let List.629 : U8 = 1i64;
let List.630 : U8 = GetTagId List.626;
let List.631 : Int1 = lowlevel Eq List.629 List.630;
if List.631 then
let List.177 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.626;
ret List.177;
else
let List.178 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.626;
ret List.178;
procedure List.4 (List.118, List.119):
let List.571 : U64 = 1i64;
let List.570 : List U8 = CallByName List.70 List.118 List.571;
let List.569 : List U8 = CallByName List.71 List.570 List.119;
ret List.569;
procedure List.49 (List.392, List.393):
let List.618 : U64 = StructAtIndex 0 List.393;
let List.619 : U64 = 0i64;
let List.616 : Int1 = CallByName Bool.11 List.618 List.619;
if List.616 then
dec List.392;
let List.617 : List U8 = Array [];
ret List.617;
else
let List.613 : U64 = StructAtIndex 1 List.393;
let List.614 : U64 = StructAtIndex 0 List.393;
let List.612 : List U8 = CallByName List.72 List.392 List.613 List.614;
ret List.612;
procedure List.52 (List.407, List.408):
let List.409 : U64 = CallByName List.6 List.407;
joinpoint List.624 List.410:
let List.622 : U64 = 0i64;
let List.621 : {U64, U64} = Struct {List.410, List.622};
inc List.407;
let List.411 : List U8 = CallByName List.49 List.407 List.621;
let List.620 : U64 = CallByName Num.75 List.409 List.410;
let List.611 : {U64, U64} = Struct {List.620, List.410};
let List.412 : List U8 = CallByName List.49 List.407 List.611;
let List.610 : {List U8, List U8} = Struct {List.411, List.412};
ret List.610;
in
let List.625 : Int1 = CallByName Num.24 List.409 List.408;
if List.625 then
jump List.624 List.408;
else
jump List.624 List.409;
procedure List.6 (#Attr.2):
let List.596 : U64 = lowlevel ListLen #Attr.2;
ret List.596;
procedure List.6 (#Attr.2):
let List.598 : U64 = lowlevel ListLen #Attr.2;
ret List.598;
procedure List.66 (#Attr.2, #Attr.3):
let List.582 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.582;
procedure List.66 (#Attr.2, #Attr.3):
let List.594 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.594;
procedure List.68 (#Attr.2):
let List.599 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.599;
let List.609 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.609;
procedure List.70 (#Attr.2, #Attr.3):
let List.540 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.540;
let List.550 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.550;
procedure List.71 (#Attr.2, #Attr.3):
let List.538 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.538;
let List.548 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.548;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.605 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.605;
let List.615 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.615;
procedure List.8 (#Attr.2, #Attr.3):
let List.597 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.597;
let List.607 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.607;
procedure List.80 (#Derived_gen.14, #Derived_gen.15, #Derived_gen.16, #Derived_gen.17, #Derived_gen.18):
joinpoint List.625 List.453 List.454 List.455 List.456 List.457:
let List.627 : Int1 = CallByName Num.22 List.456 List.457;
if List.627 then
let List.636 : U8 = CallByName List.66 List.453 List.456;
let List.628 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.454 List.636;
let List.633 : U8 = 1i64;
let List.634 : U8 = GetTagId List.628;
let List.635 : Int1 = lowlevel Eq List.633 List.634;
if List.635 then
let List.458 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.628;
let List.631 : U64 = 1i64;
let List.630 : U64 = CallByName Num.51 List.456 List.631;
jump List.625 List.453 List.458 List.455 List.630 List.457;
joinpoint List.635 List.463 List.464 List.465 List.466 List.467:
let List.637 : Int1 = CallByName Num.22 List.466 List.467;
if List.637 then
let List.646 : U8 = CallByName List.66 List.463 List.466;
let List.638 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.464 List.646;
let List.643 : U8 = 1i64;
let List.644 : U8 = GetTagId List.638;
let List.645 : Int1 = lowlevel Eq List.643 List.644;
if List.645 then
let List.468 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.638;
let List.641 : U64 = 1i64;
let List.640 : U64 = CallByName Num.51 List.466 List.641;
jump List.635 List.463 List.468 List.465 List.640 List.467;
else
dec List.453;
let List.459 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.628;
let List.632 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.459;
ret List.632;
dec List.463;
let List.469 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.638;
let List.642 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.469;
ret List.642;
else
dec List.453;
let List.626 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.454;
ret List.626;
dec List.463;
let List.636 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.464;
ret List.636;
in
jump List.625 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18;
jump List.635 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18;
procedure List.86 (#Derived_gen.19, #Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23):
joinpoint List.565 List.148 List.149 List.150 List.151 List.152:
let List.567 : Int1 = CallByName Num.22 List.151 List.152;
if List.567 then
let List.571 : Str = CallByName List.66 List.148 List.151;
inc List.571;
let List.153 : {List U8, U64} = CallByName TotallyNotJson.267 List.149 List.571 List.150;
let List.570 : U64 = 1i64;
let List.569 : U64 = CallByName Num.51 List.151 List.570;
jump List.565 List.148 List.153 List.150 List.569 List.152;
procedure List.87 (#Derived_gen.19, #Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23):
joinpoint List.587 List.150 List.151 List.152 List.153 List.154:
let List.589 : Int1 = CallByName Num.22 List.153 List.154;
if List.589 then
let List.593 : U8 = CallByName List.66 List.150 List.153;
let List.155 : List U8 = CallByName TotallyNotJson.215 List.151 List.593;
let List.592 : U64 = 1i64;
let List.591 : U64 = CallByName Num.51 List.153 List.592;
jump List.587 List.150 List.155 List.152 List.591 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.565 #Derived_gen.19 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23;
jump List.587 #Derived_gen.19 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23;
procedure List.86 (#Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_gen.30, #Derived_gen.31):
joinpoint List.577 List.148 List.149 List.150 List.151 List.152:
let List.579 : Int1 = CallByName Num.22 List.151 List.152;
if List.579 then
let List.583 : U8 = CallByName List.66 List.148 List.151;
let List.153 : List U8 = CallByName TotallyNotJson.215 List.149 List.583;
let List.582 : U64 = 1i64;
let List.581 : U64 = CallByName Num.51 List.151 List.582;
jump List.577 List.148 List.153 List.150 List.581 List.152;
procedure List.87 (#Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27, #Derived_gen.28):
joinpoint List.575 List.150 List.151 List.152 List.153 List.154:
let List.577 : Int1 = CallByName Num.22 List.153 List.154;
if List.577 then
let List.581 : Str = CallByName List.66 List.150 List.153;
inc List.581;
let List.155 : {List U8, U64} = CallByName TotallyNotJson.267 List.151 List.581 List.152;
let List.580 : U64 = 1i64;
let List.579 : U64 = CallByName Num.51 List.153 List.580;
jump List.575 List.150 List.155 List.152 List.579 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.577 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30 #Derived_gen.31;
jump List.575 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28;
procedure List.96 (List.450, List.451, List.452):
let List.623 : U64 = 0i64;
let List.624 : U64 = CallByName List.6 List.450;
let List.622 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.450 List.451 List.452 List.623 List.624;
ret List.622;
procedure List.98 (List.460, List.461, List.462):
let List.633 : U64 = 0i64;
let List.634 : U64 = CallByName List.6 List.460;
let List.632 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.460 List.461 List.462 List.633 List.634;
ret List.632;
procedure Num.127 (#Attr.2):
let Num.298 : U8 = lowlevel NumIntCast #Attr.2;

4
crates/compiler/test_mono/generated/ir_int_add.txt
View file

@ -1,6 +1,6 @@
procedure List.6 (#Attr.2):
let List.535 : U64 = lowlevel ListLen #Attr.2;
ret List.535;
let List.545 : U64 = lowlevel ListLen #Attr.2;
ret List.545;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.293 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;

58
crates/compiler/test_mono/generated/issue_2583_specialize_errors_behind_unified_branches.txt
View file

@ -6,42 +6,42 @@ procedure Bool.2 ():
let Bool.23 : Int1 = true;
ret Bool.23;
procedure List.2 (List.100, List.101):
let List.549 : U64 = CallByName List.6 List.100;
let List.545 : Int1 = CallByName Num.22 List.101 List.549;
if List.545 then
let List.547 : I64 = CallByName List.66 List.100 List.101;
dec List.100;
let List.546 : [C {}, C I64] = TagId(1) List.547;
ret List.546;
procedure List.2 (List.102, List.103):
let List.559 : U64 = CallByName List.6 List.102;
let List.555 : Int1 = CallByName Num.22 List.103 List.559;
if List.555 then
let List.557 : I64 = CallByName List.66 List.102 List.103;
dec List.102;
let List.556 : [C {}, C I64] = TagId(1) List.557;
ret List.556;
else
dec List.100;
let List.544 : {} = Struct {};
let List.543 : [C {}, C I64] = TagId(0) List.544;
ret List.543;
dec List.102;
let List.554 : {} = Struct {};
let List.553 : [C {}, C I64] = TagId(0) List.554;
ret List.553;
procedure List.6 (#Attr.2):
let List.550 : U64 = lowlevel ListLen #Attr.2;
ret List.550;
let List.560 : U64 = lowlevel ListLen #Attr.2;
ret List.560;
procedure List.66 (#Attr.2, #Attr.3):
let List.548 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.548;
let List.558 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.558;
procedure List.9 (List.306):
let List.542 : U64 = 0i64;
let List.535 : [C {}, C I64] = CallByName List.2 List.306 List.542;
let List.539 : U8 = 1i64;
let List.540 : U8 = GetTagId List.535;
let List.541 : Int1 = lowlevel Eq List.539 List.540;
if List.541 then
let List.307 : I64 = UnionAtIndex (Id 1) (Index 0) List.535;
let List.536 : [C Int1, C I64] = TagId(1) List.307;
ret List.536;
procedure List.9 (List.308):
let List.552 : U64 = 0i64;
let List.545 : [C {}, C I64] = CallByName List.2 List.308 List.552;
let List.549 : U8 = 1i64;
let List.550 : U8 = GetTagId List.545;
let List.551 : Int1 = lowlevel Eq List.549 List.550;
if List.551 then
let List.309 : I64 = UnionAtIndex (Id 1) (Index 0) List.545;
let List.546 : [C Int1, C I64] = TagId(1) List.309;
ret List.546;
else
let List.538 : Int1 = true;
let List.537 : [C Int1, C I64] = TagId(0) List.538;
ret List.537;
let List.548 : Int1 = true;
let List.547 : [C Int1, C I64] = TagId(0) List.548;
ret List.547;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.291 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

200
crates/compiler/test_mono/generated/issue_4749.txt
View file

@ -64,136 +64,136 @@ procedure Decode.27 (Decode.107, Decode.108):
let Decode.123 : [C [C List U8, C ], C Str] = TagId(0) Decode.124;
ret Decode.123;
procedure List.1 (List.99):
let List.602 : U64 = CallByName List.6 List.99;
dec List.99;
let List.603 : U64 = 0i64;
let List.601 : Int1 = CallByName Bool.11 List.602 List.603;
ret List.601;
procedure List.1 (List.101):
let List.612 : U64 = CallByName List.6 List.101;
dec List.101;
let List.613 : U64 = 0i64;
let List.611 : Int1 = CallByName Bool.11 List.612 List.613;
ret List.611;
procedure List.2 (List.100, List.101):
let List.585 : U64 = CallByName List.6 List.100;
let List.582 : Int1 = CallByName Num.22 List.101 List.585;
if List.582 then
let List.584 : U8 = CallByName List.66 List.100 List.101;
dec List.100;
let List.583 : [C {}, C U8] = TagId(1) List.584;
ret List.583;
procedure List.2 (List.102, List.103):
let List.595 : U64 = CallByName List.6 List.102;
let List.592 : Int1 = CallByName Num.22 List.103 List.595;
if List.592 then
let List.594 : U8 = CallByName List.66 List.102 List.103;
dec List.102;
let List.593 : [C {}, C U8] = TagId(1) List.594;
ret List.593;
else
dec List.100;
let List.581 : {} = Struct {};
let List.580 : [C {}, C U8] = TagId(0) List.581;
ret List.580;
dec List.102;
let List.591 : {} = Struct {};
let List.590 : [C {}, C U8] = TagId(0) List.591;
ret List.590;
procedure List.26 (List.172, List.173, List.174):
let List.604 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = CallByName List.96 List.172 List.173 List.174;
let List.607 : U8 = 1i64;
let List.608 : U8 = GetTagId List.604;
let List.609 : Int1 = lowlevel Eq List.607 List.608;
if List.609 then
let List.175 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.604;
ret List.175;
procedure List.26 (List.174, List.175, List.176):
let List.614 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = CallByName List.98 List.174 List.175 List.176;
let List.617 : U8 = 1i64;
let List.618 : U8 = GetTagId List.614;
let List.619 : Int1 = lowlevel Eq List.617 List.618;
if List.619 then
let List.177 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.614;
ret List.177;
else
let List.176 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.604;
ret List.176;
let List.178 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.614;
ret List.178;
procedure List.29 (List.317, List.318):
let List.559 : U64 = CallByName List.6 List.317;
let List.319 : U64 = CallByName Num.77 List.559 List.318;
let List.558 : List U8 = CallByName List.43 List.317 List.319;
ret List.558;
procedure List.29 (List.319, List.320):
let List.569 : U64 = CallByName List.6 List.319;
let List.321 : U64 = CallByName Num.77 List.569 List.320;
let List.568 : List U8 = CallByName List.43 List.319 List.321;
ret List.568;
procedure List.31 (#Attr.2, #Attr.3):
let List.572 : List U8 = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.572;
let List.582 : List U8 = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.582;
procedure List.38 (List.311):
let List.571 : U64 = 0i64;
let List.570 : List U8 = CallByName List.31 List.311 List.571;
ret List.570;
procedure List.38 (List.313):
let List.581 : U64 = 0i64;
let List.580 : List U8 = CallByName List.31 List.313 List.581;
ret List.580;
procedure List.4 (List.116, List.117):
let List.569 : U64 = 1i64;
let List.568 : List U8 = CallByName List.70 List.116 List.569;
let List.567 : List U8 = CallByName List.71 List.568 List.117;
ret List.567;
procedure List.4 (List.118, List.119):
let List.579 : U64 = 1i64;
let List.578 : List U8 = CallByName List.70 List.118 List.579;
let List.577 : List U8 = CallByName List.71 List.578 List.119;
ret List.577;
procedure List.43 (List.315, List.316):
let List.551 : U64 = CallByName List.6 List.315;
let List.550 : U64 = CallByName Num.77 List.551 List.316;
let List.541 : {U64, U64} = Struct {List.316, List.550};
let List.540 : List U8 = CallByName List.49 List.315 List.541;
ret List.540;
procedure List.43 (List.317, List.318):
let List.561 : U64 = CallByName List.6 List.317;
let List.560 : U64 = CallByName Num.77 List.561 List.318;
let List.551 : {U64, U64} = Struct {List.318, List.560};
let List.550 : List U8 = CallByName List.49 List.317 List.551;
ret List.550;
procedure List.49 (List.390, List.391):
let List.598 : U64 = StructAtIndex 0 List.391;
let List.599 : U64 = 0i64;
let List.596 : Int1 = CallByName Bool.11 List.598 List.599;
if List.596 then
dec List.390;
let List.597 : List U8 = Array [];
ret List.597;
procedure List.49 (List.392, List.393):
let List.608 : U64 = StructAtIndex 0 List.393;
let List.609 : U64 = 0i64;
let List.606 : Int1 = CallByName Bool.11 List.608 List.609;
if List.606 then
dec List.392;
let List.607 : List U8 = Array [];
ret List.607;
else
let List.594 : U64 = StructAtIndex 1 List.391;
let List.595 : U64 = StructAtIndex 0 List.391;
let List.593 : List U8 = CallByName List.72 List.390 List.594 List.595;
ret List.593;
let List.604 : U64 = StructAtIndex 1 List.393;
let List.605 : U64 = StructAtIndex 0 List.393;
let List.603 : List U8 = CallByName List.72 List.392 List.604 List.605;
ret List.603;
procedure List.6 (#Attr.2):
let List.625 : U64 = lowlevel ListLen #Attr.2;
ret List.625;
let List.635 : U64 = lowlevel ListLen #Attr.2;
ret List.635;
procedure List.66 (#Attr.2, #Attr.3):
let List.578 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.578;
let List.588 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.588;
procedure List.70 (#Attr.2, #Attr.3):
let List.566 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.566;
let List.576 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.576;
procedure List.71 (#Attr.2, #Attr.3):
let List.564 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.564;
let List.574 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.574;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.545 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.545;
let List.555 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.555;
procedure List.8 (#Attr.2, #Attr.3):
let List.561 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.561;
let List.571 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.571;
procedure List.80 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
joinpoint List.613 List.453 List.454 List.455 List.456 List.457:
let List.615 : Int1 = CallByName Num.22 List.456 List.457;
if List.615 then
let List.624 : U8 = CallByName List.66 List.453 List.456;
let List.616 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = CallByName TotallyNotJson.62 List.454 List.624;
let List.621 : U8 = 1i64;
let List.622 : U8 = GetTagId List.616;
let List.623 : Int1 = lowlevel Eq List.621 List.622;
if List.623 then
let List.458 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.616;
let List.619 : U64 = 1i64;
let List.618 : U64 = CallByName Num.51 List.456 List.619;
jump List.613 List.453 List.458 List.455 List.618 List.457;
joinpoint List.623 List.463 List.464 List.465 List.466 List.467:
let List.625 : Int1 = CallByName Num.22 List.466 List.467;
if List.625 then
let List.634 : U8 = CallByName List.66 List.463 List.466;
let List.626 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = CallByName TotallyNotJson.62 List.464 List.634;
let List.631 : U8 = 1i64;
let List.632 : U8 = GetTagId List.626;
let List.633 : Int1 = lowlevel Eq List.631 List.632;
if List.633 then
let List.468 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.626;
let List.629 : U64 = 1i64;
let List.628 : U64 = CallByName Num.51 List.466 List.629;
jump List.623 List.463 List.468 List.465 List.628 List.467;
else
dec List.453;
let List.459 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.616;
let List.620 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = TagId(0) List.459;
ret List.620;
dec List.463;
let List.469 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.626;
let List.630 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = TagId(0) List.469;
ret List.630;
else
dec List.453;
let List.614 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = TagId(1) List.454;
ret List.614;
dec List.463;
let List.624 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = TagId(1) List.464;
ret List.624;
in
jump List.613 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
jump List.623 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
procedure List.96 (List.450, List.451, List.452):
let List.611 : U64 = 0i64;
let List.612 : U64 = CallByName List.6 List.450;
let List.610 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = CallByName List.80 List.450 List.451 List.452 List.611 List.612;
ret List.610;
procedure List.98 (List.460, List.461, List.462):
let List.621 : U64 = 0i64;
let List.622 : U64 = CallByName List.6 List.460;
let List.620 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = CallByName List.80 List.460 List.461 List.462 List.621 List.622;
ret List.620;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.294 : U8 = lowlevel NumAdd #Attr.2 #Attr.3;

110
crates/compiler/test_mono/generated/issue_4770.txt
View file

@ -6,80 +6,80 @@ procedure Bool.2 ():
let Bool.24 : Int1 = true;
ret Bool.24;
procedure List.207 (List.537, List.208, List.206):
let List.567 : Int1 = CallByName Test.1 List.208;
if List.567 then
let List.569 : {} = Struct {};
let List.568 : [C {}, C {}] = TagId(1) List.569;
ret List.568;
procedure List.209 (List.547, List.210, List.208):
let List.577 : Int1 = CallByName Test.1 List.210;
if List.577 then
let List.579 : {} = Struct {};
let List.578 : [C {}, C {}] = TagId(1) List.579;
ret List.578;
else
let List.566 : {} = Struct {};
let List.565 : [C {}, C {}] = TagId(0) List.566;
ret List.565;
let List.576 : {} = Struct {};
let List.575 : [C {}, C {}] = TagId(0) List.576;
ret List.575;
procedure List.23 (#Attr.2, #Attr.3, #Attr.4):
let List.570 : List {[<r>C I64, C List *self], [<r>C I64, C List *self]} = lowlevel ListMap2 { xs: `#Attr.#arg1`, ys: `#Attr.#arg2` } #Attr.2 #Attr.3 Test.15 #Attr.4;
let List.580 : List {[<r>C I64, C List *self], [<r>C I64, C List *self]} = lowlevel ListMap2 { xs: `#Attr.#arg1`, ys: `#Attr.#arg2` } #Attr.2 #Attr.3 Test.15 #Attr.4;
decref #Attr.3;
decref #Attr.2;
ret List.570;
ret List.580;
procedure List.56 (List.205, List.206):
let List.546 : {} = Struct {};
let List.538 : [C {}, C {}] = CallByName List.96 List.205 List.546 List.206;
let List.543 : U8 = 1i64;
let List.544 : U8 = GetTagId List.538;
let List.545 : Int1 = lowlevel Eq List.543 List.544;
if List.545 then
let List.539 : Int1 = CallByName Bool.2;
ret List.539;
procedure List.56 (List.207, List.208):
let List.556 : {} = Struct {};
let List.548 : [C {}, C {}] = CallByName List.98 List.207 List.556 List.208;
let List.553 : U8 = 1i64;
let List.554 : U8 = GetTagId List.548;
let List.555 : Int1 = lowlevel Eq List.553 List.554;
if List.555 then
let List.549 : Int1 = CallByName Bool.2;
ret List.549;
else
let List.540 : Int1 = CallByName Bool.1;
ret List.540;
let List.550 : Int1 = CallByName Bool.1;
ret List.550;
procedure List.6 (#Attr.2):
let List.536 : U64 = lowlevel ListLen #Attr.2;
ret List.536;
let List.546 : U64 = lowlevel ListLen #Attr.2;
ret List.546;
procedure List.6 (#Attr.2):
let List.564 : U64 = lowlevel ListLen #Attr.2;
ret List.564;
let List.574 : U64 = lowlevel ListLen #Attr.2;
ret List.574;
procedure List.66 (#Attr.2, #Attr.3):
let List.563 : {[<r>C I64, C List *self], [<r>C I64, C List *self]} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.563;
let List.573 : {[<r>C I64, C List *self], [<r>C I64, C List *self]} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.573;
procedure List.80 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4, #Derived_gen.5):
joinpoint List.551 List.453 List.454 List.455 List.456 List.457:
let List.553 : Int1 = CallByName Num.22 List.456 List.457;
if List.553 then
let List.562 : {[<r>C I64, C List *self], [<r>C I64, C List *self]} = CallByName List.66 List.453 List.456;
inc List.562;
let List.554 : [C {}, C {}] = CallByName List.207 List.454 List.562 List.455;
let List.559 : U8 = 1i64;
let List.560 : U8 = GetTagId List.554;
let List.561 : Int1 = lowlevel Eq List.559 List.560;
if List.561 then
let List.458 : {} = UnionAtIndex (Id 1) (Index 0) List.554;
let List.557 : U64 = 1i64;
let List.556 : U64 = CallByName Num.51 List.456 List.557;
jump List.551 List.453 List.458 List.455 List.556 List.457;
joinpoint List.561 List.463 List.464 List.465 List.466 List.467:
let List.563 : Int1 = CallByName Num.22 List.466 List.467;
if List.563 then
let List.572 : {[<r>C I64, C List *self], [<r>C I64, C List *self]} = CallByName List.66 List.463 List.466;
inc List.572;
let List.564 : [C {}, C {}] = CallByName List.209 List.464 List.572 List.465;
let List.569 : U8 = 1i64;
let List.570 : U8 = GetTagId List.564;
let List.571 : Int1 = lowlevel Eq List.569 List.570;
if List.571 then
let List.468 : {} = UnionAtIndex (Id 1) (Index 0) List.564;
let List.567 : U64 = 1i64;
let List.566 : U64 = CallByName Num.51 List.466 List.567;
jump List.561 List.463 List.468 List.465 List.566 List.467;
else
dec List.453;
let List.459 : {} = UnionAtIndex (Id 0) (Index 0) List.554;
let List.558 : [C {}, C {}] = TagId(0) List.459;
ret List.558;
dec List.463;
let List.469 : {} = UnionAtIndex (Id 0) (Index 0) List.564;
let List.568 : [C {}, C {}] = TagId(0) List.469;
ret List.568;
else
dec List.453;
let List.552 : [C {}, C {}] = TagId(1) List.454;
ret List.552;
dec List.463;
let List.562 : [C {}, C {}] = TagId(1) List.464;
ret List.562;
in
jump List.551 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5;
jump List.561 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5;
procedure List.96 (List.450, List.451, List.452):
let List.549 : U64 = 0i64;
let List.550 : U64 = CallByName List.6 List.450;
let List.548 : [C {}, C {}] = CallByName List.80 List.450 List.451 List.452 List.549 List.550;
ret List.548;
procedure List.98 (List.460, List.461, List.462):
let List.559 : U64 = 0i64;
let List.560 : U64 = CallByName List.6 List.460;
let List.558 : [C {}, C {}] = CallByName List.80 List.460 List.461 List.462 List.559 List.560;
ret List.558;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.291 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

200
crates/compiler/test_mono/generated/issue_4772_weakened_monomorphic_destructure.txt
View file

@ -38,136 +38,136 @@ procedure Decode.26 (Decode.105, Decode.106):
let Decode.122 : {List U8, [C {}, C Str]} = CallByName Decode.25 Decode.105 Decode.123 Decode.106;
ret Decode.122;
procedure List.1 (List.99):
let List.598 : U64 = CallByName List.6 List.99;
dec List.99;
let List.599 : U64 = 0i64;
let List.597 : Int1 = CallByName Bool.11 List.598 List.599;
ret List.597;
procedure List.1 (List.101):
let List.608 : U64 = CallByName List.6 List.101;
dec List.101;
let List.609 : U64 = 0i64;
let List.607 : Int1 = CallByName Bool.11 List.608 List.609;
ret List.607;
procedure List.2 (List.100, List.101):
let List.581 : U64 = CallByName List.6 List.100;
let List.578 : Int1 = CallByName Num.22 List.101 List.581;
if List.578 then
let List.580 : U8 = CallByName List.66 List.100 List.101;
dec List.100;
let List.579 : [C {}, C U8] = TagId(1) List.580;
ret List.579;
procedure List.2 (List.102, List.103):
let List.591 : U64 = CallByName List.6 List.102;
let List.588 : Int1 = CallByName Num.22 List.103 List.591;
if List.588 then
let List.590 : U8 = CallByName List.66 List.102 List.103;
dec List.102;
let List.589 : [C {}, C U8] = TagId(1) List.590;
ret List.589;
else
dec List.100;
let List.577 : {} = Struct {};
let List.576 : [C {}, C U8] = TagId(0) List.577;
ret List.576;
dec List.102;
let List.587 : {} = Struct {};
let List.586 : [C {}, C U8] = TagId(0) List.587;
ret List.586;
procedure List.26 (List.172, List.173, List.174):
let List.600 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = CallByName List.96 List.172 List.173 List.174;
let List.603 : U8 = 1i64;
let List.604 : U8 = GetTagId List.600;
let List.605 : Int1 = lowlevel Eq List.603 List.604;
if List.605 then
let List.175 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.600;
ret List.175;
procedure List.26 (List.174, List.175, List.176):
let List.610 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = CallByName List.98 List.174 List.175 List.176;
let List.613 : U8 = 1i64;
let List.614 : U8 = GetTagId List.610;
let List.615 : Int1 = lowlevel Eq List.613 List.614;
if List.615 then
let List.177 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.610;
ret List.177;
else
let List.176 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.600;
ret List.176;
let List.178 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.610;
ret List.178;
procedure List.29 (List.317, List.318):
let List.555 : U64 = CallByName List.6 List.317;
let List.319 : U64 = CallByName Num.77 List.555 List.318;
let List.554 : List U8 = CallByName List.43 List.317 List.319;
ret List.554;
procedure List.29 (List.319, List.320):
let List.565 : U64 = CallByName List.6 List.319;
let List.321 : U64 = CallByName Num.77 List.565 List.320;
let List.564 : List U8 = CallByName List.43 List.319 List.321;
ret List.564;
procedure List.31 (#Attr.2, #Attr.3):
let List.568 : List U8 = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.568;
let List.578 : List U8 = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.578;
procedure List.38 (List.311):
let List.567 : U64 = 0i64;
let List.566 : List U8 = CallByName List.31 List.311 List.567;
ret List.566;
procedure List.38 (List.313):
let List.577 : U64 = 0i64;
let List.576 : List U8 = CallByName List.31 List.313 List.577;
ret List.576;
procedure List.4 (List.116, List.117):
let List.565 : U64 = 1i64;
let List.564 : List U8 = CallByName List.70 List.116 List.565;
let List.563 : List U8 = CallByName List.71 List.564 List.117;
ret List.563;
procedure List.4 (List.118, List.119):
let List.575 : U64 = 1i64;
let List.574 : List U8 = CallByName List.70 List.118 List.575;
let List.573 : List U8 = CallByName List.71 List.574 List.119;
ret List.573;
procedure List.43 (List.315, List.316):
let List.547 : U64 = CallByName List.6 List.315;
let List.546 : U64 = CallByName Num.77 List.547 List.316;
let List.537 : {U64, U64} = Struct {List.316, List.546};
let List.536 : List U8 = CallByName List.49 List.315 List.537;
ret List.536;
procedure List.43 (List.317, List.318):
let List.557 : U64 = CallByName List.6 List.317;
let List.556 : U64 = CallByName Num.77 List.557 List.318;
let List.547 : {U64, U64} = Struct {List.318, List.556};
let List.546 : List U8 = CallByName List.49 List.317 List.547;
ret List.546;
procedure List.49 (List.390, List.391):
let List.594 : U64 = StructAtIndex 0 List.391;
let List.595 : U64 = 0i64;
let List.592 : Int1 = CallByName Bool.11 List.594 List.595;
if List.592 then
dec List.390;
let List.593 : List U8 = Array [];
ret List.593;
procedure List.49 (List.392, List.393):
let List.604 : U64 = StructAtIndex 0 List.393;
let List.605 : U64 = 0i64;
let List.602 : Int1 = CallByName Bool.11 List.604 List.605;
if List.602 then
dec List.392;
let List.603 : List U8 = Array [];
ret List.603;
else
let List.590 : U64 = StructAtIndex 1 List.391;
let List.591 : U64 = StructAtIndex 0 List.391;
let List.589 : List U8 = CallByName List.72 List.390 List.590 List.591;
ret List.589;
let List.600 : U64 = StructAtIndex 1 List.393;
let List.601 : U64 = StructAtIndex 0 List.393;
let List.599 : List U8 = CallByName List.72 List.392 List.600 List.601;
ret List.599;
procedure List.6 (#Attr.2):
let List.621 : U64 = lowlevel ListLen #Attr.2;
ret List.621;
let List.631 : U64 = lowlevel ListLen #Attr.2;
ret List.631;
procedure List.66 (#Attr.2, #Attr.3):
let List.574 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.574;
let List.584 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.584;
procedure List.70 (#Attr.2, #Attr.3):
let List.562 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.562;
let List.572 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.572;
procedure List.71 (#Attr.2, #Attr.3):
let List.560 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.560;
let List.570 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.570;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.541 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.541;
let List.551 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.551;
procedure List.8 (#Attr.2, #Attr.3):
let List.557 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.557;
let List.567 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.567;
procedure List.80 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
joinpoint List.609 List.453 List.454 List.455 List.456 List.457:
let List.611 : Int1 = CallByName Num.22 List.456 List.457;
if List.611 then
let List.620 : U8 = CallByName List.66 List.453 List.456;
let List.612 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = CallByName TotallyNotJson.62 List.454 List.620;
let List.617 : U8 = 1i64;
let List.618 : U8 = GetTagId List.612;
let List.619 : Int1 = lowlevel Eq List.617 List.618;
if List.619 then
let List.458 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.612;
let List.615 : U64 = 1i64;
let List.614 : U64 = CallByName Num.51 List.456 List.615;
jump List.609 List.453 List.458 List.455 List.614 List.457;
joinpoint List.619 List.463 List.464 List.465 List.466 List.467:
let List.621 : Int1 = CallByName Num.22 List.466 List.467;
if List.621 then
let List.630 : U8 = CallByName List.66 List.463 List.466;
let List.622 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = CallByName TotallyNotJson.62 List.464 List.630;
let List.627 : U8 = 1i64;
let List.628 : U8 = GetTagId List.622;
let List.629 : Int1 = lowlevel Eq List.627 List.628;
if List.629 then
let List.468 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.622;
let List.625 : U64 = 1i64;
let List.624 : U64 = CallByName Num.51 List.466 List.625;
jump List.619 List.463 List.468 List.465 List.624 List.467;
else
dec List.453;
let List.459 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.612;
let List.616 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = TagId(0) List.459;
ret List.616;
dec List.463;
let List.469 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.622;
let List.626 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = TagId(0) List.469;
ret List.626;
else
dec List.453;
let List.610 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = TagId(1) List.454;
ret List.610;
dec List.463;
let List.620 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = TagId(1) List.464;
ret List.620;
in
jump List.609 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
jump List.619 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
procedure List.96 (List.450, List.451, List.452):
let List.607 : U64 = 0i64;
let List.608 : U64 = CallByName List.6 List.450;
let List.606 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = CallByName List.80 List.450 List.451 List.452 List.607 List.608;
ret List.606;
procedure List.98 (List.460, List.461, List.462):
let List.617 : U64 = 0i64;
let List.618 : U64 = CallByName List.6 List.460;
let List.616 : [C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64], C [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64]] = CallByName List.80 List.460 List.461 List.462 List.617 List.618;
ret List.616;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.294 : U8 = lowlevel NumAdd #Attr.2 #Attr.3;

50
crates/compiler/test_mono/generated/layout_cache_structure_with_multiple_recursive_structures.txt
View file

@ -1,32 +1,32 @@
procedure List.18 (List.145, List.146, List.147):
let List.536 : U64 = 0i64;
let List.537 : U64 = CallByName List.6 List.145;
let List.535 : [<rnu><null>, C {[<rnu>C *self, <null>], *self}] = CallByName List.86 List.145 List.146 List.147 List.536 List.537;
ret List.535;
procedure List.6 (#Attr.2):
let List.546 : U64 = lowlevel ListLen #Attr.2;
ret List.546;
procedure List.66 (#Attr.2, #Attr.3):
let List.545 : [<rnu>C *self, <null>] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.546 : U64 = 0i64;
let List.547 : U64 = CallByName List.6 List.147;
let List.545 : [<rnu><null>, C {[<rnu>C *self, <null>], *self}] = CallByName List.87 List.147 List.148 List.149 List.546 List.547;
ret List.545;
procedure List.86 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
joinpoint List.538 List.148 List.149 List.150 List.151 List.152:
let List.540 : Int1 = CallByName Num.22 List.151 List.152;
if List.540 then
let List.544 : [<rnu>C *self, <null>] = CallByName List.66 List.148 List.151;
inc List.544;
let List.153 : [<rnu><null>, C {[<rnu>C *self, <null>], *self}] = CallByName Test.7 List.149 List.544;
let List.543 : U64 = 1i64;
let List.542 : U64 = CallByName Num.51 List.151 List.543;
jump List.538 List.148 List.153 List.150 List.542 List.152;
procedure List.6 (#Attr.2):
let List.556 : U64 = lowlevel ListLen #Attr.2;
ret List.556;
procedure List.66 (#Attr.2, #Attr.3):
let List.555 : [<rnu>C *self, <null>] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.555;
procedure List.87 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
joinpoint List.548 List.150 List.151 List.152 List.153 List.154:
let List.550 : Int1 = CallByName Num.22 List.153 List.154;
if List.550 then
let List.554 : [<rnu>C *self, <null>] = CallByName List.66 List.150 List.153;
inc List.554;
let List.155 : [<rnu><null>, C {[<rnu>C *self, <null>], *self}] = CallByName Test.7 List.151 List.554;
let List.553 : U64 = 1i64;
let List.552 : U64 = CallByName Num.51 List.153 List.553;
jump List.548 List.150 List.155 List.152 List.552 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.538 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
jump List.548 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.292 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

18
crates/compiler/test_mono/generated/list_append.txt
View file

@ -1,16 +1,16 @@
procedure List.4 (List.116, List.117):
let List.538 : U64 = 1i64;
let List.536 : List I64 = CallByName List.70 List.116 List.538;
let List.535 : List I64 = CallByName List.71 List.536 List.117;
ret List.535;
procedure List.4 (List.118, List.119):
let List.548 : U64 = 1i64;
let List.546 : List I64 = CallByName List.70 List.118 List.548;
let List.545 : List I64 = CallByName List.71 List.546 List.119;
ret List.545;
procedure List.70 (#Attr.2, #Attr.3):
let List.539 : List I64 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.539;
let List.549 : List I64 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.549;
procedure List.71 (#Attr.2, #Attr.3):
let List.537 : List I64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.537;
let List.547 : List I64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.547;
procedure Test.0 ():
let Test.2 : List I64 = Array [1i64];

18
crates/compiler/test_mono/generated/list_append_closure.txt
View file

@ -1,16 +1,16 @@
procedure List.4 (List.116, List.117):
let List.538 : U64 = 1i64;
let List.536 : List I64 = CallByName List.70 List.116 List.538;
let List.535 : List I64 = CallByName List.71 List.536 List.117;
ret List.535;
procedure List.4 (List.118, List.119):
let List.548 : U64 = 1i64;
let List.546 : List I64 = CallByName List.70 List.118 List.548;
let List.545 : List I64 = CallByName List.71 List.546 List.119;
ret List.545;
procedure List.70 (#Attr.2, #Attr.3):
let List.539 : List I64 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.539;
let List.549 : List I64 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.549;
procedure List.71 (#Attr.2, #Attr.3):
let List.537 : List I64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.537;
let List.547 : List I64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.547;
procedure Test.1 (Test.2):
let Test.6 : I64 = 42i64;

32
crates/compiler/test_mono/generated/list_cannot_update_inplace.txt
View file

@ -1,25 +1,25 @@
procedure List.3 (List.108, List.109, List.110):
let List.538 : {List I64, I64} = CallByName List.64 List.108 List.109 List.110;
let List.537 : List I64 = StructAtIndex 0 List.538;
ret List.537;
procedure List.3 (List.110, List.111, List.112):
let List.548 : {List I64, I64} = CallByName List.64 List.110 List.111 List.112;
let List.547 : List I64 = StructAtIndex 0 List.548;
ret List.547;
procedure List.6 (#Attr.2):
let List.536 : U64 = lowlevel ListLen #Attr.2;
ret List.536;
let List.546 : U64 = lowlevel ListLen #Attr.2;
ret List.546;
procedure List.64 (List.105, List.106, List.107):
let List.543 : U64 = CallByName List.6 List.105;
let List.540 : Int1 = CallByName Num.22 List.106 List.543;
if List.540 then
let List.541 : {List I64, I64} = CallByName List.67 List.105 List.106 List.107;
ret List.541;
procedure List.64 (List.107, List.108, List.109):
let List.553 : U64 = CallByName List.6 List.107;
let List.550 : Int1 = CallByName Num.22 List.108 List.553;
if List.550 then
let List.551 : {List I64, I64} = CallByName List.67 List.107 List.108 List.109;
ret List.551;
else
let List.539 : {List I64, I64} = Struct {List.105, List.107};
ret List.539;
let List.549 : {List I64, I64} = Struct {List.107, List.109};
ret List.549;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):
let List.542 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.542;
let List.552 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.552;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.291 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;

32
crates/compiler/test_mono/generated/list_get.txt
View file

@ -1,24 +1,24 @@
procedure List.2 (List.100, List.101):
let List.541 : U64 = CallByName List.6 List.100;
let List.537 : Int1 = CallByName Num.22 List.101 List.541;
if List.537 then
let List.539 : I64 = CallByName List.66 List.100 List.101;
dec List.100;
let List.538 : [C {}, C I64] = TagId(1) List.539;
ret List.538;
procedure List.2 (List.102, List.103):
let List.551 : U64 = CallByName List.6 List.102;
let List.547 : Int1 = CallByName Num.22 List.103 List.551;
if List.547 then
let List.549 : I64 = CallByName List.66 List.102 List.103;
dec List.102;
let List.548 : [C {}, C I64] = TagId(1) List.549;
ret List.548;
else
dec List.100;
let List.536 : {} = Struct {};
let List.535 : [C {}, C I64] = TagId(0) List.536;
ret List.535;
dec List.102;
let List.546 : {} = Struct {};
let List.545 : [C {}, C I64] = TagId(0) List.546;
ret List.545;
procedure List.6 (#Attr.2):
let List.542 : U64 = lowlevel ListLen #Attr.2;
ret List.542;
let List.552 : U64 = lowlevel ListLen #Attr.2;
ret List.552;
procedure List.66 (#Attr.2, #Attr.3):
let List.540 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.540;
let List.550 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.550;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.291 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

8
crates/compiler/test_mono/generated/list_len.txt
View file

@ -1,10 +1,10 @@
procedure List.6 (#Attr.2):
let List.535 : U64 = lowlevel ListLen #Attr.2;
ret List.535;
let List.545 : U64 = lowlevel ListLen #Attr.2;
ret List.545;
procedure List.6 (#Attr.2):
let List.536 : U64 = lowlevel ListLen #Attr.2;
ret List.536;
let List.546 : U64 = lowlevel ListLen #Attr.2;
ret List.546;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.291 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;

38
crates/compiler/test_mono/generated/list_map_closure_borrows.txt
View file

@ -1,30 +1,30 @@
procedure List.2 (List.100, List.101):
let List.541 : U64 = CallByName List.6 List.100;
let List.537 : Int1 = CallByName Num.22 List.101 List.541;
if List.537 then
let List.539 : Str = CallByName List.66 List.100 List.101;
inc List.539;
dec List.100;
let List.538 : [C {}, C Str] = TagId(1) List.539;
ret List.538;
procedure List.2 (List.102, List.103):
let List.551 : U64 = CallByName List.6 List.102;
let List.547 : Int1 = CallByName Num.22 List.103 List.551;
if List.547 then
let List.549 : Str = CallByName List.66 List.102 List.103;
inc List.549;
dec List.102;
let List.548 : [C {}, C Str] = TagId(1) List.549;
ret List.548;
else
dec List.100;
let List.536 : {} = Struct {};
let List.535 : [C {}, C Str] = TagId(0) List.536;
ret List.535;
dec List.102;
let List.546 : {} = Struct {};
let List.545 : [C {}, C Str] = TagId(0) List.546;
ret List.545;
procedure List.5 (#Attr.2, #Attr.3):
let List.543 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
let List.553 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
decref #Attr.2;
ret List.543;
ret List.553;
procedure List.6 (#Attr.2):
let List.542 : U64 = lowlevel ListLen #Attr.2;
ret List.542;
let List.552 : U64 = lowlevel ListLen #Attr.2;
ret List.552;
procedure List.66 (#Attr.2, #Attr.3):
let List.540 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.540;
let List.550 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.550;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.291 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

38
crates/compiler/test_mono/generated/list_map_closure_owns.txt
View file

@ -1,30 +1,30 @@
procedure List.2 (List.100, List.101):
let List.541 : U64 = CallByName List.6 List.100;
let List.537 : Int1 = CallByName Num.22 List.101 List.541;
if List.537 then
let List.539 : Str = CallByName List.66 List.100 List.101;
inc List.539;
dec List.100;
let List.538 : [C {}, C Str] = TagId(1) List.539;
ret List.538;
procedure List.2 (List.102, List.103):
let List.551 : U64 = CallByName List.6 List.102;
let List.547 : Int1 = CallByName Num.22 List.103 List.551;
if List.547 then
let List.549 : Str = CallByName List.66 List.102 List.103;
inc List.549;
dec List.102;
let List.548 : [C {}, C Str] = TagId(1) List.549;
ret List.548;
else
dec List.100;
let List.536 : {} = Struct {};
let List.535 : [C {}, C Str] = TagId(0) List.536;
ret List.535;
dec List.102;
let List.546 : {} = Struct {};
let List.545 : [C {}, C Str] = TagId(0) List.546;
ret List.545;
procedure List.5 (#Attr.2, #Attr.3):
let List.543 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
let List.553 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
decref #Attr.2;
ret List.543;
ret List.553;
procedure List.6 (#Attr.2):
let List.542 : U64 = lowlevel ListLen #Attr.2;
ret List.542;
let List.552 : U64 = lowlevel ListLen #Attr.2;
ret List.552;
procedure List.66 (#Attr.2, #Attr.3):
let List.540 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.540;
let List.550 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.550;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.291 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

20
crates/compiler/test_mono/generated/list_map_take_capturing_or_noncapturing.txt
View file

@ -1,23 +1,23 @@
procedure List.5 (#Attr.2, #Attr.3):
let List.536 : U8 = GetTagId #Attr.3;
joinpoint List.537 List.535:
ret List.535;
let List.546 : U8 = GetTagId #Attr.3;
joinpoint List.547 List.545:
ret List.545;
in
switch List.536:
switch List.546:
case 0:
let List.538 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.4 #Attr.3;
let List.548 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.4 #Attr.3;
decref #Attr.2;
jump List.537 List.538;
jump List.547 List.548;
case 1:
let List.539 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.6 #Attr.3;
let List.549 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.6 #Attr.3;
decref #Attr.2;
jump List.537 List.539;
jump List.547 List.549;
default:
let List.540 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.8 #Attr.3;
let List.550 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.8 #Attr.3;
decref #Attr.2;
jump List.537 List.540;
jump List.547 List.550;
procedure Num.19 (#Attr.2, #Attr.3):

32
crates/compiler/test_mono/generated/list_pass_to_function.txt
View file

@ -1,25 +1,25 @@
procedure List.3 (List.108, List.109, List.110):
let List.536 : {List I64, I64} = CallByName List.64 List.108 List.109 List.110;
let List.535 : List I64 = StructAtIndex 0 List.536;
ret List.535;
procedure List.3 (List.110, List.111, List.112):
let List.546 : {List I64, I64} = CallByName List.64 List.110 List.111 List.112;
let List.545 : List I64 = StructAtIndex 0 List.546;
ret List.545;
procedure List.6 (#Attr.2):
let List.542 : U64 = lowlevel ListLen #Attr.2;
ret List.542;
let List.552 : U64 = lowlevel ListLen #Attr.2;
ret List.552;
procedure List.64 (List.105, List.106, List.107):
let List.541 : U64 = CallByName List.6 List.105;
let List.538 : Int1 = CallByName Num.22 List.106 List.541;
if List.538 then
let List.539 : {List I64, I64} = CallByName List.67 List.105 List.106 List.107;
ret List.539;
procedure List.64 (List.107, List.108, List.109):
let List.551 : U64 = CallByName List.6 List.107;
let List.548 : Int1 = CallByName Num.22 List.108 List.551;
if List.548 then
let List.549 : {List I64, I64} = CallByName List.67 List.107 List.108 List.109;
ret List.549;
else
let List.537 : {List I64, I64} = Struct {List.105, List.107};
ret List.537;
let List.547 : {List I64, I64} = Struct {List.107, List.109};
ret List.547;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):
let List.540 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.540;
let List.550 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.550;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.291 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

12
crates/compiler/test_mono/generated/list_sort_asc.txt
View file

@ -1,11 +1,11 @@
procedure List.28 (#Attr.2, #Attr.3):
let List.537 : List I64 = lowlevel ListSortWith { xs: `#Attr.#arg1` } #Attr.2 Num.46 #Attr.3;
ret List.537;
let List.547 : List I64 = lowlevel ListSortWith { xs: `#Attr.#arg1` } #Attr.2 Num.46 #Attr.3;
ret List.547;
procedure List.59 (List.301):
let List.536 : {} = Struct {};
let List.535 : List I64 = CallByName List.28 List.301 List.536;
ret List.535;
procedure List.59 (List.303):
let List.546 : {} = Struct {};
let List.545 : List I64 = CallByName List.28 List.303 List.546;
ret List.545;
procedure Num.46 (#Attr.2, #Attr.3):
let Num.291 : U8 = lowlevel NumCompare #Attr.2 #Attr.3;

60
crates/compiler/test_mono/generated/quicksort_swap.txt
View file

@ -1,43 +1,43 @@
procedure List.2 (List.100, List.101):
let List.557 : U64 = CallByName List.6 List.100;
let List.554 : Int1 = CallByName Num.22 List.101 List.557;
if List.554 then
let List.556 : I64 = CallByName List.66 List.100 List.101;
dec List.100;
let List.555 : [C {}, C I64] = TagId(1) List.556;
ret List.555;
procedure List.2 (List.102, List.103):
let List.567 : U64 = CallByName List.6 List.102;
let List.564 : Int1 = CallByName Num.22 List.103 List.567;
if List.564 then
let List.566 : I64 = CallByName List.66 List.102 List.103;
dec List.102;
let List.565 : [C {}, C I64] = TagId(1) List.566;
ret List.565;
else
dec List.100;
let List.553 : {} = Struct {};
let List.552 : [C {}, C I64] = TagId(0) List.553;
ret List.552;
dec List.102;
let List.563 : {} = Struct {};
let List.562 : [C {}, C I64] = TagId(0) List.563;
ret List.562;
procedure List.3 (List.108, List.109, List.110):
let List.544 : {List I64, I64} = CallByName List.64 List.108 List.109 List.110;
let List.543 : List I64 = StructAtIndex 0 List.544;
ret List.543;
procedure List.3 (List.110, List.111, List.112):
let List.554 : {List I64, I64} = CallByName List.64 List.110 List.111 List.112;
let List.553 : List I64 = StructAtIndex 0 List.554;
ret List.553;
procedure List.6 (#Attr.2):
let List.542 : U64 = lowlevel ListLen #Attr.2;
ret List.542;
let List.552 : U64 = lowlevel ListLen #Attr.2;
ret List.552;
procedure List.64 (List.105, List.106, List.107):
let List.541 : U64 = CallByName List.6 List.105;
let List.538 : Int1 = CallByName Num.22 List.106 List.541;
if List.538 then
let List.539 : {List I64, I64} = CallByName List.67 List.105 List.106 List.107;
ret List.539;
procedure List.64 (List.107, List.108, List.109):
let List.551 : U64 = CallByName List.6 List.107;
let List.548 : Int1 = CallByName Num.22 List.108 List.551;
if List.548 then
let List.549 : {List I64, I64} = CallByName List.67 List.107 List.108 List.109;
ret List.549;
else
let List.537 : {List I64, I64} = Struct {List.105, List.107};
ret List.537;
let List.547 : {List I64, I64} = Struct {List.107, List.109};
ret List.547;
procedure List.66 (#Attr.2, #Attr.3):
let List.550 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.550;
let List.560 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.560;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):
let List.540 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.540;
let List.550 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.550;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.293 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

32
crates/compiler/test_mono/generated/record_update.txt
View file

@ -1,25 +1,25 @@
procedure List.3 (List.108, List.109, List.110):
let List.544 : {List U64, U64} = CallByName List.64 List.108 List.109 List.110;
let List.543 : List U64 = StructAtIndex 0 List.544;
ret List.543;
procedure List.3 (List.110, List.111, List.112):
let List.554 : {List U64, U64} = CallByName List.64 List.110 List.111 List.112;
let List.553 : List U64 = StructAtIndex 0 List.554;
ret List.553;
procedure List.6 (#Attr.2):
let List.542 : U64 = lowlevel ListLen #Attr.2;
ret List.542;
let List.552 : U64 = lowlevel ListLen #Attr.2;
ret List.552;
procedure List.64 (List.105, List.106, List.107):
let List.541 : U64 = CallByName List.6 List.105;
let List.538 : Int1 = CallByName Num.22 List.106 List.541;
if List.538 then
let List.539 : {List U64, U64} = CallByName List.67 List.105 List.106 List.107;
ret List.539;
procedure List.64 (List.107, List.108, List.109):
let List.551 : U64 = CallByName List.6 List.107;
let List.548 : Int1 = CallByName Num.22 List.108 List.551;
if List.548 then
let List.549 : {List U64, U64} = CallByName List.67 List.107 List.108 List.109;
ret List.549;
else
let List.537 : {List U64, U64} = Struct {List.105, List.107};
ret List.537;
let List.547 : {List U64, U64} = Struct {List.107, List.109};
ret List.547;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):
let List.540 : {List U64, U64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.540;
let List.550 : {List U64, U64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.550;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.291 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

4
crates/compiler/test_mono/generated/recursive_function_and_union_with_inference_hole.txt
View file

@ -1,7 +1,7 @@
procedure List.5 (#Attr.2, #Attr.3):
let List.535 : List [<rnnu>C List *self] = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
let List.545 : List [<rnnu>C List *self] = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
decref #Attr.2;
ret List.535;
ret List.545;
procedure Test.2 (Test.5):
let Test.6 : List [<rnnu>C List *self] = UnionAtIndex (Id 0) (Index 0) Test.5;

60
crates/compiler/test_mono/generated/rigids.txt
View file

@ -1,43 +1,43 @@
procedure List.2 (List.100, List.101):
let List.557 : U64 = CallByName List.6 List.100;
let List.554 : Int1 = CallByName Num.22 List.101 List.557;
if List.554 then
let List.556 : I64 = CallByName List.66 List.100 List.101;
dec List.100;
let List.555 : [C {}, C I64] = TagId(1) List.556;
ret List.555;
procedure List.2 (List.102, List.103):
let List.567 : U64 = CallByName List.6 List.102;
let List.564 : Int1 = CallByName Num.22 List.103 List.567;
if List.564 then
let List.566 : I64 = CallByName List.66 List.102 List.103;
dec List.102;
let List.565 : [C {}, C I64] = TagId(1) List.566;
ret List.565;
else
dec List.100;
let List.553 : {} = Struct {};
let List.552 : [C {}, C I64] = TagId(0) List.553;
ret List.552;
dec List.102;
let List.563 : {} = Struct {};
let List.562 : [C {}, C I64] = TagId(0) List.563;
ret List.562;
procedure List.3 (List.108, List.109, List.110):
let List.544 : {List I64, I64} = CallByName List.64 List.108 List.109 List.110;
let List.543 : List I64 = StructAtIndex 0 List.544;
ret List.543;
procedure List.3 (List.110, List.111, List.112):
let List.554 : {List I64, I64} = CallByName List.64 List.110 List.111 List.112;
let List.553 : List I64 = StructAtIndex 0 List.554;
ret List.553;
procedure List.6 (#Attr.2):
let List.542 : U64 = lowlevel ListLen #Attr.2;
ret List.542;
let List.552 : U64 = lowlevel ListLen #Attr.2;
ret List.552;
procedure List.64 (List.105, List.106, List.107):
let List.541 : U64 = CallByName List.6 List.105;
let List.538 : Int1 = CallByName Num.22 List.106 List.541;
if List.538 then
let List.539 : {List I64, I64} = CallByName List.67 List.105 List.106 List.107;
ret List.539;
procedure List.64 (List.107, List.108, List.109):
let List.551 : U64 = CallByName List.6 List.107;
let List.548 : Int1 = CallByName Num.22 List.108 List.551;
if List.548 then
let List.549 : {List I64, I64} = CallByName List.67 List.107 List.108 List.109;
ret List.549;
else
let List.537 : {List I64, I64} = Struct {List.105, List.107};
ret List.537;
let List.547 : {List I64, I64} = Struct {List.107, List.109};
ret List.547;
procedure List.66 (#Attr.2, #Attr.3):
let List.550 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.550;
let List.560 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.560;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):
let List.540 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.540;
let List.550 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.550;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.293 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

272
crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_does_not_duplicate_identical_concrete_types.txt
View file

@ -33,167 +33,167 @@ procedure Encode.26 (Encode.105, Encode.106):
let Encode.108 : List U8 = CallByName Encode.24 Encode.109 Encode.110 Encode.106;
ret Encode.108;
procedure List.18 (List.145, List.146, List.147):
let List.562 : U64 = 0i64;
let List.563 : U64 = CallByName List.6 List.145;
let List.561 : {List U8, U64} = CallByName List.86 List.145 List.146 List.147 List.562 List.563;
ret List.561;
procedure List.18 (List.145, List.146, List.147):
let List.574 : U64 = 0i64;
let List.575 : U64 = CallByName List.6 List.145;
let List.573 : List U8 = CallByName List.86 List.145 List.146 List.147 List.574 List.575;
ret List.573;
procedure List.26 (List.172, List.173, List.174):
let List.615 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.96 List.172 List.173 List.174;
let List.618 : U8 = 1i64;
let List.619 : U8 = GetTagId List.615;
let List.620 : Int1 = lowlevel Eq List.618 List.619;
if List.620 then
let List.175 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.615;
ret List.175;
else
let List.176 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.615;
ret List.176;
procedure List.4 (List.116, List.117):
let List.560 : U64 = 1i64;
let List.559 : List U8 = CallByName List.70 List.116 List.560;
let List.558 : List U8 = CallByName List.71 List.559 List.117;
ret List.558;
procedure List.49 (List.390, List.391):
let List.607 : U64 = StructAtIndex 0 List.391;
let List.608 : U64 = 0i64;
let List.605 : Int1 = CallByName Bool.11 List.607 List.608;
if List.605 then
dec List.390;
let List.606 : List U8 = Array [];
ret List.606;
else
let List.602 : U64 = StructAtIndex 1 List.391;
let List.603 : U64 = StructAtIndex 0 List.391;
let List.601 : List U8 = CallByName List.72 List.390 List.602 List.603;
ret List.601;
procedure List.52 (List.405, List.406):
let List.407 : U64 = CallByName List.6 List.405;
joinpoint List.613 List.408:
let List.611 : U64 = 0i64;
let List.610 : {U64, U64} = Struct {List.408, List.611};
inc List.405;
let List.409 : List U8 = CallByName List.49 List.405 List.610;
let List.609 : U64 = CallByName Num.75 List.407 List.408;
let List.600 : {U64, U64} = Struct {List.609, List.408};
let List.410 : List U8 = CallByName List.49 List.405 List.600;
let List.599 : {List U8, List U8} = Struct {List.409, List.410};
ret List.599;
in
let List.614 : Int1 = CallByName Num.24 List.407 List.406;
if List.614 then
jump List.613 List.406;
else
jump List.613 List.407;
procedure List.6 (#Attr.2):
let List.585 : U64 = lowlevel ListLen #Attr.2;
ret List.585;
procedure List.6 (#Attr.2):
let List.587 : U64 = lowlevel ListLen #Attr.2;
ret List.587;
procedure List.66 (#Attr.2, #Attr.3):
let List.571 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.572 : U64 = 0i64;
let List.573 : U64 = CallByName List.6 List.147;
let List.571 : {List U8, U64} = CallByName List.87 List.147 List.148 List.149 List.572 List.573;
ret List.571;
procedure List.66 (#Attr.2, #Attr.3):
let List.583 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.584 : U64 = 0i64;
let List.585 : U64 = CallByName List.6 List.147;
let List.583 : List U8 = CallByName List.87 List.147 List.148 List.149 List.584 List.585;
ret List.583;
procedure List.26 (List.174, List.175, List.176):
let List.625 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.98 List.174 List.175 List.176;
let List.628 : U8 = 1i64;
let List.629 : U8 = GetTagId List.625;
let List.630 : Int1 = lowlevel Eq List.628 List.629;
if List.630 then
let List.177 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.625;
ret List.177;
else
let List.178 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.625;
ret List.178;
procedure List.4 (List.118, List.119):
let List.570 : U64 = 1i64;
let List.569 : List U8 = CallByName List.70 List.118 List.570;
let List.568 : List U8 = CallByName List.71 List.569 List.119;
ret List.568;
procedure List.49 (List.392, List.393):
let List.617 : U64 = StructAtIndex 0 List.393;
let List.618 : U64 = 0i64;
let List.615 : Int1 = CallByName Bool.11 List.617 List.618;
if List.615 then
dec List.392;
let List.616 : List U8 = Array [];
ret List.616;
else
let List.612 : U64 = StructAtIndex 1 List.393;
let List.613 : U64 = StructAtIndex 0 List.393;
let List.611 : List U8 = CallByName List.72 List.392 List.612 List.613;
ret List.611;
procedure List.52 (List.407, List.408):
let List.409 : U64 = CallByName List.6 List.407;
joinpoint List.623 List.410:
let List.621 : U64 = 0i64;
let List.620 : {U64, U64} = Struct {List.410, List.621};
inc List.407;
let List.411 : List U8 = CallByName List.49 List.407 List.620;
let List.619 : U64 = CallByName Num.75 List.409 List.410;
let List.610 : {U64, U64} = Struct {List.619, List.410};
let List.412 : List U8 = CallByName List.49 List.407 List.610;
let List.609 : {List U8, List U8} = Struct {List.411, List.412};
ret List.609;
in
let List.624 : Int1 = CallByName Num.24 List.409 List.408;
if List.624 then
jump List.623 List.408;
else
jump List.623 List.409;
procedure List.6 (#Attr.2):
let List.595 : U64 = lowlevel ListLen #Attr.2;
ret List.595;
procedure List.6 (#Attr.2):
let List.597 : U64 = lowlevel ListLen #Attr.2;
ret List.597;
procedure List.66 (#Attr.2, #Attr.3):
let List.581 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.581;
procedure List.66 (#Attr.2, #Attr.3):
let List.593 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.593;
procedure List.68 (#Attr.2):
let List.598 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.598;
let List.608 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.608;
procedure List.70 (#Attr.2, #Attr.3):
let List.539 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.539;
let List.549 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.549;
procedure List.71 (#Attr.2, #Attr.3):
let List.537 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.537;
let List.547 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.547;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.604 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.604;
let List.614 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.614;
procedure List.8 (#Attr.2, #Attr.3):
let List.596 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.596;
let List.606 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.606;
procedure List.80 (#Derived_gen.8, #Derived_gen.9, #Derived_gen.10, #Derived_gen.11, #Derived_gen.12):
joinpoint List.624 List.453 List.454 List.455 List.456 List.457:
let List.626 : Int1 = CallByName Num.22 List.456 List.457;
if List.626 then
let List.635 : U8 = CallByName List.66 List.453 List.456;
let List.627 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.454 List.635;
let List.632 : U8 = 1i64;
let List.633 : U8 = GetTagId List.627;
let List.634 : Int1 = lowlevel Eq List.632 List.633;
if List.634 then
let List.458 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.627;
let List.630 : U64 = 1i64;
let List.629 : U64 = CallByName Num.51 List.456 List.630;
jump List.624 List.453 List.458 List.455 List.629 List.457;
joinpoint List.634 List.463 List.464 List.465 List.466 List.467:
let List.636 : Int1 = CallByName Num.22 List.466 List.467;
if List.636 then
let List.645 : U8 = CallByName List.66 List.463 List.466;
let List.637 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.464 List.645;
let List.642 : U8 = 1i64;
let List.643 : U8 = GetTagId List.637;
let List.644 : Int1 = lowlevel Eq List.642 List.643;
if List.644 then
let List.468 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.637;
let List.640 : U64 = 1i64;
let List.639 : U64 = CallByName Num.51 List.466 List.640;
jump List.634 List.463 List.468 List.465 List.639 List.467;
else
dec List.453;
let List.459 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.627;
let List.631 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.459;
ret List.631;
dec List.463;
let List.469 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.637;
let List.641 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.469;
ret List.641;
else
dec List.453;
let List.625 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.454;
ret List.625;
dec List.463;
let List.635 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.464;
ret List.635;
in
jump List.624 #Derived_gen.8 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12;
jump List.634 #Derived_gen.8 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12;
procedure List.86 (#Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_gen.16, #Derived_gen.17):
joinpoint List.576 List.148 List.149 List.150 List.151 List.152:
let List.578 : Int1 = CallByName Num.22 List.151 List.152;
if List.578 then
let List.582 : U8 = CallByName List.66 List.148 List.151;
let List.153 : List U8 = CallByName TotallyNotJson.215 List.149 List.582;
let List.581 : U64 = 1i64;
let List.580 : U64 = CallByName Num.51 List.151 List.581;
jump List.576 List.148 List.153 List.150 List.580 List.152;
procedure List.87 (#Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_gen.16, #Derived_gen.17):
joinpoint List.586 List.150 List.151 List.152 List.153 List.154:
let List.588 : Int1 = CallByName Num.22 List.153 List.154;
if List.588 then
let List.592 : U8 = CallByName List.66 List.150 List.153;
let List.155 : List U8 = CallByName TotallyNotJson.215 List.151 List.592;
let List.591 : U64 = 1i64;
let List.590 : U64 = CallByName Num.51 List.153 List.591;
jump List.586 List.150 List.155 List.152 List.590 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.576 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17;
jump List.586 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17;
procedure List.86 (#Derived_gen.3, #Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.7):
joinpoint List.564 List.148 List.149 List.150 List.151 List.152:
let List.566 : Int1 = CallByName Num.22 List.151 List.152;
if List.566 then
let List.570 : Str = CallByName List.66 List.148 List.151;
inc List.570;
let List.153 : {List U8, U64} = CallByName TotallyNotJson.267 List.149 List.570 List.150;
let List.569 : U64 = 1i64;
let List.568 : U64 = CallByName Num.51 List.151 List.569;
jump List.564 List.148 List.153 List.150 List.568 List.152;
procedure List.87 (#Derived_gen.3, #Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.7):
joinpoint List.574 List.150 List.151 List.152 List.153 List.154:
let List.576 : Int1 = CallByName Num.22 List.153 List.154;
if List.576 then
let List.580 : Str = CallByName List.66 List.150 List.153;
inc List.580;
let List.155 : {List U8, U64} = CallByName TotallyNotJson.267 List.151 List.580 List.152;
let List.579 : U64 = 1i64;
let List.578 : U64 = CallByName Num.51 List.153 List.579;
jump List.574 List.150 List.155 List.152 List.578 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.564 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7;
jump List.574 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7;
procedure List.96 (List.450, List.451, List.452):
let List.622 : U64 = 0i64;
let List.623 : U64 = CallByName List.6 List.450;
let List.621 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.450 List.451 List.452 List.622 List.623;
ret List.621;
procedure List.98 (List.460, List.461, List.462):
let List.632 : U64 = 0i64;
let List.633 : U64 = CallByName List.6 List.460;
let List.631 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.460 List.461 List.462 List.632 List.633;
ret List.631;
procedure Num.127 (#Attr.2):
let Num.298 : U8 = lowlevel NumIntCast #Attr.2;

120
crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_keeps_all_concrete_types_without_unification_of_unifiable.txt
View file

@ -81,81 +81,81 @@ procedure Encode.26 (Encode.105, Encode.106):
let Encode.108 : List U8 = CallByName Encode.24 Encode.109 Encode.110 Encode.106;
ret Encode.108;
procedure List.18 (List.145, List.146, List.147):
let List.562 : U64 = 0i64;
let List.563 : U64 = CallByName List.6 List.145;
let List.561 : {List U8, U64} = CallByName List.86 List.145 List.146 List.147 List.562 List.563;
ret List.561;
procedure List.18 (List.145, List.146, List.147):
let List.602 : U64 = 0i64;
let List.603 : U64 = CallByName List.6 List.145;
let List.601 : {List U8, U64} = CallByName List.86 List.145 List.146 List.147 List.602 List.603;
ret List.601;
procedure List.4 (List.116, List.117):
let List.600 : U64 = 1i64;
let List.599 : List U8 = CallByName List.70 List.116 List.600;
let List.598 : List U8 = CallByName List.71 List.599 List.117;
ret List.598;
procedure List.6 (#Attr.2):
let List.573 : U64 = lowlevel ListLen #Attr.2;
ret List.573;
procedure List.6 (#Attr.2):
let List.613 : U64 = lowlevel ListLen #Attr.2;
ret List.613;
procedure List.66 (#Attr.2, #Attr.3):
let List.571 : [C {}, C {}] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.572 : U64 = 0i64;
let List.573 : U64 = CallByName List.6 List.147;
let List.571 : {List U8, U64} = CallByName List.87 List.147 List.148 List.149 List.572 List.573;
ret List.571;
procedure List.66 (#Attr.2, #Attr.3):
let List.611 : [] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
procedure List.18 (List.147, List.148, List.149):
let List.612 : U64 = 0i64;
let List.613 : U64 = CallByName List.6 List.147;
let List.611 : {List U8, U64} = CallByName List.87 List.147 List.148 List.149 List.612 List.613;
ret List.611;
procedure List.4 (List.118, List.119):
let List.610 : U64 = 1i64;
let List.609 : List U8 = CallByName List.70 List.118 List.610;
let List.608 : List U8 = CallByName List.71 List.609 List.119;
ret List.608;
procedure List.6 (#Attr.2):
let List.583 : U64 = lowlevel ListLen #Attr.2;
ret List.583;
procedure List.6 (#Attr.2):
let List.623 : U64 = lowlevel ListLen #Attr.2;
ret List.623;
procedure List.66 (#Attr.2, #Attr.3):
let List.581 : [C {}, C {}] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.581;
procedure List.66 (#Attr.2, #Attr.3):
let List.621 : [] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.621;
procedure List.70 (#Attr.2, #Attr.3):
let List.579 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.579;
let List.589 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.589;
procedure List.71 (#Attr.2, #Attr.3):
let List.577 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.577;
let List.587 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.587;
procedure List.8 (#Attr.2, #Attr.3):
let List.614 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.614;
let List.624 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.624;
procedure List.86 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24):
joinpoint List.564 List.148 List.149 List.150 List.151 List.152:
let List.566 : Int1 = CallByName Num.22 List.151 List.152;
if List.566 then
let List.570 : [C {}, C {}] = CallByName List.66 List.148 List.151;
let List.153 : {List U8, U64} = CallByName TotallyNotJson.267 List.149 List.570 List.150;
let List.569 : U64 = 1i64;
let List.568 : U64 = CallByName Num.51 List.151 List.569;
jump List.564 List.148 List.153 List.150 List.568 List.152;
procedure List.87 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24):
joinpoint List.574 List.150 List.151 List.152 List.153 List.154:
let List.576 : Int1 = CallByName Num.22 List.153 List.154;
if List.576 then
let List.580 : [C {}, C {}] = CallByName List.66 List.150 List.153;
let List.155 : {List U8, U64} = CallByName TotallyNotJson.267 List.151 List.580 List.152;
let List.579 : U64 = 1i64;
let List.578 : U64 = CallByName Num.51 List.153 List.579;
jump List.574 List.150 List.155 List.152 List.578 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.564 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24;
jump List.574 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24;
procedure List.86 (#Derived_gen.34, #Derived_gen.35, #Derived_gen.36, #Derived_gen.37, #Derived_gen.38):
joinpoint List.604 List.148 List.149 List.150 List.151 List.152:
let List.606 : Int1 = CallByName Num.22 List.151 List.152;
if List.606 then
let List.610 : [] = CallByName List.66 List.148 List.151;
let List.153 : {List U8, U64} = CallByName TotallyNotJson.267 List.149 List.610 List.150;
let List.609 : U64 = 1i64;
let List.608 : U64 = CallByName Num.51 List.151 List.609;
jump List.604 List.148 List.153 List.150 List.608 List.152;
procedure List.87 (#Derived_gen.25, #Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29):
joinpoint List.614 List.150 List.151 List.152 List.153 List.154:
let List.616 : Int1 = CallByName Num.22 List.153 List.154;
if List.616 then
let List.620 : [] = CallByName List.66 List.150 List.153;
let List.155 : {List U8, U64} = CallByName TotallyNotJson.267 List.151 List.620 List.152;
let List.619 : U64 = 1i64;
let List.618 : U64 = CallByName Num.51 List.153 List.619;
jump List.614 List.150 List.155 List.152 List.618 List.154;
else
dec List.148;
ret List.149;
dec List.150;
ret List.151;
in
jump List.604 #Derived_gen.34 #Derived_gen.35 #Derived_gen.36 #Derived_gen.37 #Derived_gen.38;
jump List.614 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29;
procedure Num.127 (#Attr.2):
let Num.310 : U8 = lowlevel NumIntCast #Attr.2;

130
crates/compiler/test_mono/generated/weakening_avoids_overspecialization.txt
View file

@ -2,88 +2,88 @@ procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.24 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
ret Bool.24;
procedure List.26 (List.172, List.173, List.174):
let List.550 : [C U64, C U64] = CallByName List.96 List.172 List.173 List.174;
let List.553 : U8 = 1i64;
let List.554 : U8 = GetTagId List.550;
let List.555 : Int1 = lowlevel Eq List.553 List.554;
if List.555 then
let List.175 : U64 = UnionAtIndex (Id 1) (Index 0) List.550;
ret List.175;
procedure List.26 (List.174, List.175, List.176):
let List.560 : [C U64, C U64] = CallByName List.98 List.174 List.175 List.176;
let List.563 : U8 = 1i64;
let List.564 : U8 = GetTagId List.560;
let List.565 : Int1 = lowlevel Eq List.563 List.564;
if List.565 then
let List.177 : U64 = UnionAtIndex (Id 1) (Index 0) List.560;
ret List.177;
else
let List.176 : U64 = UnionAtIndex (Id 0) (Index 0) List.550;
ret List.176;
let List.178 : U64 = UnionAtIndex (Id 0) (Index 0) List.560;
ret List.178;
procedure List.29 (List.317, List.318):
let List.549 : U64 = CallByName List.6 List.317;
let List.319 : U64 = CallByName Num.77 List.549 List.318;
let List.535 : List U8 = CallByName List.43 List.317 List.319;
ret List.535;
procedure List.29 (List.319, List.320):
let List.559 : U64 = CallByName List.6 List.319;
let List.321 : U64 = CallByName Num.77 List.559 List.320;
let List.545 : List U8 = CallByName List.43 List.319 List.321;
ret List.545;
procedure List.43 (List.315, List.316):
let List.547 : U64 = CallByName List.6 List.315;
let List.546 : U64 = CallByName Num.77 List.547 List.316;
let List.537 : {U64, U64} = Struct {List.316, List.546};
let List.536 : List U8 = CallByName List.49 List.315 List.537;
ret List.536;
procedure List.43 (List.317, List.318):
let List.557 : U64 = CallByName List.6 List.317;
let List.556 : U64 = CallByName Num.77 List.557 List.318;
let List.547 : {U64, U64} = Struct {List.318, List.556};
let List.546 : List U8 = CallByName List.49 List.317 List.547;
ret List.546;
procedure List.49 (List.390, List.391):
let List.544 : U64 = StructAtIndex 0 List.391;
let List.545 : U64 = 0i64;
let List.542 : Int1 = CallByName Bool.11 List.544 List.545;
if List.542 then
dec List.390;
let List.543 : List U8 = Array [];
ret List.543;
procedure List.49 (List.392, List.393):
let List.554 : U64 = StructAtIndex 0 List.393;
let List.555 : U64 = 0i64;
let List.552 : Int1 = CallByName Bool.11 List.554 List.555;
if List.552 then
dec List.392;
let List.553 : List U8 = Array [];
ret List.553;
else
let List.539 : U64 = StructAtIndex 1 List.391;
let List.540 : U64 = StructAtIndex 0 List.391;
let List.538 : List U8 = CallByName List.72 List.390 List.539 List.540;
ret List.538;
let List.549 : U64 = StructAtIndex 1 List.393;
let List.550 : U64 = StructAtIndex 0 List.393;
let List.548 : List U8 = CallByName List.72 List.392 List.549 List.550;
ret List.548;
procedure List.6 (#Attr.2):
let List.548 : U64 = lowlevel ListLen #Attr.2;
ret List.548;
let List.558 : U64 = lowlevel ListLen #Attr.2;
ret List.558;
procedure List.66 (#Attr.2, #Attr.3):
let List.571 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.571;
let List.581 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.581;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.541 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.541;
let List.551 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.551;
procedure List.80 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
joinpoint List.559 List.453 List.454 List.455 List.456 List.457:
let List.561 : Int1 = CallByName Num.22 List.456 List.457;
if List.561 then
let List.570 : U8 = CallByName List.66 List.453 List.456;
let List.562 : [C U64, C U64] = CallByName Test.3 List.454 List.570;
let List.567 : U8 = 1i64;
let List.568 : U8 = GetTagId List.562;
let List.569 : Int1 = lowlevel Eq List.567 List.568;
if List.569 then
let List.458 : U64 = UnionAtIndex (Id 1) (Index 0) List.562;
let List.565 : U64 = 1i64;
let List.564 : U64 = CallByName Num.51 List.456 List.565;
jump List.559 List.453 List.458 List.455 List.564 List.457;
joinpoint List.569 List.463 List.464 List.465 List.466 List.467:
let List.571 : Int1 = CallByName Num.22 List.466 List.467;
if List.571 then
let List.580 : U8 = CallByName List.66 List.463 List.466;
let List.572 : [C U64, C U64] = CallByName Test.3 List.464 List.580;
let List.577 : U8 = 1i64;
let List.578 : U8 = GetTagId List.572;
let List.579 : Int1 = lowlevel Eq List.577 List.578;
if List.579 then
let List.468 : U64 = UnionAtIndex (Id 1) (Index 0) List.572;
let List.575 : U64 = 1i64;
let List.574 : U64 = CallByName Num.51 List.466 List.575;
jump List.569 List.463 List.468 List.465 List.574 List.467;
else
dec List.453;
let List.459 : U64 = UnionAtIndex (Id 0) (Index 0) List.562;
let List.566 : [C U64, C U64] = TagId(0) List.459;
ret List.566;
dec List.463;
let List.469 : U64 = UnionAtIndex (Id 0) (Index 0) List.572;
let List.576 : [C U64, C U64] = TagId(0) List.469;
ret List.576;
else
dec List.453;
let List.560 : [C U64, C U64] = TagId(1) List.454;
ret List.560;
dec List.463;
let List.570 : [C U64, C U64] = TagId(1) List.464;
ret List.570;
in
jump List.559 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
jump List.569 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
procedure List.96 (List.450, List.451, List.452):
let List.557 : U64 = 0i64;
let List.558 : U64 = CallByName List.6 List.450;
let List.556 : [C U64, C U64] = CallByName List.80 List.450 List.451 List.452 List.557 List.558;
ret List.556;
procedure List.98 (List.460, List.461, List.462):
let List.567 : U64 = 0i64;
let List.568 : U64 = CallByName List.6 List.460;
let List.566 : [C U64, C U64] = CallByName List.80 List.460 List.461 List.462 List.567 List.568;
ret List.566;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.294 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;