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

Add update to symbols table and auto generate test_mono

Browse source
This commit is contained in:
Kilian Vounckx 2023-05-30 08:58:11 +02:00
parent c22a9ef8b5
commit d43a78d000
No known key found for this signature in database
GPG key ID: 9E8B0D7D30F20264
38 changed files with 1959 additions and 1958 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/compiler/module/src/symbol.rs
View file

@ -1422,6 +1422,7 @@ define_builtins! {
79 LIST_WALK_FROM_UNTIL: "walkFromUntil"
80 LIST_ITER_HELP: "iterHelp"
81 LIST_RELEASE_EXCESS_CAPACITY: "releaseExcessCapacity"
82 LIST_UPDATE: "update"
}
7 RESULT: "Result" => {
0 RESULT_RESULT: "Result" exposed_type=true // the Result.Result type alias

132
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.153, List.154, List.155):
let List.509 : [C U64, C U64] = CallByName List.92 List.153 List.154 List.155;
let List.512 : U8 = 1i64;
let List.513 : U8 = GetTagId List.509;
let List.514 : Int1 = lowlevel Eq List.512 List.513;
if List.514 then
let List.156 : U64 = UnionAtIndex (Id 1) (Index 0) List.509;
ret List.156;
procedure List.26 (List.159, List.160, List.161):
let List.536 : [C U64, C U64] = CallByName List.93 List.159 List.160 List.161;
let List.539 : U8 = 1i64;
let List.540 : U8 = GetTagId List.536;
let List.541 : Int1 = lowlevel Eq List.539 List.540;
if List.541 then
let List.162 : U64 = UnionAtIndex (Id 1) (Index 0) List.536;
ret List.162;
else
let List.157 : U64 = UnionAtIndex (Id 0) (Index 0) List.509;
ret List.157;
let List.163 : U64 = UnionAtIndex (Id 0) (Index 0) List.536;
ret List.163;
procedure List.29 (List.298, List.299):
let List.508 : U64 = CallByName List.6 List.298;
let List.300 : U64 = CallByName Num.77 List.508 List.299;
let List.494 : List U8 = CallByName List.43 List.298 List.300;
ret List.494;
procedure List.29 (List.304, List.305):
let List.535 : U64 = CallByName List.6 List.304;
let List.306 : U64 = CallByName Num.77 List.535 List.305;
let List.521 : List U8 = CallByName List.43 List.304 List.306;
ret List.521;
procedure List.43 (List.296, List.297):
let List.506 : U64 = CallByName List.6 List.296;
let List.505 : U64 = CallByName Num.77 List.506 List.297;
let List.496 : {U64, U64} = Struct {List.297, List.505};
let List.495 : List U8 = CallByName List.49 List.296 List.496;
ret List.495;
procedure List.43 (List.302, List.303):
let List.533 : U64 = CallByName List.6 List.302;
let List.532 : U64 = CallByName Num.77 List.533 List.303;
let List.523 : {U64, U64} = Struct {List.303, List.532};
let List.522 : List U8 = CallByName List.49 List.302 List.523;
ret List.522;
procedure List.49 (List.370, List.371):
let List.503 : U64 = StructAtIndex 0 List.371;
let List.504 : U64 = 0i64;
let List.501 : Int1 = CallByName Bool.11 List.503 List.504;
if List.501 then
dec List.370;
let List.502 : List U8 = Array [];
ret List.502;
procedure List.49 (List.376, List.377):
let List.530 : U64 = StructAtIndex 0 List.377;
let List.531 : U64 = 0i64;
let List.528 : Int1 = CallByName Bool.11 List.530 List.531;
if List.528 then
dec List.376;
let List.529 : List U8 = Array [];
ret List.529;
else
let List.498 : U64 = StructAtIndex 1 List.371;
let List.499 : U64 = StructAtIndex 0 List.371;
let List.497 : List U8 = CallByName List.72 List.370 List.498 List.499;
ret List.497;
let List.525 : U64 = StructAtIndex 1 List.377;
let List.526 : U64 = StructAtIndex 0 List.377;
let List.524 : List U8 = CallByName List.72 List.376 List.525 List.526;
ret List.524;
procedure List.6 (#Attr.2):
let List.507 : U64 = lowlevel ListLen #Attr.2;
ret List.507;
let List.534 : U64 = lowlevel ListLen #Attr.2;
ret List.534;
procedure List.66 (#Attr.2, #Attr.3):
let List.530 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.530;
let List.557 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.557;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.500 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.500;
let List.527 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.527;
procedure List.80 (List.544, List.545, List.546, List.547, List.548):
joinpoint List.518 List.433 List.434 List.435 List.436 List.437:
let List.520 : Int1 = CallByName Num.22 List.436 List.437;
if List.520 then
let List.529 : U8 = CallByName List.66 List.433 List.436;
let List.521 : [C U64, C U64] = CallByName Test.4 List.434 List.529;
let List.526 : U8 = 1i64;
let List.527 : U8 = GetTagId List.521;
let List.528 : Int1 = lowlevel Eq List.526 List.527;
if List.528 then
let List.438 : U64 = UnionAtIndex (Id 1) (Index 0) List.521;
let List.524 : U64 = 1i64;
let List.523 : U64 = CallByName Num.19 List.436 List.524;
jump List.518 List.433 List.438 List.435 List.523 List.437;
procedure List.80 (List.571, List.572, List.573, List.574, List.575):
joinpoint List.545 List.439 List.440 List.441 List.442 List.443:
let List.547 : Int1 = CallByName Num.22 List.442 List.443;
if List.547 then
let List.556 : U8 = CallByName List.66 List.439 List.442;
let List.548 : [C U64, C U64] = CallByName Test.4 List.440 List.556;
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.444 : U64 = UnionAtIndex (Id 1) (Index 0) List.548;
let List.551 : U64 = 1i64;
let List.550 : U64 = CallByName Num.19 List.442 List.551;
jump List.545 List.439 List.444 List.441 List.550 List.443;
else
dec List.433;
let List.439 : U64 = UnionAtIndex (Id 0) (Index 0) List.521;
let List.525 : [C U64, C U64] = TagId(0) List.439;
ret List.525;
dec List.439;
let List.445 : U64 = UnionAtIndex (Id 0) (Index 0) List.548;
let List.552 : [C U64, C U64] = TagId(0) List.445;
ret List.552;
else
dec List.433;
let List.519 : [C U64, C U64] = TagId(1) List.434;
ret List.519;
dec List.439;
let List.546 : [C U64, C U64] = TagId(1) List.440;
ret List.546;
in
jump List.518 List.544 List.545 List.546 List.547 List.548;
jump List.545 List.571 List.572 List.573 List.574 List.575;
procedure List.92 (List.430, List.431, List.432):
let List.516 : U64 = 0i64;
let List.517 : U64 = CallByName List.6 List.430;
let List.515 : [C U64, C U64] = CallByName List.80 List.430 List.431 List.432 List.516 List.517;
ret List.515;
procedure List.93 (List.436, List.437, List.438):
let List.543 : U64 = 0i64;
let List.544 : U64 = CallByName List.6 List.436;
let List.542 : [C U64, C U64] = CallByName List.80 List.436 List.437 List.438 List.543 List.544;
ret List.542;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.283 : U64 = lowlevel NumAdd #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.494 : List {} = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
let List.521 : List {} = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
decref #Attr.2;
ret List.494;
ret List.521;
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.494 : List [] = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
let List.521 : List [] = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
decref #Attr.2;
ret List.494;
ret List.521;
procedure Test.2 (Test.3):
let Test.7 : {} = Struct {};

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.96, List.97):
let List.508 : U64 = CallByName List.6 List.96;
let List.504 : Int1 = CallByName Num.22 List.97 List.508;
if List.504 then
let List.506 : Str = CallByName List.66 List.96 List.97;
inc List.506;
dec List.96;
let List.505 : [C {}, C Str] = TagId(1) List.506;
ret List.505;
procedure List.2 (List.97, List.98):
let List.535 : U64 = CallByName List.6 List.97;
let List.531 : Int1 = CallByName Num.22 List.98 List.535;
if List.531 then
let List.533 : Str = CallByName List.66 List.97 List.98;
inc List.533;
dec List.97;
let List.532 : [C {}, C Str] = TagId(1) List.533;
ret List.532;
else
dec List.96;
let List.503 : {} = Struct {};
let List.502 : [C {}, C Str] = TagId(0) List.503;
ret List.502;
dec List.97;
let List.530 : {} = Struct {};
let List.529 : [C {}, C Str] = TagId(0) List.530;
ret List.529;
procedure List.5 (#Attr.2, #Attr.3):
let List.510 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.10 #Attr.3;
let List.537 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.10 #Attr.3;
decref #Attr.2;
ret List.510;
ret List.537;
procedure List.6 (#Attr.2):
let List.509 : U64 = lowlevel ListLen #Attr.2;
ret List.509;
let List.536 : U64 = lowlevel ListLen #Attr.2;
ret List.536;
procedure List.66 (#Attr.2, #Attr.3):
let List.507 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.507;
let List.534 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.534;
procedure List.9 (List.287):
let List.501 : U64 = 0i64;
let List.494 : [C {}, C Str] = CallByName List.2 List.287 List.501;
let List.498 : U8 = 1i64;
let List.499 : U8 = GetTagId List.494;
let List.500 : Int1 = lowlevel Eq List.498 List.499;
if List.500 then
let List.288 : Str = UnionAtIndex (Id 1) (Index 0) List.494;
let List.495 : [C {}, C Str] = TagId(1) List.288;
ret List.495;
procedure List.9 (List.293):
let List.528 : U64 = 0i64;
let List.521 : [C {}, C Str] = CallByName List.2 List.293 List.528;
let List.525 : U8 = 1i64;
let List.526 : U8 = GetTagId List.521;
let List.527 : Int1 = lowlevel Eq List.525 List.526;
if List.527 then
let List.294 : Str = UnionAtIndex (Id 1) (Index 0) List.521;
let List.522 : [C {}, C Str] = TagId(1) List.294;
ret List.522;
else
dec List.494;
let List.497 : {} = Struct {};
let List.496 : [C {}, C Str] = TagId(0) List.497;
ret List.496;
dec List.521;
let List.524 : {} = Struct {};
let List.523 : [C {}, C Str] = TagId(0) List.524;
ret List.523;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.281 : 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.494 : U64 = lowlevel ListLen #Attr.2;
ret List.494;
let List.521 : U64 = lowlevel ListLen #Attr.2;
ret List.521;
procedure Test.1 (Test.5):
let Test.2 : I64 = 41i64;

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

@ -2,42 +2,42 @@ procedure Bool.2 ():
let Bool.23 : Int1 = true;
ret Bool.23;
procedure List.139 (List.140, List.141, List.138):
let List.513 : [<rnw><null>, C *self Int1, C *self Int1] = CallByName Test.6 List.140 List.141 List.138;
ret List.513;
procedure List.145 (List.146, List.147, List.144):
let List.540 : [<rnw><null>, C *self Int1, C *self Int1] = CallByName Test.6 List.146 List.147 List.144;
ret List.540;
procedure List.18 (List.136, List.137, List.138):
let List.494 : [<rnw><null>, C *self Int1, C *self Int1] = CallByName List.92 List.136 List.137 List.138;
ret List.494;
procedure List.18 (List.142, List.143, List.144):
let List.521 : [<rnw><null>, C *self Int1, C *self Int1] = CallByName List.93 List.142 List.143 List.144;
ret List.521;
procedure List.6 (#Attr.2):
let List.511 : U64 = lowlevel ListLen #Attr.2;
ret List.511;
let List.538 : U64 = lowlevel ListLen #Attr.2;
ret List.538;
procedure List.66 (#Attr.2, #Attr.3):
let List.510 : Int1 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.510;
let List.537 : Int1 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.537;
procedure List.80 (List.517, List.518, List.519, List.520, List.521):
joinpoint List.500 List.433 List.434 List.435 List.436 List.437:
let List.502 : Int1 = CallByName Num.22 List.436 List.437;
if List.502 then
let List.509 : Int1 = CallByName List.66 List.433 List.436;
let List.503 : [<rnw><null>, C *self Int1, C *self Int1] = CallByName List.139 List.434 List.509 List.435;
let List.506 : U64 = 1i64;
let List.505 : U64 = CallByName Num.19 List.436 List.506;
jump List.500 List.433 List.503 List.435 List.505 List.437;
procedure List.80 (List.544, List.545, List.546, List.547, List.548):
joinpoint List.527 List.439 List.440 List.441 List.442 List.443:
let List.529 : Int1 = CallByName Num.22 List.442 List.443;
if List.529 then
let List.536 : Int1 = CallByName List.66 List.439 List.442;
let List.530 : [<rnw><null>, C *self Int1, C *self Int1] = CallByName List.145 List.440 List.536 List.441;
let List.533 : U64 = 1i64;
let List.532 : U64 = CallByName Num.19 List.442 List.533;
jump List.527 List.439 List.530 List.441 List.532 List.443;
else
dec List.433;
ret List.434;
dec List.439;
ret List.440;
in
jump List.500 List.517 List.518 List.519 List.520 List.521;
jump List.527 List.544 List.545 List.546 List.547 List.548;
procedure List.92 (List.430, List.431, List.432):
let List.498 : U64 = 0i64;
let List.499 : U64 = CallByName List.6 List.430;
let List.497 : [<rnw><null>, C *self Int1, C *self Int1] = CallByName List.80 List.430 List.431 List.432 List.498 List.499;
ret List.497;
procedure List.93 (List.436, List.437, List.438):
let List.525 : U64 = 0i64;
let List.526 : U64 = CallByName List.6 List.436;
let List.524 : [<rnw><null>, C *self Int1, C *self Int1] = CallByName List.80 List.436 List.437 List.438 List.525 List.526;
ret List.524;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.281 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;

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

@ -24,59 +24,59 @@ procedure Dict.4 (Dict.543):
dec #Derived_gen.0;
ret Dict.97;
procedure List.11 (List.115, List.116):
let List.495 : List I8 = CallByName List.68 List.116;
let List.494 : List I8 = CallByName List.82 List.115 List.116 List.495;
ret List.494;
procedure List.11 (List.121, List.122):
let List.522 : List I8 = CallByName List.68 List.122;
let List.521 : List I8 = CallByName List.83 List.121 List.122 List.522;
ret List.521;
procedure List.11 (List.115, List.116):
let List.507 : List U64 = CallByName List.68 List.116;
let List.506 : List U64 = CallByName List.82 List.115 List.116 List.507;
ret List.506;
procedure List.11 (List.121, List.122):
let List.534 : List U64 = CallByName List.68 List.122;
let List.533 : List U64 = CallByName List.83 List.121 List.122 List.534;
ret List.533;
procedure List.68 (#Attr.2):
let List.505 : List I8 = lowlevel ListWithCapacity #Attr.2;
ret List.505;
let List.532 : List I8 = lowlevel ListWithCapacity #Attr.2;
ret List.532;
procedure List.68 (#Attr.2):
let List.517 : List U64 = lowlevel ListWithCapacity #Attr.2;
ret List.517;
let List.544 : List U64 = lowlevel ListWithCapacity #Attr.2;
ret List.544;
procedure List.71 (#Attr.2, #Attr.3):
let List.502 : List I8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.502;
let List.529 : List I8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.529;
procedure List.71 (#Attr.2, #Attr.3):
let List.514 : List U64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.514;
let List.541 : List U64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.541;
procedure List.82 (List.518, List.519, List.520):
joinpoint List.496 List.117 List.118 List.119:
let List.504 : U64 = 0i64;
let List.498 : Int1 = CallByName Num.24 List.118 List.504;
if List.498 then
let List.503 : U64 = 1i64;
let List.500 : U64 = CallByName Num.20 List.118 List.503;
let List.501 : List I8 = CallByName List.71 List.119 List.117;
jump List.496 List.117 List.500 List.501;
procedure List.83 (List.545, List.546, List.547):
joinpoint List.523 List.123 List.124 List.125:
let List.531 : U64 = 0i64;
let List.525 : Int1 = CallByName Num.24 List.124 List.531;
if List.525 then
let List.530 : U64 = 1i64;
let List.527 : U64 = CallByName Num.20 List.124 List.530;
let List.528 : List I8 = CallByName List.71 List.125 List.123;
jump List.523 List.123 List.527 List.528;
else
ret List.119;
ret List.125;
in
jump List.496 List.518 List.519 List.520;
jump List.523 List.545 List.546 List.547;
procedure List.82 (List.526, List.527, List.528):
joinpoint List.508 List.117 List.118 List.119:
let List.516 : U64 = 0i64;
let List.510 : Int1 = CallByName Num.24 List.118 List.516;
if List.510 then
let List.515 : U64 = 1i64;
let List.512 : U64 = CallByName Num.20 List.118 List.515;
let List.513 : List U64 = CallByName List.71 List.119 List.117;
jump List.508 List.117 List.512 List.513;
procedure List.83 (List.553, List.554, List.555):
joinpoint List.535 List.123 List.124 List.125:
let List.543 : U64 = 0i64;
let List.537 : Int1 = CallByName Num.24 List.124 List.543;
if List.537 then
let List.542 : U64 = 1i64;
let List.539 : U64 = CallByName Num.20 List.124 List.542;
let List.540 : List U64 = CallByName List.71 List.125 List.123;
jump List.535 List.123 List.539 List.540;
else
ret List.119;
ret List.125;
in
jump List.508 List.526 List.527 List.528;
jump List.535 List.553 List.554 List.555;
procedure Num.20 (#Attr.2, #Attr.3):
let Num.282 : U64 = lowlevel NumSub #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.96, List.97):
let List.500 : U64 = CallByName List.6 List.96;
let List.496 : Int1 = CallByName Num.22 List.97 List.500;
if List.496 then
let List.498 : {} = CallByName List.66 List.96 List.97;
dec List.96;
let List.497 : [C {}, C {}] = TagId(1) List.498;
ret List.497;
procedure List.2 (List.97, List.98):
let List.527 : U64 = CallByName List.6 List.97;
let List.523 : Int1 = CallByName Num.22 List.98 List.527;
if List.523 then
let List.525 : {} = CallByName List.66 List.97 List.98;
dec List.97;
let List.524 : [C {}, C {}] = TagId(1) List.525;
ret List.524;
else
dec List.96;
let List.495 : {} = Struct {};
let List.494 : [C {}, C {}] = TagId(0) List.495;
ret List.494;
dec List.97;
let List.522 : {} = Struct {};
let List.521 : [C {}, C {}] = TagId(0) List.522;
ret List.521;
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
let List.528 : U64 = lowlevel ListLen #Attr.2;
ret List.528;
procedure List.66 (#Attr.2, #Attr.3):
let List.499 : {} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.499;
let List.526 : {} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.526;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.281 : 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.107, List.108):
let List.497 : U64 = 1i64;
let List.495 : List U8 = CallByName List.70 List.107 List.497;
let List.494 : List U8 = CallByName List.71 List.495 List.108;
ret List.494;
procedure List.4 (List.113, List.114):
let List.524 : U64 = 1i64;
let List.522 : List U8 = CallByName List.70 List.113 List.524;
let List.521 : List U8 = CallByName List.71 List.522 List.114;
ret List.521;
procedure List.70 (#Attr.2, #Attr.3):
let List.498 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.498;
let List.525 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.525;
procedure List.71 (#Attr.2, #Attr.3):
let List.496 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.496;
let List.523 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.523;
procedure Test.23 (Test.24, Test.35, Test.22):
let Test.37 : List U8 = CallByName List.4 Test.24 Test.22;

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

@ -1168,259 +1168,259 @@ procedure Json.99 (Json.849):
ret Json.849;
procedure List.13 (#Attr.2, #Attr.3):
let List.703 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
ret List.703;
let List.730 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
ret List.730;
procedure List.139 (List.140, List.141, List.138):
let List.543 : {List U8, U64} = CallByName Json.236 List.140 List.141 List.138;
ret List.543;
procedure List.145 (List.146, List.147, List.144):
let List.570 : {List U8, U64} = CallByName Json.236 List.146 List.147 List.144;
ret List.570;
procedure List.139 (List.140, List.141, List.138):
let List.651 : {List U8, U64} = CallByName Json.236 List.140 List.141 List.138;
ret List.651;
procedure List.145 (List.146, List.147, List.144):
let List.678 : {List U8, U64} = CallByName Json.236 List.146 List.147 List.144;
ret List.678;
procedure List.139 (List.140, List.141, List.138):
let List.671 : List U8 = CallByName Json.214 List.140 List.141;
ret List.671;
procedure List.145 (List.146, List.147, List.144):
let List.698 : List U8 = CallByName Json.214 List.146 List.147;
ret List.698;
procedure List.18 (List.136, List.137, List.138):
let List.524 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.524;
procedure List.18 (List.142, List.143, List.144):
let List.551 : {List U8, U64} = CallByName List.93 List.142 List.143 List.144;
ret List.551;
procedure List.18 (List.136, List.137, List.138):
let List.632 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.632;
procedure List.18 (List.142, List.143, List.144):
let List.659 : {List U8, U64} = CallByName List.93 List.142 List.143 List.144;
ret List.659;
procedure List.18 (List.136, List.137, List.138):
let List.652 : List U8 = CallByName List.92 List.136 List.137 List.138;
ret List.652;
procedure List.18 (List.142, List.143, List.144):
let List.679 : List U8 = CallByName List.93 List.142 List.143 List.144;
ret List.679;
procedure List.26 (List.153, List.154, List.155):
let List.720 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.92 List.153 List.154 List.155;
let List.723 : U8 = 1i64;
let List.724 : U8 = GetTagId List.720;
let List.725 : Int1 = lowlevel Eq List.723 List.724;
if List.725 then
let List.156 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.720;
ret List.156;
procedure List.26 (List.159, List.160, List.161):
let List.747 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.93 List.159 List.160 List.161;
let List.750 : U8 = 1i64;
let List.751 : U8 = GetTagId List.747;
let List.752 : Int1 = lowlevel Eq List.750 List.751;
if List.752 then
let List.162 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.747;
ret List.162;
else
let List.157 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.720;
ret List.157;
let List.163 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.747;
ret List.163;
procedure List.31 (#Attr.2, #Attr.3):
let List.685 : List Str = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.685;
let List.712 : List Str = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.712;
procedure List.38 (List.292):
let List.693 : U64 = 0i64;
let List.692 : List Str = CallByName List.31 List.292 List.693;
ret List.692;
procedure List.38 (List.298):
let List.720 : U64 = 0i64;
let List.719 : List Str = CallByName List.31 List.298 List.720;
ret List.719;
procedure List.4 (List.107, List.108):
let List.628 : U64 = 1i64;
let List.627 : List Str = CallByName List.70 List.107 List.628;
let List.626 : List Str = CallByName List.71 List.627 List.108;
ret List.626;
procedure List.4 (List.113, List.114):
let List.655 : U64 = 1i64;
let List.654 : List Str = CallByName List.70 List.113 List.655;
let List.653 : List Str = CallByName List.71 List.654 List.114;
ret List.653;
procedure List.4 (List.107, List.108):
let List.631 : U64 = 1i64;
let List.630 : List U8 = CallByName List.70 List.107 List.631;
let List.629 : List U8 = CallByName List.71 List.630 List.108;
ret List.629;
procedure List.4 (List.113, List.114):
let List.658 : U64 = 1i64;
let List.657 : List U8 = CallByName List.70 List.113 List.658;
let List.656 : List U8 = CallByName List.71 List.657 List.114;
ret List.656;
procedure List.49 (List.370, List.371):
let List.712 : U64 = StructAtIndex 0 List.371;
let List.713 : U64 = 0i64;
let List.710 : Int1 = CallByName Bool.11 List.712 List.713;
if List.710 then
dec List.370;
let List.711 : List U8 = Array [];
ret List.711;
procedure List.49 (List.376, List.377):
let List.739 : U64 = StructAtIndex 0 List.377;
let List.740 : U64 = 0i64;
let List.737 : Int1 = CallByName Bool.11 List.739 List.740;
if List.737 then
dec List.376;
let List.738 : List U8 = Array [];
ret List.738;
else
let List.707 : U64 = StructAtIndex 1 List.371;
let List.708 : U64 = StructAtIndex 0 List.371;
let List.706 : List U8 = CallByName List.72 List.370 List.707 List.708;
ret List.706;
let List.734 : U64 = StructAtIndex 1 List.377;
let List.735 : U64 = StructAtIndex 0 List.377;
let List.733 : List U8 = CallByName List.72 List.376 List.734 List.735;
ret List.733;
procedure List.52 (List.385, List.386):
let List.387 : U64 = CallByName List.6 List.385;
joinpoint List.718 List.388:
let List.716 : U64 = 0i64;
let List.715 : {U64, U64} = Struct {List.388, List.716};
inc List.385;
let List.389 : List U8 = CallByName List.49 List.385 List.715;
let List.714 : U64 = CallByName Num.20 List.387 List.388;
let List.705 : {U64, U64} = Struct {List.714, List.388};
let List.390 : List U8 = CallByName List.49 List.385 List.705;
let List.704 : {List U8, List U8} = Struct {List.389, List.390};
ret List.704;
procedure List.52 (List.391, List.392):
let List.393 : U64 = CallByName List.6 List.391;
joinpoint List.745 List.394:
let List.743 : U64 = 0i64;
let List.742 : {U64, U64} = Struct {List.394, List.743};
inc List.391;
let List.395 : List U8 = CallByName List.49 List.391 List.742;
let List.741 : U64 = CallByName Num.20 List.393 List.394;
let List.732 : {U64, U64} = Struct {List.741, List.394};
let List.396 : List U8 = CallByName List.49 List.391 List.732;
let List.731 : {List U8, List U8} = Struct {List.395, List.396};
ret List.731;
in
let List.719 : Int1 = CallByName Num.24 List.387 List.386;
if List.719 then
jump List.718 List.386;
let List.746 : Int1 = CallByName Num.24 List.393 List.392;
if List.746 then
jump List.745 List.392;
else
jump List.718 List.387;
jump List.745 List.393;
procedure List.6 (#Attr.2):
let List.562 : U64 = lowlevel ListLen #Attr.2;
ret List.562;
let List.589 : U64 = lowlevel ListLen #Attr.2;
ret List.589;
procedure List.6 (#Attr.2):
let List.699 : U64 = lowlevel ListLen #Attr.2;
ret List.699;
let List.726 : U64 = lowlevel ListLen #Attr.2;
ret List.726;
procedure List.6 (#Attr.2):
let List.700 : U64 = lowlevel ListLen #Attr.2;
ret List.700;
let List.727 : U64 = lowlevel ListLen #Attr.2;
ret List.727;
procedure List.6 (#Attr.2):
let List.702 : U64 = lowlevel ListLen #Attr.2;
ret List.702;
let List.729 : U64 = lowlevel ListLen #Attr.2;
ret List.729;
procedure List.66 (#Attr.2, #Attr.3):
let List.540 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.540;
let List.567 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.567;
procedure List.66 (#Attr.2, #Attr.3):
let List.648 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.648;
let List.675 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.675;
procedure List.66 (#Attr.2, #Attr.3):
let List.668 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.668;
procedure List.68 (#Attr.2):
let List.695 : List Str = lowlevel ListWithCapacity #Attr.2;
let List.695 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.695;
procedure List.68 (#Attr.2):
let List.697 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.697;
let List.722 : List Str = lowlevel ListWithCapacity #Attr.2;
ret List.722;
procedure List.68 (#Attr.2):
let List.724 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.724;
procedure List.70 (#Attr.2, #Attr.3):
let List.608 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.608;
procedure List.70 (#Attr.2, #Attr.3):
let List.625 : List Str = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.625;
procedure List.71 (#Attr.2, #Attr.3):
let List.606 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.606;
procedure List.71 (#Attr.2, #Attr.3):
let List.623 : List Str = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.623;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.709 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.709;
procedure List.8 (#Attr.2, #Attr.3):
let List.674 : List Str = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.674;
procedure List.8 (#Attr.2, #Attr.3):
let List.682 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.682;
procedure List.80 (List.579, List.580, List.581, List.582, List.583):
joinpoint List.530 List.433 List.434 List.435 List.436 List.437:
let List.532 : Int1 = CallByName Num.22 List.436 List.437;
if List.532 then
let List.539 : {Str, Str} = CallByName List.66 List.433 List.436;
inc List.539;
let List.533 : {List U8, U64} = CallByName List.139 List.434 List.539 List.435;
let List.536 : U64 = 1i64;
let List.535 : U64 = CallByName Num.19 List.436 List.536;
jump List.530 List.433 List.533 List.435 List.535 List.437;
else
dec List.433;
ret List.434;
in
jump List.530 List.579 List.580 List.581 List.582 List.583;
procedure List.80 (List.756, List.757, List.758, List.759, List.760):
joinpoint List.638 List.433 List.434 List.435 List.436 List.437:
let List.640 : Int1 = CallByName Num.22 List.436 List.437;
if List.640 then
let List.647 : {Str, Str} = CallByName List.66 List.433 List.436;
inc List.647;
let List.641 : {List U8, U64} = CallByName List.139 List.434 List.647 List.435;
let List.644 : U64 = 1i64;
let List.643 : U64 = CallByName Num.19 List.436 List.644;
jump List.638 List.433 List.641 List.435 List.643 List.437;
else
dec List.433;
ret List.434;
in
jump List.638 List.756 List.757 List.758 List.759 List.760;
procedure List.80 (List.773, List.774, List.775, List.776, List.777):
joinpoint List.658 List.433 List.434 List.435 List.436 List.437:
let List.660 : Int1 = CallByName Num.22 List.436 List.437;
if List.660 then
let List.667 : U8 = CallByName List.66 List.433 List.436;
let List.661 : List U8 = CallByName List.139 List.434 List.667 List.435;
let List.664 : U64 = 1i64;
let List.663 : U64 = CallByName Num.19 List.436 List.664;
jump List.658 List.433 List.661 List.435 List.663 List.437;
else
dec List.433;
ret List.434;
in
jump List.658 List.773 List.774 List.775 List.776 List.777;
procedure List.80 (List.809, List.810, List.811, List.812, List.813):
joinpoint List.729 List.433 List.434 List.435 List.436 List.437:
let List.731 : Int1 = CallByName Num.22 List.436 List.437;
if List.731 then
let List.740 : U8 = CallByName List.66 List.433 List.436;
let List.732 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.434 List.740;
let List.737 : U8 = 1i64;
let List.738 : U8 = GetTagId List.732;
let List.739 : Int1 = lowlevel Eq List.737 List.738;
if List.739 then
let List.438 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.732;
let List.735 : U64 = 1i64;
let List.734 : U64 = CallByName Num.19 List.436 List.735;
jump List.729 List.433 List.438 List.435 List.734 List.437;
else
dec List.433;
let List.439 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.732;
let List.736 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.439;
ret List.736;
else
dec List.433;
let List.730 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.434;
ret List.730;
in
jump List.729 List.809 List.810 List.811 List.812 List.813;
procedure List.92 (List.430, List.431, List.432):
let List.528 : U64 = 0i64;
let List.529 : U64 = CallByName List.6 List.430;
let List.527 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.528 List.529;
ret List.527;
procedure List.92 (List.430, List.431, List.432):
let List.636 : U64 = 0i64;
let List.637 : U64 = CallByName List.6 List.430;
let List.635 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.636 List.637;
let List.635 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.635;
procedure List.92 (List.430, List.431, List.432):
let List.656 : U64 = 0i64;
let List.657 : U64 = CallByName List.6 List.430;
let List.655 : List U8 = CallByName List.80 List.430 List.431 List.432 List.656 List.657;
ret List.655;
procedure List.70 (#Attr.2, #Attr.3):
let List.652 : List Str = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.652;
procedure List.92 (List.430, List.431, List.432):
let List.727 : U64 = 0i64;
let List.728 : U64 = CallByName List.6 List.430;
let List.726 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.430 List.431 List.432 List.727 List.728;
ret List.726;
procedure List.71 (#Attr.2, #Attr.3):
let List.633 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.633;
procedure List.71 (#Attr.2, #Attr.3):
let List.650 : List Str = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.650;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.736 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.736;
procedure List.8 (#Attr.2, #Attr.3):
let List.701 : List Str = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.701;
procedure List.8 (#Attr.2, #Attr.3):
let List.709 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.709;
procedure List.80 (List.606, List.607, List.608, List.609, List.610):
joinpoint List.557 List.439 List.440 List.441 List.442 List.443:
let List.559 : Int1 = CallByName Num.22 List.442 List.443;
if List.559 then
let List.566 : {Str, Str} = CallByName List.66 List.439 List.442;
inc List.566;
let List.560 : {List U8, U64} = CallByName List.145 List.440 List.566 List.441;
let List.563 : U64 = 1i64;
let List.562 : U64 = CallByName Num.19 List.442 List.563;
jump List.557 List.439 List.560 List.441 List.562 List.443;
else
dec List.439;
ret List.440;
in
jump List.557 List.606 List.607 List.608 List.609 List.610;
procedure List.80 (List.783, List.784, List.785, List.786, List.787):
joinpoint List.665 List.439 List.440 List.441 List.442 List.443:
let List.667 : Int1 = CallByName Num.22 List.442 List.443;
if List.667 then
let List.674 : {Str, Str} = CallByName List.66 List.439 List.442;
inc List.674;
let List.668 : {List U8, U64} = CallByName List.145 List.440 List.674 List.441;
let List.671 : U64 = 1i64;
let List.670 : U64 = CallByName Num.19 List.442 List.671;
jump List.665 List.439 List.668 List.441 List.670 List.443;
else
dec List.439;
ret List.440;
in
jump List.665 List.783 List.784 List.785 List.786 List.787;
procedure List.80 (List.800, List.801, List.802, List.803, List.804):
joinpoint List.685 List.439 List.440 List.441 List.442 List.443:
let List.687 : Int1 = CallByName Num.22 List.442 List.443;
if List.687 then
let List.694 : U8 = CallByName List.66 List.439 List.442;
let List.688 : List U8 = CallByName List.145 List.440 List.694 List.441;
let List.691 : U64 = 1i64;
let List.690 : U64 = CallByName Num.19 List.442 List.691;
jump List.685 List.439 List.688 List.441 List.690 List.443;
else
dec List.439;
ret List.440;
in
jump List.685 List.800 List.801 List.802 List.803 List.804;
procedure List.80 (List.836, List.837, List.838, List.839, List.840):
joinpoint List.756 List.439 List.440 List.441 List.442 List.443:
let List.758 : Int1 = CallByName Num.22 List.442 List.443;
if List.758 then
let List.767 : U8 = CallByName List.66 List.439 List.442;
let List.759 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.440 List.767;
let List.764 : U8 = 1i64;
let List.765 : U8 = GetTagId List.759;
let List.766 : Int1 = lowlevel Eq List.764 List.765;
if List.766 then
let List.444 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.759;
let List.762 : U64 = 1i64;
let List.761 : U64 = CallByName Num.19 List.442 List.762;
jump List.756 List.439 List.444 List.441 List.761 List.443;
else
dec List.439;
let List.445 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.759;
let List.763 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.445;
ret List.763;
else
dec List.439;
let List.757 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.440;
ret List.757;
in
jump List.756 List.836 List.837 List.838 List.839 List.840;
procedure List.93 (List.436, List.437, List.438):
let List.555 : U64 = 0i64;
let List.556 : U64 = CallByName List.6 List.436;
let List.554 : {List U8, U64} = CallByName List.80 List.436 List.437 List.438 List.555 List.556;
ret List.554;
procedure List.93 (List.436, List.437, List.438):
let List.663 : U64 = 0i64;
let List.664 : U64 = CallByName List.6 List.436;
let List.662 : {List U8, U64} = CallByName List.80 List.436 List.437 List.438 List.663 List.664;
ret List.662;
procedure List.93 (List.436, List.437, List.438):
let List.683 : U64 = 0i64;
let List.684 : U64 = CallByName List.6 List.436;
let List.682 : List U8 = CallByName List.80 List.436 List.437 List.438 List.683 List.684;
ret List.682;
procedure List.93 (List.436, List.437, List.438):
let List.754 : U64 = 0i64;
let List.755 : U64 = CallByName List.6 List.436;
let List.753 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.436 List.437 List.438 List.754 List.755;
ret List.753;
procedure Num.127 (#Attr.2):
let Num.305 : U8 = lowlevel NumIntCast #Attr.2;

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

@ -1090,221 +1090,221 @@ procedure Json.99 (Json.849):
ret Json.849;
procedure List.13 (#Attr.2, #Attr.3):
let List.595 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
ret List.595;
let List.622 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
ret List.622;
procedure List.139 (List.140, List.141, List.138):
let List.543 : {List U8, U64} = CallByName Json.236 List.140 List.141 List.138;
ret List.543;
procedure List.145 (List.146, List.147, List.144):
let List.570 : {List U8, U64} = CallByName Json.236 List.146 List.147 List.144;
ret List.570;
procedure List.139 (List.140, List.141, List.138):
let List.563 : List U8 = CallByName Json.214 List.140 List.141;
ret List.563;
procedure List.145 (List.146, List.147, List.144):
let List.590 : List U8 = CallByName Json.214 List.146 List.147;
ret List.590;
procedure List.18 (List.136, List.137, List.138):
let List.524 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.524;
procedure List.18 (List.142, List.143, List.144):
let List.551 : {List U8, U64} = CallByName List.93 List.142 List.143 List.144;
ret List.551;
procedure List.18 (List.136, List.137, List.138):
let List.544 : List U8 = CallByName List.92 List.136 List.137 List.138;
ret List.544;
procedure List.18 (List.142, List.143, List.144):
let List.571 : List U8 = CallByName List.93 List.142 List.143 List.144;
ret List.571;
procedure List.26 (List.153, List.154, List.155):
let List.612 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.92 List.153 List.154 List.155;
let List.615 : U8 = 1i64;
let List.616 : U8 = GetTagId List.612;
let List.617 : Int1 = lowlevel Eq List.615 List.616;
if List.617 then
let List.156 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.612;
ret List.156;
procedure List.26 (List.159, List.160, List.161):
let List.639 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.93 List.159 List.160 List.161;
let List.642 : U8 = 1i64;
let List.643 : U8 = GetTagId List.639;
let List.644 : Int1 = lowlevel Eq List.642 List.643;
if List.644 then
let List.162 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.639;
ret List.162;
else
let List.157 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.612;
ret List.157;
let List.163 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.639;
ret List.163;
procedure List.31 (#Attr.2, #Attr.3):
let List.577 : List Str = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.577;
let List.604 : List Str = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.604;
procedure List.38 (List.292):
let List.585 : U64 = 0i64;
let List.584 : List Str = CallByName List.31 List.292 List.585;
ret List.584;
procedure List.38 (List.298):
let List.612 : U64 = 0i64;
let List.611 : List Str = CallByName List.31 List.298 List.612;
ret List.611;
procedure List.4 (List.107, List.108):
let List.520 : U64 = 1i64;
let List.519 : List Str = CallByName List.70 List.107 List.520;
let List.518 : List Str = CallByName List.71 List.519 List.108;
ret List.518;
procedure List.4 (List.113, List.114):
let List.547 : U64 = 1i64;
let List.546 : List Str = CallByName List.70 List.113 List.547;
let List.545 : List Str = CallByName List.71 List.546 List.114;
ret List.545;
procedure List.4 (List.107, List.108):
let List.523 : U64 = 1i64;
let List.522 : List U8 = CallByName List.70 List.107 List.523;
let List.521 : List U8 = CallByName List.71 List.522 List.108;
ret List.521;
procedure List.4 (List.113, List.114):
let List.550 : U64 = 1i64;
let List.549 : List U8 = CallByName List.70 List.113 List.550;
let List.548 : List U8 = CallByName List.71 List.549 List.114;
ret List.548;
procedure List.49 (List.370, List.371):
let List.604 : U64 = StructAtIndex 0 List.371;
let List.605 : U64 = 0i64;
let List.602 : Int1 = CallByName Bool.11 List.604 List.605;
if List.602 then
dec List.370;
let List.603 : List U8 = Array [];
ret List.603;
procedure List.49 (List.376, List.377):
let List.631 : U64 = StructAtIndex 0 List.377;
let List.632 : U64 = 0i64;
let List.629 : Int1 = CallByName Bool.11 List.631 List.632;
if List.629 then
dec List.376;
let List.630 : List U8 = Array [];
ret List.630;
else
let List.599 : U64 = StructAtIndex 1 List.371;
let List.600 : U64 = StructAtIndex 0 List.371;
let List.598 : List U8 = CallByName List.72 List.370 List.599 List.600;
ret List.598;
let List.626 : U64 = StructAtIndex 1 List.377;
let List.627 : U64 = StructAtIndex 0 List.377;
let List.625 : List U8 = CallByName List.72 List.376 List.626 List.627;
ret List.625;
procedure List.52 (List.385, List.386):
let List.387 : U64 = CallByName List.6 List.385;
joinpoint List.610 List.388:
let List.608 : U64 = 0i64;
let List.607 : {U64, U64} = Struct {List.388, List.608};
inc List.385;
let List.389 : List U8 = CallByName List.49 List.385 List.607;
let List.606 : U64 = CallByName Num.20 List.387 List.388;
let List.597 : {U64, U64} = Struct {List.606, List.388};
let List.390 : List U8 = CallByName List.49 List.385 List.597;
let List.596 : {List U8, List U8} = Struct {List.389, List.390};
ret List.596;
procedure List.52 (List.391, List.392):
let List.393 : U64 = CallByName List.6 List.391;
joinpoint List.637 List.394:
let List.635 : U64 = 0i64;
let List.634 : {U64, U64} = Struct {List.394, List.635};
inc List.391;
let List.395 : List U8 = CallByName List.49 List.391 List.634;
let List.633 : U64 = CallByName Num.20 List.393 List.394;
let List.624 : {U64, U64} = Struct {List.633, List.394};
let List.396 : List U8 = CallByName List.49 List.391 List.624;
let List.623 : {List U8, List U8} = Struct {List.395, List.396};
ret List.623;
in
let List.611 : Int1 = CallByName Num.24 List.387 List.386;
if List.611 then
jump List.610 List.386;
let List.638 : Int1 = CallByName Num.24 List.393 List.392;
if List.638 then
jump List.637 List.392;
else
jump List.610 List.387;
jump List.637 List.393;
procedure List.6 (#Attr.2):
let List.591 : U64 = lowlevel ListLen #Attr.2;
ret List.591;
let List.618 : U64 = lowlevel ListLen #Attr.2;
ret List.618;
procedure List.6 (#Attr.2):
let List.592 : U64 = lowlevel ListLen #Attr.2;
ret List.592;
let List.619 : U64 = lowlevel ListLen #Attr.2;
ret List.619;
procedure List.6 (#Attr.2):
let List.594 : U64 = lowlevel ListLen #Attr.2;
ret List.594;
let List.621 : U64 = lowlevel ListLen #Attr.2;
ret List.621;
procedure List.66 (#Attr.2, #Attr.3):
let List.540 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.540;
let List.567 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.567;
procedure List.66 (#Attr.2, #Attr.3):
let List.560 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.560;
procedure List.68 (#Attr.2):
let List.587 : List Str = lowlevel ListWithCapacity #Attr.2;
let List.587 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.587;
procedure List.68 (#Attr.2):
let List.589 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.589;
let List.614 : List Str = lowlevel ListWithCapacity #Attr.2;
ret List.614;
procedure List.68 (#Attr.2):
let List.616 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.616;
procedure List.70 (#Attr.2, #Attr.3):
let List.500 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.500;
procedure List.70 (#Attr.2, #Attr.3):
let List.517 : List Str = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.517;
procedure List.71 (#Attr.2, #Attr.3):
let List.498 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.498;
procedure List.71 (#Attr.2, #Attr.3):
let List.515 : List Str = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.515;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.601 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.601;
procedure List.8 (#Attr.2, #Attr.3):
let List.566 : List Str = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.566;
procedure List.8 (#Attr.2, #Attr.3):
let List.574 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.574;
procedure List.80 (List.648, List.649, List.650, List.651, List.652):
joinpoint List.530 List.433 List.434 List.435 List.436 List.437:
let List.532 : Int1 = CallByName Num.22 List.436 List.437;
if List.532 then
let List.539 : {Str, Str} = CallByName List.66 List.433 List.436;
inc List.539;
let List.533 : {List U8, U64} = CallByName List.139 List.434 List.539 List.435;
let List.536 : U64 = 1i64;
let List.535 : U64 = CallByName Num.19 List.436 List.536;
jump List.530 List.433 List.533 List.435 List.535 List.437;
else
dec List.433;
ret List.434;
in
jump List.530 List.648 List.649 List.650 List.651 List.652;
procedure List.80 (List.665, List.666, List.667, List.668, List.669):
joinpoint List.550 List.433 List.434 List.435 List.436 List.437:
let List.552 : Int1 = CallByName Num.22 List.436 List.437;
if List.552 then
let List.559 : U8 = CallByName List.66 List.433 List.436;
let List.553 : List U8 = CallByName List.139 List.434 List.559 List.435;
let List.556 : U64 = 1i64;
let List.555 : U64 = CallByName Num.19 List.436 List.556;
jump List.550 List.433 List.553 List.435 List.555 List.437;
else
dec List.433;
ret List.434;
in
jump List.550 List.665 List.666 List.667 List.668 List.669;
procedure List.80 (List.701, List.702, List.703, List.704, List.705):
joinpoint List.621 List.433 List.434 List.435 List.436 List.437:
let List.623 : Int1 = CallByName Num.22 List.436 List.437;
if List.623 then
let List.632 : U8 = CallByName List.66 List.433 List.436;
let List.624 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.434 List.632;
let List.629 : U8 = 1i64;
let List.630 : U8 = GetTagId List.624;
let List.631 : Int1 = lowlevel Eq List.629 List.630;
if List.631 then
let List.438 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.624;
let List.627 : U64 = 1i64;
let List.626 : U64 = CallByName Num.19 List.436 List.627;
jump List.621 List.433 List.438 List.435 List.626 List.437;
else
dec List.433;
let List.439 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.624;
let List.628 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.439;
ret List.628;
else
dec List.433;
let List.622 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.434;
ret List.622;
in
jump List.621 List.701 List.702 List.703 List.704 List.705;
procedure List.92 (List.430, List.431, List.432):
let List.528 : U64 = 0i64;
let List.529 : U64 = CallByName List.6 List.430;
let List.527 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.528 List.529;
let List.527 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.527;
procedure List.92 (List.430, List.431, List.432):
let List.548 : U64 = 0i64;
let List.549 : U64 = CallByName List.6 List.430;
let List.547 : List U8 = CallByName List.80 List.430 List.431 List.432 List.548 List.549;
ret List.547;
procedure List.70 (#Attr.2, #Attr.3):
let List.544 : List Str = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.544;
procedure List.92 (List.430, List.431, List.432):
let List.619 : U64 = 0i64;
let List.620 : U64 = CallByName List.6 List.430;
let List.618 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.430 List.431 List.432 List.619 List.620;
ret List.618;
procedure List.71 (#Attr.2, #Attr.3):
let List.525 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.525;
procedure List.71 (#Attr.2, #Attr.3):
let List.542 : List Str = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.542;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.628 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.628;
procedure List.8 (#Attr.2, #Attr.3):
let List.593 : List Str = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.593;
procedure List.8 (#Attr.2, #Attr.3):
let List.601 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.601;
procedure List.80 (List.675, List.676, List.677, List.678, List.679):
joinpoint List.557 List.439 List.440 List.441 List.442 List.443:
let List.559 : Int1 = CallByName Num.22 List.442 List.443;
if List.559 then
let List.566 : {Str, Str} = CallByName List.66 List.439 List.442;
inc List.566;
let List.560 : {List U8, U64} = CallByName List.145 List.440 List.566 List.441;
let List.563 : U64 = 1i64;
let List.562 : U64 = CallByName Num.19 List.442 List.563;
jump List.557 List.439 List.560 List.441 List.562 List.443;
else
dec List.439;
ret List.440;
in
jump List.557 List.675 List.676 List.677 List.678 List.679;
procedure List.80 (List.692, List.693, List.694, List.695, List.696):
joinpoint List.577 List.439 List.440 List.441 List.442 List.443:
let List.579 : Int1 = CallByName Num.22 List.442 List.443;
if List.579 then
let List.586 : U8 = CallByName List.66 List.439 List.442;
let List.580 : List U8 = CallByName List.145 List.440 List.586 List.441;
let List.583 : U64 = 1i64;
let List.582 : U64 = CallByName Num.19 List.442 List.583;
jump List.577 List.439 List.580 List.441 List.582 List.443;
else
dec List.439;
ret List.440;
in
jump List.577 List.692 List.693 List.694 List.695 List.696;
procedure List.80 (List.728, List.729, List.730, List.731, List.732):
joinpoint List.648 List.439 List.440 List.441 List.442 List.443:
let List.650 : Int1 = CallByName Num.22 List.442 List.443;
if List.650 then
let List.659 : U8 = CallByName List.66 List.439 List.442;
let List.651 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.440 List.659;
let List.656 : U8 = 1i64;
let List.657 : U8 = GetTagId List.651;
let List.658 : Int1 = lowlevel Eq List.656 List.657;
if List.658 then
let List.444 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.651;
let List.654 : U64 = 1i64;
let List.653 : U64 = CallByName Num.19 List.442 List.654;
jump List.648 List.439 List.444 List.441 List.653 List.443;
else
dec List.439;
let List.445 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.651;
let List.655 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.445;
ret List.655;
else
dec List.439;
let List.649 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.440;
ret List.649;
in
jump List.648 List.728 List.729 List.730 List.731 List.732;
procedure List.93 (List.436, List.437, List.438):
let List.555 : U64 = 0i64;
let List.556 : U64 = CallByName List.6 List.436;
let List.554 : {List U8, U64} = CallByName List.80 List.436 List.437 List.438 List.555 List.556;
ret List.554;
procedure List.93 (List.436, List.437, List.438):
let List.575 : U64 = 0i64;
let List.576 : U64 = CallByName List.6 List.436;
let List.574 : List U8 = CallByName List.80 List.436 List.437 List.438 List.575 List.576;
ret List.574;
procedure List.93 (List.436, List.437, List.438):
let List.646 : U64 = 0i64;
let List.647 : U64 = CallByName List.6 List.436;
let List.645 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.436 List.437 List.438 List.646 List.647;
ret List.645;
procedure Num.127 (#Attr.2):
let Num.286 : U8 = lowlevel NumIntCast #Attr.2;

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

@ -1097,221 +1097,221 @@ procedure Json.99 (Json.849):
ret Json.849;
procedure List.13 (#Attr.2, #Attr.3):
let List.595 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
ret List.595;
let List.622 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
ret List.622;
procedure List.139 (List.140, List.141, List.138):
let List.543 : {List U8, U64} = CallByName Json.236 List.140 List.141 List.138;
ret List.543;
procedure List.145 (List.146, List.147, List.144):
let List.570 : {List U8, U64} = CallByName Json.236 List.146 List.147 List.144;
ret List.570;
procedure List.139 (List.140, List.141, List.138):
let List.563 : List U8 = CallByName Json.214 List.140 List.141;
ret List.563;
procedure List.145 (List.146, List.147, List.144):
let List.590 : List U8 = CallByName Json.214 List.146 List.147;
ret List.590;
procedure List.18 (List.136, List.137, List.138):
let List.524 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.524;
procedure List.18 (List.142, List.143, List.144):
let List.551 : {List U8, U64} = CallByName List.93 List.142 List.143 List.144;
ret List.551;
procedure List.18 (List.136, List.137, List.138):
let List.544 : List U8 = CallByName List.92 List.136 List.137 List.138;
ret List.544;
procedure List.18 (List.142, List.143, List.144):
let List.571 : List U8 = CallByName List.93 List.142 List.143 List.144;
ret List.571;
procedure List.26 (List.153, List.154, List.155):
let List.612 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.92 List.153 List.154 List.155;
let List.615 : U8 = 1i64;
let List.616 : U8 = GetTagId List.612;
let List.617 : Int1 = lowlevel Eq List.615 List.616;
if List.617 then
let List.156 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.612;
ret List.156;
procedure List.26 (List.159, List.160, List.161):
let List.639 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.93 List.159 List.160 List.161;
let List.642 : U8 = 1i64;
let List.643 : U8 = GetTagId List.639;
let List.644 : Int1 = lowlevel Eq List.642 List.643;
if List.644 then
let List.162 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.639;
ret List.162;
else
let List.157 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.612;
ret List.157;
let List.163 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.639;
ret List.163;
procedure List.31 (#Attr.2, #Attr.3):
let List.577 : List Str = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.577;
let List.604 : List Str = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.604;
procedure List.38 (List.292):
let List.585 : U64 = 0i64;
let List.584 : List Str = CallByName List.31 List.292 List.585;
ret List.584;
procedure List.38 (List.298):
let List.612 : U64 = 0i64;
let List.611 : List Str = CallByName List.31 List.298 List.612;
ret List.611;
procedure List.4 (List.107, List.108):
let List.520 : U64 = 1i64;
let List.519 : List Str = CallByName List.70 List.107 List.520;
let List.518 : List Str = CallByName List.71 List.519 List.108;
ret List.518;
procedure List.4 (List.113, List.114):
let List.547 : U64 = 1i64;
let List.546 : List Str = CallByName List.70 List.113 List.547;
let List.545 : List Str = CallByName List.71 List.546 List.114;
ret List.545;
procedure List.4 (List.107, List.108):
let List.523 : U64 = 1i64;
let List.522 : List U8 = CallByName List.70 List.107 List.523;
let List.521 : List U8 = CallByName List.71 List.522 List.108;
ret List.521;
procedure List.4 (List.113, List.114):
let List.550 : U64 = 1i64;
let List.549 : List U8 = CallByName List.70 List.113 List.550;
let List.548 : List U8 = CallByName List.71 List.549 List.114;
ret List.548;
procedure List.49 (List.370, List.371):
let List.604 : U64 = StructAtIndex 0 List.371;
let List.605 : U64 = 0i64;
let List.602 : Int1 = CallByName Bool.11 List.604 List.605;
if List.602 then
dec List.370;
let List.603 : List U8 = Array [];
ret List.603;
procedure List.49 (List.376, List.377):
let List.631 : U64 = StructAtIndex 0 List.377;
let List.632 : U64 = 0i64;
let List.629 : Int1 = CallByName Bool.11 List.631 List.632;
if List.629 then
dec List.376;
let List.630 : List U8 = Array [];
ret List.630;
else
let List.599 : U64 = StructAtIndex 1 List.371;
let List.600 : U64 = StructAtIndex 0 List.371;
let List.598 : List U8 = CallByName List.72 List.370 List.599 List.600;
ret List.598;
let List.626 : U64 = StructAtIndex 1 List.377;
let List.627 : U64 = StructAtIndex 0 List.377;
let List.625 : List U8 = CallByName List.72 List.376 List.626 List.627;
ret List.625;
procedure List.52 (List.385, List.386):
let List.387 : U64 = CallByName List.6 List.385;
joinpoint List.610 List.388:
let List.608 : U64 = 0i64;
let List.607 : {U64, U64} = Struct {List.388, List.608};
inc List.385;
let List.389 : List U8 = CallByName List.49 List.385 List.607;
let List.606 : U64 = CallByName Num.20 List.387 List.388;
let List.597 : {U64, U64} = Struct {List.606, List.388};
let List.390 : List U8 = CallByName List.49 List.385 List.597;
let List.596 : {List U8, List U8} = Struct {List.389, List.390};
ret List.596;
procedure List.52 (List.391, List.392):
let List.393 : U64 = CallByName List.6 List.391;
joinpoint List.637 List.394:
let List.635 : U64 = 0i64;
let List.634 : {U64, U64} = Struct {List.394, List.635};
inc List.391;
let List.395 : List U8 = CallByName List.49 List.391 List.634;
let List.633 : U64 = CallByName Num.20 List.393 List.394;
let List.624 : {U64, U64} = Struct {List.633, List.394};
let List.396 : List U8 = CallByName List.49 List.391 List.624;
let List.623 : {List U8, List U8} = Struct {List.395, List.396};
ret List.623;
in
let List.611 : Int1 = CallByName Num.24 List.387 List.386;
if List.611 then
jump List.610 List.386;
let List.638 : Int1 = CallByName Num.24 List.393 List.392;
if List.638 then
jump List.637 List.392;
else
jump List.610 List.387;
jump List.637 List.393;
procedure List.6 (#Attr.2):
let List.591 : U64 = lowlevel ListLen #Attr.2;
ret List.591;
let List.618 : U64 = lowlevel ListLen #Attr.2;
ret List.618;
procedure List.6 (#Attr.2):
let List.592 : U64 = lowlevel ListLen #Attr.2;
ret List.592;
let List.619 : U64 = lowlevel ListLen #Attr.2;
ret List.619;
procedure List.6 (#Attr.2):
let List.594 : U64 = lowlevel ListLen #Attr.2;
ret List.594;
let List.621 : U64 = lowlevel ListLen #Attr.2;
ret List.621;
procedure List.66 (#Attr.2, #Attr.3):
let List.540 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.540;
let List.567 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.567;
procedure List.66 (#Attr.2, #Attr.3):
let List.560 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.560;
procedure List.68 (#Attr.2):
let List.587 : List Str = lowlevel ListWithCapacity #Attr.2;
let List.587 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.587;
procedure List.68 (#Attr.2):
let List.589 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.589;
let List.614 : List Str = lowlevel ListWithCapacity #Attr.2;
ret List.614;
procedure List.68 (#Attr.2):
let List.616 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.616;
procedure List.70 (#Attr.2, #Attr.3):
let List.500 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.500;
procedure List.70 (#Attr.2, #Attr.3):
let List.517 : List Str = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.517;
procedure List.71 (#Attr.2, #Attr.3):
let List.498 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.498;
procedure List.71 (#Attr.2, #Attr.3):
let List.515 : List Str = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.515;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.601 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.601;
procedure List.8 (#Attr.2, #Attr.3):
let List.566 : List Str = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.566;
procedure List.8 (#Attr.2, #Attr.3):
let List.574 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.574;
procedure List.80 (List.648, List.649, List.650, List.651, List.652):
joinpoint List.530 List.433 List.434 List.435 List.436 List.437:
let List.532 : Int1 = CallByName Num.22 List.436 List.437;
if List.532 then
let List.539 : {Str, Str} = CallByName List.66 List.433 List.436;
inc List.539;
let List.533 : {List U8, U64} = CallByName List.139 List.434 List.539 List.435;
let List.536 : U64 = 1i64;
let List.535 : U64 = CallByName Num.19 List.436 List.536;
jump List.530 List.433 List.533 List.435 List.535 List.437;
else
dec List.433;
ret List.434;
in
jump List.530 List.648 List.649 List.650 List.651 List.652;
procedure List.80 (List.665, List.666, List.667, List.668, List.669):
joinpoint List.550 List.433 List.434 List.435 List.436 List.437:
let List.552 : Int1 = CallByName Num.22 List.436 List.437;
if List.552 then
let List.559 : U8 = CallByName List.66 List.433 List.436;
let List.553 : List U8 = CallByName List.139 List.434 List.559 List.435;
let List.556 : U64 = 1i64;
let List.555 : U64 = CallByName Num.19 List.436 List.556;
jump List.550 List.433 List.553 List.435 List.555 List.437;
else
dec List.433;
ret List.434;
in
jump List.550 List.665 List.666 List.667 List.668 List.669;
procedure List.80 (List.701, List.702, List.703, List.704, List.705):
joinpoint List.621 List.433 List.434 List.435 List.436 List.437:
let List.623 : Int1 = CallByName Num.22 List.436 List.437;
if List.623 then
let List.632 : U8 = CallByName List.66 List.433 List.436;
let List.624 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.434 List.632;
let List.629 : U8 = 1i64;
let List.630 : U8 = GetTagId List.624;
let List.631 : Int1 = lowlevel Eq List.629 List.630;
if List.631 then
let List.438 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.624;
let List.627 : U64 = 1i64;
let List.626 : U64 = CallByName Num.19 List.436 List.627;
jump List.621 List.433 List.438 List.435 List.626 List.437;
else
dec List.433;
let List.439 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.624;
let List.628 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.439;
ret List.628;
else
dec List.433;
let List.622 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.434;
ret List.622;
in
jump List.621 List.701 List.702 List.703 List.704 List.705;
procedure List.92 (List.430, List.431, List.432):
let List.528 : U64 = 0i64;
let List.529 : U64 = CallByName List.6 List.430;
let List.527 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.528 List.529;
let List.527 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.527;
procedure List.92 (List.430, List.431, List.432):
let List.548 : U64 = 0i64;
let List.549 : U64 = CallByName List.6 List.430;
let List.547 : List U8 = CallByName List.80 List.430 List.431 List.432 List.548 List.549;
ret List.547;
procedure List.70 (#Attr.2, #Attr.3):
let List.544 : List Str = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.544;
procedure List.92 (List.430, List.431, List.432):
let List.619 : U64 = 0i64;
let List.620 : U64 = CallByName List.6 List.430;
let List.618 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.430 List.431 List.432 List.619 List.620;
ret List.618;
procedure List.71 (#Attr.2, #Attr.3):
let List.525 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.525;
procedure List.71 (#Attr.2, #Attr.3):
let List.542 : List Str = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.542;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.628 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.628;
procedure List.8 (#Attr.2, #Attr.3):
let List.593 : List Str = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.593;
procedure List.8 (#Attr.2, #Attr.3):
let List.601 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.601;
procedure List.80 (List.675, List.676, List.677, List.678, List.679):
joinpoint List.557 List.439 List.440 List.441 List.442 List.443:
let List.559 : Int1 = CallByName Num.22 List.442 List.443;
if List.559 then
let List.566 : {Str, Str} = CallByName List.66 List.439 List.442;
inc List.566;
let List.560 : {List U8, U64} = CallByName List.145 List.440 List.566 List.441;
let List.563 : U64 = 1i64;
let List.562 : U64 = CallByName Num.19 List.442 List.563;
jump List.557 List.439 List.560 List.441 List.562 List.443;
else
dec List.439;
ret List.440;
in
jump List.557 List.675 List.676 List.677 List.678 List.679;
procedure List.80 (List.692, List.693, List.694, List.695, List.696):
joinpoint List.577 List.439 List.440 List.441 List.442 List.443:
let List.579 : Int1 = CallByName Num.22 List.442 List.443;
if List.579 then
let List.586 : U8 = CallByName List.66 List.439 List.442;
let List.580 : List U8 = CallByName List.145 List.440 List.586 List.441;
let List.583 : U64 = 1i64;
let List.582 : U64 = CallByName Num.19 List.442 List.583;
jump List.577 List.439 List.580 List.441 List.582 List.443;
else
dec List.439;
ret List.440;
in
jump List.577 List.692 List.693 List.694 List.695 List.696;
procedure List.80 (List.728, List.729, List.730, List.731, List.732):
joinpoint List.648 List.439 List.440 List.441 List.442 List.443:
let List.650 : Int1 = CallByName Num.22 List.442 List.443;
if List.650 then
let List.659 : U8 = CallByName List.66 List.439 List.442;
let List.651 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.440 List.659;
let List.656 : U8 = 1i64;
let List.657 : U8 = GetTagId List.651;
let List.658 : Int1 = lowlevel Eq List.656 List.657;
if List.658 then
let List.444 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.651;
let List.654 : U64 = 1i64;
let List.653 : U64 = CallByName Num.19 List.442 List.654;
jump List.648 List.439 List.444 List.441 List.653 List.443;
else
dec List.439;
let List.445 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.651;
let List.655 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.445;
ret List.655;
else
dec List.439;
let List.649 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.440;
ret List.649;
in
jump List.648 List.728 List.729 List.730 List.731 List.732;
procedure List.93 (List.436, List.437, List.438):
let List.555 : U64 = 0i64;
let List.556 : U64 = CallByName List.6 List.436;
let List.554 : {List U8, U64} = CallByName List.80 List.436 List.437 List.438 List.555 List.556;
ret List.554;
procedure List.93 (List.436, List.437, List.438):
let List.575 : U64 = 0i64;
let List.576 : U64 = CallByName List.6 List.436;
let List.574 : List U8 = CallByName List.80 List.436 List.437 List.438 List.575 List.576;
ret List.574;
procedure List.93 (List.436, List.437, List.438):
let List.646 : U64 = 0i64;
let List.647 : U64 = CallByName List.6 List.436;
let List.645 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.436 List.437 List.438 List.646 List.647;
ret List.645;
procedure Num.127 (#Attr.2):
let Num.286 : U8 = lowlevel NumIntCast #Attr.2;

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

@ -185,131 +185,131 @@ procedure Json.26 (Json.217):
ret Json.1210;
procedure List.139 (List.140, List.141, List.138):
let List.526 : List U8 = CallByName Json.214 List.140 List.141;
ret List.526;
procedure List.145 (List.146, List.147, List.144):
let List.553 : List U8 = CallByName Json.214 List.146 List.147;
ret List.553;
procedure List.18 (List.136, List.137, List.138):
let List.508 : List U8 = CallByName List.92 List.136 List.137 List.138;
ret List.508;
procedure List.18 (List.142, List.143, List.144):
let List.535 : List U8 = CallByName List.93 List.142 List.143 List.144;
ret List.535;
procedure List.26 (List.153, List.154, List.155):
let List.543 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.92 List.153 List.154 List.155;
let List.546 : U8 = 1i64;
let List.547 : U8 = GetTagId List.543;
let List.548 : Int1 = lowlevel Eq List.546 List.547;
if List.548 then
let List.156 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.543;
ret List.156;
procedure List.26 (List.159, List.160, List.161):
let List.570 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.93 List.159 List.160 List.161;
let List.573 : U8 = 1i64;
let List.574 : U8 = GetTagId List.570;
let List.575 : Int1 = lowlevel Eq List.573 List.574;
if List.575 then
let List.162 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.570;
ret List.162;
else
let List.157 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.543;
ret List.157;
let List.163 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.570;
ret List.163;
procedure List.49 (List.370, List.371):
let List.535 : U64 = StructAtIndex 0 List.371;
let List.536 : U64 = 0i64;
let List.533 : Int1 = CallByName Bool.11 List.535 List.536;
if List.533 then
dec List.370;
let List.534 : List U8 = Array [];
ret List.534;
procedure List.49 (List.376, List.377):
let List.562 : U64 = StructAtIndex 0 List.377;
let List.563 : U64 = 0i64;
let List.560 : Int1 = CallByName Bool.11 List.562 List.563;
if List.560 then
dec List.376;
let List.561 : List U8 = Array [];
ret List.561;
else
let List.530 : U64 = StructAtIndex 1 List.371;
let List.531 : U64 = StructAtIndex 0 List.371;
let List.529 : List U8 = CallByName List.72 List.370 List.530 List.531;
ret List.529;
let List.557 : U64 = StructAtIndex 1 List.377;
let List.558 : U64 = StructAtIndex 0 List.377;
let List.556 : List U8 = CallByName List.72 List.376 List.557 List.558;
ret List.556;
procedure List.52 (List.385, List.386):
let List.387 : U64 = CallByName List.6 List.385;
joinpoint List.541 List.388:
let List.539 : U64 = 0i64;
let List.538 : {U64, U64} = Struct {List.388, List.539};
inc List.385;
let List.389 : List U8 = CallByName List.49 List.385 List.538;
let List.537 : U64 = CallByName Num.20 List.387 List.388;
let List.528 : {U64, U64} = Struct {List.537, List.388};
let List.390 : List U8 = CallByName List.49 List.385 List.528;
let List.527 : {List U8, List U8} = Struct {List.389, List.390};
ret List.527;
procedure List.52 (List.391, List.392):
let List.393 : U64 = CallByName List.6 List.391;
joinpoint List.568 List.394:
let List.566 : U64 = 0i64;
let List.565 : {U64, U64} = Struct {List.394, List.566};
inc List.391;
let List.395 : List U8 = CallByName List.49 List.391 List.565;
let List.564 : U64 = CallByName Num.20 List.393 List.394;
let List.555 : {U64, U64} = Struct {List.564, List.394};
let List.396 : List U8 = CallByName List.49 List.391 List.555;
let List.554 : {List U8, List U8} = Struct {List.395, List.396};
ret List.554;
in
let List.542 : Int1 = CallByName Num.24 List.387 List.386;
if List.542 then
jump List.541 List.386;
let List.569 : Int1 = CallByName Num.24 List.393 List.392;
if List.569 then
jump List.568 List.392;
else
jump List.541 List.387;
jump List.568 List.393;
procedure List.6 (#Attr.2):
let List.507 : U64 = lowlevel ListLen #Attr.2;
ret List.507;
let List.534 : U64 = lowlevel ListLen #Attr.2;
ret List.534;
procedure List.66 (#Attr.2, #Attr.3):
let List.524 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.524;
let List.551 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.551;
procedure List.68 (#Attr.2):
let List.505 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.505;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.532 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
let List.532 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.532;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.559 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.559;
procedure List.8 (#Attr.2, #Attr.3):
let List.503 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.503;
let List.530 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.530;
procedure List.80 (List.571, List.572, List.573, List.574, List.575):
joinpoint List.514 List.433 List.434 List.435 List.436 List.437:
let List.516 : Int1 = CallByName Num.22 List.436 List.437;
if List.516 then
let List.523 : U8 = CallByName List.66 List.433 List.436;
let List.517 : List U8 = CallByName List.139 List.434 List.523 List.435;
let List.520 : U64 = 1i64;
let List.519 : U64 = CallByName Num.19 List.436 List.520;
jump List.514 List.433 List.517 List.435 List.519 List.437;
procedure List.80 (List.598, List.599, List.600, List.601, List.602):
joinpoint List.541 List.439 List.440 List.441 List.442 List.443:
let List.543 : Int1 = CallByName Num.22 List.442 List.443;
if List.543 then
let List.550 : U8 = CallByName List.66 List.439 List.442;
let List.544 : List U8 = CallByName List.145 List.440 List.550 List.441;
let List.547 : U64 = 1i64;
let List.546 : U64 = CallByName Num.19 List.442 List.547;
jump List.541 List.439 List.544 List.441 List.546 List.443;
else
dec List.433;
ret List.434;
dec List.439;
ret List.440;
in
jump List.514 List.571 List.572 List.573 List.574 List.575;
jump List.541 List.598 List.599 List.600 List.601 List.602;
procedure List.80 (List.594, List.595, List.596, List.597, List.598):
joinpoint List.552 List.433 List.434 List.435 List.436 List.437:
let List.554 : Int1 = CallByName Num.22 List.436 List.437;
if List.554 then
let List.563 : U8 = CallByName List.66 List.433 List.436;
let List.555 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.434 List.563;
let List.560 : U8 = 1i64;
let List.561 : U8 = GetTagId List.555;
let List.562 : Int1 = lowlevel Eq List.560 List.561;
if List.562 then
let List.438 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.555;
let List.558 : U64 = 1i64;
let List.557 : U64 = CallByName Num.19 List.436 List.558;
jump List.552 List.433 List.438 List.435 List.557 List.437;
procedure List.80 (List.621, List.622, List.623, List.624, List.625):
joinpoint List.579 List.439 List.440 List.441 List.442 List.443:
let List.581 : Int1 = CallByName Num.22 List.442 List.443;
if List.581 then
let List.590 : U8 = CallByName List.66 List.439 List.442;
let List.582 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.440 List.590;
let List.587 : U8 = 1i64;
let List.588 : U8 = GetTagId List.582;
let List.589 : Int1 = lowlevel Eq List.587 List.588;
if List.589 then
let List.444 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.582;
let List.585 : U64 = 1i64;
let List.584 : U64 = CallByName Num.19 List.442 List.585;
jump List.579 List.439 List.444 List.441 List.584 List.443;
else
dec List.433;
let List.439 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.555;
let List.559 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.439;
ret List.559;
dec List.439;
let List.445 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.582;
let List.586 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.445;
ret List.586;
else
dec List.433;
let List.553 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.434;
ret List.553;
dec List.439;
let List.580 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.440;
ret List.580;
in
jump List.552 List.594 List.595 List.596 List.597 List.598;
jump List.579 List.621 List.622 List.623 List.624 List.625;
procedure List.92 (List.430, List.431, List.432):
let List.512 : U64 = 0i64;
let List.513 : U64 = CallByName List.6 List.430;
let List.511 : List U8 = CallByName List.80 List.430 List.431 List.432 List.512 List.513;
ret List.511;
procedure List.93 (List.436, List.437, List.438):
let List.539 : U64 = 0i64;
let List.540 : U64 = CallByName List.6 List.436;
let List.538 : List U8 = CallByName List.80 List.436 List.437 List.438 List.539 List.540;
ret List.538;
procedure List.92 (List.430, List.431, List.432):
let List.550 : U64 = 0i64;
let List.551 : U64 = CallByName List.6 List.430;
let List.549 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.430 List.431 List.432 List.550 List.551;
ret List.549;
procedure List.93 (List.436, List.437, List.438):
let List.577 : U64 = 0i64;
let List.578 : U64 = CallByName List.6 List.436;
let List.576 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.436 List.437 List.438 List.577 List.578;
ret List.576;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.286 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;

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

@ -271,183 +271,183 @@ procedure Json.31 (Json.261, Json.262):
let Json.1172 : {Str, List Str} = CallByName Encode.23 Json.1173;
ret Json.1172;
procedure List.139 (List.140, List.141, List.138):
let List.541 : {List U8, U64} = CallByName Json.266 List.140 List.141 List.138;
ret List.541;
procedure List.145 (List.146, List.147, List.144):
let List.568 : {List U8, U64} = CallByName Json.266 List.146 List.147 List.144;
ret List.568;
procedure List.139 (List.140, List.141, List.138):
let List.561 : List U8 = CallByName Json.214 List.140 List.141;
ret List.561;
procedure List.145 (List.146, List.147, List.144):
let List.588 : List U8 = CallByName Json.214 List.146 List.147;
ret List.588;
procedure List.18 (List.136, List.137, List.138):
let List.522 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.522;
procedure List.18 (List.142, List.143, List.144):
let List.549 : {List U8, U64} = CallByName List.93 List.142 List.143 List.144;
ret List.549;
procedure List.18 (List.136, List.137, List.138):
let List.542 : List U8 = CallByName List.92 List.136 List.137 List.138;
ret List.542;
procedure List.18 (List.142, List.143, List.144):
let List.569 : List U8 = CallByName List.93 List.142 List.143 List.144;
ret List.569;
procedure List.26 (List.153, List.154, List.155):
let List.592 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.92 List.153 List.154 List.155;
let List.595 : U8 = 1i64;
let List.596 : U8 = GetTagId List.592;
let List.597 : Int1 = lowlevel Eq List.595 List.596;
if List.597 then
let List.156 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.592;
ret List.156;
procedure List.26 (List.159, List.160, List.161):
let List.619 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.93 List.159 List.160 List.161;
let List.622 : U8 = 1i64;
let List.623 : U8 = GetTagId List.619;
let List.624 : Int1 = lowlevel Eq List.622 List.623;
if List.624 then
let List.162 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.619;
ret List.162;
else
let List.157 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.592;
ret List.157;
let List.163 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.619;
ret List.163;
procedure List.4 (List.107, List.108):
let List.521 : U64 = 1i64;
let List.520 : List U8 = CallByName List.70 List.107 List.521;
let List.519 : List U8 = CallByName List.71 List.520 List.108;
ret List.519;
procedure List.4 (List.113, List.114):
let List.548 : U64 = 1i64;
let List.547 : List U8 = CallByName List.70 List.113 List.548;
let List.546 : List U8 = CallByName List.71 List.547 List.114;
ret List.546;
procedure List.49 (List.370, List.371):
let List.584 : U64 = StructAtIndex 0 List.371;
let List.585 : U64 = 0i64;
let List.582 : Int1 = CallByName Bool.11 List.584 List.585;
if List.582 then
dec List.370;
let List.583 : List U8 = Array [];
ret List.583;
procedure List.49 (List.376, List.377):
let List.611 : U64 = StructAtIndex 0 List.377;
let List.612 : U64 = 0i64;
let List.609 : Int1 = CallByName Bool.11 List.611 List.612;
if List.609 then
dec List.376;
let List.610 : List U8 = Array [];
ret List.610;
else
let List.579 : U64 = StructAtIndex 1 List.371;
let List.580 : U64 = StructAtIndex 0 List.371;
let List.578 : List U8 = CallByName List.72 List.370 List.579 List.580;
ret List.578;
let List.606 : U64 = StructAtIndex 1 List.377;
let List.607 : U64 = StructAtIndex 0 List.377;
let List.605 : List U8 = CallByName List.72 List.376 List.606 List.607;
ret List.605;
procedure List.52 (List.385, List.386):
let List.387 : U64 = CallByName List.6 List.385;
joinpoint List.590 List.388:
let List.588 : U64 = 0i64;
let List.587 : {U64, U64} = Struct {List.388, List.588};
inc List.385;
let List.389 : List U8 = CallByName List.49 List.385 List.587;
let List.586 : U64 = CallByName Num.20 List.387 List.388;
let List.577 : {U64, U64} = Struct {List.586, List.388};
let List.390 : List U8 = CallByName List.49 List.385 List.577;
let List.576 : {List U8, List U8} = Struct {List.389, List.390};
ret List.576;
procedure List.52 (List.391, List.392):
let List.393 : U64 = CallByName List.6 List.391;
joinpoint List.617 List.394:
let List.615 : U64 = 0i64;
let List.614 : {U64, U64} = Struct {List.394, List.615};
inc List.391;
let List.395 : List U8 = CallByName List.49 List.391 List.614;
let List.613 : U64 = CallByName Num.20 List.393 List.394;
let List.604 : {U64, U64} = Struct {List.613, List.394};
let List.396 : List U8 = CallByName List.49 List.391 List.604;
let List.603 : {List U8, List U8} = Struct {List.395, List.396};
ret List.603;
in
let List.591 : Int1 = CallByName Num.24 List.387 List.386;
if List.591 then
jump List.590 List.386;
let List.618 : Int1 = CallByName Num.24 List.393 List.392;
if List.618 then
jump List.617 List.392;
else
jump List.590 List.387;
jump List.617 List.393;
procedure List.6 (#Attr.2):
let List.562 : U64 = lowlevel ListLen #Attr.2;
ret List.562;
let List.589 : U64 = lowlevel ListLen #Attr.2;
ret List.589;
procedure List.6 (#Attr.2):
let List.564 : U64 = lowlevel ListLen #Attr.2;
ret List.564;
let List.591 : U64 = lowlevel ListLen #Attr.2;
ret List.591;
procedure List.66 (#Attr.2, #Attr.3):
let List.538 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.538;
let List.565 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.565;
procedure List.66 (#Attr.2, #Attr.3):
let List.558 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.558;
let List.585 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.585;
procedure List.68 (#Attr.2):
let List.575 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.575;
let List.602 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.602;
procedure List.70 (#Attr.2, #Attr.3):
let List.500 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.500;
let List.527 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.527;
procedure List.71 (#Attr.2, #Attr.3):
let List.498 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.498;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.581 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.581;
procedure List.8 (#Attr.2, #Attr.3):
let List.573 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.573;
procedure List.80 (List.622, List.623, List.624, List.625, List.626):
joinpoint List.528 List.433 List.434 List.435 List.436 List.437:
let List.530 : Int1 = CallByName Num.22 List.436 List.437;
if List.530 then
let List.537 : Str = CallByName List.66 List.433 List.436;
inc List.537;
let List.531 : {List U8, U64} = CallByName List.139 List.434 List.537 List.435;
let List.534 : U64 = 1i64;
let List.533 : U64 = CallByName Num.19 List.436 List.534;
jump List.528 List.433 List.531 List.435 List.533 List.437;
else
dec List.433;
ret List.434;
in
jump List.528 List.622 List.623 List.624 List.625 List.626;
procedure List.80 (List.639, List.640, List.641, List.642, List.643):
joinpoint List.548 List.433 List.434 List.435 List.436 List.437:
let List.550 : Int1 = CallByName Num.22 List.436 List.437;
if List.550 then
let List.557 : U8 = CallByName List.66 List.433 List.436;
let List.551 : List U8 = CallByName List.139 List.434 List.557 List.435;
let List.554 : U64 = 1i64;
let List.553 : U64 = CallByName Num.19 List.436 List.554;
jump List.548 List.433 List.551 List.435 List.553 List.437;
else
dec List.433;
ret List.434;
in
jump List.548 List.639 List.640 List.641 List.642 List.643;
procedure List.80 (List.666, List.667, List.668, List.669, List.670):
joinpoint List.601 List.433 List.434 List.435 List.436 List.437:
let List.603 : Int1 = CallByName Num.22 List.436 List.437;
if List.603 then
let List.612 : U8 = CallByName List.66 List.433 List.436;
let List.604 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.434 List.612;
let List.609 : U8 = 1i64;
let List.610 : U8 = GetTagId List.604;
let List.611 : Int1 = lowlevel Eq List.609 List.610;
if List.611 then
let List.438 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.604;
let List.607 : U64 = 1i64;
let List.606 : U64 = CallByName Num.19 List.436 List.607;
jump List.601 List.433 List.438 List.435 List.606 List.437;
else
dec List.433;
let List.439 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.604;
let List.608 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.439;
ret List.608;
else
dec List.433;
let List.602 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.434;
ret List.602;
in
jump List.601 List.666 List.667 List.668 List.669 List.670;
procedure List.92 (List.430, List.431, List.432):
let List.526 : U64 = 0i64;
let List.527 : U64 = CallByName List.6 List.430;
let List.525 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.526 List.527;
let List.525 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.525;
procedure List.92 (List.430, List.431, List.432):
let List.546 : U64 = 0i64;
let List.547 : U64 = CallByName List.6 List.430;
let List.545 : List U8 = CallByName List.80 List.430 List.431 List.432 List.546 List.547;
ret List.545;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.608 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.608;
procedure List.92 (List.430, List.431, List.432):
let List.599 : U64 = 0i64;
let List.600 : U64 = CallByName List.6 List.430;
let List.598 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.430 List.431 List.432 List.599 List.600;
ret List.598;
procedure List.8 (#Attr.2, #Attr.3):
let List.600 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.600;
procedure List.80 (List.649, List.650, List.651, List.652, List.653):
joinpoint List.555 List.439 List.440 List.441 List.442 List.443:
let List.557 : Int1 = CallByName Num.22 List.442 List.443;
if List.557 then
let List.564 : Str = CallByName List.66 List.439 List.442;
inc List.564;
let List.558 : {List U8, U64} = CallByName List.145 List.440 List.564 List.441;
let List.561 : U64 = 1i64;
let List.560 : U64 = CallByName Num.19 List.442 List.561;
jump List.555 List.439 List.558 List.441 List.560 List.443;
else
dec List.439;
ret List.440;
in
jump List.555 List.649 List.650 List.651 List.652 List.653;
procedure List.80 (List.666, List.667, List.668, List.669, List.670):
joinpoint List.575 List.439 List.440 List.441 List.442 List.443:
let List.577 : Int1 = CallByName Num.22 List.442 List.443;
if List.577 then
let List.584 : U8 = CallByName List.66 List.439 List.442;
let List.578 : List U8 = CallByName List.145 List.440 List.584 List.441;
let List.581 : U64 = 1i64;
let List.580 : U64 = CallByName Num.19 List.442 List.581;
jump List.575 List.439 List.578 List.441 List.580 List.443;
else
dec List.439;
ret List.440;
in
jump List.575 List.666 List.667 List.668 List.669 List.670;
procedure List.80 (List.693, List.694, List.695, List.696, List.697):
joinpoint List.628 List.439 List.440 List.441 List.442 List.443:
let List.630 : Int1 = CallByName Num.22 List.442 List.443;
if List.630 then
let List.639 : U8 = CallByName List.66 List.439 List.442;
let List.631 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.440 List.639;
let List.636 : U8 = 1i64;
let List.637 : U8 = GetTagId List.631;
let List.638 : Int1 = lowlevel Eq List.636 List.637;
if List.638 then
let List.444 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.631;
let List.634 : U64 = 1i64;
let List.633 : U64 = CallByName Num.19 List.442 List.634;
jump List.628 List.439 List.444 List.441 List.633 List.443;
else
dec List.439;
let List.445 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.631;
let List.635 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.445;
ret List.635;
else
dec List.439;
let List.629 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.440;
ret List.629;
in
jump List.628 List.693 List.694 List.695 List.696 List.697;
procedure List.93 (List.436, List.437, List.438):
let List.553 : U64 = 0i64;
let List.554 : U64 = CallByName List.6 List.436;
let List.552 : {List U8, U64} = CallByName List.80 List.436 List.437 List.438 List.553 List.554;
ret List.552;
procedure List.93 (List.436, List.437, List.438):
let List.573 : U64 = 0i64;
let List.574 : U64 = CallByName List.6 List.436;
let List.572 : List U8 = CallByName List.80 List.436 List.437 List.438 List.573 List.574;
ret List.572;
procedure List.93 (List.436, List.437, List.438):
let List.626 : U64 = 0i64;
let List.627 : U64 = CallByName List.6 List.436;
let List.625 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.436 List.437 List.438 List.626 List.627;
ret List.625;
procedure Num.127 (#Attr.2):
let Num.288 : U8 = lowlevel NumIntCast #Attr.2;

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

@ -274,183 +274,183 @@ procedure Json.31 (Json.261, Json.262):
let Json.1172 : {Str, List Str} = CallByName Encode.23 Json.1173;
ret Json.1172;
procedure List.139 (List.140, List.141, List.138):
let List.541 : {List U8, U64} = CallByName Json.266 List.140 List.141 List.138;
ret List.541;
procedure List.145 (List.146, List.147, List.144):
let List.568 : {List U8, U64} = CallByName Json.266 List.146 List.147 List.144;
ret List.568;
procedure List.139 (List.140, List.141, List.138):
let List.561 : List U8 = CallByName Json.214 List.140 List.141;
ret List.561;
procedure List.145 (List.146, List.147, List.144):
let List.588 : List U8 = CallByName Json.214 List.146 List.147;
ret List.588;
procedure List.18 (List.136, List.137, List.138):
let List.522 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.522;
procedure List.18 (List.142, List.143, List.144):
let List.549 : {List U8, U64} = CallByName List.93 List.142 List.143 List.144;
ret List.549;
procedure List.18 (List.136, List.137, List.138):
let List.542 : List U8 = CallByName List.92 List.136 List.137 List.138;
ret List.542;
procedure List.18 (List.142, List.143, List.144):
let List.569 : List U8 = CallByName List.93 List.142 List.143 List.144;
ret List.569;
procedure List.26 (List.153, List.154, List.155):
let List.592 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.92 List.153 List.154 List.155;
let List.595 : U8 = 1i64;
let List.596 : U8 = GetTagId List.592;
let List.597 : Int1 = lowlevel Eq List.595 List.596;
if List.597 then
let List.156 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.592;
ret List.156;
procedure List.26 (List.159, List.160, List.161):
let List.619 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.93 List.159 List.160 List.161;
let List.622 : U8 = 1i64;
let List.623 : U8 = GetTagId List.619;
let List.624 : Int1 = lowlevel Eq List.622 List.623;
if List.624 then
let List.162 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.619;
ret List.162;
else
let List.157 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.592;
ret List.157;
let List.163 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.619;
ret List.163;
procedure List.4 (List.107, List.108):
let List.521 : U64 = 1i64;
let List.520 : List U8 = CallByName List.70 List.107 List.521;
let List.519 : List U8 = CallByName List.71 List.520 List.108;
ret List.519;
procedure List.4 (List.113, List.114):
let List.548 : U64 = 1i64;
let List.547 : List U8 = CallByName List.70 List.113 List.548;
let List.546 : List U8 = CallByName List.71 List.547 List.114;
ret List.546;
procedure List.49 (List.370, List.371):
let List.584 : U64 = StructAtIndex 0 List.371;
let List.585 : U64 = 0i64;
let List.582 : Int1 = CallByName Bool.11 List.584 List.585;
if List.582 then
dec List.370;
let List.583 : List U8 = Array [];
ret List.583;
procedure List.49 (List.376, List.377):
let List.611 : U64 = StructAtIndex 0 List.377;
let List.612 : U64 = 0i64;
let List.609 : Int1 = CallByName Bool.11 List.611 List.612;
if List.609 then
dec List.376;
let List.610 : List U8 = Array [];
ret List.610;
else
let List.579 : U64 = StructAtIndex 1 List.371;
let List.580 : U64 = StructAtIndex 0 List.371;
let List.578 : List U8 = CallByName List.72 List.370 List.579 List.580;
ret List.578;
let List.606 : U64 = StructAtIndex 1 List.377;
let List.607 : U64 = StructAtIndex 0 List.377;
let List.605 : List U8 = CallByName List.72 List.376 List.606 List.607;
ret List.605;
procedure List.52 (List.385, List.386):
let List.387 : U64 = CallByName List.6 List.385;
joinpoint List.590 List.388:
let List.588 : U64 = 0i64;
let List.587 : {U64, U64} = Struct {List.388, List.588};
inc List.385;
let List.389 : List U8 = CallByName List.49 List.385 List.587;
let List.586 : U64 = CallByName Num.20 List.387 List.388;
let List.577 : {U64, U64} = Struct {List.586, List.388};
let List.390 : List U8 = CallByName List.49 List.385 List.577;
let List.576 : {List U8, List U8} = Struct {List.389, List.390};
ret List.576;
procedure List.52 (List.391, List.392):
let List.393 : U64 = CallByName List.6 List.391;
joinpoint List.617 List.394:
let List.615 : U64 = 0i64;
let List.614 : {U64, U64} = Struct {List.394, List.615};
inc List.391;
let List.395 : List U8 = CallByName List.49 List.391 List.614;
let List.613 : U64 = CallByName Num.20 List.393 List.394;
let List.604 : {U64, U64} = Struct {List.613, List.394};
let List.396 : List U8 = CallByName List.49 List.391 List.604;
let List.603 : {List U8, List U8} = Struct {List.395, List.396};
ret List.603;
in
let List.591 : Int1 = CallByName Num.24 List.387 List.386;
if List.591 then
jump List.590 List.386;
let List.618 : Int1 = CallByName Num.24 List.393 List.392;
if List.618 then
jump List.617 List.392;
else
jump List.590 List.387;
jump List.617 List.393;
procedure List.6 (#Attr.2):
let List.562 : U64 = lowlevel ListLen #Attr.2;
ret List.562;
let List.589 : U64 = lowlevel ListLen #Attr.2;
ret List.589;
procedure List.6 (#Attr.2):
let List.564 : U64 = lowlevel ListLen #Attr.2;
ret List.564;
let List.591 : U64 = lowlevel ListLen #Attr.2;
ret List.591;
procedure List.66 (#Attr.2, #Attr.3):
let List.538 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.538;
let List.565 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.565;
procedure List.66 (#Attr.2, #Attr.3):
let List.558 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.558;
let List.585 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.585;
procedure List.68 (#Attr.2):
let List.575 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.575;
let List.602 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.602;
procedure List.70 (#Attr.2, #Attr.3):
let List.500 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.500;
let List.527 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.527;
procedure List.71 (#Attr.2, #Attr.3):
let List.498 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.498;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.581 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.581;
procedure List.8 (#Attr.2, #Attr.3):
let List.573 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.573;
procedure List.80 (List.622, List.623, List.624, List.625, List.626):
joinpoint List.528 List.433 List.434 List.435 List.436 List.437:
let List.530 : Int1 = CallByName Num.22 List.436 List.437;
if List.530 then
let List.537 : Str = CallByName List.66 List.433 List.436;
inc List.537;
let List.531 : {List U8, U64} = CallByName List.139 List.434 List.537 List.435;
let List.534 : U64 = 1i64;
let List.533 : U64 = CallByName Num.19 List.436 List.534;
jump List.528 List.433 List.531 List.435 List.533 List.437;
else
dec List.433;
ret List.434;
in
jump List.528 List.622 List.623 List.624 List.625 List.626;
procedure List.80 (List.639, List.640, List.641, List.642, List.643):
joinpoint List.548 List.433 List.434 List.435 List.436 List.437:
let List.550 : Int1 = CallByName Num.22 List.436 List.437;
if List.550 then
let List.557 : U8 = CallByName List.66 List.433 List.436;
let List.551 : List U8 = CallByName List.139 List.434 List.557 List.435;
let List.554 : U64 = 1i64;
let List.553 : U64 = CallByName Num.19 List.436 List.554;
jump List.548 List.433 List.551 List.435 List.553 List.437;
else
dec List.433;
ret List.434;
in
jump List.548 List.639 List.640 List.641 List.642 List.643;
procedure List.80 (List.666, List.667, List.668, List.669, List.670):
joinpoint List.601 List.433 List.434 List.435 List.436 List.437:
let List.603 : Int1 = CallByName Num.22 List.436 List.437;
if List.603 then
let List.612 : U8 = CallByName List.66 List.433 List.436;
let List.604 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.434 List.612;
let List.609 : U8 = 1i64;
let List.610 : U8 = GetTagId List.604;
let List.611 : Int1 = lowlevel Eq List.609 List.610;
if List.611 then
let List.438 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.604;
let List.607 : U64 = 1i64;
let List.606 : U64 = CallByName Num.19 List.436 List.607;
jump List.601 List.433 List.438 List.435 List.606 List.437;
else
dec List.433;
let List.439 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.604;
let List.608 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.439;
ret List.608;
else
dec List.433;
let List.602 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.434;
ret List.602;
in
jump List.601 List.666 List.667 List.668 List.669 List.670;
procedure List.92 (List.430, List.431, List.432):
let List.526 : U64 = 0i64;
let List.527 : U64 = CallByName List.6 List.430;
let List.525 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.526 List.527;
let List.525 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.525;
procedure List.92 (List.430, List.431, List.432):
let List.546 : U64 = 0i64;
let List.547 : U64 = CallByName List.6 List.430;
let List.545 : List U8 = CallByName List.80 List.430 List.431 List.432 List.546 List.547;
ret List.545;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.608 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.608;
procedure List.92 (List.430, List.431, List.432):
let List.599 : U64 = 0i64;
let List.600 : U64 = CallByName List.6 List.430;
let List.598 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.430 List.431 List.432 List.599 List.600;
ret List.598;
procedure List.8 (#Attr.2, #Attr.3):
let List.600 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.600;
procedure List.80 (List.649, List.650, List.651, List.652, List.653):
joinpoint List.555 List.439 List.440 List.441 List.442 List.443:
let List.557 : Int1 = CallByName Num.22 List.442 List.443;
if List.557 then
let List.564 : Str = CallByName List.66 List.439 List.442;
inc List.564;
let List.558 : {List U8, U64} = CallByName List.145 List.440 List.564 List.441;
let List.561 : U64 = 1i64;
let List.560 : U64 = CallByName Num.19 List.442 List.561;
jump List.555 List.439 List.558 List.441 List.560 List.443;
else
dec List.439;
ret List.440;
in
jump List.555 List.649 List.650 List.651 List.652 List.653;
procedure List.80 (List.666, List.667, List.668, List.669, List.670):
joinpoint List.575 List.439 List.440 List.441 List.442 List.443:
let List.577 : Int1 = CallByName Num.22 List.442 List.443;
if List.577 then
let List.584 : U8 = CallByName List.66 List.439 List.442;
let List.578 : List U8 = CallByName List.145 List.440 List.584 List.441;
let List.581 : U64 = 1i64;
let List.580 : U64 = CallByName Num.19 List.442 List.581;
jump List.575 List.439 List.578 List.441 List.580 List.443;
else
dec List.439;
ret List.440;
in
jump List.575 List.666 List.667 List.668 List.669 List.670;
procedure List.80 (List.693, List.694, List.695, List.696, List.697):
joinpoint List.628 List.439 List.440 List.441 List.442 List.443:
let List.630 : Int1 = CallByName Num.22 List.442 List.443;
if List.630 then
let List.639 : U8 = CallByName List.66 List.439 List.442;
let List.631 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.440 List.639;
let List.636 : U8 = 1i64;
let List.637 : U8 = GetTagId List.631;
let List.638 : Int1 = lowlevel Eq List.636 List.637;
if List.638 then
let List.444 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.631;
let List.634 : U64 = 1i64;
let List.633 : U64 = CallByName Num.19 List.442 List.634;
jump List.628 List.439 List.444 List.441 List.633 List.443;
else
dec List.439;
let List.445 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.631;
let List.635 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.445;
ret List.635;
else
dec List.439;
let List.629 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.440;
ret List.629;
in
jump List.628 List.693 List.694 List.695 List.696 List.697;
procedure List.93 (List.436, List.437, List.438):
let List.553 : U64 = 0i64;
let List.554 : U64 = CallByName List.6 List.436;
let List.552 : {List U8, U64} = CallByName List.80 List.436 List.437 List.438 List.553 List.554;
ret List.552;
procedure List.93 (List.436, List.437, List.438):
let List.573 : U64 = 0i64;
let List.574 : U64 = CallByName List.6 List.436;
let List.572 : List U8 = CallByName List.80 List.436 List.437 List.438 List.573 List.574;
ret List.572;
procedure List.93 (List.436, List.437, List.438):
let List.626 : U64 = 0i64;
let List.627 : U64 = CallByName List.6 List.436;
let List.625 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.436 List.437 List.438 List.626 List.627;
ret List.625;
procedure Num.127 (#Attr.2):
let Num.288 : 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.494 : U64 = lowlevel ListLen #Attr.2;
ret List.494;
let List.521 : U64 = lowlevel ListLen #Attr.2;
ret List.521;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.283 : 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.96, List.97):
let List.508 : U64 = CallByName List.6 List.96;
let List.504 : Int1 = CallByName Num.22 List.97 List.508;
if List.504 then
let List.506 : I64 = CallByName List.66 List.96 List.97;
dec List.96;
let List.505 : [C {}, C I64] = TagId(1) List.506;
ret List.505;
procedure List.2 (List.97, List.98):
let List.535 : U64 = CallByName List.6 List.97;
let List.531 : Int1 = CallByName Num.22 List.98 List.535;
if List.531 then
let List.533 : I64 = CallByName List.66 List.97 List.98;
dec List.97;
let List.532 : [C {}, C I64] = TagId(1) List.533;
ret List.532;
else
dec List.96;
let List.503 : {} = Struct {};
let List.502 : [C {}, C I64] = TagId(0) List.503;
ret List.502;
dec List.97;
let List.530 : {} = Struct {};
let List.529 : [C {}, C I64] = TagId(0) List.530;
ret List.529;
procedure List.6 (#Attr.2):
let List.509 : U64 = lowlevel ListLen #Attr.2;
ret List.509;
let List.536 : U64 = lowlevel ListLen #Attr.2;
ret List.536;
procedure List.66 (#Attr.2, #Attr.3):
let List.507 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.507;
let List.534 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.534;
procedure List.9 (List.287):
let List.501 : U64 = 0i64;
let List.494 : [C {}, C I64] = CallByName List.2 List.287 List.501;
let List.498 : U8 = 1i64;
let List.499 : U8 = GetTagId List.494;
let List.500 : Int1 = lowlevel Eq List.498 List.499;
if List.500 then
let List.288 : I64 = UnionAtIndex (Id 1) (Index 0) List.494;
let List.495 : [C Int1, C I64] = TagId(1) List.288;
ret List.495;
procedure List.9 (List.293):
let List.528 : U64 = 0i64;
let List.521 : [C {}, C I64] = CallByName List.2 List.293 List.528;
let List.525 : U8 = 1i64;
let List.526 : U8 = GetTagId List.521;
let List.527 : Int1 = lowlevel Eq List.525 List.526;
if List.527 then
let List.294 : I64 = UnionAtIndex (Id 1) (Index 0) List.521;
let List.522 : [C Int1, C I64] = TagId(1) List.294;
ret List.522;
else
let List.497 : Int1 = true;
let List.496 : [C Int1, C I64] = TagId(0) List.497;
ret List.496;
let List.524 : Int1 = true;
let List.523 : [C Int1, C I64] = TagId(0) List.524;
ret List.523;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.281 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

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

@ -632,136 +632,136 @@ procedure Json.69 (Json.1467):
in
jump Json.1197 Json.1467;
procedure List.1 (List.95):
let List.563 : U64 = CallByName List.6 List.95;
dec List.95;
let List.564 : U64 = 0i64;
let List.562 : Int1 = CallByName Bool.11 List.563 List.564;
ret List.562;
procedure List.1 (List.96):
let List.590 : U64 = CallByName List.6 List.96;
dec List.96;
let List.591 : U64 = 0i64;
let List.589 : Int1 = CallByName Bool.11 List.590 List.591;
ret List.589;
procedure List.2 (List.96, List.97):
let List.546 : U64 = CallByName List.6 List.96;
let List.543 : Int1 = CallByName Num.22 List.97 List.546;
if List.543 then
let List.545 : U8 = CallByName List.66 List.96 List.97;
dec List.96;
let List.544 : [C {}, C U8] = TagId(1) List.545;
ret List.544;
else
dec List.96;
let List.542 : {} = Struct {};
let List.541 : [C {}, C U8] = TagId(0) List.542;
ret List.541;
procedure List.26 (List.153, List.154, List.155):
let List.565 : [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.92 List.153 List.154 List.155;
let List.568 : U8 = 1i64;
let List.569 : U8 = GetTagId List.565;
let List.570 : Int1 = lowlevel Eq List.568 List.569;
procedure List.2 (List.97, List.98):
let List.573 : U64 = CallByName List.6 List.97;
let List.570 : Int1 = CallByName Num.22 List.98 List.573;
if List.570 then
let List.156 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.565;
ret List.156;
let List.572 : U8 = CallByName List.66 List.97 List.98;
dec List.97;
let List.571 : [C {}, C U8] = TagId(1) List.572;
ret List.571;
else
let List.157 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.565;
ret List.157;
dec List.97;
let List.569 : {} = Struct {};
let List.568 : [C {}, C U8] = TagId(0) List.569;
ret List.568;
procedure List.29 (List.298, List.299):
let List.520 : U64 = CallByName List.6 List.298;
let List.300 : U64 = CallByName Num.77 List.520 List.299;
let List.519 : List U8 = CallByName List.43 List.298 List.300;
ret List.519;
procedure List.26 (List.159, List.160, List.161):
let List.592 : [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.93 List.159 List.160 List.161;
let List.595 : U8 = 1i64;
let List.596 : U8 = GetTagId List.592;
let List.597 : Int1 = lowlevel Eq List.595 List.596;
if List.597 then
let List.162 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.592;
ret List.162;
else
let List.163 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.592;
ret List.163;
procedure List.29 (List.304, List.305):
let List.547 : U64 = CallByName List.6 List.304;
let List.306 : U64 = CallByName Num.77 List.547 List.305;
let List.546 : List U8 = CallByName List.43 List.304 List.306;
ret List.546;
procedure List.31 (#Attr.2, #Attr.3):
let List.533 : List U8 = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.533;
let List.560 : List U8 = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.560;
procedure List.38 (List.292):
let List.532 : U64 = 0i64;
let List.531 : List U8 = CallByName List.31 List.292 List.532;
ret List.531;
procedure List.38 (List.298):
let List.559 : U64 = 0i64;
let List.558 : List U8 = CallByName List.31 List.298 List.559;
ret List.558;
procedure List.4 (List.107, List.108):
let List.530 : U64 = 1i64;
let List.529 : List U8 = CallByName List.70 List.107 List.530;
let List.528 : List U8 = CallByName List.71 List.529 List.108;
procedure List.4 (List.113, List.114):
let List.557 : U64 = 1i64;
let List.556 : List U8 = CallByName List.70 List.113 List.557;
let List.555 : List U8 = CallByName List.71 List.556 List.114;
ret List.555;
procedure List.43 (List.302, List.303):
let List.539 : U64 = CallByName List.6 List.302;
let List.538 : U64 = CallByName Num.77 List.539 List.303;
let List.529 : {U64, U64} = Struct {List.303, List.538};
let List.528 : List U8 = CallByName List.49 List.302 List.529;
ret List.528;
procedure List.43 (List.296, List.297):
let List.512 : U64 = CallByName List.6 List.296;
let List.511 : U64 = CallByName Num.77 List.512 List.297;
let List.502 : {U64, U64} = Struct {List.297, List.511};
let List.501 : List U8 = CallByName List.49 List.296 List.502;
ret List.501;
procedure List.49 (List.370, List.371):
let List.559 : U64 = StructAtIndex 0 List.371;
let List.560 : U64 = 0i64;
let List.557 : Int1 = CallByName Bool.11 List.559 List.560;
if List.557 then
dec List.370;
let List.558 : List U8 = Array [];
ret List.558;
procedure List.49 (List.376, List.377):
let List.586 : U64 = StructAtIndex 0 List.377;
let List.587 : U64 = 0i64;
let List.584 : Int1 = CallByName Bool.11 List.586 List.587;
if List.584 then
dec List.376;
let List.585 : List U8 = Array [];
ret List.585;
else
let List.555 : U64 = StructAtIndex 1 List.371;
let List.556 : U64 = StructAtIndex 0 List.371;
let List.554 : List U8 = CallByName List.72 List.370 List.555 List.556;
ret List.554;
let List.582 : U64 = StructAtIndex 1 List.377;
let List.583 : U64 = StructAtIndex 0 List.377;
let List.581 : List U8 = CallByName List.72 List.376 List.582 List.583;
ret List.581;
procedure List.6 (#Attr.2):
let List.623 : U64 = lowlevel ListLen #Attr.2;
ret List.623;
let List.650 : U64 = lowlevel ListLen #Attr.2;
ret List.650;
procedure List.66 (#Attr.2, #Attr.3):
let List.539 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.539;
let List.566 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.566;
procedure List.70 (#Attr.2, #Attr.3):
let List.527 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.527;
let List.554 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.554;
procedure List.71 (#Attr.2, #Attr.3):
let List.525 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.525;
let List.552 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.552;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.506 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.506;
let List.533 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.533;
procedure List.8 (#Attr.2, #Attr.3):
let List.522 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.522;
let List.549 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.549;
procedure List.80 (List.615, List.616, List.617, List.618, List.619):
joinpoint List.574 List.433 List.434 List.435 List.436 List.437:
let List.576 : Int1 = CallByName Num.22 List.436 List.437;
if List.576 then
let List.585 : U8 = CallByName List.66 List.433 List.436;
let List.577 : [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 Json.61 List.434 List.585;
let List.582 : U8 = 1i64;
let List.583 : U8 = GetTagId List.577;
let List.584 : Int1 = lowlevel Eq List.582 List.583;
if List.584 then
let List.438 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.577;
let List.580 : U64 = 1i64;
let List.579 : U64 = CallByName Num.19 List.436 List.580;
jump List.574 List.433 List.438 List.435 List.579 List.437;
procedure List.80 (List.642, List.643, List.644, List.645, List.646):
joinpoint List.601 List.439 List.440 List.441 List.442 List.443:
let List.603 : Int1 = CallByName Num.22 List.442 List.443;
if List.603 then
let List.612 : U8 = CallByName List.66 List.439 List.442;
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 Json.61 List.440 List.612;
let List.609 : U8 = 1i64;
let List.610 : U8 = GetTagId List.604;
let List.611 : Int1 = lowlevel Eq List.609 List.610;
if List.611 then
let List.444 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.604;
let List.607 : U64 = 1i64;
let List.606 : U64 = CallByName Num.19 List.442 List.607;
jump List.601 List.439 List.444 List.441 List.606 List.443;
else
dec List.433;
let List.439 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.577;
let List.581 : [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.439;
ret List.581;
dec List.439;
let List.445 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.604;
let List.608 : [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.445;
ret List.608;
else
dec List.433;
let List.575 : [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.434;
ret List.575;
dec List.439;
let List.602 : [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.440;
ret List.602;
in
jump List.574 List.615 List.616 List.617 List.618 List.619;
jump List.601 List.642 List.643 List.644 List.645 List.646;
procedure List.92 (List.430, List.431, List.432):
let List.572 : U64 = 0i64;
let List.573 : U64 = CallByName List.6 List.430;
let List.571 : [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.430 List.431 List.432 List.572 List.573;
ret List.571;
procedure List.93 (List.436, List.437, List.438):
let List.599 : U64 = 0i64;
let List.600 : U64 = CallByName List.6 List.436;
let List.598 : [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.436 List.437 List.438 List.599 List.600;
ret List.598;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.284 : U8 = lowlevel NumAdd #Attr.2 #Attr.3;

124
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.188 (List.496, List.189, List.187):
let List.526 : Int1 = CallByName Test.1 List.189;
if List.526 then
let List.528 : {} = Struct {};
let List.527 : [C {}, C {}] = TagId(1) List.528;
ret List.527;
procedure List.194 (List.523, List.195, List.193):
let List.553 : Int1 = CallByName Test.1 List.195;
if List.553 then
let List.555 : {} = Struct {};
let List.554 : [C {}, C {}] = TagId(1) List.555;
ret List.554;
else
let List.525 : {} = Struct {};
let List.524 : [C {}, C {}] = TagId(0) List.525;
ret List.524;
let List.552 : {} = Struct {};
let List.551 : [C {}, C {}] = TagId(0) List.552;
ret List.551;
procedure List.23 (#Attr.2, #Attr.3, #Attr.4):
let List.529 : 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.556 : 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.529;
ret List.556;
procedure List.56 (List.186, List.187):
let List.505 : {} = Struct {};
let List.497 : [C {}, C {}] = CallByName List.92 List.186 List.505 List.187;
let List.502 : U8 = 1i64;
let List.503 : U8 = GetTagId List.497;
let List.504 : Int1 = lowlevel Eq List.502 List.503;
if List.504 then
let List.498 : Int1 = CallByName Bool.2;
ret List.498;
procedure List.56 (List.192, List.193):
let List.532 : {} = Struct {};
let List.524 : [C {}, C {}] = CallByName List.93 List.192 List.532 List.193;
let List.529 : U8 = 1i64;
let List.530 : U8 = GetTagId List.524;
let List.531 : Int1 = lowlevel Eq List.529 List.530;
if List.531 then
let List.525 : Int1 = CallByName Bool.2;
ret List.525;
else
let List.499 : Int1 = CallByName Bool.1;
ret List.499;
let List.526 : Int1 = CallByName Bool.1;
ret List.526;
procedure List.6 (#Attr.2):
let List.495 : U64 = lowlevel ListLen #Attr.2;
ret List.495;
procedure List.6 (#Attr.2):
let List.523 : U64 = lowlevel ListLen #Attr.2;
ret List.523;
procedure List.66 (#Attr.2, #Attr.3):
let List.522 : {[<r>C I64, C List *self], [<r>C I64, C List *self]} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
let List.522 : U64 = lowlevel ListLen #Attr.2;
ret List.522;
procedure List.80 (List.534, List.535, List.536, List.537, List.538):
joinpoint List.510 List.433 List.434 List.435 List.436 List.437:
let List.512 : Int1 = CallByName Num.22 List.436 List.437;
if List.512 then
let List.521 : {[<r>C I64, C List *self], [<r>C I64, C List *self]} = CallByName List.66 List.433 List.436;
inc List.521;
let List.513 : [C {}, C {}] = CallByName List.188 List.434 List.521 List.435;
let List.518 : U8 = 1i64;
let List.519 : U8 = GetTagId List.513;
let List.520 : Int1 = lowlevel Eq List.518 List.519;
if List.520 then
let List.438 : {} = UnionAtIndex (Id 1) (Index 0) List.513;
let List.516 : U64 = 1i64;
let List.515 : U64 = CallByName Num.19 List.436 List.516;
jump List.510 List.433 List.438 List.435 List.515 List.437;
else
dec List.433;
let List.439 : {} = UnionAtIndex (Id 0) (Index 0) List.513;
let List.517 : [C {}, C {}] = TagId(0) List.439;
ret List.517;
else
dec List.433;
let List.511 : [C {}, C {}] = TagId(1) List.434;
ret List.511;
in
jump List.510 List.534 List.535 List.536 List.537 List.538;
procedure List.6 (#Attr.2):
let List.550 : U64 = lowlevel ListLen #Attr.2;
ret List.550;
procedure List.92 (List.430, List.431, List.432):
let List.508 : U64 = 0i64;
let List.509 : U64 = CallByName List.6 List.430;
let List.507 : [C {}, C {}] = CallByName List.80 List.430 List.431 List.432 List.508 List.509;
ret List.507;
procedure List.66 (#Attr.2, #Attr.3):
let List.549 : {[<r>C I64, C List *self], [<r>C I64, C List *self]} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.549;
procedure List.80 (List.561, List.562, List.563, List.564, List.565):
joinpoint List.537 List.439 List.440 List.441 List.442 List.443:
let List.539 : Int1 = CallByName Num.22 List.442 List.443;
if List.539 then
let List.548 : {[<r>C I64, C List *self], [<r>C I64, C List *self]} = CallByName List.66 List.439 List.442;
inc List.548;
let List.540 : [C {}, C {}] = CallByName List.194 List.440 List.548 List.441;
let List.545 : U8 = 1i64;
let List.546 : U8 = GetTagId List.540;
let List.547 : Int1 = lowlevel Eq List.545 List.546;
if List.547 then
let List.444 : {} = UnionAtIndex (Id 1) (Index 0) List.540;
let List.543 : U64 = 1i64;
let List.542 : U64 = CallByName Num.19 List.442 List.543;
jump List.537 List.439 List.444 List.441 List.542 List.443;
else
dec List.439;
let List.445 : {} = UnionAtIndex (Id 0) (Index 0) List.540;
let List.544 : [C {}, C {}] = TagId(0) List.445;
ret List.544;
else
dec List.439;
let List.538 : [C {}, C {}] = TagId(1) List.440;
ret List.538;
in
jump List.537 List.561 List.562 List.563 List.564 List.565;
procedure List.93 (List.436, List.437, List.438):
let List.535 : U64 = 0i64;
let List.536 : U64 = CallByName List.6 List.436;
let List.534 : [C {}, C {}] = CallByName List.80 List.436 List.437 List.438 List.535 List.536;
ret List.534;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.283 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;

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

@ -606,136 +606,136 @@ procedure Json.69 (Json.1467):
in
jump Json.1197 Json.1467;
procedure List.1 (List.95):
let List.557 : U64 = CallByName List.6 List.95;
dec List.95;
let List.558 : U64 = 0i64;
let List.556 : Int1 = CallByName Bool.11 List.557 List.558;
ret List.556;
procedure List.1 (List.96):
let List.584 : U64 = CallByName List.6 List.96;
dec List.96;
let List.585 : U64 = 0i64;
let List.583 : Int1 = CallByName Bool.11 List.584 List.585;
ret List.583;
procedure List.2 (List.96, List.97):
let List.540 : U64 = CallByName List.6 List.96;
let List.537 : Int1 = CallByName Num.22 List.97 List.540;
if List.537 then
let List.539 : U8 = CallByName List.66 List.96 List.97;
dec List.96;
let List.538 : [C {}, C U8] = TagId(1) List.539;
ret List.538;
else
dec List.96;
let List.536 : {} = Struct {};
let List.535 : [C {}, C U8] = TagId(0) List.536;
ret List.535;
procedure List.26 (List.153, List.154, List.155):
let List.559 : [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.92 List.153 List.154 List.155;
let List.562 : U8 = 1i64;
let List.563 : U8 = GetTagId List.559;
let List.564 : Int1 = lowlevel Eq List.562 List.563;
procedure List.2 (List.97, List.98):
let List.567 : U64 = CallByName List.6 List.97;
let List.564 : Int1 = CallByName Num.22 List.98 List.567;
if List.564 then
let List.156 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.559;
ret List.156;
let List.566 : U8 = CallByName List.66 List.97 List.98;
dec List.97;
let List.565 : [C {}, C U8] = TagId(1) List.566;
ret List.565;
else
let List.157 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.559;
ret List.157;
dec List.97;
let List.563 : {} = Struct {};
let List.562 : [C {}, C U8] = TagId(0) List.563;
ret List.562;
procedure List.29 (List.298, List.299):
let List.514 : U64 = CallByName List.6 List.298;
let List.300 : U64 = CallByName Num.77 List.514 List.299;
let List.513 : List U8 = CallByName List.43 List.298 List.300;
ret List.513;
procedure List.26 (List.159, List.160, List.161):
let List.586 : [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.93 List.159 List.160 List.161;
let List.589 : U8 = 1i64;
let List.590 : U8 = GetTagId List.586;
let List.591 : Int1 = lowlevel Eq List.589 List.590;
if List.591 then
let List.162 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.586;
ret List.162;
else
let List.163 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.586;
ret List.163;
procedure List.29 (List.304, List.305):
let List.541 : U64 = CallByName List.6 List.304;
let List.306 : U64 = CallByName Num.77 List.541 List.305;
let List.540 : List U8 = CallByName List.43 List.304 List.306;
ret List.540;
procedure List.31 (#Attr.2, #Attr.3):
let List.527 : List U8 = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.527;
let List.554 : List U8 = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.554;
procedure List.38 (List.292):
let List.526 : U64 = 0i64;
let List.525 : List U8 = CallByName List.31 List.292 List.526;
ret List.525;
procedure List.38 (List.298):
let List.553 : U64 = 0i64;
let List.552 : List U8 = CallByName List.31 List.298 List.553;
ret List.552;
procedure List.4 (List.107, List.108):
let List.524 : U64 = 1i64;
let List.523 : List U8 = CallByName List.70 List.107 List.524;
let List.522 : List U8 = CallByName List.71 List.523 List.108;
procedure List.4 (List.113, List.114):
let List.551 : U64 = 1i64;
let List.550 : List U8 = CallByName List.70 List.113 List.551;
let List.549 : List U8 = CallByName List.71 List.550 List.114;
ret List.549;
procedure List.43 (List.302, List.303):
let List.533 : U64 = CallByName List.6 List.302;
let List.532 : U64 = CallByName Num.77 List.533 List.303;
let List.523 : {U64, U64} = Struct {List.303, List.532};
let List.522 : List U8 = CallByName List.49 List.302 List.523;
ret List.522;
procedure List.43 (List.296, List.297):
let List.506 : U64 = CallByName List.6 List.296;
let List.505 : U64 = CallByName Num.77 List.506 List.297;
let List.496 : {U64, U64} = Struct {List.297, List.505};
let List.495 : List U8 = CallByName List.49 List.296 List.496;
ret List.495;
procedure List.49 (List.370, List.371):
let List.553 : U64 = StructAtIndex 0 List.371;
let List.554 : U64 = 0i64;
let List.551 : Int1 = CallByName Bool.11 List.553 List.554;
if List.551 then
dec List.370;
let List.552 : List U8 = Array [];
ret List.552;
procedure List.49 (List.376, List.377):
let List.580 : U64 = StructAtIndex 0 List.377;
let List.581 : U64 = 0i64;
let List.578 : Int1 = CallByName Bool.11 List.580 List.581;
if List.578 then
dec List.376;
let List.579 : List U8 = Array [];
ret List.579;
else
let List.549 : U64 = StructAtIndex 1 List.371;
let List.550 : U64 = StructAtIndex 0 List.371;
let List.548 : List U8 = CallByName List.72 List.370 List.549 List.550;
ret List.548;
let List.576 : U64 = StructAtIndex 1 List.377;
let List.577 : U64 = StructAtIndex 0 List.377;
let List.575 : List U8 = CallByName List.72 List.376 List.576 List.577;
ret List.575;
procedure List.6 (#Attr.2):
let List.617 : U64 = lowlevel ListLen #Attr.2;
ret List.617;
let List.644 : U64 = lowlevel ListLen #Attr.2;
ret List.644;
procedure List.66 (#Attr.2, #Attr.3):
let List.533 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.533;
let List.560 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.560;
procedure List.70 (#Attr.2, #Attr.3):
let List.521 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.521;
let List.548 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.548;
procedure List.71 (#Attr.2, #Attr.3):
let List.519 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.519;
let List.546 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.546;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.500 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.500;
let List.527 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.527;
procedure List.8 (#Attr.2, #Attr.3):
let List.516 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.516;
let List.543 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.543;
procedure List.80 (List.609, List.610, List.611, List.612, List.613):
joinpoint List.568 List.433 List.434 List.435 List.436 List.437:
let List.570 : Int1 = CallByName Num.22 List.436 List.437;
if List.570 then
let List.579 : U8 = CallByName List.66 List.433 List.436;
let List.571 : [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 Json.61 List.434 List.579;
let List.576 : U8 = 1i64;
let List.577 : U8 = GetTagId List.571;
let List.578 : Int1 = lowlevel Eq List.576 List.577;
if List.578 then
let List.438 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.571;
let List.574 : U64 = 1i64;
let List.573 : U64 = CallByName Num.19 List.436 List.574;
jump List.568 List.433 List.438 List.435 List.573 List.437;
procedure List.80 (List.636, List.637, List.638, List.639, List.640):
joinpoint List.595 List.439 List.440 List.441 List.442 List.443:
let List.597 : Int1 = CallByName Num.22 List.442 List.443;
if List.597 then
let List.606 : U8 = CallByName List.66 List.439 List.442;
let List.598 : [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 Json.61 List.440 List.606;
let List.603 : U8 = 1i64;
let List.604 : U8 = GetTagId List.598;
let List.605 : Int1 = lowlevel Eq List.603 List.604;
if List.605 then
let List.444 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 1) (Index 0) List.598;
let List.601 : U64 = 1i64;
let List.600 : U64 = CallByName Num.19 List.442 List.601;
jump List.595 List.439 List.444 List.441 List.600 List.443;
else
dec List.433;
let List.439 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.571;
let List.575 : [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.439;
ret List.575;
dec List.439;
let List.445 : [C U64, C U64, C U64, C , C , C U64, C U64, C U64, C U64] = UnionAtIndex (Id 0) (Index 0) List.598;
let List.602 : [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.445;
ret List.602;
else
dec List.433;
let List.569 : [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.434;
ret List.569;
dec List.439;
let List.596 : [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.440;
ret List.596;
in
jump List.568 List.609 List.610 List.611 List.612 List.613;
jump List.595 List.636 List.637 List.638 List.639 List.640;
procedure List.92 (List.430, List.431, List.432):
let List.566 : U64 = 0i64;
let List.567 : U64 = CallByName List.6 List.430;
let List.565 : [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.430 List.431 List.432 List.566 List.567;
ret List.565;
procedure List.93 (List.436, List.437, List.438):
let List.593 : U64 = 0i64;
let List.594 : U64 = CallByName List.6 List.436;
let List.592 : [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.436 List.437 List.438 List.593 List.594;
ret List.592;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.284 : U8 = lowlevel NumAdd #Attr.2 #Attr.3;

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

@ -1,40 +1,40 @@
procedure List.139 (List.140, List.141, List.138):
let List.513 : [<rnu><null>, C {[<rnu>C *self, <null>], *self}] = CallByName Test.7 List.140 List.141;
ret List.513;
procedure List.145 (List.146, List.147, List.144):
let List.540 : [<rnu><null>, C {[<rnu>C *self, <null>], *self}] = CallByName Test.7 List.146 List.147;
ret List.540;
procedure List.18 (List.136, List.137, List.138):
let List.494 : [<rnu><null>, C {[<rnu>C *self, <null>], *self}] = CallByName List.92 List.136 List.137 List.138;
ret List.494;
procedure List.18 (List.142, List.143, List.144):
let List.521 : [<rnu><null>, C {[<rnu>C *self, <null>], *self}] = CallByName List.93 List.142 List.143 List.144;
ret List.521;
procedure List.6 (#Attr.2):
let List.511 : U64 = lowlevel ListLen #Attr.2;
ret List.511;
let List.538 : U64 = lowlevel ListLen #Attr.2;
ret List.538;
procedure List.66 (#Attr.2, #Attr.3):
let List.510 : [<rnu>C *self, <null>] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.510;
let List.537 : [<rnu>C *self, <null>] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.537;
procedure List.80 (List.517, List.518, List.519, List.520, List.521):
joinpoint List.500 List.433 List.434 List.435 List.436 List.437:
let List.502 : Int1 = CallByName Num.22 List.436 List.437;
if List.502 then
let List.509 : [<rnu>C *self, <null>] = CallByName List.66 List.433 List.436;
inc List.509;
let List.503 : [<rnu><null>, C {[<rnu>C *self, <null>], *self}] = CallByName List.139 List.434 List.509 List.435;
let List.506 : U64 = 1i64;
let List.505 : U64 = CallByName Num.19 List.436 List.506;
jump List.500 List.433 List.503 List.435 List.505 List.437;
procedure List.80 (List.544, List.545, List.546, List.547, List.548):
joinpoint List.527 List.439 List.440 List.441 List.442 List.443:
let List.529 : Int1 = CallByName Num.22 List.442 List.443;
if List.529 then
let List.536 : [<rnu>C *self, <null>] = CallByName List.66 List.439 List.442;
inc List.536;
let List.530 : [<rnu><null>, C {[<rnu>C *self, <null>], *self}] = CallByName List.145 List.440 List.536 List.441;
let List.533 : U64 = 1i64;
let List.532 : U64 = CallByName Num.19 List.442 List.533;
jump List.527 List.439 List.530 List.441 List.532 List.443;
else
dec List.433;
ret List.434;
dec List.439;
ret List.440;
in
jump List.500 List.517 List.518 List.519 List.520 List.521;
jump List.527 List.544 List.545 List.546 List.547 List.548;
procedure List.92 (List.430, List.431, List.432):
let List.498 : U64 = 0i64;
let List.499 : U64 = CallByName List.6 List.430;
let List.497 : [<rnu><null>, C {[<rnu>C *self, <null>], *self}] = CallByName List.80 List.430 List.431 List.432 List.498 List.499;
ret List.497;
procedure List.93 (List.436, List.437, List.438):
let List.525 : U64 = 0i64;
let List.526 : U64 = CallByName List.6 List.436;
let List.524 : [<rnu><null>, C {[<rnu>C *self, <null>], *self}] = CallByName List.80 List.436 List.437 List.438 List.525 List.526;
ret List.524;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.281 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;

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

@ -1,16 +1,16 @@
procedure List.4 (List.107, List.108):
let List.497 : U64 = 1i64;
let List.495 : List I64 = CallByName List.70 List.107 List.497;
let List.494 : List I64 = CallByName List.71 List.495 List.108;
ret List.494;
procedure List.4 (List.113, List.114):
let List.524 : U64 = 1i64;
let List.522 : List I64 = CallByName List.70 List.113 List.524;
let List.521 : List I64 = CallByName List.71 List.522 List.114;
ret List.521;
procedure List.70 (#Attr.2, #Attr.3):
let List.498 : List I64 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.498;
let List.525 : List I64 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.525;
procedure List.71 (#Attr.2, #Attr.3):
let List.496 : List I64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.496;
let List.523 : List I64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.523;
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.107, List.108):
let List.497 : U64 = 1i64;
let List.495 : List I64 = CallByName List.70 List.107 List.497;
let List.494 : List I64 = CallByName List.71 List.495 List.108;
ret List.494;
procedure List.4 (List.113, List.114):
let List.524 : U64 = 1i64;
let List.522 : List I64 = CallByName List.70 List.113 List.524;
let List.521 : List I64 = CallByName List.71 List.522 List.114;
ret List.521;
procedure List.70 (#Attr.2, #Attr.3):
let List.498 : List I64 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.498;
let List.525 : List I64 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.525;
procedure List.71 (#Attr.2, #Attr.3):
let List.496 : List I64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.496;
let List.523 : List I64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.523;
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.104, List.105, List.106):
let List.497 : {List I64, I64} = CallByName List.64 List.104 List.105 List.106;
let List.496 : List I64 = StructAtIndex 0 List.497;
ret List.496;
procedure List.3 (List.105, List.106, List.107):
let List.524 : {List I64, I64} = CallByName List.64 List.105 List.106 List.107;
let List.523 : List I64 = StructAtIndex 0 List.524;
ret List.523;
procedure List.6 (#Attr.2):
let List.495 : U64 = lowlevel ListLen #Attr.2;
ret List.495;
let List.522 : U64 = lowlevel ListLen #Attr.2;
ret List.522;
procedure List.64 (List.101, List.102, List.103):
let List.502 : U64 = CallByName List.6 List.101;
let List.499 : Int1 = CallByName Num.22 List.102 List.502;
if List.499 then
let List.500 : {List I64, I64} = CallByName List.67 List.101 List.102 List.103;
ret List.500;
procedure List.64 (List.102, List.103, List.104):
let List.529 : U64 = CallByName List.6 List.102;
let List.526 : Int1 = CallByName Num.22 List.103 List.529;
if List.526 then
let List.527 : {List I64, I64} = CallByName List.67 List.102 List.103 List.104;
ret List.527;
else
let List.498 : {List I64, I64} = Struct {List.101, List.103};
ret List.498;
let List.525 : {List I64, I64} = Struct {List.102, List.104};
ret List.525;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):
let List.501 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.501;
let List.528 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.528;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.281 : 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.96, List.97):
let List.500 : U64 = CallByName List.6 List.96;
let List.496 : Int1 = CallByName Num.22 List.97 List.500;
if List.496 then
let List.498 : I64 = CallByName List.66 List.96 List.97;
dec List.96;
let List.497 : [C {}, C I64] = TagId(1) List.498;
ret List.497;
procedure List.2 (List.97, List.98):
let List.527 : U64 = CallByName List.6 List.97;
let List.523 : Int1 = CallByName Num.22 List.98 List.527;
if List.523 then
let List.525 : I64 = CallByName List.66 List.97 List.98;
dec List.97;
let List.524 : [C {}, C I64] = TagId(1) List.525;
ret List.524;
else
dec List.96;
let List.495 : {} = Struct {};
let List.494 : [C {}, C I64] = TagId(0) List.495;
ret List.494;
dec List.97;
let List.522 : {} = Struct {};
let List.521 : [C {}, C I64] = TagId(0) List.522;
ret List.521;
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
let List.528 : U64 = lowlevel ListLen #Attr.2;
ret List.528;
procedure List.66 (#Attr.2, #Attr.3):
let List.499 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.499;
let List.526 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.526;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.281 : 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.494 : U64 = lowlevel ListLen #Attr.2;
ret List.494;
let List.521 : U64 = lowlevel ListLen #Attr.2;
ret List.521;
procedure List.6 (#Attr.2):
let List.495 : U64 = lowlevel ListLen #Attr.2;
ret List.495;
let List.522 : U64 = lowlevel ListLen #Attr.2;
ret List.522;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.281 : 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.96, List.97):
let List.500 : U64 = CallByName List.6 List.96;
let List.496 : Int1 = CallByName Num.22 List.97 List.500;
if List.496 then
let List.498 : Str = CallByName List.66 List.96 List.97;
inc List.498;
dec List.96;
let List.497 : [C {}, C Str] = TagId(1) List.498;
ret List.497;
procedure List.2 (List.97, List.98):
let List.527 : U64 = CallByName List.6 List.97;
let List.523 : Int1 = CallByName Num.22 List.98 List.527;
if List.523 then
let List.525 : Str = CallByName List.66 List.97 List.98;
inc List.525;
dec List.97;
let List.524 : [C {}, C Str] = TagId(1) List.525;
ret List.524;
else
dec List.96;
let List.495 : {} = Struct {};
let List.494 : [C {}, C Str] = TagId(0) List.495;
ret List.494;
dec List.97;
let List.522 : {} = Struct {};
let List.521 : [C {}, C Str] = TagId(0) List.522;
ret List.521;
procedure List.5 (#Attr.2, #Attr.3):
let List.502 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
let List.529 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
decref #Attr.2;
ret List.502;
ret List.529;
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
let List.528 : U64 = lowlevel ListLen #Attr.2;
ret List.528;
procedure List.66 (#Attr.2, #Attr.3):
let List.499 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.499;
let List.526 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.526;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.281 : 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.96, List.97):
let List.500 : U64 = CallByName List.6 List.96;
let List.496 : Int1 = CallByName Num.22 List.97 List.500;
if List.496 then
let List.498 : Str = CallByName List.66 List.96 List.97;
inc List.498;
dec List.96;
let List.497 : [C {}, C Str] = TagId(1) List.498;
ret List.497;
procedure List.2 (List.97, List.98):
let List.527 : U64 = CallByName List.6 List.97;
let List.523 : Int1 = CallByName Num.22 List.98 List.527;
if List.523 then
let List.525 : Str = CallByName List.66 List.97 List.98;
inc List.525;
dec List.97;
let List.524 : [C {}, C Str] = TagId(1) List.525;
ret List.524;
else
dec List.96;
let List.495 : {} = Struct {};
let List.494 : [C {}, C Str] = TagId(0) List.495;
ret List.494;
dec List.97;
let List.522 : {} = Struct {};
let List.521 : [C {}, C Str] = TagId(0) List.522;
ret List.521;
procedure List.5 (#Attr.2, #Attr.3):
let List.502 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
let List.529 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
decref #Attr.2;
ret List.502;
ret List.529;
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
let List.528 : U64 = lowlevel ListLen #Attr.2;
ret List.528;
procedure List.66 (#Attr.2, #Attr.3):
let List.499 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.499;
let List.526 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.526;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.281 : 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.495 : U8 = GetTagId #Attr.3;
joinpoint List.496 List.494:
ret List.494;
let List.522 : U8 = GetTagId #Attr.3;
joinpoint List.523 List.521:
ret List.521;
in
switch List.495:
switch List.522:
case 0:
let List.497 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.4 #Attr.3;
let List.524 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.4 #Attr.3;
decref #Attr.2;
jump List.496 List.497;
jump List.523 List.524;
case 1:
let List.498 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.6 #Attr.3;
let List.525 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.6 #Attr.3;
decref #Attr.2;
jump List.496 List.498;
jump List.523 List.525;
default:
let List.499 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.8 #Attr.3;
let List.526 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.8 #Attr.3;
decref #Attr.2;
jump List.496 List.499;
jump List.523 List.526;
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.104, List.105, List.106):
let List.495 : {List I64, I64} = CallByName List.64 List.104 List.105 List.106;
let List.494 : List I64 = StructAtIndex 0 List.495;
ret List.494;
procedure List.3 (List.105, List.106, List.107):
let List.522 : {List I64, I64} = CallByName List.64 List.105 List.106 List.107;
let List.521 : List I64 = StructAtIndex 0 List.522;
ret List.521;
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
let List.528 : U64 = lowlevel ListLen #Attr.2;
ret List.528;
procedure List.64 (List.101, List.102, List.103):
let List.500 : U64 = CallByName List.6 List.101;
let List.497 : Int1 = CallByName Num.22 List.102 List.500;
if List.497 then
let List.498 : {List I64, I64} = CallByName List.67 List.101 List.102 List.103;
ret List.498;
procedure List.64 (List.102, List.103, List.104):
let List.527 : U64 = CallByName List.6 List.102;
let List.524 : Int1 = CallByName Num.22 List.103 List.527;
if List.524 then
let List.525 : {List I64, I64} = CallByName List.67 List.102 List.103 List.104;
ret List.525;
else
let List.496 : {List I64, I64} = Struct {List.101, List.103};
ret List.496;
let List.523 : {List I64, I64} = Struct {List.102, List.104};
ret List.523;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):
let List.499 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.499;
let List.526 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.526;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.281 : 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.496 : List I64 = lowlevel ListSortWith { xs: `#Attr.#arg1` } #Attr.2 Num.46 #Attr.3;
ret List.496;
let List.523 : List I64 = lowlevel ListSortWith { xs: `#Attr.#arg1` } #Attr.2 Num.46 #Attr.3;
ret List.523;
procedure List.59 (List.282):
let List.495 : {} = Struct {};
let List.494 : List I64 = CallByName List.28 List.282 List.495;
ret List.494;
procedure List.59 (List.288):
let List.522 : {} = Struct {};
let List.521 : List I64 = CallByName List.28 List.288 List.522;
ret List.521;
procedure Num.46 (#Attr.2, #Attr.3):
let Num.281 : 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.96, List.97):
let List.516 : U64 = CallByName List.6 List.96;
let List.513 : Int1 = CallByName Num.22 List.97 List.516;
if List.513 then
let List.515 : I64 = CallByName List.66 List.96 List.97;
dec List.96;
let List.514 : [C {}, C I64] = TagId(1) List.515;
ret List.514;
procedure List.2 (List.97, List.98):
let List.543 : U64 = CallByName List.6 List.97;
let List.540 : Int1 = CallByName Num.22 List.98 List.543;
if List.540 then
let List.542 : I64 = CallByName List.66 List.97 List.98;
dec List.97;
let List.541 : [C {}, C I64] = TagId(1) List.542;
ret List.541;
else
dec List.96;
let List.512 : {} = Struct {};
let List.511 : [C {}, C I64] = TagId(0) List.512;
ret List.511;
dec List.97;
let List.539 : {} = Struct {};
let List.538 : [C {}, C I64] = TagId(0) List.539;
ret List.538;
procedure List.3 (List.104, List.105, List.106):
let List.503 : {List I64, I64} = CallByName List.64 List.104 List.105 List.106;
let List.502 : List I64 = StructAtIndex 0 List.503;
ret List.502;
procedure List.3 (List.105, List.106, List.107):
let List.530 : {List I64, I64} = CallByName List.64 List.105 List.106 List.107;
let List.529 : List I64 = StructAtIndex 0 List.530;
ret List.529;
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
let List.528 : U64 = lowlevel ListLen #Attr.2;
ret List.528;
procedure List.64 (List.101, List.102, List.103):
let List.500 : U64 = CallByName List.6 List.101;
let List.497 : Int1 = CallByName Num.22 List.102 List.500;
if List.497 then
let List.498 : {List I64, I64} = CallByName List.67 List.101 List.102 List.103;
ret List.498;
procedure List.64 (List.102, List.103, List.104):
let List.527 : U64 = CallByName List.6 List.102;
let List.524 : Int1 = CallByName Num.22 List.103 List.527;
if List.524 then
let List.525 : {List I64, I64} = CallByName List.67 List.102 List.103 List.104;
ret List.525;
else
let List.496 : {List I64, I64} = Struct {List.101, List.103};
ret List.496;
let List.523 : {List I64, I64} = Struct {List.102, List.104};
ret List.523;
procedure List.66 (#Attr.2, #Attr.3):
let List.509 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.509;
let List.536 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.536;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):
let List.499 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.499;
let List.526 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.526;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.283 : 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.494 : List [<rnnu>C List *self] = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
let List.521 : List [<rnnu>C List *self] = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
decref #Attr.2;
ret List.494;
ret List.521;
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.96, List.97):
let List.516 : U64 = CallByName List.6 List.96;
let List.513 : Int1 = CallByName Num.22 List.97 List.516;
if List.513 then
let List.515 : I64 = CallByName List.66 List.96 List.97;
dec List.96;
let List.514 : [C {}, C I64] = TagId(1) List.515;
ret List.514;
procedure List.2 (List.97, List.98):
let List.543 : U64 = CallByName List.6 List.97;
let List.540 : Int1 = CallByName Num.22 List.98 List.543;
if List.540 then
let List.542 : I64 = CallByName List.66 List.97 List.98;
dec List.97;
let List.541 : [C {}, C I64] = TagId(1) List.542;
ret List.541;
else
dec List.96;
let List.512 : {} = Struct {};
let List.511 : [C {}, C I64] = TagId(0) List.512;
ret List.511;
dec List.97;
let List.539 : {} = Struct {};
let List.538 : [C {}, C I64] = TagId(0) List.539;
ret List.538;
procedure List.3 (List.104, List.105, List.106):
let List.503 : {List I64, I64} = CallByName List.64 List.104 List.105 List.106;
let List.502 : List I64 = StructAtIndex 0 List.503;
ret List.502;
procedure List.3 (List.105, List.106, List.107):
let List.530 : {List I64, I64} = CallByName List.64 List.105 List.106 List.107;
let List.529 : List I64 = StructAtIndex 0 List.530;
ret List.529;
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
let List.528 : U64 = lowlevel ListLen #Attr.2;
ret List.528;
procedure List.64 (List.101, List.102, List.103):
let List.500 : U64 = CallByName List.6 List.101;
let List.497 : Int1 = CallByName Num.22 List.102 List.500;
if List.497 then
let List.498 : {List I64, I64} = CallByName List.67 List.101 List.102 List.103;
ret List.498;
procedure List.64 (List.102, List.103, List.104):
let List.527 : U64 = CallByName List.6 List.102;
let List.524 : Int1 = CallByName Num.22 List.103 List.527;
if List.524 then
let List.525 : {List I64, I64} = CallByName List.67 List.102 List.103 List.104;
ret List.525;
else
let List.496 : {List I64, I64} = Struct {List.101, List.103};
ret List.496;
let List.523 : {List I64, I64} = Struct {List.102, List.104};
ret List.523;
procedure List.66 (#Attr.2, #Attr.3):
let List.509 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.509;
let List.536 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.536;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):
let List.499 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.499;
let List.526 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.526;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.283 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

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

@ -260,183 +260,183 @@ procedure Json.31 (Json.261, Json.262):
let Json.1213 : {Str, List Str} = CallByName Encode.23 Json.1214;
ret Json.1213;
procedure List.139 (List.140, List.141, List.138):
let List.539 : {List U8, U64} = CallByName Json.266 List.140 List.141 List.138;
ret List.539;
procedure List.145 (List.146, List.147, List.144):
let List.566 : {List U8, U64} = CallByName Json.266 List.146 List.147 List.144;
ret List.566;
procedure List.139 (List.140, List.141, List.138):
let List.559 : List U8 = CallByName Json.214 List.140 List.141;
ret List.559;
procedure List.145 (List.146, List.147, List.144):
let List.586 : List U8 = CallByName Json.214 List.146 List.147;
ret List.586;
procedure List.18 (List.136, List.137, List.138):
let List.520 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.520;
procedure List.18 (List.142, List.143, List.144):
let List.547 : {List U8, U64} = CallByName List.93 List.142 List.143 List.144;
ret List.547;
procedure List.18 (List.136, List.137, List.138):
let List.540 : List U8 = CallByName List.92 List.136 List.137 List.138;
ret List.540;
procedure List.18 (List.142, List.143, List.144):
let List.567 : List U8 = CallByName List.93 List.142 List.143 List.144;
ret List.567;
procedure List.26 (List.153, List.154, List.155):
let List.590 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.92 List.153 List.154 List.155;
let List.593 : U8 = 1i64;
let List.594 : U8 = GetTagId List.590;
let List.595 : Int1 = lowlevel Eq List.593 List.594;
if List.595 then
let List.156 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.590;
ret List.156;
procedure List.26 (List.159, List.160, List.161):
let List.617 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.93 List.159 List.160 List.161;
let List.620 : U8 = 1i64;
let List.621 : U8 = GetTagId List.617;
let List.622 : Int1 = lowlevel Eq List.620 List.621;
if List.622 then
let List.162 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.617;
ret List.162;
else
let List.157 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.590;
ret List.157;
let List.163 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.617;
ret List.163;
procedure List.4 (List.107, List.108):
let List.519 : U64 = 1i64;
let List.518 : List U8 = CallByName List.70 List.107 List.519;
let List.517 : List U8 = CallByName List.71 List.518 List.108;
ret List.517;
procedure List.4 (List.113, List.114):
let List.546 : U64 = 1i64;
let List.545 : List U8 = CallByName List.70 List.113 List.546;
let List.544 : List U8 = CallByName List.71 List.545 List.114;
ret List.544;
procedure List.49 (List.370, List.371):
let List.582 : U64 = StructAtIndex 0 List.371;
let List.583 : U64 = 0i64;
let List.580 : Int1 = CallByName Bool.11 List.582 List.583;
if List.580 then
dec List.370;
let List.581 : List U8 = Array [];
ret List.581;
procedure List.49 (List.376, List.377):
let List.609 : U64 = StructAtIndex 0 List.377;
let List.610 : U64 = 0i64;
let List.607 : Int1 = CallByName Bool.11 List.609 List.610;
if List.607 then
dec List.376;
let List.608 : List U8 = Array [];
ret List.608;
else
let List.577 : U64 = StructAtIndex 1 List.371;
let List.578 : U64 = StructAtIndex 0 List.371;
let List.576 : List U8 = CallByName List.72 List.370 List.577 List.578;
ret List.576;
let List.604 : U64 = StructAtIndex 1 List.377;
let List.605 : U64 = StructAtIndex 0 List.377;
let List.603 : List U8 = CallByName List.72 List.376 List.604 List.605;
ret List.603;
procedure List.52 (List.385, List.386):
let List.387 : U64 = CallByName List.6 List.385;
joinpoint List.588 List.388:
let List.586 : U64 = 0i64;
let List.585 : {U64, U64} = Struct {List.388, List.586};
inc List.385;
let List.389 : List U8 = CallByName List.49 List.385 List.585;
let List.584 : U64 = CallByName Num.20 List.387 List.388;
let List.575 : {U64, U64} = Struct {List.584, List.388};
let List.390 : List U8 = CallByName List.49 List.385 List.575;
let List.574 : {List U8, List U8} = Struct {List.389, List.390};
ret List.574;
procedure List.52 (List.391, List.392):
let List.393 : U64 = CallByName List.6 List.391;
joinpoint List.615 List.394:
let List.613 : U64 = 0i64;
let List.612 : {U64, U64} = Struct {List.394, List.613};
inc List.391;
let List.395 : List U8 = CallByName List.49 List.391 List.612;
let List.611 : U64 = CallByName Num.20 List.393 List.394;
let List.602 : {U64, U64} = Struct {List.611, List.394};
let List.396 : List U8 = CallByName List.49 List.391 List.602;
let List.601 : {List U8, List U8} = Struct {List.395, List.396};
ret List.601;
in
let List.589 : Int1 = CallByName Num.24 List.387 List.386;
if List.589 then
jump List.588 List.386;
let List.616 : Int1 = CallByName Num.24 List.393 List.392;
if List.616 then
jump List.615 List.392;
else
jump List.588 List.387;
jump List.615 List.393;
procedure List.6 (#Attr.2):
let List.560 : U64 = lowlevel ListLen #Attr.2;
ret List.560;
let List.587 : U64 = lowlevel ListLen #Attr.2;
ret List.587;
procedure List.6 (#Attr.2):
let List.562 : U64 = lowlevel ListLen #Attr.2;
ret List.562;
let List.589 : U64 = lowlevel ListLen #Attr.2;
ret List.589;
procedure List.66 (#Attr.2, #Attr.3):
let List.536 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.536;
let List.563 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.563;
procedure List.66 (#Attr.2, #Attr.3):
let List.556 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.556;
let List.583 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.583;
procedure List.68 (#Attr.2):
let List.573 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.573;
let List.600 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.600;
procedure List.70 (#Attr.2, #Attr.3):
let List.498 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.498;
let List.525 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.525;
procedure List.71 (#Attr.2, #Attr.3):
let List.496 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.496;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.579 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.579;
procedure List.8 (#Attr.2, #Attr.3):
let List.571 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.571;
procedure List.80 (List.620, List.621, List.622, List.623, List.624):
joinpoint List.526 List.433 List.434 List.435 List.436 List.437:
let List.528 : Int1 = CallByName Num.22 List.436 List.437;
if List.528 then
let List.535 : Str = CallByName List.66 List.433 List.436;
inc List.535;
let List.529 : {List U8, U64} = CallByName List.139 List.434 List.535 List.435;
let List.532 : U64 = 1i64;
let List.531 : U64 = CallByName Num.19 List.436 List.532;
jump List.526 List.433 List.529 List.435 List.531 List.437;
else
dec List.433;
ret List.434;
in
jump List.526 List.620 List.621 List.622 List.623 List.624;
procedure List.80 (List.637, List.638, List.639, List.640, List.641):
joinpoint List.546 List.433 List.434 List.435 List.436 List.437:
let List.548 : Int1 = CallByName Num.22 List.436 List.437;
if List.548 then
let List.555 : U8 = CallByName List.66 List.433 List.436;
let List.549 : List U8 = CallByName List.139 List.434 List.555 List.435;
let List.552 : U64 = 1i64;
let List.551 : U64 = CallByName Num.19 List.436 List.552;
jump List.546 List.433 List.549 List.435 List.551 List.437;
else
dec List.433;
ret List.434;
in
jump List.546 List.637 List.638 List.639 List.640 List.641;
procedure List.80 (List.664, List.665, List.666, List.667, List.668):
joinpoint List.599 List.433 List.434 List.435 List.436 List.437:
let List.601 : Int1 = CallByName Num.22 List.436 List.437;
if List.601 then
let List.610 : U8 = CallByName List.66 List.433 List.436;
let List.602 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.434 List.610;
let List.607 : U8 = 1i64;
let List.608 : U8 = GetTagId List.602;
let List.609 : Int1 = lowlevel Eq List.607 List.608;
if List.609 then
let List.438 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.602;
let List.605 : U64 = 1i64;
let List.604 : U64 = CallByName Num.19 List.436 List.605;
jump List.599 List.433 List.438 List.435 List.604 List.437;
else
dec List.433;
let List.439 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.602;
let List.606 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.439;
ret List.606;
else
dec List.433;
let List.600 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.434;
ret List.600;
in
jump List.599 List.664 List.665 List.666 List.667 List.668;
procedure List.92 (List.430, List.431, List.432):
let List.524 : U64 = 0i64;
let List.525 : U64 = CallByName List.6 List.430;
let List.523 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.524 List.525;
let List.523 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.523;
procedure List.92 (List.430, List.431, List.432):
let List.544 : U64 = 0i64;
let List.545 : U64 = CallByName List.6 List.430;
let List.543 : List U8 = CallByName List.80 List.430 List.431 List.432 List.544 List.545;
ret List.543;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.606 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.606;
procedure List.92 (List.430, List.431, List.432):
let List.597 : U64 = 0i64;
let List.598 : U64 = CallByName List.6 List.430;
let List.596 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.430 List.431 List.432 List.597 List.598;
ret List.596;
procedure List.8 (#Attr.2, #Attr.3):
let List.598 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.598;
procedure List.80 (List.647, List.648, List.649, List.650, List.651):
joinpoint List.553 List.439 List.440 List.441 List.442 List.443:
let List.555 : Int1 = CallByName Num.22 List.442 List.443;
if List.555 then
let List.562 : Str = CallByName List.66 List.439 List.442;
inc List.562;
let List.556 : {List U8, U64} = CallByName List.145 List.440 List.562 List.441;
let List.559 : U64 = 1i64;
let List.558 : U64 = CallByName Num.19 List.442 List.559;
jump List.553 List.439 List.556 List.441 List.558 List.443;
else
dec List.439;
ret List.440;
in
jump List.553 List.647 List.648 List.649 List.650 List.651;
procedure List.80 (List.664, List.665, List.666, List.667, List.668):
joinpoint List.573 List.439 List.440 List.441 List.442 List.443:
let List.575 : Int1 = CallByName Num.22 List.442 List.443;
if List.575 then
let List.582 : U8 = CallByName List.66 List.439 List.442;
let List.576 : List U8 = CallByName List.145 List.440 List.582 List.441;
let List.579 : U64 = 1i64;
let List.578 : U64 = CallByName Num.19 List.442 List.579;
jump List.573 List.439 List.576 List.441 List.578 List.443;
else
dec List.439;
ret List.440;
in
jump List.573 List.664 List.665 List.666 List.667 List.668;
procedure List.80 (List.691, List.692, List.693, List.694, List.695):
joinpoint List.626 List.439 List.440 List.441 List.442 List.443:
let List.628 : Int1 = CallByName Num.22 List.442 List.443;
if List.628 then
let List.637 : U8 = CallByName List.66 List.439 List.442;
let List.629 : [C {U64, Int1}, C {U64, Int1}] = CallByName Json.188 List.440 List.637;
let List.634 : U8 = 1i64;
let List.635 : U8 = GetTagId List.629;
let List.636 : Int1 = lowlevel Eq List.634 List.635;
if List.636 then
let List.444 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.629;
let List.632 : U64 = 1i64;
let List.631 : U64 = CallByName Num.19 List.442 List.632;
jump List.626 List.439 List.444 List.441 List.631 List.443;
else
dec List.439;
let List.445 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.629;
let List.633 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.445;
ret List.633;
else
dec List.439;
let List.627 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.440;
ret List.627;
in
jump List.626 List.691 List.692 List.693 List.694 List.695;
procedure List.93 (List.436, List.437, List.438):
let List.551 : U64 = 0i64;
let List.552 : U64 = CallByName List.6 List.436;
let List.550 : {List U8, U64} = CallByName List.80 List.436 List.437 List.438 List.551 List.552;
ret List.550;
procedure List.93 (List.436, List.437, List.438):
let List.571 : U64 = 0i64;
let List.572 : U64 = CallByName List.6 List.436;
let List.570 : List U8 = CallByName List.80 List.436 List.437 List.438 List.571 List.572;
ret List.570;
procedure List.93 (List.436, List.437, List.438):
let List.624 : U64 = 0i64;
let List.625 : U64 = CallByName List.6 List.436;
let List.623 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.436 List.437 List.438 List.624 List.625;
ret List.623;
procedure Num.127 (#Attr.2):
let Num.288 : U8 = lowlevel NumIntCast #Attr.2;

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

@ -199,97 +199,97 @@ procedure Json.31 (Json.261, Json.262):
let Json.1264 : {Str, List []} = CallByName Encode.23 Json.1265;
ret Json.1264;
procedure List.139 (List.140, List.141, List.138):
let List.539 : {List U8, U64} = CallByName Json.266 List.140 List.141 List.138;
ret List.539;
procedure List.145 (List.146, List.147, List.144):
let List.566 : {List U8, U64} = CallByName Json.266 List.146 List.147 List.144;
ret List.566;
procedure List.139 (List.140, List.141, List.138):
let List.612 : {List U8, U64} = CallByName Json.266 List.140 List.141 List.138;
ret List.612;
procedure List.145 (List.146, List.147, List.144):
let List.639 : {List U8, U64} = CallByName Json.266 List.146 List.147 List.144;
ret List.639;
procedure List.18 (List.136, List.137, List.138):
let List.520 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.520;
procedure List.18 (List.142, List.143, List.144):
let List.547 : {List U8, U64} = CallByName List.93 List.142 List.143 List.144;
ret List.547;
procedure List.18 (List.136, List.137, List.138):
let List.593 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.593;
procedure List.18 (List.142, List.143, List.144):
let List.620 : {List U8, U64} = CallByName List.93 List.142 List.143 List.144;
ret List.620;
procedure List.4 (List.107, List.108):
let List.592 : U64 = 1i64;
let List.591 : List U8 = CallByName List.70 List.107 List.592;
let List.590 : List U8 = CallByName List.71 List.591 List.108;
ret List.590;
procedure List.4 (List.113, List.114):
let List.619 : U64 = 1i64;
let List.618 : List U8 = CallByName List.70 List.113 List.619;
let List.617 : List U8 = CallByName List.71 List.618 List.114;
ret List.617;
procedure List.6 (#Attr.2):
let List.540 : U64 = lowlevel ListLen #Attr.2;
ret List.540;
let List.567 : U64 = lowlevel ListLen #Attr.2;
ret List.567;
procedure List.6 (#Attr.2):
let List.613 : U64 = lowlevel ListLen #Attr.2;
ret List.613;
let List.640 : U64 = lowlevel ListLen #Attr.2;
ret List.640;
procedure List.66 (#Attr.2, #Attr.3):
let List.536 : [C {}, C {}] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.536;
let List.563 : [C {}, C {}] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.563;
procedure List.66 (#Attr.2, #Attr.3):
let List.609 : [] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.609;
let List.636 : [] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.636;
procedure List.70 (#Attr.2, #Attr.3):
let List.571 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.571;
let List.598 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.598;
procedure List.71 (#Attr.2, #Attr.3):
let List.569 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.569;
let List.596 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.596;
procedure List.8 (#Attr.2, #Attr.3):
let List.614 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.614;
let List.641 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.641;
procedure List.80 (List.551, List.552, List.553, List.554, List.555):
joinpoint List.526 List.433 List.434 List.435 List.436 List.437:
let List.528 : Int1 = CallByName Num.22 List.436 List.437;
if List.528 then
let List.535 : [C {}, C {}] = CallByName List.66 List.433 List.436;
let List.529 : {List U8, U64} = CallByName List.139 List.434 List.535 List.435;
let List.532 : U64 = 1i64;
let List.531 : U64 = CallByName Num.19 List.436 List.532;
jump List.526 List.433 List.529 List.435 List.531 List.437;
procedure List.80 (List.578, List.579, List.580, List.581, List.582):
joinpoint List.553 List.439 List.440 List.441 List.442 List.443:
let List.555 : Int1 = CallByName Num.22 List.442 List.443;
if List.555 then
let List.562 : [C {}, C {}] = CallByName List.66 List.439 List.442;
let List.556 : {List U8, U64} = CallByName List.145 List.440 List.562 List.441;
let List.559 : U64 = 1i64;
let List.558 : U64 = CallByName Num.19 List.442 List.559;
jump List.553 List.439 List.556 List.441 List.558 List.443;
else
dec List.433;
ret List.434;
dec List.439;
ret List.440;
in
jump List.526 List.551 List.552 List.553 List.554 List.555;
jump List.553 List.578 List.579 List.580 List.581 List.582;
procedure List.80 (List.624, List.625, List.626, List.627, List.628):
joinpoint List.599 List.433 List.434 List.435 List.436 List.437:
let List.601 : Int1 = CallByName Num.22 List.436 List.437;
if List.601 then
let List.608 : [] = CallByName List.66 List.433 List.436;
let List.602 : {List U8, U64} = CallByName List.139 List.434 List.608 List.435;
let List.605 : U64 = 1i64;
let List.604 : U64 = CallByName Num.19 List.436 List.605;
jump List.599 List.433 List.602 List.435 List.604 List.437;
procedure List.80 (List.651, List.652, List.653, List.654, List.655):
joinpoint List.626 List.439 List.440 List.441 List.442 List.443:
let List.628 : Int1 = CallByName Num.22 List.442 List.443;
if List.628 then
let List.635 : [] = CallByName List.66 List.439 List.442;
let List.629 : {List U8, U64} = CallByName List.145 List.440 List.635 List.441;
let List.632 : U64 = 1i64;
let List.631 : U64 = CallByName Num.19 List.442 List.632;
jump List.626 List.439 List.629 List.441 List.631 List.443;
else
dec List.433;
ret List.434;
dec List.439;
ret List.440;
in
jump List.599 List.624 List.625 List.626 List.627 List.628;
jump List.626 List.651 List.652 List.653 List.654 List.655;
procedure List.92 (List.430, List.431, List.432):
let List.524 : U64 = 0i64;
let List.525 : U64 = CallByName List.6 List.430;
let List.523 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.524 List.525;
ret List.523;
procedure List.93 (List.436, List.437, List.438):
let List.551 : U64 = 0i64;
let List.552 : U64 = CallByName List.6 List.436;
let List.550 : {List U8, U64} = CallByName List.80 List.436 List.437 List.438 List.551 List.552;
ret List.550;
procedure List.92 (List.430, List.431, List.432):
let List.597 : U64 = 0i64;
let List.598 : U64 = CallByName List.6 List.430;
let List.596 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.597 List.598;
ret List.596;
procedure List.93 (List.436, List.437, List.438):
let List.624 : U64 = 0i64;
let List.625 : U64 = CallByName List.6 List.436;
let List.623 : {List U8, U64} = CallByName List.80 List.436 List.437 List.438 List.624 List.625;
ret List.623;
procedure Num.127 (#Attr.2):
let Num.309 : U8 = lowlevel NumIntCast #Attr.2;

132
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.153, List.154, List.155):
let List.509 : [C U64, C U64] = CallByName List.92 List.153 List.154 List.155;
let List.512 : U8 = 1i64;
let List.513 : U8 = GetTagId List.509;
let List.514 : Int1 = lowlevel Eq List.512 List.513;
if List.514 then
let List.156 : U64 = UnionAtIndex (Id 1) (Index 0) List.509;
ret List.156;
procedure List.26 (List.159, List.160, List.161):
let List.536 : [C U64, C U64] = CallByName List.93 List.159 List.160 List.161;
let List.539 : U8 = 1i64;
let List.540 : U8 = GetTagId List.536;
let List.541 : Int1 = lowlevel Eq List.539 List.540;
if List.541 then
let List.162 : U64 = UnionAtIndex (Id 1) (Index 0) List.536;
ret List.162;
else
let List.157 : U64 = UnionAtIndex (Id 0) (Index 0) List.509;
ret List.157;
let List.163 : U64 = UnionAtIndex (Id 0) (Index 0) List.536;
ret List.163;
procedure List.29 (List.298, List.299):
let List.508 : U64 = CallByName List.6 List.298;
let List.300 : U64 = CallByName Num.77 List.508 List.299;
let List.494 : List U8 = CallByName List.43 List.298 List.300;
ret List.494;
procedure List.29 (List.304, List.305):
let List.535 : U64 = CallByName List.6 List.304;
let List.306 : U64 = CallByName Num.77 List.535 List.305;
let List.521 : List U8 = CallByName List.43 List.304 List.306;
ret List.521;
procedure List.43 (List.296, List.297):
let List.506 : U64 = CallByName List.6 List.296;
let List.505 : U64 = CallByName Num.77 List.506 List.297;
let List.496 : {U64, U64} = Struct {List.297, List.505};
let List.495 : List U8 = CallByName List.49 List.296 List.496;
ret List.495;
procedure List.43 (List.302, List.303):
let List.533 : U64 = CallByName List.6 List.302;
let List.532 : U64 = CallByName Num.77 List.533 List.303;
let List.523 : {U64, U64} = Struct {List.303, List.532};
let List.522 : List U8 = CallByName List.49 List.302 List.523;
ret List.522;
procedure List.49 (List.370, List.371):
let List.503 : U64 = StructAtIndex 0 List.371;
let List.504 : U64 = 0i64;
let List.501 : Int1 = CallByName Bool.11 List.503 List.504;
if List.501 then
dec List.370;
let List.502 : List U8 = Array [];
ret List.502;
procedure List.49 (List.376, List.377):
let List.530 : U64 = StructAtIndex 0 List.377;
let List.531 : U64 = 0i64;
let List.528 : Int1 = CallByName Bool.11 List.530 List.531;
if List.528 then
dec List.376;
let List.529 : List U8 = Array [];
ret List.529;
else
let List.498 : U64 = StructAtIndex 1 List.371;
let List.499 : U64 = StructAtIndex 0 List.371;
let List.497 : List U8 = CallByName List.72 List.370 List.498 List.499;
ret List.497;
let List.525 : U64 = StructAtIndex 1 List.377;
let List.526 : U64 = StructAtIndex 0 List.377;
let List.524 : List U8 = CallByName List.72 List.376 List.525 List.526;
ret List.524;
procedure List.6 (#Attr.2):
let List.507 : U64 = lowlevel ListLen #Attr.2;
ret List.507;
let List.534 : U64 = lowlevel ListLen #Attr.2;
ret List.534;
procedure List.66 (#Attr.2, #Attr.3):
let List.530 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.530;
let List.557 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.557;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.500 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.500;
let List.527 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.527;
procedure List.80 (List.544, List.545, List.546, List.547, List.548):
joinpoint List.518 List.433 List.434 List.435 List.436 List.437:
let List.520 : Int1 = CallByName Num.22 List.436 List.437;
if List.520 then
let List.529 : U8 = CallByName List.66 List.433 List.436;
let List.521 : [C U64, C U64] = CallByName Test.3 List.434 List.529;
let List.526 : U8 = 1i64;
let List.527 : U8 = GetTagId List.521;
let List.528 : Int1 = lowlevel Eq List.526 List.527;
if List.528 then
let List.438 : U64 = UnionAtIndex (Id 1) (Index 0) List.521;
let List.524 : U64 = 1i64;
let List.523 : U64 = CallByName Num.19 List.436 List.524;
jump List.518 List.433 List.438 List.435 List.523 List.437;
procedure List.80 (List.571, List.572, List.573, List.574, List.575):
joinpoint List.545 List.439 List.440 List.441 List.442 List.443:
let List.547 : Int1 = CallByName Num.22 List.442 List.443;
if List.547 then
let List.556 : U8 = CallByName List.66 List.439 List.442;
let List.548 : [C U64, C U64] = CallByName Test.3 List.440 List.556;
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.444 : U64 = UnionAtIndex (Id 1) (Index 0) List.548;
let List.551 : U64 = 1i64;
let List.550 : U64 = CallByName Num.19 List.442 List.551;
jump List.545 List.439 List.444 List.441 List.550 List.443;
else
dec List.433;
let List.439 : U64 = UnionAtIndex (Id 0) (Index 0) List.521;
let List.525 : [C U64, C U64] = TagId(0) List.439;
ret List.525;
dec List.439;
let List.445 : U64 = UnionAtIndex (Id 0) (Index 0) List.548;
let List.552 : [C U64, C U64] = TagId(0) List.445;
ret List.552;
else
dec List.433;
let List.519 : [C U64, C U64] = TagId(1) List.434;
ret List.519;
dec List.439;
let List.546 : [C U64, C U64] = TagId(1) List.440;
ret List.546;
in
jump List.518 List.544 List.545 List.546 List.547 List.548;
jump List.545 List.571 List.572 List.573 List.574 List.575;
procedure List.92 (List.430, List.431, List.432):
let List.516 : U64 = 0i64;
let List.517 : U64 = CallByName List.6 List.430;
let List.515 : [C U64, C U64] = CallByName List.80 List.430 List.431 List.432 List.516 List.517;
ret List.515;
procedure List.93 (List.436, List.437, List.438):
let List.543 : U64 = 0i64;
let List.544 : U64 = CallByName List.6 List.436;
let List.542 : [C U64, C U64] = CallByName List.80 List.436 List.437 List.438 List.543 List.544;
ret List.542;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.283 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;