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

update mono

Browse source
This commit is contained in:
Brendan Hansknecht 2023-03-13 18:03:05 -07:00
parent 1319ba4844
commit 9e2a36f1d4
No known key found for this signature in database
GPG key ID: 0EA784685083E75B
33 changed files with 928 additions and 928 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -2,86 +2,86 @@ procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.24 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
ret Bool.24;
procedure List.26 (List.152, List.153, List.154):
let List.508 : [C U64, C U64] = CallByName List.91 List.152 List.153 List.154;
let List.511 : U8 = 1i64;
let List.512 : U8 = GetTagId List.508;
let List.513 : Int1 = lowlevel Eq List.511 List.512;
if List.513 then
let List.155 : U64 = UnionAtIndex (Id 1) (Index 0) List.508;
ret List.155;
else
let List.156 : U64 = UnionAtIndex (Id 0) (Index 0) List.508;
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;
else
let List.157 : U64 = UnionAtIndex (Id 0) (Index 0) List.509;
ret List.157;
procedure List.29 (List.297, List.298):
let List.507 : U64 = CallByName List.6 List.297;
let List.299 : U64 = CallByName Num.77 List.507 List.298;
let List.493 : List U8 = CallByName List.43 List.297 List.299;
ret List.493;
procedure List.43 (List.295, List.296):
let List.505 : U64 = CallByName List.6 List.295;
let List.504 : U64 = CallByName Num.77 List.505 List.296;
let List.495 : {U64, U64} = Struct {List.296, List.504};
let List.494 : List U8 = CallByName List.49 List.295 List.495;
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.49 (List.369, List.370):
let List.502 : U64 = StructAtIndex 0 List.370;
let List.503 : U64 = 0i64;
let List.500 : Int1 = CallByName Bool.11 List.502 List.503;
if List.500 then
dec List.369;
let List.501 : List U8 = Array [];
ret List.501;
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.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;
else
let List.497 : U64 = StructAtIndex 1 List.370;
let List.498 : U64 = StructAtIndex 0 List.370;
let List.496 : List U8 = CallByName List.72 List.369 List.497 List.498;
ret List.496;
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;
procedure List.6 (#Attr.2):
let List.506 : U64 = lowlevel ListLen #Attr.2;
ret List.506;
let List.507 : U64 = lowlevel ListLen #Attr.2;
ret List.507;
procedure List.66 (#Attr.2, #Attr.3):
let List.529 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.529;
let List.530 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.530;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.499 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.499;
let List.500 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.500;
procedure List.80 (List.543, List.544, List.545, List.546, List.547):
joinpoint List.517 List.432 List.433 List.434 List.435 List.436:
let List.519 : Int1 = CallByName Num.22 List.435 List.436;
if List.519 then
let List.528 : U8 = CallByName List.66 List.432 List.435;
let List.520 : [C U64, C U64] = CallByName Test.4 List.433 List.528;
let List.525 : U8 = 1i64;
let List.526 : U8 = GetTagId List.520;
let List.527 : Int1 = lowlevel Eq List.525 List.526;
if List.527 then
let List.437 : U64 = UnionAtIndex (Id 1) (Index 0) List.520;
let List.523 : U64 = 1i64;
let List.522 : U64 = CallByName Num.19 List.435 List.523;
jump List.517 List.432 List.437 List.434 List.522 List.436;
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;
else
let List.438 : U64 = UnionAtIndex (Id 0) (Index 0) List.520;
let List.524 : [C U64, C U64] = TagId(0) List.438;
ret List.524;
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;
else
let List.518 : [C U64, C U64] = TagId(1) List.433;
ret List.518;
let List.519 : [C U64, C U64] = TagId(1) List.434;
ret List.519;
in
jump List.517 List.543 List.544 List.545 List.546 List.547;
jump List.518 List.544 List.545 List.546 List.547 List.548;
procedure List.91 (List.429, List.430, List.431):
let List.515 : U64 = 0i64;
let List.516 : U64 = CallByName List.6 List.429;
let List.514 : [C U64, C U64] = CallByName List.80 List.429 List.430 List.431 List.515 List.516;
ret List.514;
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 Num.19 (#Attr.2, #Attr.3):
let Num.277 : 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.493 : List {} = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
let List.494 : List {} = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
decref #Attr.2;
ret List.493;
ret List.494;
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.493 : List [] = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
let List.494 : List [] = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.2 #Attr.3;
decref #Attr.2;
ret List.493;
ret List.494;
procedure Test.2 (Test.3):
let Test.7 : {} = Struct {};

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

@ -2,47 +2,47 @@ procedure Bool.1 ():
let Bool.24 : Int1 = false;
ret Bool.24;
procedure List.2 (List.95, List.96):
let List.507 : U64 = CallByName List.6 List.95;
let List.503 : Int1 = CallByName Num.22 List.96 List.507;
if List.503 then
let List.505 : Str = CallByName List.66 List.95 List.96;
let List.504 : [C {}, C Str] = TagId(1) List.505;
ret List.504;
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;
let List.505 : [C {}, C Str] = TagId(1) List.506;
ret List.505;
else
let List.502 : {} = Struct {};
let List.501 : [C {}, C Str] = TagId(0) List.502;
ret List.501;
let List.503 : {} = Struct {};
let List.502 : [C {}, C Str] = TagId(0) List.503;
ret List.502;
procedure List.5 (#Attr.2, #Attr.3):
let List.509 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.10 #Attr.3;
ret List.509;
let List.510 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.10 #Attr.3;
ret List.510;
procedure List.6 (#Attr.2):
let List.508 : U64 = lowlevel ListLen #Attr.2;
ret List.508;
let List.509 : U64 = lowlevel ListLen #Attr.2;
ret List.509;
procedure List.66 (#Attr.2, #Attr.3):
let List.506 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.506;
let List.507 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.507;
procedure List.9 (List.286):
let List.500 : U64 = 0i64;
let List.493 : [C {}, C Str] = CallByName List.2 List.286 List.500;
let List.497 : U8 = 1i64;
let List.498 : U8 = GetTagId List.493;
let List.499 : Int1 = lowlevel Eq List.497 List.498;
if List.499 then
let List.287 : Str = UnionAtIndex (Id 1) (Index 0) List.493;
inc List.287;
dec List.493;
let List.494 : [C {}, C Str] = TagId(1) List.287;
ret List.494;
else
dec List.493;
let List.496 : {} = Struct {};
let List.495 : [C {}, C Str] = TagId(0) List.496;
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;
inc List.288;
dec List.494;
let List.495 : [C {}, C Str] = TagId(1) List.288;
ret List.495;
else
dec List.494;
let List.497 : {} = Struct {};
let List.496 : [C {}, C Str] = TagId(0) List.497;
ret List.496;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.275 : 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.493 : U64 = lowlevel ListLen #Attr.2;
ret List.493;
let List.494 : U64 = lowlevel ListLen #Attr.2;
ret List.494;
procedure Test.1 (Test.5):
let Test.2 : I64 = 41i64;

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

@ -19,59 +19,59 @@ procedure Dict.4 (Dict.497):
dec Dict.497;
ret Dict.85;
procedure List.11 (List.114, List.115):
let List.494 : List I8 = CallByName List.68 List.115;
let List.493 : List I8 = CallByName List.81 List.114 List.115 List.494;
ret List.493;
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.114, List.115):
let List.506 : List U64 = CallByName List.68 List.115;
let List.505 : List U64 = CallByName List.81 List.114 List.115 List.506;
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.68 (#Attr.2):
let List.505 : List I8 = lowlevel ListWithCapacity #Attr.2;
ret List.505;
procedure List.68 (#Attr.2):
let List.504 : List I8 = lowlevel ListWithCapacity #Attr.2;
ret List.504;
procedure List.68 (#Attr.2):
let List.516 : List U64 = lowlevel ListWithCapacity #Attr.2;
ret List.516;
let List.517 : List U64 = lowlevel ListWithCapacity #Attr.2;
ret List.517;
procedure List.71 (#Attr.2, #Attr.3):
let List.501 : List I8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.501;
let List.502 : List I8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.502;
procedure List.71 (#Attr.2, #Attr.3):
let List.513 : List U64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.513;
let List.514 : List U64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.514;
procedure List.81 (List.517, List.518, List.519):
joinpoint List.495 List.116 List.117 List.118:
let List.503 : U64 = 0i64;
let List.497 : Int1 = CallByName Num.24 List.117 List.503;
if List.497 then
let List.502 : U64 = 1i64;
let List.499 : U64 = CallByName Num.20 List.117 List.502;
let List.500 : List I8 = CallByName List.71 List.118 List.116;
jump List.495 List.116 List.499 List.500;
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;
else
ret List.118;
ret List.119;
in
jump List.495 List.517 List.518 List.519;
jump List.496 List.518 List.519 List.520;
procedure List.81 (List.525, List.526, List.527):
joinpoint List.507 List.116 List.117 List.118:
let List.515 : U64 = 0i64;
let List.509 : Int1 = CallByName Num.24 List.117 List.515;
if List.509 then
let List.514 : U64 = 1i64;
let List.511 : U64 = CallByName Num.20 List.117 List.514;
let List.512 : List U64 = CallByName List.71 List.118 List.116;
jump List.507 List.116 List.511 List.512;
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;
else
ret List.118;
ret List.119;
in
jump List.507 List.525 List.526 List.527;
jump List.508 List.526 List.527 List.528;
procedure Num.20 (#Attr.2, #Attr.3):
let Num.276 : U64 = lowlevel NumSub #Attr.2 #Attr.3;

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

@ -2,25 +2,25 @@ procedure Bool.1 ():
let Bool.23 : Int1 = false;
ret Bool.23;
procedure List.2 (List.95, List.96):
let List.499 : U64 = CallByName List.6 List.95;
let List.495 : Int1 = CallByName Num.22 List.96 List.499;
if List.495 then
let List.497 : {} = CallByName List.66 List.95 List.96;
let List.496 : [C {}, C {}] = TagId(1) List.497;
ret List.496;
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;
let List.497 : [C {}, C {}] = TagId(1) List.498;
ret List.497;
else
let List.494 : {} = Struct {};
let List.493 : [C {}, C {}] = TagId(0) List.494;
ret List.493;
let List.495 : {} = Struct {};
let List.494 : [C {}, C {}] = TagId(0) List.495;
ret List.494;
procedure List.6 (#Attr.2):
let List.500 : U64 = lowlevel ListLen #Attr.2;
ret List.500;
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
procedure List.66 (#Attr.2, #Attr.3):
let List.498 : {} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.498;
let List.499 : {} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.499;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.275 : 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.106, List.107):
let List.496 : U64 = 1i64;
let List.494 : List U8 = CallByName List.70 List.106 List.496;
let List.493 : List U8 = CallByName List.71 List.494 List.107;
ret List.493;
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.70 (#Attr.2, #Attr.3):
let List.497 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.497;
let List.498 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.498;
procedure List.71 (#Attr.2, #Attr.3):
let List.495 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.495;
let List.496 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.496;
procedure Test.23 (Test.24, Test.35, Test.22):
let Test.37 : List U8 = CallByName List.4 Test.24 Test.22;

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

@ -204,99 +204,99 @@ procedure Json.99 (Json.100, Json.504, Json.98):
let Json.506 : List U8 = CallByName List.4 Json.507 Json.508;
ret Json.506;
procedure List.138 (List.139, List.140, List.137):
let List.534 : {List U8, U64} = CallByName Json.117 List.139 List.140;
ret List.534;
procedure List.139 (List.140, List.141, List.138):
let List.535 : {List U8, U64} = CallByName Json.117 List.140 List.141;
ret List.535;
procedure List.138 (List.139, List.140, List.137):
let List.607 : {List U8, U64} = CallByName Json.117 List.139 List.140;
ret List.607;
procedure List.139 (List.140, List.141, List.138):
let List.608 : {List U8, U64} = CallByName Json.117 List.140 List.141;
ret List.608;
procedure List.18 (List.135, List.136, List.137):
let List.515 : {List U8, U64} = CallByName List.91 List.135 List.136 List.137;
ret List.515;
procedure List.18 (List.136, List.137, List.138):
let List.516 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.516;
procedure List.18 (List.135, List.136, List.137):
let List.588 : {List U8, U64} = CallByName List.91 List.135 List.136 List.137;
ret List.588;
procedure List.18 (List.136, List.137, List.138):
let List.589 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.589;
procedure List.4 (List.106, List.107):
let List.587 : U64 = 1i64;
let List.586 : List U8 = CallByName List.70 List.106 List.587;
let List.585 : List U8 = CallByName List.71 List.586 List.107;
ret List.585;
procedure List.4 (List.107, List.108):
let List.588 : U64 = 1i64;
let List.587 : List U8 = CallByName List.70 List.107 List.588;
let List.586 : List U8 = CallByName List.71 List.587 List.108;
ret List.586;
procedure List.6 (#Attr.2):
let List.493 : U64 = lowlevel ListLen #Attr.2;
ret List.493;
let List.494 : U64 = lowlevel ListLen #Attr.2;
ret List.494;
procedure List.6 (#Attr.2):
let List.536 : U64 = lowlevel ListLen #Attr.2;
ret List.536;
let List.537 : U64 = lowlevel ListLen #Attr.2;
ret List.537;
procedure List.6 (#Attr.2):
let List.610 : U64 = lowlevel ListLen #Attr.2;
ret List.610;
let List.611 : U64 = lowlevel ListLen #Attr.2;
ret List.611;
procedure List.66 (#Attr.2, #Attr.3):
let List.531 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.531;
let List.532 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.532;
procedure List.66 (#Attr.2, #Attr.3):
let List.604 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.604;
let List.605 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.605;
procedure List.70 (#Attr.2, #Attr.3):
let List.566 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.566;
let List.567 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.567;
procedure List.71 (#Attr.2, #Attr.3):
let List.564 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.564;
let List.565 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.565;
procedure List.8 (#Attr.2, #Attr.3):
let List.609 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.609;
let List.610 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.610;
procedure List.80 (List.546, List.547, List.548, List.549, List.550):
joinpoint List.521 List.432 List.433 List.434 List.435 List.436:
let List.523 : Int1 = CallByName Num.22 List.435 List.436;
if List.523 then
let List.530 : {Str, Str} = CallByName List.66 List.432 List.435;
let List.524 : {List U8, U64} = CallByName List.138 List.433 List.530 List.434;
let List.527 : U64 = 1i64;
let List.526 : U64 = CallByName Num.19 List.435 List.527;
jump List.521 List.432 List.524 List.434 List.526 List.436;
procedure List.80 (List.547, List.548, List.549, List.550, List.551):
joinpoint List.522 List.433 List.434 List.435 List.436 List.437:
let List.524 : Int1 = CallByName Num.22 List.436 List.437;
if List.524 then
let List.531 : {Str, Str} = CallByName List.66 List.433 List.436;
let List.525 : {List U8, U64} = CallByName List.139 List.434 List.531 List.435;
let List.528 : U64 = 1i64;
let List.527 : U64 = CallByName Num.19 List.436 List.528;
jump List.522 List.433 List.525 List.435 List.527 List.437;
else
ret List.433;
ret List.434;
in
jump List.521 List.546 List.547 List.548 List.549 List.550;
jump List.522 List.547 List.548 List.549 List.550 List.551;
procedure List.80 (List.620, List.621, List.622, List.623, List.624):
joinpoint List.594 List.432 List.433 List.434 List.435 List.436:
let List.596 : Int1 = CallByName Num.22 List.435 List.436;
if List.596 then
let List.603 : {Str, Str} = CallByName List.66 List.432 List.435;
let List.597 : {List U8, U64} = CallByName List.138 List.433 List.603 List.434;
let List.600 : U64 = 1i64;
let List.599 : U64 = CallByName Num.19 List.435 List.600;
jump List.594 List.432 List.597 List.434 List.599 List.436;
procedure List.80 (List.621, List.622, List.623, List.624, List.625):
joinpoint List.595 List.433 List.434 List.435 List.436 List.437:
let List.597 : Int1 = CallByName Num.22 List.436 List.437;
if List.597 then
let List.604 : {Str, Str} = CallByName List.66 List.433 List.436;
let List.598 : {List U8, U64} = CallByName List.139 List.434 List.604 List.435;
let List.601 : U64 = 1i64;
let List.600 : U64 = CallByName Num.19 List.436 List.601;
jump List.595 List.433 List.598 List.435 List.600 List.437;
else
ret List.433;
ret List.434;
in
jump List.594 List.620 List.621 List.622 List.623 List.624;
jump List.595 List.621 List.622 List.623 List.624 List.625;
procedure List.91 (List.429, List.430, List.431):
let List.519 : U64 = 0i64;
let List.520 : U64 = CallByName List.6 List.429;
let List.518 : {List U8, U64} = CallByName List.80 List.429 List.430 List.431 List.519 List.520;
ret List.518;
procedure List.92 (List.430, List.431, List.432):
let List.520 : U64 = 0i64;
let List.521 : U64 = CallByName List.6 List.430;
let List.519 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.520 List.521;
ret List.519;
procedure List.91 (List.429, List.430, List.431):
let List.592 : U64 = 0i64;
let List.593 : U64 = CallByName List.6 List.429;
let List.591 : {List U8, U64} = CallByName List.80 List.429 List.430 List.431 List.592 List.593;
ret List.591;
procedure List.92 (List.430, List.431, List.432):
let List.593 : U64 = 0i64;
let List.594 : U64 = CallByName List.6 List.430;
let List.592 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.593 List.594;
ret List.592;
procedure Num.127 (#Attr.2):
let Num.301 : U8 = lowlevel NumIntCast #Attr.2;

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

@ -117,63 +117,63 @@ procedure Json.99 (Json.100, Json.464, Json.98):
let Json.466 : List U8 = CallByName List.4 Json.467 Json.468;
ret Json.466;
procedure List.138 (List.139, List.140, List.137):
let List.540 : {List U8, U64} = CallByName Json.117 List.139 List.140;
ret List.540;
procedure List.139 (List.140, List.141, List.138):
let List.541 : {List U8, U64} = CallByName Json.117 List.140 List.141;
ret List.541;
procedure List.18 (List.135, List.136, List.137):
let List.521 : {List U8, U64} = CallByName List.91 List.135 List.136 List.137;
ret List.521;
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.4 (List.106, List.107):
let List.520 : U64 = 1i64;
let List.519 : List U8 = CallByName List.70 List.106 List.520;
let List.518 : List U8 = CallByName List.71 List.519 List.107;
ret List.518;
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.6 (#Attr.2):
let List.493 : U64 = lowlevel ListLen #Attr.2;
ret List.493;
let List.494 : U64 = lowlevel ListLen #Attr.2;
ret List.494;
procedure List.6 (#Attr.2):
let List.543 : U64 = lowlevel ListLen #Attr.2;
ret List.543;
let List.544 : U64 = lowlevel ListLen #Attr.2;
ret List.544;
procedure List.66 (#Attr.2, #Attr.3):
let List.537 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.537;
let List.538 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.538;
procedure List.70 (#Attr.2, #Attr.3):
let List.499 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.499;
let List.500 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.500;
procedure List.71 (#Attr.2, #Attr.3):
let List.497 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.497;
let List.498 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.498;
procedure List.8 (#Attr.2, #Attr.3):
let List.542 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.542;
let List.543 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.543;
procedure List.80 (List.553, List.554, List.555, List.556, List.557):
joinpoint List.527 List.432 List.433 List.434 List.435 List.436:
let List.529 : Int1 = CallByName Num.22 List.435 List.436;
if List.529 then
let List.536 : {Str, Str} = CallByName List.66 List.432 List.435;
let List.530 : {List U8, U64} = CallByName List.138 List.433 List.536 List.434;
let List.533 : U64 = 1i64;
let List.532 : U64 = CallByName Num.19 List.435 List.533;
jump List.527 List.432 List.530 List.434 List.532 List.436;
procedure List.80 (List.554, List.555, List.556, List.557, List.558):
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, Str} = CallByName List.66 List.433 List.436;
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
ret List.433;
ret List.434;
in
jump List.527 List.553 List.554 List.555 List.556 List.557;
jump List.528 List.554 List.555 List.556 List.557 List.558;
procedure List.91 (List.429, List.430, List.431):
let List.525 : U64 = 0i64;
let List.526 : U64 = CallByName List.6 List.429;
let List.524 : {List U8, U64} = CallByName List.80 List.429 List.430 List.431 List.525 List.526;
ret List.524;
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;
ret List.525;
procedure Num.127 (#Attr.2):
let Num.282 : U8 = lowlevel NumIntCast #Attr.2;

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

@ -125,63 +125,63 @@ procedure Json.99 (Json.100, Json.464, Json.98):
let Json.466 : List U8 = CallByName List.4 Json.467 Json.468;
ret Json.466;
procedure List.138 (List.139, List.140, List.137):
let List.540 : {List U8, U64} = CallByName Json.117 List.139 List.140;
ret List.540;
procedure List.139 (List.140, List.141, List.138):
let List.541 : {List U8, U64} = CallByName Json.117 List.140 List.141;
ret List.541;
procedure List.18 (List.135, List.136, List.137):
let List.521 : {List U8, U64} = CallByName List.91 List.135 List.136 List.137;
ret List.521;
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.4 (List.106, List.107):
let List.520 : U64 = 1i64;
let List.519 : List U8 = CallByName List.70 List.106 List.520;
let List.518 : List U8 = CallByName List.71 List.519 List.107;
ret List.518;
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.6 (#Attr.2):
let List.493 : U64 = lowlevel ListLen #Attr.2;
ret List.493;
let List.494 : U64 = lowlevel ListLen #Attr.2;
ret List.494;
procedure List.6 (#Attr.2):
let List.543 : U64 = lowlevel ListLen #Attr.2;
ret List.543;
let List.544 : U64 = lowlevel ListLen #Attr.2;
ret List.544;
procedure List.66 (#Attr.2, #Attr.3):
let List.537 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.537;
let List.538 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.538;
procedure List.70 (#Attr.2, #Attr.3):
let List.499 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.499;
let List.500 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.500;
procedure List.71 (#Attr.2, #Attr.3):
let List.497 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.497;
let List.498 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.498;
procedure List.8 (#Attr.2, #Attr.3):
let List.542 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.542;
let List.543 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.543;
procedure List.80 (List.553, List.554, List.555, List.556, List.557):
joinpoint List.527 List.432 List.433 List.434 List.435 List.436:
let List.529 : Int1 = CallByName Num.22 List.435 List.436;
if List.529 then
let List.536 : {Str, Str} = CallByName List.66 List.432 List.435;
let List.530 : {List U8, U64} = CallByName List.138 List.433 List.536 List.434;
let List.533 : U64 = 1i64;
let List.532 : U64 = CallByName Num.19 List.435 List.533;
jump List.527 List.432 List.530 List.434 List.532 List.436;
procedure List.80 (List.554, List.555, List.556, List.557, List.558):
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, Str} = CallByName List.66 List.433 List.436;
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
ret List.433;
ret List.434;
in
jump List.527 List.553 List.554 List.555 List.556 List.557;
jump List.528 List.554 List.555 List.556 List.557 List.558;
procedure List.91 (List.429, List.430, List.431):
let List.525 : U64 = 0i64;
let List.526 : U64 = CallByName List.6 List.429;
let List.524 : {List U8, U64} = CallByName List.80 List.429 List.430 List.431 List.525 List.526;
ret List.524;
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;
ret List.525;
procedure Num.127 (#Attr.2):
let Num.282 : U8 = lowlevel NumIntCast #Attr.2;

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

@ -30,27 +30,27 @@ procedure Json.99 (Json.100, Json.428, Json.98):
let Json.430 : List U8 = CallByName List.4 Json.431 Json.432;
ret Json.430;
procedure List.4 (List.106, List.107):
let List.502 : U64 = 1i64;
let List.501 : List U8 = CallByName List.70 List.106 List.502;
let List.500 : List U8 = CallByName List.71 List.501 List.107;
ret List.500;
procedure List.4 (List.107, List.108):
let List.503 : U64 = 1i64;
let List.502 : List U8 = CallByName List.70 List.107 List.503;
let List.501 : List U8 = CallByName List.71 List.502 List.108;
ret List.501;
procedure List.6 (#Attr.2):
let List.493 : U64 = lowlevel ListLen #Attr.2;
ret List.493;
let List.494 : U64 = lowlevel ListLen #Attr.2;
ret List.494;
procedure List.70 (#Attr.2, #Attr.3):
let List.499 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.499;
let List.500 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.500;
procedure List.71 (#Attr.2, #Attr.3):
let List.497 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.497;
let List.498 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.498;
procedure List.8 (#Attr.2, #Attr.3):
let List.503 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.503;
let List.504 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.504;
procedure Num.127 (#Attr.2):
let Num.276 : U8 = lowlevel NumIntCast #Attr.2;

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

@ -126,63 +126,63 @@ procedure Json.99 (Json.100, Json.469, Json.98):
let Json.471 : List U8 = CallByName List.4 Json.472 Json.473;
ret Json.471;
procedure List.138 (List.139, List.140, List.137):
let List.546 : {List U8, U64} = CallByName Json.131 List.139 List.140;
ret List.546;
procedure List.18 (List.135, List.136, List.137):
let List.527 : {List U8, U64} = CallByName List.91 List.135 List.136 List.137;
ret List.527;
procedure List.4 (List.106, List.107):
let List.526 : U64 = 1i64;
let List.525 : List U8 = CallByName List.70 List.106 List.526;
let List.524 : List U8 = CallByName List.71 List.525 List.107;
ret List.524;
procedure List.6 (#Attr.2):
let List.493 : U64 = lowlevel ListLen #Attr.2;
ret List.493;
procedure List.6 (#Attr.2):
let List.547 : U64 = lowlevel ListLen #Attr.2;
procedure List.139 (List.140, List.141, List.138):
let List.547 : {List U8, U64} = CallByName Json.131 List.140 List.141;
ret List.547;
procedure List.18 (List.136, List.137, List.138):
let List.528 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.528;
procedure List.4 (List.107, List.108):
let List.527 : U64 = 1i64;
let List.526 : List U8 = CallByName List.70 List.107 List.527;
let List.525 : List U8 = CallByName List.71 List.526 List.108;
ret List.525;
procedure List.6 (#Attr.2):
let List.494 : U64 = lowlevel ListLen #Attr.2;
ret List.494;
procedure List.6 (#Attr.2):
let List.548 : U64 = lowlevel ListLen #Attr.2;
ret List.548;
procedure List.66 (#Attr.2, #Attr.3):
let List.543 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.543;
let List.544 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.544;
procedure List.70 (#Attr.2, #Attr.3):
let List.499 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.499;
let List.500 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.500;
procedure List.71 (#Attr.2, #Attr.3):
let List.497 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.497;
let List.498 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.498;
procedure List.8 (#Attr.2, #Attr.3):
let List.549 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.549;
let List.550 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.550;
procedure List.80 (List.559, List.560, List.561, List.562, List.563):
joinpoint List.533 List.432 List.433 List.434 List.435 List.436:
let List.535 : Int1 = CallByName Num.22 List.435 List.436;
if List.535 then
let List.542 : Str = CallByName List.66 List.432 List.435;
let List.536 : {List U8, U64} = CallByName List.138 List.433 List.542 List.434;
let List.539 : U64 = 1i64;
let List.538 : U64 = CallByName Num.19 List.435 List.539;
jump List.533 List.432 List.536 List.434 List.538 List.436;
procedure List.80 (List.560, List.561, List.562, List.563, List.564):
joinpoint List.534 List.433 List.434 List.435 List.436 List.437:
let List.536 : Int1 = CallByName Num.22 List.436 List.437;
if List.536 then
let List.543 : Str = CallByName List.66 List.433 List.436;
let List.537 : {List U8, U64} = CallByName List.139 List.434 List.543 List.435;
let List.540 : U64 = 1i64;
let List.539 : U64 = CallByName Num.19 List.436 List.540;
jump List.534 List.433 List.537 List.435 List.539 List.437;
else
ret List.433;
ret List.434;
in
jump List.533 List.559 List.560 List.561 List.562 List.563;
jump List.534 List.560 List.561 List.562 List.563 List.564;
procedure List.91 (List.429, List.430, List.431):
let List.531 : U64 = 0i64;
let List.532 : U64 = CallByName List.6 List.429;
let List.530 : {List U8, U64} = CallByName List.80 List.429 List.430 List.431 List.531 List.532;
ret List.530;
procedure List.92 (List.430, List.431, List.432):
let List.532 : U64 = 0i64;
let List.533 : U64 = CallByName List.6 List.430;
let List.531 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.532 List.533;
ret List.531;
procedure Num.127 (#Attr.2):
let Num.284 : U8 = lowlevel NumIntCast #Attr.2;

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

@ -132,63 +132,63 @@ procedure Json.99 (Json.100, Json.469, Json.98):
let Json.471 : List U8 = CallByName List.4 Json.472 Json.473;
ret Json.471;
procedure List.138 (List.139, List.140, List.137):
let List.546 : {List U8, U64} = CallByName Json.131 List.139 List.140;
ret List.546;
procedure List.18 (List.135, List.136, List.137):
let List.527 : {List U8, U64} = CallByName List.91 List.135 List.136 List.137;
ret List.527;
procedure List.4 (List.106, List.107):
let List.526 : U64 = 1i64;
let List.525 : List U8 = CallByName List.70 List.106 List.526;
let List.524 : List U8 = CallByName List.71 List.525 List.107;
ret List.524;
procedure List.6 (#Attr.2):
let List.493 : U64 = lowlevel ListLen #Attr.2;
ret List.493;
procedure List.6 (#Attr.2):
let List.547 : U64 = lowlevel ListLen #Attr.2;
procedure List.139 (List.140, List.141, List.138):
let List.547 : {List U8, U64} = CallByName Json.131 List.140 List.141;
ret List.547;
procedure List.18 (List.136, List.137, List.138):
let List.528 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.528;
procedure List.4 (List.107, List.108):
let List.527 : U64 = 1i64;
let List.526 : List U8 = CallByName List.70 List.107 List.527;
let List.525 : List U8 = CallByName List.71 List.526 List.108;
ret List.525;
procedure List.6 (#Attr.2):
let List.494 : U64 = lowlevel ListLen #Attr.2;
ret List.494;
procedure List.6 (#Attr.2):
let List.548 : U64 = lowlevel ListLen #Attr.2;
ret List.548;
procedure List.66 (#Attr.2, #Attr.3):
let List.543 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.543;
let List.544 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.544;
procedure List.70 (#Attr.2, #Attr.3):
let List.499 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.499;
let List.500 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.500;
procedure List.71 (#Attr.2, #Attr.3):
let List.497 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.497;
let List.498 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.498;
procedure List.8 (#Attr.2, #Attr.3):
let List.549 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.549;
let List.550 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.550;
procedure List.80 (List.559, List.560, List.561, List.562, List.563):
joinpoint List.533 List.432 List.433 List.434 List.435 List.436:
let List.535 : Int1 = CallByName Num.22 List.435 List.436;
if List.535 then
let List.542 : Str = CallByName List.66 List.432 List.435;
let List.536 : {List U8, U64} = CallByName List.138 List.433 List.542 List.434;
let List.539 : U64 = 1i64;
let List.538 : U64 = CallByName Num.19 List.435 List.539;
jump List.533 List.432 List.536 List.434 List.538 List.436;
procedure List.80 (List.560, List.561, List.562, List.563, List.564):
joinpoint List.534 List.433 List.434 List.435 List.436 List.437:
let List.536 : Int1 = CallByName Num.22 List.436 List.437;
if List.536 then
let List.543 : Str = CallByName List.66 List.433 List.436;
let List.537 : {List U8, U64} = CallByName List.139 List.434 List.543 List.435;
let List.540 : U64 = 1i64;
let List.539 : U64 = CallByName Num.19 List.436 List.540;
jump List.534 List.433 List.537 List.435 List.539 List.437;
else
ret List.433;
ret List.434;
in
jump List.533 List.559 List.560 List.561 List.562 List.563;
jump List.534 List.560 List.561 List.562 List.563 List.564;
procedure List.91 (List.429, List.430, List.431):
let List.531 : U64 = 0i64;
let List.532 : U64 = CallByName List.6 List.429;
let List.530 : {List U8, U64} = CallByName List.80 List.429 List.430 List.431 List.531 List.532;
ret List.530;
procedure List.92 (List.430, List.431, List.432):
let List.532 : U64 = 0i64;
let List.533 : U64 = CallByName List.6 List.430;
let List.531 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.532 List.533;
ret List.531;
procedure Num.127 (#Attr.2):
let Num.284 : 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.493 : U64 = lowlevel ListLen #Attr.2;
ret List.493;
let List.494 : U64 = lowlevel ListLen #Attr.2;
ret List.494;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.277 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;

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

@ -6,40 +6,40 @@ procedure Bool.2 ():
let Bool.23 : Int1 = true;
ret Bool.23;
procedure List.2 (List.95, List.96):
let List.507 : U64 = CallByName List.6 List.95;
let List.503 : Int1 = CallByName Num.22 List.96 List.507;
if List.503 then
let List.505 : I64 = CallByName List.66 List.95 List.96;
let List.504 : [C {}, C I64] = TagId(1) List.505;
ret List.504;
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;
let List.505 : [C {}, C I64] = TagId(1) List.506;
ret List.505;
else
let List.502 : {} = Struct {};
let List.501 : [C {}, C I64] = TagId(0) List.502;
ret List.501;
let List.503 : {} = Struct {};
let List.502 : [C {}, C I64] = TagId(0) List.503;
ret List.502;
procedure List.6 (#Attr.2):
let List.508 : U64 = lowlevel ListLen #Attr.2;
ret List.508;
let List.509 : U64 = lowlevel ListLen #Attr.2;
ret List.509;
procedure List.66 (#Attr.2, #Attr.3):
let List.506 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.506;
let List.507 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.507;
procedure List.9 (List.286):
let List.500 : U64 = 0i64;
let List.493 : [C {}, C I64] = CallByName List.2 List.286 List.500;
let List.497 : U8 = 1i64;
let List.498 : U8 = GetTagId List.493;
let List.499 : Int1 = lowlevel Eq List.497 List.498;
if List.499 then
let List.287 : I64 = UnionAtIndex (Id 1) (Index 0) List.493;
let List.494 : [C Int1, C I64] = TagId(1) List.287;
ret List.494;
else
let List.496 : Int1 = true;
let List.495 : [C Int1, C I64] = TagId(0) List.496;
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;
else
let List.497 : Int1 = true;
let List.496 : [C Int1, C I64] = TagId(0) List.497;
ret List.496;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.275 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

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

@ -252,88 +252,88 @@ procedure Json.42 ():
let Json.426 : {} = CallByName Decode.23 Json.427;
ret Json.426;
procedure List.1 (List.94):
let List.494 : U64 = CallByName List.6 List.94;
let List.495 : U64 = 0i64;
let List.493 : Int1 = CallByName Bool.11 List.494 List.495;
ret List.493;
procedure List.1 (List.95):
let List.495 : U64 = CallByName List.6 List.95;
let List.496 : U64 = 0i64;
let List.494 : Int1 = CallByName Bool.11 List.495 List.496;
ret List.494;
procedure List.29 (List.297, List.298):
let List.548 : U64 = CallByName List.6 List.297;
let List.299 : U64 = CallByName Num.77 List.548 List.298;
let List.543 : List U8 = CallByName List.43 List.297 List.299;
ret List.543;
procedure List.31 (#Attr.2, #Attr.3):
let List.540 : List U8 = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.540;
procedure List.38 (List.291):
let List.542 : U64 = 0i64;
let List.541 : List U8 = CallByName List.31 List.291 List.542;
ret List.541;
procedure List.4 (List.106, List.107):
let List.537 : U64 = 1i64;
let List.536 : List U8 = CallByName List.70 List.106 List.537;
let List.535 : List U8 = CallByName List.71 List.536 List.107;
ret List.535;
procedure List.43 (List.295, List.296):
let List.547 : U64 = CallByName List.6 List.295;
let List.546 : U64 = CallByName Num.77 List.547 List.296;
let List.545 : {U64, U64} = Struct {List.296, List.546};
let List.544 : List U8 = CallByName List.49 List.295 List.545;
procedure List.29 (List.298, List.299):
let List.549 : U64 = CallByName List.6 List.298;
let List.300 : U64 = CallByName Num.77 List.549 List.299;
let List.544 : List U8 = CallByName List.43 List.298 List.300;
ret List.544;
procedure List.49 (List.369, List.370):
let List.507 : U64 = StructAtIndex 0 List.370;
let List.508 : U64 = 0i64;
let List.505 : Int1 = CallByName Bool.11 List.507 List.508;
if List.505 then
dec List.369;
let List.506 : List U8 = Array [];
ret List.506;
else
let List.502 : U64 = StructAtIndex 1 List.370;
let List.503 : U64 = StructAtIndex 0 List.370;
let List.501 : List U8 = CallByName List.72 List.369 List.502 List.503;
ret List.501;
procedure List.31 (#Attr.2, #Attr.3):
let List.541 : List U8 = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.541;
procedure List.52 (List.384, List.385):
let List.386 : U64 = CallByName List.6 List.384;
joinpoint List.522 List.387:
let List.520 : U64 = 0i64;
let List.519 : {U64, U64} = Struct {List.387, List.520};
inc List.384;
let List.388 : List U8 = CallByName List.49 List.384 List.519;
let List.518 : U64 = CallByName Num.20 List.386 List.387;
let List.517 : {U64, U64} = Struct {List.518, List.387};
let List.389 : List U8 = CallByName List.49 List.384 List.517;
let List.516 : {List U8, List U8} = Struct {List.388, List.389};
ret List.516;
in
let List.523 : Int1 = CallByName Num.24 List.386 List.385;
if List.523 then
jump List.522 List.385;
procedure List.38 (List.292):
let List.543 : U64 = 0i64;
let List.542 : List U8 = CallByName List.31 List.292 List.543;
ret List.542;
procedure List.4 (List.107, List.108):
let List.538 : U64 = 1i64;
let List.537 : List U8 = CallByName List.70 List.107 List.538;
let List.536 : List U8 = CallByName List.71 List.537 List.108;
ret List.536;
procedure List.43 (List.296, List.297):
let List.548 : U64 = CallByName List.6 List.296;
let List.547 : U64 = CallByName Num.77 List.548 List.297;
let List.546 : {U64, U64} = Struct {List.297, List.547};
let List.545 : List U8 = CallByName List.49 List.296 List.546;
ret List.545;
procedure List.49 (List.370, List.371):
let List.508 : U64 = StructAtIndex 0 List.371;
let List.509 : U64 = 0i64;
let List.506 : Int1 = CallByName Bool.11 List.508 List.509;
if List.506 then
dec List.370;
let List.507 : List U8 = Array [];
ret List.507;
else
jump List.522 List.386;
let List.503 : U64 = StructAtIndex 1 List.371;
let List.504 : U64 = StructAtIndex 0 List.371;
let List.502 : List U8 = CallByName List.72 List.370 List.503 List.504;
ret List.502;
procedure List.52 (List.385, List.386):
let List.387 : U64 = CallByName List.6 List.385;
joinpoint List.523 List.388:
let List.521 : U64 = 0i64;
let List.520 : {U64, U64} = Struct {List.388, List.521};
inc List.385;
let List.389 : List U8 = CallByName List.49 List.385 List.520;
let List.519 : U64 = CallByName Num.20 List.387 List.388;
let List.518 : {U64, U64} = Struct {List.519, List.388};
let List.390 : List U8 = CallByName List.49 List.385 List.518;
let List.517 : {List U8, List U8} = Struct {List.389, List.390};
ret List.517;
in
let List.524 : Int1 = CallByName Num.24 List.387 List.386;
if List.524 then
jump List.523 List.386;
else
jump List.523 List.387;
procedure List.6 (#Attr.2):
let List.570 : U64 = lowlevel ListLen #Attr.2;
ret List.570;
let List.571 : U64 = lowlevel ListLen #Attr.2;
ret List.571;
procedure List.70 (#Attr.2, #Attr.3):
let List.528 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.528;
let List.529 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.529;
procedure List.71 (#Attr.2, #Attr.3):
let List.526 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.526;
let List.527 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.527;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.504 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.504;
let List.505 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.505;
procedure Num.20 (#Attr.2, #Attr.3):
let Num.276 : U64 = lowlevel NumSub #Attr.2 #Attr.3;

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

@ -226,82 +226,82 @@ procedure Json.42 ():
let Json.426 : {} = CallByName Decode.23 Json.427;
ret Json.426;
procedure List.29 (List.297, List.298):
let List.542 : U64 = CallByName List.6 List.297;
let List.299 : U64 = CallByName Num.77 List.542 List.298;
let List.537 : List U8 = CallByName List.43 List.297 List.299;
ret List.537;
procedure List.31 (#Attr.2, #Attr.3):
let List.534 : List U8 = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.534;
procedure List.38 (List.291):
let List.536 : U64 = 0i64;
let List.535 : List U8 = CallByName List.31 List.291 List.536;
ret List.535;
procedure List.4 (List.106, List.107):
let List.531 : U64 = 1i64;
let List.530 : List U8 = CallByName List.70 List.106 List.531;
let List.529 : List U8 = CallByName List.71 List.530 List.107;
ret List.529;
procedure List.43 (List.295, List.296):
let List.541 : U64 = CallByName List.6 List.295;
let List.540 : U64 = CallByName Num.77 List.541 List.296;
let List.539 : {U64, U64} = Struct {List.296, List.540};
let List.538 : List U8 = CallByName List.49 List.295 List.539;
procedure List.29 (List.298, List.299):
let List.543 : U64 = CallByName List.6 List.298;
let List.300 : U64 = CallByName Num.77 List.543 List.299;
let List.538 : List U8 = CallByName List.43 List.298 List.300;
ret List.538;
procedure List.49 (List.369, List.370):
let List.501 : U64 = StructAtIndex 0 List.370;
let List.502 : U64 = 0i64;
let List.499 : Int1 = CallByName Bool.11 List.501 List.502;
if List.499 then
dec List.369;
let List.500 : List U8 = Array [];
ret List.500;
else
let List.496 : U64 = StructAtIndex 1 List.370;
let List.497 : U64 = StructAtIndex 0 List.370;
let List.495 : List U8 = CallByName List.72 List.369 List.496 List.497;
ret List.495;
procedure List.31 (#Attr.2, #Attr.3):
let List.535 : List U8 = lowlevel ListDropAt #Attr.2 #Attr.3;
ret List.535;
procedure List.52 (List.384, List.385):
let List.386 : U64 = CallByName List.6 List.384;
joinpoint List.516 List.387:
let List.514 : U64 = 0i64;
let List.513 : {U64, U64} = Struct {List.387, List.514};
inc List.384;
let List.388 : List U8 = CallByName List.49 List.384 List.513;
let List.512 : U64 = CallByName Num.20 List.386 List.387;
let List.511 : {U64, U64} = Struct {List.512, List.387};
let List.389 : List U8 = CallByName List.49 List.384 List.511;
let List.510 : {List U8, List U8} = Struct {List.388, List.389};
ret List.510;
in
let List.517 : Int1 = CallByName Num.24 List.386 List.385;
if List.517 then
jump List.516 List.385;
procedure List.38 (List.292):
let List.537 : U64 = 0i64;
let List.536 : List U8 = CallByName List.31 List.292 List.537;
ret List.536;
procedure List.4 (List.107, List.108):
let List.532 : U64 = 1i64;
let List.531 : List U8 = CallByName List.70 List.107 List.532;
let List.530 : List U8 = CallByName List.71 List.531 List.108;
ret List.530;
procedure List.43 (List.296, List.297):
let List.542 : U64 = CallByName List.6 List.296;
let List.541 : U64 = CallByName Num.77 List.542 List.297;
let List.540 : {U64, U64} = Struct {List.297, List.541};
let List.539 : List U8 = CallByName List.49 List.296 List.540;
ret List.539;
procedure List.49 (List.370, List.371):
let List.502 : U64 = StructAtIndex 0 List.371;
let List.503 : U64 = 0i64;
let List.500 : Int1 = CallByName Bool.11 List.502 List.503;
if List.500 then
dec List.370;
let List.501 : List U8 = Array [];
ret List.501;
else
jump List.516 List.386;
let List.497 : U64 = StructAtIndex 1 List.371;
let List.498 : U64 = StructAtIndex 0 List.371;
let List.496 : List U8 = CallByName List.72 List.370 List.497 List.498;
ret List.496;
procedure List.52 (List.385, List.386):
let List.387 : U64 = CallByName List.6 List.385;
joinpoint List.517 List.388:
let List.515 : U64 = 0i64;
let List.514 : {U64, U64} = Struct {List.388, List.515};
inc List.385;
let List.389 : List U8 = CallByName List.49 List.385 List.514;
let List.513 : U64 = CallByName Num.20 List.387 List.388;
let List.512 : {U64, U64} = Struct {List.513, List.388};
let List.390 : List U8 = CallByName List.49 List.385 List.512;
let List.511 : {List U8, List U8} = Struct {List.389, List.390};
ret List.511;
in
let List.518 : Int1 = CallByName Num.24 List.387 List.386;
if List.518 then
jump List.517 List.386;
else
jump List.517 List.387;
procedure List.6 (#Attr.2):
let List.564 : U64 = lowlevel ListLen #Attr.2;
ret List.564;
let List.565 : U64 = lowlevel ListLen #Attr.2;
ret List.565;
procedure List.70 (#Attr.2, #Attr.3):
let List.522 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.522;
let List.523 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.523;
procedure List.71 (#Attr.2, #Attr.3):
let List.520 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.520;
let List.521 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.521;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.498 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.498;
let List.499 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.499;
procedure Num.20 (#Attr.2, #Attr.3):
let Num.276 : U64 = lowlevel NumSub #Attr.2 #Attr.3;

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

@ -1,16 +1,16 @@
procedure List.4 (List.106, List.107):
let List.496 : U64 = 1i64;
let List.494 : List I64 = CallByName List.70 List.106 List.496;
let List.493 : List I64 = CallByName List.71 List.494 List.107;
ret List.493;
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.70 (#Attr.2, #Attr.3):
let List.497 : List I64 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.497;
let List.498 : List I64 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.498;
procedure List.71 (#Attr.2, #Attr.3):
let List.495 : List I64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.495;
let List.496 : List I64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.496;
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.106, List.107):
let List.496 : U64 = 1i64;
let List.494 : List I64 = CallByName List.70 List.106 List.496;
let List.493 : List I64 = CallByName List.71 List.494 List.107;
ret List.493;
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.70 (#Attr.2, #Attr.3):
let List.497 : List I64 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.497;
let List.498 : List I64 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.498;
procedure List.71 (#Attr.2, #Attr.3):
let List.495 : List I64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.495;
let List.496 : List I64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.496;
procedure Test.1 (Test.2):
let Test.6 : I64 = 42i64;

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

@ -1,27 +1,27 @@
procedure List.3 (List.103, List.104, List.105):
let List.496 : {List I64, I64} = CallByName List.64 List.103 List.104 List.105;
let List.495 : List I64 = StructAtIndex 0 List.496;
inc List.495;
dec List.496;
ret List.495;
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;
inc List.496;
dec List.497;
ret List.496;
procedure List.6 (#Attr.2):
let List.494 : U64 = lowlevel ListLen #Attr.2;
ret List.494;
let List.495 : U64 = lowlevel ListLen #Attr.2;
ret List.495;
procedure List.64 (List.100, List.101, List.102):
let List.501 : U64 = CallByName List.6 List.100;
let List.498 : Int1 = CallByName Num.22 List.101 List.501;
if List.498 then
let List.499 : {List I64, I64} = CallByName List.67 List.100 List.101 List.102;
ret List.499;
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;
else
let List.497 : {List I64, I64} = Struct {List.100, List.102};
ret List.497;
let List.498 : {List I64, I64} = Struct {List.101, List.103};
ret List.498;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):
let List.500 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.500;
let List.501 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.501;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.275 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;

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

@ -1,22 +1,22 @@
procedure List.2 (List.95, List.96):
let List.499 : U64 = CallByName List.6 List.95;
let List.495 : Int1 = CallByName Num.22 List.96 List.499;
if List.495 then
let List.497 : I64 = CallByName List.66 List.95 List.96;
let List.496 : [C {}, C I64] = TagId(1) List.497;
ret List.496;
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;
let List.497 : [C {}, C I64] = TagId(1) List.498;
ret List.497;
else
let List.494 : {} = Struct {};
let List.493 : [C {}, C I64] = TagId(0) List.494;
ret List.493;
let List.495 : {} = Struct {};
let List.494 : [C {}, C I64] = TagId(0) List.495;
ret List.494;
procedure List.6 (#Attr.2):
let List.500 : U64 = lowlevel ListLen #Attr.2;
ret List.500;
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
procedure List.66 (#Attr.2, #Attr.3):
let List.498 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.498;
let List.499 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.499;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.275 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

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

@ -1,11 +1,11 @@
procedure List.6 (#Attr.2):
let List.493 : U64 = lowlevel ListLen #Attr.2;
ret List.493;
procedure List.6 (#Attr.2):
let List.494 : U64 = lowlevel ListLen #Attr.2;
ret List.494;
procedure List.6 (#Attr.2):
let List.495 : U64 = lowlevel ListLen #Attr.2;
ret List.495;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.275 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;
ret Num.275;

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

@ -1,26 +1,26 @@
procedure List.2 (List.95, List.96):
let List.499 : U64 = CallByName List.6 List.95;
let List.495 : Int1 = CallByName Num.22 List.96 List.499;
if List.495 then
let List.497 : Str = CallByName List.66 List.95 List.96;
let List.496 : [C {}, C Str] = TagId(1) List.497;
ret List.496;
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;
let List.497 : [C {}, C Str] = TagId(1) List.498;
ret List.497;
else
let List.494 : {} = Struct {};
let List.493 : [C {}, C Str] = TagId(0) List.494;
ret List.493;
let List.495 : {} = Struct {};
let List.494 : [C {}, C Str] = TagId(0) List.495;
ret List.494;
procedure List.5 (#Attr.2, #Attr.3):
let List.501 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
ret List.501;
let List.502 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
ret List.502;
procedure List.6 (#Attr.2):
let List.500 : U64 = lowlevel ListLen #Attr.2;
ret List.500;
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
procedure List.66 (#Attr.2, #Attr.3):
let List.498 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.498;
let List.499 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.499;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.275 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

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

@ -1,27 +1,27 @@
procedure List.2 (List.95, List.96):
let List.499 : U64 = CallByName List.6 List.95;
let List.495 : Int1 = CallByName Num.22 List.96 List.499;
if List.495 then
let List.497 : Str = CallByName List.66 List.95 List.96;
let List.496 : [C {}, C Str] = TagId(1) List.497;
ret List.496;
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;
let List.497 : [C {}, C Str] = TagId(1) List.498;
ret List.497;
else
let List.494 : {} = Struct {};
let List.493 : [C {}, C Str] = TagId(0) List.494;
ret List.493;
let List.495 : {} = Struct {};
let List.494 : [C {}, C Str] = TagId(0) List.495;
ret List.494;
procedure List.5 (#Attr.2, #Attr.3):
let List.501 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
let List.502 : List Str = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.3 #Attr.3;
decref #Attr.2;
ret List.501;
ret List.502;
procedure List.6 (#Attr.2):
let List.500 : U64 = lowlevel ListLen #Attr.2;
ret List.500;
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
procedure List.66 (#Attr.2, #Attr.3):
let List.498 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.498;
let List.499 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.499;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.275 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

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

@ -1,24 +1,24 @@
procedure List.5 (#Attr.2, #Attr.3):
let List.494 : U8 = GetTagId #Attr.3;
joinpoint List.495 List.493:
inc List.493;
ret List.493;
let List.495 : U8 = GetTagId #Attr.3;
joinpoint List.496 List.494:
inc List.494;
ret List.494;
in
switch List.494:
switch List.495:
case 0:
let List.496 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.4 #Attr.3;
let List.497 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.4 #Attr.3;
decref #Attr.2;
jump List.495 List.496;
jump List.496 List.497;
case 1:
let List.497 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.6 #Attr.3;
let List.498 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.6 #Attr.3;
decref #Attr.2;
jump List.495 List.497;
jump List.496 List.498;
default:
let List.498 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.8 #Attr.3;
let List.499 : List U8 = lowlevel ListMap { xs: `#Attr.#arg1` } #Attr.2 Test.8 #Attr.3;
decref #Attr.2;
jump List.495 List.498;
jump List.496 List.499;
procedure Num.19 (#Attr.2, #Attr.3):

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

@ -1,27 +1,27 @@
procedure List.3 (List.103, List.104, List.105):
let List.494 : {List I64, I64} = CallByName List.64 List.103 List.104 List.105;
let List.493 : List I64 = StructAtIndex 0 List.494;
inc List.493;
dec List.494;
ret List.493;
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;
inc List.494;
dec List.495;
ret List.494;
procedure List.6 (#Attr.2):
let List.500 : U64 = lowlevel ListLen #Attr.2;
ret List.500;
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
procedure List.64 (List.100, List.101, List.102):
let List.499 : U64 = CallByName List.6 List.100;
let List.496 : Int1 = CallByName Num.22 List.101 List.499;
if List.496 then
let List.497 : {List I64, I64} = CallByName List.67 List.100 List.101 List.102;
ret List.497;
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;
else
let List.495 : {List I64, I64} = Struct {List.100, List.102};
ret List.495;
let List.496 : {List I64, I64} = Struct {List.101, List.103};
ret List.496;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):
let List.498 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.498;
let List.499 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.499;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.275 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

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

@ -1,16 +1,16 @@
procedure List.28 (#Attr.2, #Attr.3):
let List.495 : List I64 = lowlevel ListSortWith { xs: `#Attr.#arg1` } #Attr.2 Num.46 #Attr.3;
let List.496 : List I64 = lowlevel ListSortWith { xs: `#Attr.#arg1` } #Attr.2 Num.46 #Attr.3;
let #Derived_gen.0 : Int1 = lowlevel ListIsUnique #Attr.2;
if #Derived_gen.0 then
ret List.495;
ret List.496;
else
decref #Attr.2;
ret List.495;
ret List.496;
procedure List.59 (List.281):
let List.494 : {} = Struct {};
let List.493 : List I64 = CallByName List.28 List.281 List.494;
ret List.493;
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 Num.46 (#Attr.2, #Attr.3):
let Num.275 : 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.95, List.96):
let List.515 : U64 = CallByName List.6 List.95;
let List.512 : Int1 = CallByName Num.22 List.96 List.515;
if List.512 then
let List.514 : I64 = CallByName List.66 List.95 List.96;
let List.513 : [C {}, C I64] = TagId(1) List.514;
ret List.513;
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;
let List.514 : [C {}, C I64] = TagId(1) List.515;
ret List.514;
else
let List.511 : {} = Struct {};
let List.510 : [C {}, C I64] = TagId(0) List.511;
ret List.510;
let List.512 : {} = Struct {};
let List.511 : [C {}, C I64] = TagId(0) List.512;
ret List.511;
procedure List.3 (List.103, List.104, List.105):
let List.502 : {List I64, I64} = CallByName List.64 List.103 List.104 List.105;
let List.501 : List I64 = StructAtIndex 0 List.502;
inc List.501;
dec List.502;
ret List.501;
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;
inc List.502;
dec List.503;
ret List.502;
procedure List.6 (#Attr.2):
let List.500 : U64 = lowlevel ListLen #Attr.2;
ret List.500;
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
procedure List.64 (List.100, List.101, List.102):
let List.499 : U64 = CallByName List.6 List.100;
let List.496 : Int1 = CallByName Num.22 List.101 List.499;
if List.496 then
let List.497 : {List I64, I64} = CallByName List.67 List.100 List.101 List.102;
ret List.497;
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;
else
let List.495 : {List I64, I64} = Struct {List.100, List.102};
ret List.495;
let List.496 : {List I64, I64} = Struct {List.101, List.103};
ret List.496;
procedure List.66 (#Attr.2, #Attr.3):
let List.508 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.508;
let List.509 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.509;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):
let List.498 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.498;
let List.499 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.499;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.277 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

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

@ -1,43 +1,43 @@
procedure List.2 (List.95, List.96):
let List.515 : U64 = CallByName List.6 List.95;
let List.512 : Int1 = CallByName Num.22 List.96 List.515;
if List.512 then
let List.514 : I64 = CallByName List.66 List.95 List.96;
let List.513 : [C {}, C I64] = TagId(1) List.514;
ret List.513;
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;
let List.514 : [C {}, C I64] = TagId(1) List.515;
ret List.514;
else
let List.511 : {} = Struct {};
let List.510 : [C {}, C I64] = TagId(0) List.511;
ret List.510;
let List.512 : {} = Struct {};
let List.511 : [C {}, C I64] = TagId(0) List.512;
ret List.511;
procedure List.3 (List.103, List.104, List.105):
let List.502 : {List I64, I64} = CallByName List.64 List.103 List.104 List.105;
let List.501 : List I64 = StructAtIndex 0 List.502;
inc List.501;
dec List.502;
ret List.501;
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;
inc List.502;
dec List.503;
ret List.502;
procedure List.6 (#Attr.2):
let List.500 : U64 = lowlevel ListLen #Attr.2;
ret List.500;
let List.501 : U64 = lowlevel ListLen #Attr.2;
ret List.501;
procedure List.64 (List.100, List.101, List.102):
let List.499 : U64 = CallByName List.6 List.100;
let List.496 : Int1 = CallByName Num.22 List.101 List.499;
if List.496 then
let List.497 : {List I64, I64} = CallByName List.67 List.100 List.101 List.102;
ret List.497;
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;
else
let List.495 : {List I64, I64} = Struct {List.100, List.102};
ret List.495;
let List.496 : {List I64, I64} = Struct {List.101, List.103};
ret List.496;
procedure List.66 (#Attr.2, #Attr.3):
let List.508 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.508;
let List.509 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.509;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):
let List.498 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.498;
let List.499 : {List I64, I64} = lowlevel ListReplaceUnsafe #Attr.2 #Attr.3 #Attr.4;
ret List.499;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.277 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;

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

@ -115,59 +115,59 @@ procedure Json.99 (Json.100, Json.472, Json.98):
let Json.474 : List U8 = CallByName List.4 Json.475 Json.476;
ret Json.474;
procedure List.138 (List.139, List.140, List.137):
let List.544 : {List U8, U64} = CallByName Json.131 List.139 List.140;
ret List.544;
procedure List.18 (List.135, List.136, List.137):
let List.525 : {List U8, U64} = CallByName List.91 List.135 List.136 List.137;
ret List.525;
procedure List.4 (List.106, List.107):
let List.524 : U64 = 1i64;
let List.523 : List U8 = CallByName List.70 List.106 List.524;
let List.522 : List U8 = CallByName List.71 List.523 List.107;
ret List.522;
procedure List.6 (#Attr.2):
let List.545 : U64 = lowlevel ListLen #Attr.2;
procedure List.139 (List.140, List.141, List.138):
let List.545 : {List U8, U64} = CallByName Json.131 List.140 List.141;
ret List.545;
procedure List.18 (List.136, List.137, List.138):
let List.526 : {List U8, U64} = CallByName List.92 List.136 List.137 List.138;
ret List.526;
procedure List.4 (List.107, List.108):
let List.525 : U64 = 1i64;
let List.524 : List U8 = CallByName List.70 List.107 List.525;
let List.523 : List U8 = CallByName List.71 List.524 List.108;
ret List.523;
procedure List.6 (#Attr.2):
let List.546 : U64 = lowlevel ListLen #Attr.2;
ret List.546;
procedure List.66 (#Attr.2, #Attr.3):
let List.541 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.541;
let List.542 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.542;
procedure List.70 (#Attr.2, #Attr.3):
let List.497 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.497;
let List.498 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.498;
procedure List.71 (#Attr.2, #Attr.3):
let List.495 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.495;
let List.496 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.496;
procedure List.8 (#Attr.2, #Attr.3):
let List.547 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.547;
let List.548 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.548;
procedure List.80 (List.557, List.558, List.559, List.560, List.561):
joinpoint List.531 List.432 List.433 List.434 List.435 List.436:
let List.533 : Int1 = CallByName Num.22 List.435 List.436;
if List.533 then
let List.540 : Str = CallByName List.66 List.432 List.435;
let List.534 : {List U8, U64} = CallByName List.138 List.433 List.540 List.434;
let List.537 : U64 = 1i64;
let List.536 : U64 = CallByName Num.19 List.435 List.537;
jump List.531 List.432 List.534 List.434 List.536 List.436;
procedure List.80 (List.558, List.559, List.560, List.561, List.562):
joinpoint List.532 List.433 List.434 List.435 List.436 List.437:
let List.534 : Int1 = CallByName Num.22 List.436 List.437;
if List.534 then
let List.541 : Str = CallByName List.66 List.433 List.436;
let List.535 : {List U8, U64} = CallByName List.139 List.434 List.541 List.435;
let List.538 : U64 = 1i64;
let List.537 : U64 = CallByName Num.19 List.436 List.538;
jump List.532 List.433 List.535 List.435 List.537 List.437;
else
ret List.433;
ret List.434;
in
jump List.531 List.557 List.558 List.559 List.560 List.561;
jump List.532 List.558 List.559 List.560 List.561 List.562;
procedure List.91 (List.429, List.430, List.431):
let List.529 : U64 = 0i64;
let List.530 : U64 = CallByName List.6 List.429;
let List.528 : {List U8, U64} = CallByName List.80 List.429 List.430 List.431 List.529 List.530;
ret List.528;
procedure List.92 (List.430, List.431, List.432):
let List.530 : U64 = 0i64;
let List.531 : U64 = CallByName List.6 List.430;
let List.529 : {List U8, U64} = CallByName List.80 List.430 List.431 List.432 List.530 List.531;
ret List.529;
procedure Num.127 (#Attr.2):
let Num.284 : U8 = lowlevel NumIntCast #Attr.2;

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

@ -219,95 +219,95 @@ procedure Json.21 (Json.127, Json.128):
let Json.517 : {Str, List []} = CallByName Encode.22 Json.518;
ret Json.517;
procedure List.138 (List.139, List.140, List.137):
let List.538 : {List U8, U64} = CallByName Json.131 List.139 List.140;
ret List.538;
procedure List.138 (List.139, List.140, List.137):
let List.611 : {List U8, U64} = CallByName Json.131 List.139 List.140;
ret List.611;
procedure List.18 (List.135, List.136, List.137):
let List.519 : {List U8, U64} = CallByName List.91 List.135 List.136 List.137;
ret List.519;
procedure List.18 (List.135, List.136, List.137):
let List.592 : {List U8, U64} = CallByName List.91 List.135 List.136 List.137;
ret List.592;
procedure List.4 (List.106, List.107):
let List.591 : U64 = 1i64;
let List.590 : List U8 = CallByName List.70 List.106 List.591;
let List.589 : List U8 = CallByName List.71 List.590 List.107;
ret List.589;
procedure List.6 (#Attr.2):
let List.539 : U64 = lowlevel ListLen #Attr.2;
procedure List.139 (List.140, List.141, List.138):
let List.539 : {List U8, U64} = CallByName Json.131 List.140 List.141;
ret List.539;
procedure List.6 (#Attr.2):
let List.612 : U64 = lowlevel ListLen #Attr.2;
procedure List.139 (List.140, List.141, List.138):
let List.612 : {List U8, U64} = CallByName Json.131 List.140 List.141;
ret List.612;
procedure List.66 (#Attr.2, #Attr.3):
let List.535 : [C {}, C {}] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.535;
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.66 (#Attr.2, #Attr.3):
let List.608 : [] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.608;
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.70 (#Attr.2, #Attr.3):
let List.570 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.570;
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.71 (#Attr.2, #Attr.3):
let List.568 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.568;
procedure List.6 (#Attr.2):
let List.540 : U64 = lowlevel ListLen #Attr.2;
ret List.540;
procedure List.8 (#Attr.2, #Attr.3):
let List.613 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
procedure List.6 (#Attr.2):
let List.613 : U64 = lowlevel ListLen #Attr.2;
ret List.613;
procedure List.80 (List.550, List.551, List.552, List.553, List.554):
joinpoint List.525 List.432 List.433 List.434 List.435 List.436:
let List.527 : Int1 = CallByName Num.22 List.435 List.436;
if List.527 then
let List.534 : [C {}, C {}] = CallByName List.66 List.432 List.435;
let List.528 : {List U8, U64} = CallByName List.138 List.433 List.534 List.434;
let List.531 : U64 = 1i64;
let List.530 : U64 = CallByName Num.19 List.435 List.531;
jump List.525 List.432 List.528 List.434 List.530 List.436;
procedure List.66 (#Attr.2, #Attr.3):
let List.536 : [C {}, C {}] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.536;
procedure List.66 (#Attr.2, #Attr.3):
let List.609 : [] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.609;
procedure List.70 (#Attr.2, #Attr.3):
let List.571 : List U8 = lowlevel ListReserve #Attr.2 #Attr.3;
ret List.571;
procedure List.71 (#Attr.2, #Attr.3):
let List.569 : List U8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
ret List.569;
procedure List.8 (#Attr.2, #Attr.3):
let List.614 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.614;
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;
else
ret List.433;
ret List.434;
in
jump List.525 List.550 List.551 List.552 List.553 List.554;
jump List.526 List.551 List.552 List.553 List.554 List.555;
procedure List.80 (List.623, List.624, List.625, List.626, List.627):
joinpoint List.598 List.432 List.433 List.434 List.435 List.436:
let List.600 : Int1 = CallByName Num.22 List.435 List.436;
if List.600 then
let List.607 : [] = CallByName List.66 List.432 List.435;
let List.601 : {List U8, U64} = CallByName List.138 List.433 List.607 List.434;
let List.604 : U64 = 1i64;
let List.603 : U64 = CallByName Num.19 List.435 List.604;
jump List.598 List.432 List.601 List.434 List.603 List.436;
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;
else
ret List.433;
ret List.434;
in
jump List.598 List.623 List.624 List.625 List.626 List.627;
jump List.599 List.624 List.625 List.626 List.627 List.628;
procedure List.91 (List.429, List.430, List.431):
let List.523 : U64 = 0i64;
let List.524 : U64 = CallByName List.6 List.429;
let List.522 : {List U8, U64} = CallByName List.80 List.429 List.430 List.431 List.523 List.524;
ret List.522;
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.91 (List.429, List.430, List.431):
let List.596 : U64 = 0i64;
let List.597 : U64 = CallByName List.6 List.429;
let List.595 : {List U8, U64} = CallByName List.80 List.429 List.430 List.431 List.596 List.597;
ret List.595;
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 Num.127 (#Attr.2):
let Num.303 : U8 = lowlevel NumIntCast #Attr.2;

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

@ -2,86 +2,86 @@ procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.24 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
ret Bool.24;
procedure List.26 (List.152, List.153, List.154):
let List.508 : [C U64, C U64] = CallByName List.91 List.152 List.153 List.154;
let List.511 : U8 = 1i64;
let List.512 : U8 = GetTagId List.508;
let List.513 : Int1 = lowlevel Eq List.511 List.512;
if List.513 then
let List.155 : U64 = UnionAtIndex (Id 1) (Index 0) List.508;
ret List.155;
else
let List.156 : U64 = UnionAtIndex (Id 0) (Index 0) List.508;
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;
else
let List.157 : U64 = UnionAtIndex (Id 0) (Index 0) List.509;
ret List.157;
procedure List.29 (List.297, List.298):
let List.507 : U64 = CallByName List.6 List.297;
let List.299 : U64 = CallByName Num.77 List.507 List.298;
let List.493 : List U8 = CallByName List.43 List.297 List.299;
ret List.493;
procedure List.43 (List.295, List.296):
let List.505 : U64 = CallByName List.6 List.295;
let List.504 : U64 = CallByName Num.77 List.505 List.296;
let List.495 : {U64, U64} = Struct {List.296, List.504};
let List.494 : List U8 = CallByName List.49 List.295 List.495;
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.49 (List.369, List.370):
let List.502 : U64 = StructAtIndex 0 List.370;
let List.503 : U64 = 0i64;
let List.500 : Int1 = CallByName Bool.11 List.502 List.503;
if List.500 then
dec List.369;
let List.501 : List U8 = Array [];
ret List.501;
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.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;
else
let List.497 : U64 = StructAtIndex 1 List.370;
let List.498 : U64 = StructAtIndex 0 List.370;
let List.496 : List U8 = CallByName List.72 List.369 List.497 List.498;
ret List.496;
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;
procedure List.6 (#Attr.2):
let List.506 : U64 = lowlevel ListLen #Attr.2;
ret List.506;
let List.507 : U64 = lowlevel ListLen #Attr.2;
ret List.507;
procedure List.66 (#Attr.2, #Attr.3):
let List.529 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.529;
let List.530 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.530;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.499 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.499;
let List.500 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.500;
procedure List.80 (List.543, List.544, List.545, List.546, List.547):
joinpoint List.517 List.432 List.433 List.434 List.435 List.436:
let List.519 : Int1 = CallByName Num.22 List.435 List.436;
if List.519 then
let List.528 : U8 = CallByName List.66 List.432 List.435;
let List.520 : [C U64, C U64] = CallByName Test.3 List.433 List.528;
let List.525 : U8 = 1i64;
let List.526 : U8 = GetTagId List.520;
let List.527 : Int1 = lowlevel Eq List.525 List.526;
if List.527 then
let List.437 : U64 = UnionAtIndex (Id 1) (Index 0) List.520;
let List.523 : U64 = 1i64;
let List.522 : U64 = CallByName Num.19 List.435 List.523;
jump List.517 List.432 List.437 List.434 List.522 List.436;
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;
else
let List.438 : U64 = UnionAtIndex (Id 0) (Index 0) List.520;
let List.524 : [C U64, C U64] = TagId(0) List.438;
ret List.524;
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;
else
let List.518 : [C U64, C U64] = TagId(1) List.433;
ret List.518;
let List.519 : [C U64, C U64] = TagId(1) List.434;
ret List.519;
in
jump List.517 List.543 List.544 List.545 List.546 List.547;
jump List.518 List.544 List.545 List.546 List.547 List.548;
procedure List.91 (List.429, List.430, List.431):
let List.515 : U64 = 0i64;
let List.516 : U64 = CallByName List.6 List.429;
let List.514 : [C U64, C U64] = CallByName List.80 List.429 List.430 List.431 List.515 List.516;
ret List.514;
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 Num.19 (#Attr.2, #Attr.3):
let Num.277 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;