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

updated tests

Browse source
This commit is contained in:
J.Teeuwissen 2023-04-16 16:34:41 +02:00
parent a4ca864fe3
commit 36e83fca1c
No known key found for this signature in database
GPG key ID: DB5F7A1ED8D478AD
77 changed files with 335 additions and 420 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/compiler/mono/src/inc_dec.rs
View file

@ -440,7 +440,7 @@ fn insert_inc_dec_operations_proc<'a, 'i>(
Given an environment, insert the reference counting operations for a statement.
Assuming that a symbol can only be defined once (no binding to the same symbol multiple times).
*/
fn insert_refcount_operations_stmt<'v, 'a, 'i>(
fn insert_refcount_operations_stmt<'v, 'a>(
arena: &'a Bump,
environment: &mut RefcountEnvironment<'v>,
@ -812,7 +812,7 @@ fn insert_refcount_operations_stmt<'v, 'a, 'i>(
}
}
fn insert_refcount_operations_binding<'a, 'i>(
fn insert_refcount_operations_binding<'a>(
arena: &'a Bump,
environment: &mut RefcountEnvironment,
binding: &Symbol,

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

@ -15,14 +15,14 @@ procedure List.26 (List.153, List.154, List.155):
ret List.157;
procedure List.29 (List.298, List.299):
let List.508 : U64 = lowlevel ListLen List.298;
let List.300 : U64 = lowlevel NumSubSaturated List.508 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.43 (List.296, List.297):
let List.506 : U64 = lowlevel ListLen List.296;
let List.505 : U64 = lowlevel NumSubSaturated List.506 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;
@ -30,7 +30,7 @@ procedure List.43 (List.296, List.297):
procedure List.49 (List.370, List.371):
let List.503 : U64 = StructAtIndex 0 List.371;
let List.504 : U64 = 0i64;
let List.501 : Int1 = lowlevel Eq List.503 List.504;
let List.501 : Int1 = CallByName Bool.11 List.503 List.504;
if List.501 then
dec List.370;
let List.502 : List U8 = Array [];
@ -38,17 +38,15 @@ procedure List.49 (List.370, List.371):
else
let List.498 : U64 = StructAtIndex 1 List.371;
let List.499 : U64 = StructAtIndex 0 List.371;
let List.497 : List U8 = lowlevel ListSublist List.370 List.498 List.499;
let List.497 : List U8 = CallByName List.72 List.370 List.498 List.499;
ret List.497;
procedure List.6 (#Attr.2):
let List.507 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.507;
procedure List.66 (#Attr.2, #Attr.3):
let List.530 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.530;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
@ -57,9 +55,9 @@ procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
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 = lowlevel NumLt List.436 List.437;
let List.520 : Int1 = CallByName Num.22 List.436 List.437;
if List.520 then
let List.529 : U8 = lowlevel ListGetUnsafe List.433 List.436;
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;
@ -67,7 +65,7 @@ procedure List.80 (List.544, List.545, List.546, List.547, List.548):
if List.528 then
let List.438 : U64 = UnionAtIndex (Id 1) (Index 0) List.521;
let List.524 : U64 = 1i64;
let List.523 : U64 = lowlevel NumAdd List.436 List.524;
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
dec List.433;
@ -83,7 +81,7 @@ procedure List.80 (List.544, List.545, List.546, List.547, List.548):
procedure List.92 (List.430, List.431, List.432):
let List.516 : U64 = 0i64;
let List.517 : U64 = lowlevel ListLen List.430;
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;
@ -105,7 +103,7 @@ procedure Test.1 (Test.2):
inc Test.2;
let Test.3 : U64 = CallByName List.26 Test.2 Test.13 Test.14;
let Test.12 : U64 = 0i64;
let Test.10 : Int1 = lowlevel Eq Test.3 Test.12;
let Test.10 : Int1 = CallByName Bool.11 Test.3 Test.12;
if Test.10 then
ret Test.2;
else

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

@ -3,10 +3,10 @@ procedure Bool.1 ():
ret Bool.24;
procedure List.2 (List.96, List.97):
let List.508 : U64 = lowlevel ListLen List.96;
let List.504 : Int1 = lowlevel NumLt List.97 List.508;
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 = lowlevel ListGetUnsafe List.96 List.97;
let List.506 : Str = CallByName List.66 List.96 List.97;
dec List.96;
let List.505 : [C {}, C Str] = TagId(1) List.506;
ret List.505;
@ -23,12 +23,10 @@ procedure List.5 (#Attr.2, #Attr.3):
procedure List.6 (#Attr.2):
let List.509 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.509;
procedure List.66 (#Attr.2, #Attr.3):
let List.507 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.507;
procedure List.9 (List.287):

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

@ -5,9 +5,9 @@ procedure Num.19 (#Attr.2, #Attr.3):
procedure Test.0 ():
let Test.6 : I128 = 18446744073709551616i64;
let Test.7 : I128 = 1i64;
let Test.2 : I128 = lowlevel NumAdd Test.6 Test.7;
let Test.2 : I128 = CallByName Num.19 Test.6 Test.7;
let Test.4 : I128 = -9223372036854775809i64;
let Test.5 : I128 = 1i64;
let Test.3 : I128 = lowlevel NumAdd Test.4 Test.5;
let Test.3 : I128 = CallByName Num.19 Test.4 Test.5;
let Test.1 : {I128, I128} = Struct {Test.2, Test.3};
ret Test.1;

2
crates/compiler/test_mono/generated/choose_u128_layout.txt
View file

@ -5,5 +5,5 @@ procedure Num.19 (#Attr.2, #Attr.3):
procedure Test.0 ():
let Test.2 : U128 = 170141183460469231731687303715884105728u128;
let Test.3 : U128 = 1i64;
let Test.1 : U128 = lowlevel NumAdd Test.2 Test.3;
let Test.1 : U128 = CallByName Num.19 Test.2 Test.3;
ret Test.1;

2
crates/compiler/test_mono/generated/choose_u64_layout.txt
View file

@ -5,5 +5,5 @@ procedure Num.19 (#Attr.2, #Attr.3):
procedure Test.0 ():
let Test.2 : U64 = 9999999999999999999i64;
let Test.3 : U64 = 1i64;
let Test.1 : U64 = lowlevel NumAdd Test.2 Test.3;
let Test.1 : U64 = CallByName Num.19 Test.2 Test.3;
ret Test.1;

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

@ -1,6 +1,5 @@
procedure List.6 (#Attr.2):
let List.494 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.494;
procedure Test.1 (Test.5):
@ -14,6 +13,6 @@ procedure Test.3 (Test.8, Test.2):
procedure Test.0 ():
let Test.7 : {} = Struct {};
let Test.4 : List I64 = CallByName Test.1 Test.7;
let Test.6 : U64 = lowlevel ListLen Test.4;
let Test.6 : U64 = CallByName List.6 Test.4;
dec Test.4;
ret Test.6;

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

@ -12,22 +12,20 @@ procedure List.18 (List.136, List.137, List.138):
procedure List.6 (#Attr.2):
let List.511 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.511;
procedure List.66 (#Attr.2, #Attr.3):
let List.510 : Int1 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.510;
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 = lowlevel NumLt List.436 List.437;
let List.502 : Int1 = CallByName Num.22 List.436 List.437;
if List.502 then
let List.509 : Int1 = lowlevel ListGetUnsafe List.433 List.436;
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 = lowlevel NumAdd List.436 List.506;
let List.505 : U64 = CallByName Num.19 List.436 List.506;
jump List.500 List.433 List.503 List.435 List.505 List.437;
else
dec List.433;
@ -37,7 +35,7 @@ procedure List.80 (List.517, List.518, List.519, List.520, List.521):
procedure List.92 (List.430, List.431, List.432):
let List.498 : U64 = 0i64;
let List.499 : U64 = lowlevel ListLen List.430;
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;
@ -51,7 +49,6 @@ procedure Num.22 (#Attr.2, #Attr.3):
procedure Str.3 (#Attr.2, #Attr.3):
let Str.300 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
dec #Attr.3;
ret Str.300;
procedure Test.1 (Test.5):
@ -96,16 +93,16 @@ procedure Test.2 (Test.13):
procedure Test.3 (Test.14):
let Test.48 : Str = "!";
let Test.47 : Str = lowlevel StrConcat Test.14 Test.48;
let Test.47 : Str = CallByName Str.3 Test.14 Test.48;
dec Test.48;
ret Test.47;
procedure Test.4 (Test.15):
let Test.44 : Str = "(";
let Test.46 : Str = ")";
let Test.45 : Str = lowlevel StrConcat Test.15 Test.46;
let Test.45 : Str = CallByName Str.3 Test.15 Test.46;
dec Test.46;
let Test.43 : Str = lowlevel StrConcat Test.44 Test.45;
let Test.43 : Str = CallByName Str.3 Test.44 Test.45;
dec Test.45;
ret Test.43;

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

@ -20,12 +20,12 @@ procedure Dict.4 (Dict.504):
ret Dict.85;
procedure List.11 (List.115, List.116):
let List.495 : List I8 = lowlevel ListWithCapacity 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.115, List.116):
let List.507 : List U64 = lowlevel ListWithCapacity 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;
@ -48,11 +48,11 @@ procedure List.71 (#Attr.2, #Attr.3):
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 = lowlevel NumGt List.118 List.504;
let List.498 : Int1 = CallByName Num.24 List.118 List.504;
if List.498 then
let List.503 : U64 = 1i64;
let List.500 : U64 = lowlevel NumSub List.118 List.503;
let List.501 : List I8 = lowlevel ListAppendUnsafe List.119 List.117;
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.119;
@ -62,11 +62,11 @@ procedure List.82 (List.518, List.519, List.520):
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 = lowlevel NumGt List.118 List.516;
let List.510 : Int1 = CallByName Num.24 List.118 List.516;
if List.510 then
let List.515 : U64 = 1i64;
let List.512 : U64 = lowlevel NumSub List.118 List.515;
let List.513 : List U64 = lowlevel ListAppendUnsafe List.119 List.117;
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.119;

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

@ -3,10 +3,10 @@ procedure Bool.1 ():
ret Bool.23;
procedure List.2 (List.96, List.97):
let List.500 : U64 = lowlevel ListLen List.96;
let List.496 : Int1 = lowlevel NumLt List.97 List.500;
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 : {} = lowlevel ListGetUnsafe List.96 List.97;
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;
@ -18,12 +18,10 @@ procedure List.2 (List.96, List.97):
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.501;
procedure List.66 (#Attr.2, #Attr.3):
let List.499 : {} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.499;
procedure Num.22 (#Attr.2, #Attr.3):

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

@ -1,7 +1,7 @@
procedure List.4 (List.107, List.108):
let List.497 : U64 = 1i64;
let List.495 : List U8 = lowlevel ListReserve List.107 List.497;
let List.494 : List U8 = lowlevel ListAppendUnsafe List.495 List.108;
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):

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

@ -73,8 +73,8 @@ procedure Json.102 (Json.103, Json.562, Json.101):
let Json.571 : I64 = 34i64;
let Json.570 : U8 = CallByName Num.127 Json.571;
let Json.568 : List U8 = CallByName List.4 Json.103 Json.570;
let Json.569 : List U8 = lowlevel StrToUtf8 Json.101;
let Json.565 : List U8 = lowlevel ListConcat Json.568 Json.569;
let Json.569 : List U8 = CallByName Str.12 Json.101;
let Json.565 : List U8 = CallByName List.8 Json.568 Json.569;
let Json.567 : I64 = 34i64;
let Json.566 : U8 = CallByName Num.127 Json.567;
let Json.564 : List U8 = CallByName List.4 Json.565 Json.566;
@ -84,7 +84,7 @@ procedure Json.118 (Json.119, Json.486, Json.117):
let Json.519 : I64 = 123i64;
let Json.518 : U8 = CallByName Num.127 Json.519;
let Json.121 : List U8 = CallByName List.4 Json.119 Json.518;
let Json.517 : U64 = lowlevel ListLen Json.117;
let Json.517 : U64 = CallByName List.6 Json.117;
let Json.494 : {List U8, U64} = Struct {Json.121, Json.517};
let Json.495 : {} = Struct {};
let Json.493 : {List U8, U64} = CallByName List.18 Json.117 Json.494 Json.495;
@ -100,7 +100,7 @@ procedure Json.118 (Json.119, Json.486, Json.117):
let Json.559 : I64 = 123i64;
let Json.558 : U8 = CallByName Num.127 Json.559;
let Json.121 : List U8 = CallByName List.4 Json.119 Json.558;
let Json.557 : U64 = lowlevel ListLen Json.117;
let Json.557 : U64 = CallByName List.6 Json.117;
let Json.534 : {List U8, U64} = Struct {Json.121, Json.557};
let Json.535 : {} = Struct {};
let Json.533 : {List U8, U64} = CallByName List.18 Json.117 Json.534 Json.535;
@ -125,8 +125,8 @@ procedure Json.120 (Json.488, Json.489):
let Json.516 : I64 = 34i64;
let Json.515 : U8 = CallByName Num.127 Json.516;
let Json.513 : List U8 = CallByName List.4 Json.124 Json.515;
let Json.514 : List U8 = lowlevel StrToUtf8 Json.126;
let Json.510 : List U8 = lowlevel ListConcat Json.513 Json.514;
let Json.514 : List U8 = CallByName Str.12 Json.126;
let Json.510 : List U8 = CallByName List.8 Json.513 Json.514;
let Json.512 : I64 = 34i64;
let Json.511 : U8 = CallByName Num.127 Json.512;
let Json.507 : List U8 = CallByName List.4 Json.510 Json.511;
@ -137,12 +137,12 @@ procedure Json.120 (Json.488, Json.489):
let Json.128 : List U8 = CallByName Encode.24 Json.505 Json.127 Json.506;
joinpoint Json.500 Json.129:
let Json.498 : U64 = 1i64;
let Json.497 : U64 = lowlevel NumSub Json.125 Json.498;
let Json.497 : U64 = CallByName Num.20 Json.125 Json.498;
let Json.496 : {List U8, U64} = Struct {Json.129, Json.497};
ret Json.496;
in
let Json.504 : U64 = 1i64;
let Json.501 : Int1 = lowlevel NumGt Json.125 Json.504;
let Json.501 : Int1 = CallByName Num.24 Json.125 Json.504;
if Json.501 then
let Json.503 : I64 = 44i64;
let Json.502 : U8 = CallByName Num.127 Json.503;
@ -164,8 +164,8 @@ procedure Json.120 (Json.488, Json.489):
let Json.556 : I64 = 34i64;
let Json.555 : U8 = CallByName Num.127 Json.556;
let Json.553 : List U8 = CallByName List.4 Json.124 Json.555;
let Json.554 : List U8 = lowlevel StrToUtf8 Json.126;
let Json.550 : List U8 = lowlevel ListConcat Json.553 Json.554;
let Json.554 : List U8 = CallByName Str.12 Json.126;
let Json.550 : List U8 = CallByName List.8 Json.553 Json.554;
let Json.552 : I64 = 34i64;
let Json.551 : U8 = CallByName Num.127 Json.552;
let Json.547 : List U8 = CallByName List.4 Json.550 Json.551;
@ -176,12 +176,12 @@ procedure Json.120 (Json.488, Json.489):
let Json.128 : List U8 = CallByName Encode.24 Json.545 Json.127 Json.546;
joinpoint Json.540 Json.129:
let Json.538 : U64 = 1i64;
let Json.537 : U64 = lowlevel NumSub Json.125 Json.538;
let Json.537 : U64 = CallByName Num.20 Json.125 Json.538;
let Json.536 : {List U8, U64} = Struct {Json.129, Json.537};
ret Json.536;
in
let Json.544 : U64 = 1i64;
let Json.541 : Int1 = lowlevel NumGt Json.125 Json.544;
let Json.541 : Int1 = CallByName Num.24 Json.125 Json.544;
if Json.541 then
let Json.543 : I64 = 44i64;
let Json.542 : U8 = CallByName Num.127 Json.543;
@ -220,33 +220,28 @@ procedure List.18 (List.136, List.137, List.138):
procedure List.4 (List.107, List.108):
let List.588 : U64 = 1i64;
let List.587 : List U8 = lowlevel ListReserve List.107 List.588;
let List.586 : List U8 = lowlevel ListAppendUnsafe List.587 List.108;
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.494 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.494;
procedure List.6 (#Attr.2):
let List.537 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.537;
procedure List.6 (#Attr.2):
let List.611 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.611;
procedure List.66 (#Attr.2, #Attr.3):
let List.532 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.532;
procedure List.66 (#Attr.2, #Attr.3):
let List.605 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.605;
procedure List.70 (#Attr.2, #Attr.3):
@ -263,12 +258,12 @@ procedure List.8 (#Attr.2, #Attr.3):
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 = lowlevel NumLt List.436 List.437;
let List.524 : Int1 = CallByName Num.22 List.436 List.437;
if List.524 then
let List.531 : {Str, Str} = lowlevel ListGetUnsafe List.433 List.436;
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 = lowlevel NumAdd List.436 List.528;
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
dec List.433;
@ -278,12 +273,12 @@ procedure List.80 (List.547, List.548, List.549, List.550, List.551):
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 = lowlevel NumLt List.436 List.437;
let List.597 : Int1 = CallByName Num.22 List.436 List.437;
if List.597 then
let List.604 : {Str, Str} = lowlevel ListGetUnsafe List.433 List.436;
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 = lowlevel NumAdd List.436 List.601;
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
dec List.433;
@ -293,13 +288,13 @@ procedure List.80 (List.621, List.622, List.623, List.624, List.625):
procedure List.92 (List.430, List.431, List.432):
let List.520 : U64 = 0i64;
let List.521 : U64 = lowlevel ListLen List.430;
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.92 (List.430, List.431, List.432):
let List.593 : U64 = 0i64;
let List.594 : U64 = lowlevel ListLen List.430;
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;
@ -333,8 +328,8 @@ procedure Str.48 (#Attr.2, #Attr.3, #Attr.4):
procedure Str.9 (Str.79):
let Str.305 : U64 = 0i64;
let Str.306 : U64 = lowlevel ListLen Str.79;
let Str.80 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range Str.79 Str.305 Str.306;
let Str.306 : U64 = CallByName List.6 Str.79;
let Str.80 : {U64, Str, Int1, U8} = CallByName Str.48 Str.79 Str.305 Str.306;
let Str.302 : Int1 = StructAtIndex 2 Str.80;
if Str.302 then
let Str.304 : Str = StructAtIndex 1 Str.80;

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

@ -46,8 +46,8 @@ procedure Json.102 (Json.103, Json.522, Json.101):
let Json.531 : I64 = 34i64;
let Json.530 : U8 = CallByName Num.127 Json.531;
let Json.528 : List U8 = CallByName List.4 Json.103 Json.530;
let Json.529 : List U8 = lowlevel StrToUtf8 Json.101;
let Json.525 : List U8 = lowlevel ListConcat Json.528 Json.529;
let Json.529 : List U8 = CallByName Str.12 Json.101;
let Json.525 : List U8 = CallByName List.8 Json.528 Json.529;
let Json.527 : I64 = 34i64;
let Json.526 : U8 = CallByName Num.127 Json.527;
let Json.524 : List U8 = CallByName List.4 Json.525 Json.526;
@ -57,7 +57,7 @@ procedure Json.118 (Json.119, Json.486, Json.117):
let Json.519 : I64 = 123i64;
let Json.518 : U8 = CallByName Num.127 Json.519;
let Json.121 : List U8 = CallByName List.4 Json.119 Json.518;
let Json.517 : U64 = lowlevel ListLen Json.117;
let Json.517 : U64 = CallByName List.6 Json.117;
let Json.494 : {List U8, U64} = Struct {Json.121, Json.517};
let Json.495 : {} = Struct {};
let Json.493 : {List U8, U64} = CallByName List.18 Json.117 Json.494 Json.495;
@ -82,8 +82,8 @@ procedure Json.120 (Json.488, Json.489):
let Json.516 : I64 = 34i64;
let Json.515 : U8 = CallByName Num.127 Json.516;
let Json.513 : List U8 = CallByName List.4 Json.124 Json.515;
let Json.514 : List U8 = lowlevel StrToUtf8 Json.126;
let Json.510 : List U8 = lowlevel ListConcat Json.513 Json.514;
let Json.514 : List U8 = CallByName Str.12 Json.126;
let Json.510 : List U8 = CallByName List.8 Json.513 Json.514;
let Json.512 : I64 = 34i64;
let Json.511 : U8 = CallByName Num.127 Json.512;
let Json.507 : List U8 = CallByName List.4 Json.510 Json.511;
@ -94,12 +94,12 @@ procedure Json.120 (Json.488, Json.489):
let Json.128 : List U8 = CallByName Encode.24 Json.505 Json.127 Json.506;
joinpoint Json.500 Json.129:
let Json.498 : U64 = 1i64;
let Json.497 : U64 = lowlevel NumSub Json.125 Json.498;
let Json.497 : U64 = CallByName Num.20 Json.125 Json.498;
let Json.496 : {List U8, U64} = Struct {Json.129, Json.497};
ret Json.496;
in
let Json.504 : U64 = 1i64;
let Json.501 : Int1 = lowlevel NumGt Json.125 Json.504;
let Json.501 : Int1 = CallByName Num.24 Json.125 Json.504;
if Json.501 then
let Json.503 : I64 = 44i64;
let Json.502 : U8 = CallByName Num.127 Json.503;
@ -126,23 +126,20 @@ procedure List.18 (List.136, List.137, List.138):
procedure List.4 (List.107, List.108):
let List.521 : U64 = 1i64;
let List.520 : List U8 = lowlevel ListReserve List.107 List.521;
let List.519 : List U8 = lowlevel ListAppendUnsafe List.520 List.108;
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.494 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.494;
procedure List.6 (#Attr.2):
let List.544 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.544;
procedure List.66 (#Attr.2, #Attr.3):
let List.538 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.538;
procedure List.70 (#Attr.2, #Attr.3):
@ -159,12 +156,12 @@ procedure List.8 (#Attr.2, #Attr.3):
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 = lowlevel NumLt List.436 List.437;
let List.530 : Int1 = CallByName Num.22 List.436 List.437;
if List.530 then
let List.537 : {Str, Str} = lowlevel ListGetUnsafe List.433 List.436;
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 = lowlevel NumAdd List.436 List.534;
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;
@ -174,7 +171,7 @@ procedure List.80 (List.554, List.555, List.556, List.557, List.558):
procedure List.92 (List.430, List.431, List.432):
let List.526 : U64 = 0i64;
let List.527 : U64 = lowlevel ListLen List.430;
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;
@ -208,8 +205,8 @@ procedure Str.48 (#Attr.2, #Attr.3, #Attr.4):
procedure Str.9 (Str.79):
let Str.305 : U64 = 0i64;
let Str.306 : U64 = lowlevel ListLen Str.79;
let Str.80 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range Str.79 Str.305 Str.306;
let Str.306 : U64 = CallByName List.6 Str.79;
let Str.80 : {U64, Str, Int1, U8} = CallByName Str.48 Str.79 Str.305 Str.306;
let Str.302 : Int1 = StructAtIndex 2 Str.80;
if Str.302 then
let Str.304 : Str = StructAtIndex 1 Str.80;

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

@ -54,8 +54,8 @@ procedure Json.102 (Json.103, Json.522, Json.101):
let Json.531 : I64 = 34i64;
let Json.530 : U8 = CallByName Num.127 Json.531;
let Json.528 : List U8 = CallByName List.4 Json.103 Json.530;
let Json.529 : List U8 = lowlevel StrToUtf8 Json.101;
let Json.525 : List U8 = lowlevel ListConcat Json.528 Json.529;
let Json.529 : List U8 = CallByName Str.12 Json.101;
let Json.525 : List U8 = CallByName List.8 Json.528 Json.529;
let Json.527 : I64 = 34i64;
let Json.526 : U8 = CallByName Num.127 Json.527;
let Json.524 : List U8 = CallByName List.4 Json.525 Json.526;
@ -65,7 +65,7 @@ procedure Json.118 (Json.119, Json.486, Json.117):
let Json.519 : I64 = 123i64;
let Json.518 : U8 = CallByName Num.127 Json.519;
let Json.121 : List U8 = CallByName List.4 Json.119 Json.518;
let Json.517 : U64 = lowlevel ListLen Json.117;
let Json.517 : U64 = CallByName List.6 Json.117;
let Json.494 : {List U8, U64} = Struct {Json.121, Json.517};
let Json.495 : {} = Struct {};
let Json.493 : {List U8, U64} = CallByName List.18 Json.117 Json.494 Json.495;
@ -90,8 +90,8 @@ procedure Json.120 (Json.488, Json.489):
let Json.516 : I64 = 34i64;
let Json.515 : U8 = CallByName Num.127 Json.516;
let Json.513 : List U8 = CallByName List.4 Json.124 Json.515;
let Json.514 : List U8 = lowlevel StrToUtf8 Json.126;
let Json.510 : List U8 = lowlevel ListConcat Json.513 Json.514;
let Json.514 : List U8 = CallByName Str.12 Json.126;
let Json.510 : List U8 = CallByName List.8 Json.513 Json.514;
let Json.512 : I64 = 34i64;
let Json.511 : U8 = CallByName Num.127 Json.512;
let Json.507 : List U8 = CallByName List.4 Json.510 Json.511;
@ -102,12 +102,12 @@ procedure Json.120 (Json.488, Json.489):
let Json.128 : List U8 = CallByName Encode.24 Json.505 Json.127 Json.506;
joinpoint Json.500 Json.129:
let Json.498 : U64 = 1i64;
let Json.497 : U64 = lowlevel NumSub Json.125 Json.498;
let Json.497 : U64 = CallByName Num.20 Json.125 Json.498;
let Json.496 : {List U8, U64} = Struct {Json.129, Json.497};
ret Json.496;
in
let Json.504 : U64 = 1i64;
let Json.501 : Int1 = lowlevel NumGt Json.125 Json.504;
let Json.501 : Int1 = CallByName Num.24 Json.125 Json.504;
if Json.501 then
let Json.503 : I64 = 44i64;
let Json.502 : U8 = CallByName Num.127 Json.503;
@ -134,23 +134,20 @@ procedure List.18 (List.136, List.137, List.138):
procedure List.4 (List.107, List.108):
let List.521 : U64 = 1i64;
let List.520 : List U8 = lowlevel ListReserve List.107 List.521;
let List.519 : List U8 = lowlevel ListAppendUnsafe List.520 List.108;
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.494 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.494;
procedure List.6 (#Attr.2):
let List.544 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.544;
procedure List.66 (#Attr.2, #Attr.3):
let List.538 : {Str, Str} = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.538;
procedure List.70 (#Attr.2, #Attr.3):
@ -167,12 +164,12 @@ procedure List.8 (#Attr.2, #Attr.3):
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 = lowlevel NumLt List.436 List.437;
let List.530 : Int1 = CallByName Num.22 List.436 List.437;
if List.530 then
let List.537 : {Str, Str} = lowlevel ListGetUnsafe List.433 List.436;
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 = lowlevel NumAdd List.436 List.534;
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;
@ -182,7 +179,7 @@ procedure List.80 (List.554, List.555, List.556, List.557, List.558):
procedure List.92 (List.430, List.431, List.432):
let List.526 : U64 = 0i64;
let List.527 : U64 = lowlevel ListLen List.430;
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;
@ -216,8 +213,8 @@ procedure Str.48 (#Attr.2, #Attr.3, #Attr.4):
procedure Str.9 (Str.79):
let Str.305 : U64 = 0i64;
let Str.306 : U64 = lowlevel ListLen Str.79;
let Str.80 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range Str.79 Str.305 Str.306;
let Str.306 : U64 = CallByName List.6 Str.79;
let Str.80 : {U64, Str, Int1, U8} = CallByName Str.48 Str.79 Str.305 Str.306;
let Str.302 : Int1 = StructAtIndex 2 Str.80;
if Str.302 then
let Str.304 : Str = StructAtIndex 1 Str.80;

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

@ -19,8 +19,8 @@ procedure Json.102 (Json.103, Json.486, Json.101):
let Json.495 : I64 = 34i64;
let Json.494 : U8 = CallByName Num.127 Json.495;
let Json.492 : List U8 = CallByName List.4 Json.103 Json.494;
let Json.493 : List U8 = lowlevel StrToUtf8 Json.101;
let Json.489 : List U8 = lowlevel ListConcat Json.492 Json.493;
let Json.493 : List U8 = CallByName Str.12 Json.101;
let Json.489 : List U8 = CallByName List.8 Json.492 Json.493;
let Json.491 : I64 = 34i64;
let Json.490 : U8 = CallByName Num.127 Json.491;
let Json.488 : List U8 = CallByName List.4 Json.489 Json.490;
@ -32,13 +32,12 @@ procedure Json.18 (Json.101):
procedure List.4 (List.107, List.108):
let List.503 : U64 = 1i64;
let List.502 : List U8 = lowlevel ListReserve List.107 List.503;
let List.501 : List U8 = lowlevel ListAppendUnsafe List.502 List.108;
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.494 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.494;
procedure List.70 (#Attr.2, #Attr.3):
@ -67,8 +66,8 @@ procedure Str.48 (#Attr.2, #Attr.3, #Attr.4):
procedure Str.9 (Str.79):
let Str.305 : U64 = 0i64;
let Str.306 : U64 = lowlevel ListLen Str.79;
let Str.80 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range Str.79 Str.305 Str.306;
let Str.306 : U64 = CallByName List.6 Str.79;
let Str.80 : {U64, Str, Int1, U8} = CallByName Str.48 Str.79 Str.305 Str.306;
let Str.302 : Int1 = StructAtIndex 2 Str.80;
if Str.302 then
let Str.304 : Str = StructAtIndex 1 Str.80;

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

@ -48,8 +48,8 @@ procedure Json.102 (Json.103, Json.527, Json.101):
let Json.536 : I64 = 34i64;
let Json.535 : U8 = CallByName Num.127 Json.536;
let Json.533 : List U8 = CallByName List.4 Json.103 Json.535;
let Json.534 : List U8 = lowlevel StrToUtf8 Json.101;
let Json.530 : List U8 = lowlevel ListConcat Json.533 Json.534;
let Json.534 : List U8 = CallByName Str.12 Json.101;
let Json.530 : List U8 = CallByName List.8 Json.533 Json.534;
let Json.532 : I64 = 34i64;
let Json.531 : U8 = CallByName Num.127 Json.532;
let Json.529 : List U8 = CallByName List.4 Json.530 Json.531;
@ -67,8 +67,8 @@ procedure Json.144 (Json.145, Json.486, #Attr.12):
let Json.522 : I64 = 34i64;
let Json.521 : U8 = CallByName Num.127 Json.522;
let Json.518 : List U8 = CallByName List.4 Json.520 Json.521;
let Json.519 : List U8 = lowlevel StrToUtf8 Json.142;
let Json.515 : List U8 = lowlevel ListConcat Json.518 Json.519;
let Json.519 : List U8 = CallByName Str.12 Json.142;
let Json.515 : List U8 = CallByName List.8 Json.518 Json.519;
let Json.517 : I64 = 34i64;
let Json.516 : U8 = CallByName Num.127 Json.517;
let Json.512 : List U8 = CallByName List.4 Json.515 Json.516;
@ -78,7 +78,7 @@ procedure Json.144 (Json.145, Json.486, #Attr.12):
let Json.511 : I64 = 91i64;
let Json.510 : U8 = CallByName Num.127 Json.511;
let Json.147 : List U8 = CallByName List.4 Json.509 Json.510;
let Json.508 : U64 = lowlevel ListLen Json.143;
let Json.508 : U64 = CallByName List.6 Json.143;
let Json.496 : {List U8, U64} = Struct {Json.147, Json.508};
let Json.497 : {} = Struct {};
let Json.495 : {List U8, U64} = CallByName List.18 Json.143 Json.496 Json.497;
@ -102,12 +102,12 @@ procedure Json.146 (Json.488, Json.152):
let Json.153 : List U8 = CallByName Encode.24 Json.150 Json.152 Json.507;
joinpoint Json.502 Json.154:
let Json.500 : U64 = 1i64;
let Json.499 : U64 = lowlevel NumSub Json.151 Json.500;
let Json.499 : U64 = CallByName Num.20 Json.151 Json.500;
let Json.498 : {List U8, U64} = Struct {Json.154, Json.499};
ret Json.498;
in
let Json.506 : U64 = 1i64;
let Json.503 : Int1 = lowlevel NumGt Json.151 Json.506;
let Json.503 : Int1 = CallByName Num.24 Json.151 Json.506;
if Json.503 then
let Json.505 : I64 = 44i64;
let Json.504 : U8 = CallByName Num.127 Json.505;
@ -135,23 +135,20 @@ procedure List.18 (List.136, List.137, List.138):
procedure List.4 (List.107, List.108):
let List.527 : U64 = 1i64;
let List.526 : List U8 = lowlevel ListReserve List.107 List.527;
let List.525 : List U8 = lowlevel ListAppendUnsafe List.526 List.108;
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;
dec #Attr.2;
ret List.494;
procedure List.6 (#Attr.2):
let List.548 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.548;
procedure List.66 (#Attr.2, #Attr.3):
let List.544 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.544;
procedure List.70 (#Attr.2, #Attr.3):
@ -168,12 +165,12 @@ procedure List.8 (#Attr.2, #Attr.3):
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 = lowlevel NumLt List.436 List.437;
let List.536 : Int1 = CallByName Num.22 List.436 List.437;
if List.536 then
let List.543 : Str = lowlevel ListGetUnsafe List.433 List.436;
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 = lowlevel NumAdd List.436 List.540;
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
dec List.433;
@ -183,7 +180,7 @@ procedure List.80 (List.560, List.561, List.562, List.563, List.564):
procedure List.92 (List.430, List.431, List.432):
let List.532 : U64 = 0i64;
let List.533 : U64 = lowlevel ListLen List.430;
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;
@ -217,8 +214,8 @@ procedure Str.48 (#Attr.2, #Attr.3, #Attr.4):
procedure Str.9 (Str.79):
let Str.305 : U64 = 0i64;
let Str.306 : U64 = lowlevel ListLen Str.79;
let Str.80 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range Str.79 Str.305 Str.306;
let Str.306 : U64 = CallByName List.6 Str.79;
let Str.80 : {U64, Str, Int1, U8} = CallByName Str.48 Str.79 Str.305 Str.306;
let Str.302 : Int1 = StructAtIndex 2 Str.80;
if Str.302 then
let Str.304 : Str = StructAtIndex 1 Str.80;

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

@ -54,8 +54,8 @@ procedure Json.102 (Json.103, Json.527, Json.101):
let Json.536 : I64 = 34i64;
let Json.535 : U8 = CallByName Num.127 Json.536;
let Json.533 : List U8 = CallByName List.4 Json.103 Json.535;
let Json.534 : List U8 = lowlevel StrToUtf8 Json.101;
let Json.530 : List U8 = lowlevel ListConcat Json.533 Json.534;
let Json.534 : List U8 = CallByName Str.12 Json.101;
let Json.530 : List U8 = CallByName List.8 Json.533 Json.534;
let Json.532 : I64 = 34i64;
let Json.531 : U8 = CallByName Num.127 Json.532;
let Json.529 : List U8 = CallByName List.4 Json.530 Json.531;
@ -73,8 +73,8 @@ procedure Json.144 (Json.145, Json.486, #Attr.12):
let Json.522 : I64 = 34i64;
let Json.521 : U8 = CallByName Num.127 Json.522;
let Json.518 : List U8 = CallByName List.4 Json.520 Json.521;
let Json.519 : List U8 = lowlevel StrToUtf8 Json.142;
let Json.515 : List U8 = lowlevel ListConcat Json.518 Json.519;
let Json.519 : List U8 = CallByName Str.12 Json.142;
let Json.515 : List U8 = CallByName List.8 Json.518 Json.519;
let Json.517 : I64 = 34i64;
let Json.516 : U8 = CallByName Num.127 Json.517;
let Json.512 : List U8 = CallByName List.4 Json.515 Json.516;
@ -84,7 +84,7 @@ procedure Json.144 (Json.145, Json.486, #Attr.12):
let Json.511 : I64 = 91i64;
let Json.510 : U8 = CallByName Num.127 Json.511;
let Json.147 : List U8 = CallByName List.4 Json.509 Json.510;
let Json.508 : U64 = lowlevel ListLen Json.143;
let Json.508 : U64 = CallByName List.6 Json.143;
let Json.496 : {List U8, U64} = Struct {Json.147, Json.508};
let Json.497 : {} = Struct {};
let Json.495 : {List U8, U64} = CallByName List.18 Json.143 Json.496 Json.497;
@ -108,12 +108,12 @@ procedure Json.146 (Json.488, Json.152):
let Json.153 : List U8 = CallByName Encode.24 Json.150 Json.152 Json.507;
joinpoint Json.502 Json.154:
let Json.500 : U64 = 1i64;
let Json.499 : U64 = lowlevel NumSub Json.151 Json.500;
let Json.499 : U64 = CallByName Num.20 Json.151 Json.500;
let Json.498 : {List U8, U64} = Struct {Json.154, Json.499};
ret Json.498;
in
let Json.506 : U64 = 1i64;
let Json.503 : Int1 = lowlevel NumGt Json.151 Json.506;
let Json.503 : Int1 = CallByName Num.24 Json.151 Json.506;
if Json.503 then
let Json.505 : I64 = 44i64;
let Json.504 : U8 = CallByName Num.127 Json.505;
@ -141,23 +141,20 @@ procedure List.18 (List.136, List.137, List.138):
procedure List.4 (List.107, List.108):
let List.527 : U64 = 1i64;
let List.526 : List U8 = lowlevel ListReserve List.107 List.527;
let List.525 : List U8 = lowlevel ListAppendUnsafe List.526 List.108;
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;
dec #Attr.2;
ret List.494;
procedure List.6 (#Attr.2):
let List.548 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.548;
procedure List.66 (#Attr.2, #Attr.3):
let List.544 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.544;
procedure List.70 (#Attr.2, #Attr.3):
@ -174,12 +171,12 @@ procedure List.8 (#Attr.2, #Attr.3):
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 = lowlevel NumLt List.436 List.437;
let List.536 : Int1 = CallByName Num.22 List.436 List.437;
if List.536 then
let List.543 : Str = lowlevel ListGetUnsafe List.433 List.436;
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 = lowlevel NumAdd List.436 List.540;
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
dec List.433;
@ -189,7 +186,7 @@ procedure List.80 (List.560, List.561, List.562, List.563, List.564):
procedure List.92 (List.430, List.431, List.432):
let List.532 : U64 = 0i64;
let List.533 : U64 = lowlevel ListLen List.430;
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;
@ -223,8 +220,8 @@ procedure Str.48 (#Attr.2, #Attr.3, #Attr.4):
procedure Str.9 (Str.79):
let Str.305 : U64 = 0i64;
let Str.306 : U64 = lowlevel ListLen Str.79;
let Str.80 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range Str.79 Str.305 Str.306;
let Str.306 : U64 = CallByName List.6 Str.79;
let Str.80 : {U64, Str, Int1, U8} = CallByName Str.48 Str.79 Str.305 Str.306;
let Str.302 : Int1 = StructAtIndex 2 Str.80;
if Str.302 then
let Str.304 : Str = StructAtIndex 1 Str.80;

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

@ -14,8 +14,8 @@ procedure Test.1 (Test.15, Test.16):
ret Test.3;
else
let Test.12 : I64 = 1i64;
let Test.10 : I64 = lowlevel NumSub Test.2 Test.12;
let Test.11 : I64 = lowlevel NumMul Test.2 Test.3;
let Test.10 : I64 = CallByName Num.20 Test.2 Test.12;
let Test.11 : I64 = CallByName Num.21 Test.2 Test.3;
jump Test.7 Test.10 Test.11;
in
jump Test.7 Test.15 Test.16;

2
crates/compiler/test_mono/generated/function_specialization_information_in_lambda_set_thunk.txt
View file

@ -14,7 +14,7 @@ procedure Test.2 ():
procedure Test.4 (Test.5, Test.3):
let Test.18 : {} = Struct {};
joinpoint Test.19 Test.17:
let Test.16 : I64 = lowlevel NumAdd Test.17 Test.3;
let Test.16 : I64 = CallByName Num.19 Test.17 Test.3;
ret Test.16;
in
switch Test.5:

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

@ -23,13 +23,13 @@ procedure Test.3 ():
procedure Test.5 (Test.6, Test.4):
let Test.19 : {} = Struct {};
let Test.18 : U8 = CallByName Test.7 Test.19;
let Test.17 : U8 = lowlevel NumAdd Test.18 Test.4;
let Test.17 : U8 = CallByName Num.19 Test.18 Test.4;
ret Test.17;
procedure Test.5 (Test.6, Test.4):
let Test.30 : {} = Struct {};
let Test.29 : U8 = CallByName Test.8 Test.30;
let Test.28 : U8 = lowlevel NumAdd Test.29 Test.4;
let Test.28 : U8 = CallByName Num.19 Test.29 Test.4;
ret Test.28;
procedure Test.7 (Test.20):

2
crates/compiler/test_mono/generated/if_guard_bind_variable_false.txt
View file

@ -13,7 +13,7 @@ procedure Test.1 (Test.3):
ret Test.8;
in
let Test.12 : I64 = 5i64;
let Test.11 : Int1 = lowlevel Eq Test.6 Test.12;
let Test.11 : Int1 = CallByName Bool.11 Test.6 Test.12;
jump Test.10 Test.11;
procedure Test.0 ():

2
crates/compiler/test_mono/generated/inline_return_joinpoints_in_bool_lambda_set.txt
View file

@ -13,7 +13,7 @@ procedure Test.0 (Test.14):
joinpoint Test.5 Test.1:
joinpoint Test.10 Test.2:
let Test.8 : I64 = 1i64;
let Test.7 : I64 = lowlevel NumAdd Test.1 Test.8;
let Test.7 : I64 = CallByName Num.19 Test.1 Test.8;
switch Test.2:
case 0:
jump Test.5 Test.7;

6
crates/compiler/test_mono/generated/inline_return_joinpoints_in_enum_lambda_set.txt
View file

@ -26,18 +26,18 @@ procedure Test.4 (Test.5):
procedure Test.6 (Test.7):
let Test.21 : I64 = 1i64;
let Test.20 : I64 = lowlevel NumAdd Test.7 Test.21;
let Test.20 : I64 = CallByName Num.19 Test.7 Test.21;
ret Test.20;
procedure Test.8 (Test.9):
let Test.24 : I64 = 2i64;
let Test.23 : I64 = lowlevel NumAdd Test.9 Test.24;
let Test.23 : I64 = CallByName Num.19 Test.9 Test.24;
ret Test.23;
procedure Test.0 (Test.30):
joinpoint Test.11 Test.1:
let Test.25 : I64 = 1i64;
let Test.13 : I64 = lowlevel NumAdd Test.1 Test.25;
let Test.13 : I64 = CallByName Num.19 Test.1 Test.25;
let Test.15 : U8 = 0u8;
let Test.14 : U8 = CallByName Test.2 Test.15;
switch Test.14:

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

@ -14,13 +14,13 @@ procedure Test.2 (Test.3, Test.1):
procedure Test.4 (Test.5, #Attr.12):
let Test.1 : I64 = UnionAtIndex (Id 1) (Index 0) #Attr.12;
let Test.16 : I64 = lowlevel NumAdd Test.5 Test.1;
let Test.16 : I64 = CallByName Num.19 Test.5 Test.1;
ret Test.16;
procedure Test.0 (Test.25):
joinpoint Test.7 Test.1:
let Test.20 : I64 = 1i64;
let Test.9 : I64 = lowlevel NumAdd Test.1 Test.20;
let Test.9 : I64 = CallByName Num.19 Test.1 Test.20;
let Test.12 : Int1 = false;
let Test.10 : [C , C I64] = CallByName Test.2 Test.12 Test.1;
let Test.11 : U8 = GetTagId Test.10;

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

@ -1,6 +1,5 @@
procedure List.6 (#Attr.2):
let List.494 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.494;
procedure Num.19 (#Attr.2, #Attr.3):
@ -11,10 +10,10 @@ procedure Test.0 ():
let Test.1 : List I64 = Array [1i64, 2i64];
let Test.7 : U64 = 5i64;
let Test.8 : U64 = 4i64;
let Test.5 : U64 = lowlevel NumAdd Test.7 Test.8;
let Test.5 : U64 = CallByName Num.19 Test.7 Test.8;
let Test.6 : U64 = 3i64;
let Test.3 : U64 = lowlevel NumAdd Test.5 Test.6;
let Test.4 : U64 = lowlevel ListLen Test.1;
let Test.3 : U64 = CallByName Num.19 Test.5 Test.6;
let Test.4 : U64 = CallByName List.6 Test.1;
dec Test.1;
let Test.2 : U64 = lowlevel NumAdd Test.3 Test.4;
let Test.2 : U64 = CallByName Num.19 Test.3 Test.4;
ret Test.2;

2
crates/compiler/test_mono/generated/ir_plus.txt
View file

@ -5,5 +5,5 @@ procedure Num.19 (#Attr.2, #Attr.3):
procedure Test.0 ():
let Test.2 : I64 = 1i64;
let Test.3 : I64 = 2i64;
let Test.1 : I64 = lowlevel NumAdd Test.2 Test.3;
let Test.1 : I64 = CallByName Num.19 Test.2 Test.3;
ret Test.1;

2
crates/compiler/test_mono/generated/ir_round.txt
View file

@ -4,5 +4,5 @@ procedure Num.45 (#Attr.2):
procedure Test.0 ():
let Test.2 : Float64 = 3.6f64;
let Test.1 : I64 = lowlevel NumRound Test.2;
let Test.1 : I64 = CallByName Num.45 Test.2;
ret Test.1;

2
crates/compiler/test_mono/generated/ir_two_defs.txt
View file

@ -5,5 +5,5 @@ procedure Num.19 (#Attr.2, #Attr.3):
procedure Test.0 ():
let Test.1 : I64 = 3i64;
let Test.2 : I64 = 4i64;
let Test.3 : I64 = lowlevel NumAdd Test.1 Test.2;
let Test.3 : I64 = CallByName Num.19 Test.1 Test.2;
ret Test.3;

2
crates/compiler/test_mono/generated/ir_when_idiv.txt
View file

@ -14,7 +14,7 @@ procedure Num.40 (Num.247, Num.248):
let Num.279 : [C {}, C I64] = TagId(0) Num.280;
ret Num.279;
else
let Num.276 : I64 = lowlevel NumDivTruncUnchecked Num.247 Num.248;
let Num.276 : I64 = CallByName Num.39 Num.247 Num.248;
let Num.275 : [C {}, C I64] = TagId(1) Num.276;
ret Num.275;

2
crates/compiler/test_mono/generated/ir_when_just.txt
View file

@ -11,7 +11,7 @@ procedure Test.0 ():
if Test.9 then
let Test.3 : I64 = UnionAtIndex (Id 0) (Index 0) Test.1;
let Test.5 : I64 = 1i64;
let Test.4 : I64 = lowlevel NumAdd Test.3 Test.5;
let Test.4 : I64 = CallByName Num.19 Test.3 Test.5;
ret Test.4;
else
let Test.6 : I64 = 1i64;

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

@ -7,10 +7,10 @@ procedure Bool.2 ():
ret Bool.23;
procedure List.2 (List.96, List.97):
let List.508 : U64 = lowlevel ListLen List.96;
let List.504 : Int1 = lowlevel NumLt List.97 List.508;
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 = lowlevel ListGetUnsafe List.96 List.97;
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;
@ -22,12 +22,10 @@ procedure List.2 (List.96, List.97):
procedure List.6 (#Attr.2):
let List.509 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.509;
procedure List.66 (#Attr.2, #Attr.3):
let List.507 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.507;
procedure List.9 (List.287):
@ -55,15 +53,14 @@ procedure Str.27 (Str.99):
procedure Str.47 (#Attr.2):
let Str.306 : {I64, U8} = lowlevel StrToNum #Attr.2;
dec #Attr.2;
ret Str.306;
procedure Str.72 (Str.244):
let Str.245 : {I64, U8} = lowlevel StrToNum Str.244;
let Str.245 : {I64, U8} = CallByName Str.47 Str.244;
dec Str.244;
let Str.304 : U8 = StructAtIndex 1 Str.245;
let Str.305 : U8 = 0i64;
let Str.301 : Int1 = lowlevel Eq Str.304 Str.305;
let Str.301 : Int1 = CallByName Bool.11 Str.304 Str.305;
if Str.301 then
let Str.303 : I64 = StructAtIndex 0 Str.245;
let Str.302 : [C Int1, C I64] = TagId(1) Str.303;

2
crates/compiler/test_mono/generated/issue_3669.txt
View file

@ -23,6 +23,6 @@ procedure Test.0 ():
let Test.12 : [<rnu><null>, C *self] = TagId(1) ;
let Test.10 : {} = CallByName Test.2 Test.12;
let Test.11 : {} = Struct {};
let Test.8 : Int1 = lowlevel Eq Test.10 Test.11;
let Test.8 : Int1 = CallByName Bool.11 Test.10 Test.11;
let Test.9 : Str = "";
ret Test.9;

6
crates/compiler/test_mono/generated/issue_4557.txt
View file

@ -1,7 +1,5 @@
procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.24 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
dec #Attr.3;
dec #Attr.2;
ret Bool.24;
procedure Bool.4 (#Attr.2, #Attr.3):
@ -17,10 +15,10 @@ procedure Test.1 (Test.2, Test.3):
joinpoint Test.27 Test.21:
let Test.23 : {} = Struct {};
joinpoint Test.24 Test.22:
let Test.20 : Int1 = lowlevel Eq Test.21 Test.22;
let Test.20 : Int1 = CallByName Bool.11 Test.21 Test.22;
dec Test.21;
dec Test.22;
let Test.18 : Int1 = lowlevel Or Test.19 Test.20;
let Test.18 : Int1 = CallByName Bool.4 Test.19 Test.20;
ret Test.18;
in
switch Test.31:

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

@ -4,14 +4,10 @@ procedure Bool.1 ():
procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.23 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
dec #Attr.3;
dec #Attr.2;
ret Bool.23;
procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.39 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
dec #Attr.3;
dec #Attr.2;
ret Bool.39;
procedure Bool.11 (#Attr.2, #Attr.3):
@ -27,7 +23,7 @@ procedure Bool.2 ():
ret Bool.35;
procedure Bool.7 (Bool.19, Bool.20):
let Bool.37 : Int1 = lowlevel NotEq Bool.19 Bool.20;
let Bool.37 : Int1 = CallByName Bool.12 Bool.19 Bool.20;
ret Bool.37;
procedure Decode.24 (Decode.101):
@ -209,7 +205,7 @@ procedure Json.42 (Json.298):
dec Json.563;
let Json.562 : U8 = 34i64;
let Json.561 : List U8 = Array [Json.562];
let Json.491 : Int1 = lowlevel Eq Json.299 Json.561;
let Json.491 : Int1 = CallByName Bool.11 Json.299 Json.561;
dec Json.299;
dec Json.561;
if Json.491 then
@ -256,15 +252,15 @@ procedure Json.43 ():
ret Json.484;
procedure List.1 (List.95):
let List.495 : U64 = lowlevel ListLen List.95;
let List.495 : U64 = CallByName List.6 List.95;
dec List.95;
let List.496 : U64 = 0i64;
let List.494 : Int1 = lowlevel Eq List.495 List.496;
let List.494 : Int1 = CallByName Bool.11 List.495 List.496;
ret List.494;
procedure List.29 (List.298, List.299):
let List.549 : U64 = lowlevel ListLen List.298;
let List.300 : U64 = lowlevel NumSubSaturated List.549 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;
@ -274,18 +270,18 @@ procedure List.31 (#Attr.2, #Attr.3):
procedure List.38 (List.292):
let List.543 : U64 = 0i64;
let List.542 : List U8 = lowlevel ListDropAt List.292 List.543;
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 = lowlevel ListReserve List.107 List.538;
let List.536 : List U8 = lowlevel ListAppendUnsafe List.537 List.108;
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 = lowlevel ListLen List.296;
let List.547 : U64 = lowlevel NumSubSaturated List.548 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;
@ -293,7 +289,7 @@ procedure List.43 (List.296, List.297):
procedure List.49 (List.370, List.371):
let List.508 : U64 = StructAtIndex 0 List.371;
let List.509 : U64 = 0i64;
let List.506 : Int1 = lowlevel Eq List.508 List.509;
let List.506 : Int1 = CallByName Bool.11 List.508 List.509;
if List.506 then
dec List.370;
let List.507 : List U8 = Array [];
@ -301,23 +297,23 @@ procedure List.49 (List.370, List.371):
else
let List.503 : U64 = StructAtIndex 1 List.371;
let List.504 : U64 = StructAtIndex 0 List.371;
let List.502 : List U8 = lowlevel ListSublist List.370 List.503 List.504;
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 = lowlevel ListLen List.385;
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 = lowlevel NumSub List.387 List.388;
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 = lowlevel NumGt List.387 List.386;
let List.524 : Int1 = CallByName Num.24 List.387 List.386;
if List.524 then
jump List.523 List.386;
else
@ -325,7 +321,6 @@ procedure List.52 (List.385, List.386):
procedure List.6 (#Attr.2):
let List.571 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.571;
procedure List.70 (#Attr.2, #Attr.3):
@ -358,8 +353,8 @@ procedure Str.48 (#Attr.2, #Attr.3, #Attr.4):
procedure Str.9 (Str.79):
let Str.305 : U64 = 0i64;
let Str.306 : U64 = lowlevel ListLen Str.79;
let Str.80 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range Str.79 Str.305 Str.306;
let Str.306 : U64 = CallByName List.6 Str.79;
let Str.80 : {U64, Str, Int1, U8} = CallByName Str.48 Str.79 Str.305 Str.306;
let Str.302 : Int1 = StructAtIndex 2 Str.80;
if Str.302 then
let Str.304 : Str = StructAtIndex 1 Str.80;
@ -382,7 +377,7 @@ procedure Test.3 ():
let Test.1 : [C [C List U8, C ], C Str] = CallByName Decode.27 Test.0 Test.8;
let Test.7 : Str = "Roc";
let Test.6 : [C [C List U8, C ], C Str] = TagId(1) Test.7;
let Test.5 : Int1 = lowlevel Eq Test.1 Test.6;
let Test.5 : Int1 = CallByName Bool.11 Test.1 Test.6;
dec Test.6;
expect Test.5;
let Test.4 : {} = Struct {};

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

@ -4,8 +4,6 @@ procedure Bool.1 ():
procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.23 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
dec #Attr.3;
dec #Attr.2;
ret Bool.23;
procedure Bool.11 (#Attr.2, #Attr.3):
@ -14,8 +12,6 @@ procedure Bool.11 (#Attr.2, #Attr.3):
procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.39 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
dec #Attr.3;
dec #Attr.2;
ret Bool.39;
procedure Bool.11 (#Attr.2, #Attr.3):
@ -31,7 +27,7 @@ procedure Bool.2 ():
ret Bool.35;
procedure Bool.7 (Bool.19, Bool.20):
let Bool.37 : Int1 = lowlevel NotEq Bool.19 Bool.20;
let Bool.37 : Int1 = CallByName Bool.12 Bool.19 Bool.20;
ret Bool.37;
procedure Decode.24 (Decode.101):
@ -182,7 +178,7 @@ procedure Json.42 (Json.298):
dec Json.563;
let Json.562 : U8 = 34i64;
let Json.561 : List U8 = Array [Json.562];
let Json.491 : Int1 = lowlevel Eq Json.299 Json.561;
let Json.491 : Int1 = CallByName Bool.11 Json.299 Json.561;
dec Json.299;
dec Json.561;
if Json.491 then
@ -229,8 +225,8 @@ procedure Json.43 ():
ret Json.484;
procedure List.29 (List.298, List.299):
let List.543 : U64 = lowlevel ListLen List.298;
let List.300 : U64 = lowlevel NumSubSaturated List.543 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;
@ -240,18 +236,18 @@ procedure List.31 (#Attr.2, #Attr.3):
procedure List.38 (List.292):
let List.537 : U64 = 0i64;
let List.536 : List U8 = lowlevel ListDropAt List.292 List.537;
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 = lowlevel ListReserve List.107 List.532;
let List.530 : List U8 = lowlevel ListAppendUnsafe List.531 List.108;
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 = lowlevel ListLen List.296;
let List.541 : U64 = lowlevel NumSubSaturated List.542 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;
@ -259,7 +255,7 @@ procedure List.43 (List.296, List.297):
procedure List.49 (List.370, List.371):
let List.502 : U64 = StructAtIndex 0 List.371;
let List.503 : U64 = 0i64;
let List.500 : Int1 = lowlevel Eq List.502 List.503;
let List.500 : Int1 = CallByName Bool.11 List.502 List.503;
if List.500 then
dec List.370;
let List.501 : List U8 = Array [];
@ -267,23 +263,23 @@ procedure List.49 (List.370, List.371):
else
let List.497 : U64 = StructAtIndex 1 List.371;
let List.498 : U64 = StructAtIndex 0 List.371;
let List.496 : List U8 = lowlevel ListSublist List.370 List.497 List.498;
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 = lowlevel ListLen List.385;
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 = lowlevel NumSub List.387 List.388;
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 = lowlevel NumGt List.387 List.386;
let List.518 : Int1 = CallByName Num.24 List.387 List.386;
if List.518 then
jump List.517 List.386;
else
@ -291,7 +287,6 @@ procedure List.52 (List.385, List.386):
procedure List.6 (#Attr.2):
let List.565 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.565;
procedure List.70 (#Attr.2, #Attr.3):
@ -328,7 +323,6 @@ procedure Str.27 (Str.99):
procedure Str.47 (#Attr.2):
let Str.306 : {I64, U8} = lowlevel StrToNum #Attr.2;
dec #Attr.2;
ret Str.306;
procedure Str.48 (#Attr.2, #Attr.3, #Attr.4):
@ -336,11 +330,11 @@ procedure Str.48 (#Attr.2, #Attr.3, #Attr.4):
ret Str.321;
procedure Str.72 (Str.244):
let Str.245 : {I64, U8} = lowlevel StrToNum Str.244;
let Str.245 : {I64, U8} = CallByName Str.47 Str.244;
dec Str.244;
let Str.304 : U8 = StructAtIndex 1 Str.245;
let Str.305 : U8 = 0i64;
let Str.301 : Int1 = lowlevel Eq Str.304 Str.305;
let Str.301 : Int1 = CallByName Bool.11 Str.304 Str.305;
if Str.301 then
let Str.303 : I64 = StructAtIndex 0 Str.245;
let Str.302 : [C {}, C I64] = TagId(1) Str.303;
@ -352,8 +346,8 @@ procedure Str.72 (Str.244):
procedure Str.9 (Str.79):
let Str.319 : U64 = 0i64;
let Str.320 : U64 = lowlevel ListLen Str.79;
let Str.80 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range Str.79 Str.319 Str.320;
let Str.320 : U64 = CallByName List.6 Str.79;
let Str.80 : {U64, Str, Int1, U8} = CallByName Str.48 Str.79 Str.319 Str.320;
let Str.316 : Int1 = StructAtIndex 2 Str.80;
if Str.316 then
let Str.318 : Str = StructAtIndex 1 Str.80;
@ -371,7 +365,7 @@ procedure Str.9 (Str.79):
procedure Test.0 ():
let Test.37 : Str = "-1234";
let Test.35 : List U8 = lowlevel StrToUtf8 Test.37;
let Test.35 : List U8 = CallByName Str.12 Test.37;
let Test.36 : {} = CallByName Json.2;
let Test.34 : {List U8, [C {}, C Str]} = CallByName Decode.26 Test.35 Test.36;
let Test.2 : List U8 = StructAtIndex 0 Test.34;
@ -413,7 +407,7 @@ procedure Test.12 ():
let Test.18 : I64 = -1234i64;
let Test.16 : {List U8, I64} = Struct {Test.17, Test.18};
let Test.15 : [C Str, C {List U8, I64}] = TagId(1) Test.16;
let Test.14 : Int1 = lowlevel Eq Test.10 Test.15;
let Test.14 : Int1 = CallByName Bool.11 Test.10 Test.15;
dec Test.15;
expect Test.14;
let Test.13 : {} = Struct {};

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

@ -16,12 +16,12 @@ procedure Test.1 (Test.4):
procedure Test.5 (Test.14, #Attr.12):
let Test.4 : U64 = UnionAtIndex (Id 1) (Index 0) #Attr.12;
let Test.16 : Str = lowlevel NumToStr Test.4;
let Test.16 : Str = CallByName Num.96 Test.4;
ret Test.16;
procedure Test.5 (Test.14, #Attr.12):
let Test.4 : U8 = UnionAtIndex (Id 0) (Index 0) #Attr.12;
let Test.22 : Str = lowlevel NumToStr Test.4;
let Test.22 : Str = CallByName Num.96 Test.4;
ret Test.22;
procedure Test.0 ():

6
crates/compiler/test_mono/generated/lambda_set_with_imported_toplevels_issue_4733.txt
View file

@ -26,11 +26,11 @@ procedure Test.0 (Test.8):
procedure Test.5 (Test.6, Test.2):
switch Test.2:
case 0:
let Test.18 : U64 = lowlevel NumAdd Test.6 Test.6;
let Test.18 : U64 = CallByName Num.19 Test.6 Test.6;
ret Test.18;
default:
let Test.18 : U64 = lowlevel NumMul Test.6 Test.6;
let Test.18 : U64 = CallByName Num.21 Test.6 Test.6;
ret Test.18;
@ -40,7 +40,7 @@ procedure Test.7 ():
let Test.14 : Int1 = CallByName Test.0 Test.15;
let Test.11 : U64 = CallByName Test.5 Test.13 Test.14;
let Test.12 : U64 = 9i64;
let Test.10 : Int1 = lowlevel Eq Test.11 Test.12;
let Test.10 : Int1 = CallByName Bool.11 Test.11 Test.12;
expect Test.10;
let Test.9 : {} = Struct {};
ret Test.9;

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

@ -8,22 +8,20 @@ procedure List.18 (List.136, List.137, List.138):
procedure List.6 (#Attr.2):
let List.511 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.511;
procedure List.66 (#Attr.2, #Attr.3):
let List.510 : [<rnu>C *self, <null>] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.510;
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 = lowlevel NumLt 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>] = lowlevel ListGetUnsafe List.433 List.436;
let List.509 : [<rnu>C *self, <null>] = CallByName List.66 List.433 List.436;
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 = lowlevel NumAdd List.436 List.506;
let List.505 : U64 = CallByName Num.19 List.436 List.506;
jump List.500 List.433 List.503 List.435 List.505 List.437;
else
dec List.433;
@ -33,7 +31,7 @@ procedure List.80 (List.517, List.518, List.519, List.520, List.521):
procedure List.92 (List.430, List.431, List.432):
let List.498 : U64 = 0i64;
let List.499 : U64 = lowlevel ListLen List.430;
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;

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

@ -1,7 +1,7 @@
procedure List.4 (List.107, List.108):
let List.497 : U64 = 1i64;
let List.495 : List I64 = lowlevel ListReserve List.107 List.497;
let List.494 : List I64 = lowlevel ListAppendUnsafe List.495 List.108;
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):

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

@ -1,7 +1,7 @@
procedure List.4 (List.107, List.108):
let List.497 : U64 = 1i64;
let List.495 : List I64 = lowlevel ListReserve List.107 List.497;
let List.494 : List I64 = lowlevel ListAppendUnsafe List.495 List.108;
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):

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

@ -7,14 +7,13 @@ procedure List.3 (List.104, List.105, List.106):
procedure List.6 (#Attr.2):
let List.495 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.495;
procedure List.64 (List.101, List.102, List.103):
let List.502 : U64 = lowlevel ListLen List.101;
let List.499 : Int1 = lowlevel NumLt List.102 List.502;
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} = lowlevel ListReplaceUnsafe List.101 List.102 List.103;
let List.500 : {List I64, I64} = CallByName List.67 List.101 List.102 List.103;
ret List.500;
else
let List.498 : {List I64, I64} = Struct {List.101, List.103};
@ -45,10 +44,10 @@ procedure Test.2 (Test.3):
procedure Test.0 ():
let Test.10 : List I64 = CallByName Test.1;
let Test.9 : List I64 = CallByName Test.2 Test.10;
let Test.5 : U64 = lowlevel ListLen Test.9;
let Test.5 : U64 = CallByName List.6 Test.9;
dec Test.9;
let Test.7 : List I64 = CallByName Test.1;
let Test.6 : U64 = lowlevel ListLen Test.7;
let Test.6 : U64 = CallByName List.6 Test.7;
dec Test.7;
let Test.4 : U64 = lowlevel NumAdd Test.5 Test.6;
let Test.4 : U64 = CallByName Num.19 Test.5 Test.6;
ret Test.4;

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

@ -1,8 +1,8 @@
procedure List.2 (List.96, List.97):
let List.500 : U64 = lowlevel ListLen List.96;
let List.496 : Int1 = lowlevel NumLt List.97 List.500;
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 = lowlevel ListGetUnsafe List.96 List.97;
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;
@ -14,12 +14,10 @@ procedure List.2 (List.96, List.97):
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.501;
procedure List.66 (#Attr.2, #Attr.3):
let List.499 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.499;
procedure Num.22 (#Attr.2, #Attr.3):

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

@ -1,11 +1,9 @@
procedure List.6 (#Attr.2):
let List.494 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.494;
procedure List.6 (#Attr.2):
let List.495 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.495;
procedure Num.19 (#Attr.2, #Attr.3):
@ -15,9 +13,9 @@ procedure Num.19 (#Attr.2, #Attr.3):
procedure Test.0 ():
let Test.1 : List I64 = Array [1i64, 2i64, 3i64];
let Test.2 : List Float64 = Array [1f64];
let Test.4 : U64 = lowlevel ListLen Test.1;
let Test.4 : U64 = CallByName List.6 Test.1;
dec Test.1;
let Test.5 : U64 = lowlevel ListLen Test.2;
let Test.5 : U64 = CallByName List.6 Test.2;
dec Test.2;
let Test.3 : U64 = lowlevel NumAdd Test.4 Test.5;
let Test.3 : U64 = CallByName Num.19 Test.4 Test.5;
ret Test.3;

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

@ -1,8 +1,8 @@
procedure List.2 (List.96, List.97):
let List.500 : U64 = lowlevel ListLen List.96;
let List.496 : Int1 = lowlevel NumLt List.97 List.500;
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 = lowlevel ListGetUnsafe List.96 List.97;
let List.498 : Str = CallByName List.66 List.96 List.97;
dec List.96;
let List.497 : [C {}, C Str] = TagId(1) List.498;
ret List.497;
@ -19,12 +19,10 @@ procedure List.5 (#Attr.2, #Attr.3):
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.501;
procedure List.66 (#Attr.2, #Attr.3):
let List.499 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.499;
procedure Num.22 (#Attr.2, #Attr.3):
@ -33,18 +31,16 @@ procedure Num.22 (#Attr.2, #Attr.3):
procedure Str.16 (#Attr.2, #Attr.3):
let Str.298 : Str = lowlevel StrRepeat #Attr.2 #Attr.3;
dec #Attr.2;
ret Str.298;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.299 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
dec #Attr.3;
ret Str.299;
procedure Test.1 ():
let Test.21 : Str = "lllllllllllllllllllllooooooooooong";
let Test.22 : Str = "g";
let Test.20 : Str = lowlevel StrConcat Test.21 Test.22;
let Test.20 : Str = CallByName Str.3 Test.21 Test.22;
dec Test.22;
let Test.19 : List Str = Array [Test.20];
ret Test.19;
@ -57,7 +53,7 @@ procedure Test.2 ():
procedure Test.3 (Test.4):
let Test.18 : U64 = 2i64;
let Test.17 : Str = lowlevel StrRepeat Test.4 Test.18;
let Test.17 : Str = CallByName Str.16 Test.4 Test.18;
dec Test.4;
ret Test.17;

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

@ -1,8 +1,8 @@
procedure List.2 (List.96, List.97):
let List.500 : U64 = lowlevel ListLen List.96;
let List.496 : Int1 = lowlevel NumLt List.97 List.500;
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 = lowlevel ListGetUnsafe List.96 List.97;
let List.498 : Str = CallByName List.66 List.96 List.97;
dec List.96;
let List.497 : [C {}, C Str] = TagId(1) List.498;
ret List.497;
@ -19,12 +19,10 @@ procedure List.5 (#Attr.2, #Attr.3):
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.501;
procedure List.66 (#Attr.2, #Attr.3):
let List.499 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.499;
procedure Num.22 (#Attr.2, #Attr.3):
@ -33,13 +31,12 @@ procedure Num.22 (#Attr.2, #Attr.3):
procedure Str.3 (#Attr.2, #Attr.3):
let Str.299 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
dec #Attr.3;
ret Str.299;
procedure Test.1 ():
let Test.21 : Str = "lllllllllllllllllllllooooooooooong";
let Test.22 : Str = "g";
let Test.20 : Str = lowlevel StrConcat Test.21 Test.22;
let Test.20 : Str = CallByName Str.3 Test.21 Test.22;
dec Test.22;
let Test.19 : List Str = Array [Test.20];
ret Test.19;
@ -52,7 +49,7 @@ procedure Test.2 ():
procedure Test.3 (Test.4):
let Test.18 : Str = "!";
let Test.17 : Str = lowlevel StrConcat Test.4 Test.18;
let Test.17 : Str = CallByName Str.3 Test.4 Test.18;
dec Test.18;
ret Test.17;

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

@ -26,16 +26,16 @@ procedure Num.19 (#Attr.2, #Attr.3):
procedure Test.4 (Test.5, #Attr.12):
let Test.1 : U8 = UnionAtIndex (Id 0) (Index 0) #Attr.12;
let Test.15 : U8 = lowlevel NumAdd Test.5 Test.1;
let Test.15 : U8 = CallByName Num.19 Test.5 Test.1;
ret Test.15;
procedure Test.6 (Test.7, #Attr.12):
let Test.2 : U8 = UnionAtIndex (Id 1) (Index 0) #Attr.12;
let Test.17 : U8 = lowlevel NumAdd Test.7 Test.2;
let Test.17 : U8 = CallByName Num.19 Test.7 Test.2;
ret Test.17;
procedure Test.8 (Test.9):
let Test.19 : U8 = lowlevel NumAdd Test.9 Test.9;
let Test.19 : U8 = CallByName Num.19 Test.9 Test.9;
ret Test.19;
procedure Test.0 ():

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

@ -7,14 +7,13 @@ procedure List.3 (List.104, List.105, List.106):
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.501;
procedure List.64 (List.101, List.102, List.103):
let List.500 : U64 = lowlevel ListLen List.101;
let List.497 : Int1 = lowlevel NumLt List.102 List.500;
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} = lowlevel ListReplaceUnsafe List.101 List.102 List.103;
let List.498 : {List I64, I64} = CallByName List.67 List.101 List.102 List.103;
ret List.498;
else
let List.496 : {List I64, I64} = Struct {List.101, List.103};

2
crates/compiler/test_mono/generated/nested_pattern_match.txt
View file

@ -22,7 +22,7 @@ procedure Test.0 ():
let Test.9 : [C I64, C ] = UnionAtIndex (Id 0) (Index 0) Test.2;
let Test.5 : I64 = UnionAtIndex (Id 0) (Index 0) Test.9;
let Test.7 : I64 = 1i64;
let Test.6 : I64 = lowlevel NumAdd Test.5 Test.7;
let Test.6 : I64 = CallByName Num.19 Test.5 Test.7;
ret Test.6;
else
jump Test.15;

5
crates/compiler/test_mono/generated/nullable_wrapped_with_non_nullable_singleton_tags.txt
View file

@ -1,6 +1,5 @@
procedure Str.3 (#Attr.2, #Attr.3):
let Str.299 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
dec #Attr.3;
ret Str.299;
procedure Test.2 (Test.4):
@ -26,10 +25,10 @@ procedure Test.0 ():
let Test.17 : Str = CallByName Test.2 Test.20;
let Test.19 : [<rnw>C *self, <null>, C ] = TagId(1) ;
let Test.18 : Str = CallByName Test.2 Test.19;
let Test.10 : Str = lowlevel StrConcat Test.17 Test.18;
let Test.10 : Str = CallByName Str.3 Test.17 Test.18;
dec Test.18;
let Test.12 : [<rnw>C *self, <null>, C ] = TagId(2) ;
let Test.11 : Str = CallByName Test.2 Test.12;
let Test.9 : Str = lowlevel StrConcat Test.10 Test.11;
let Test.9 : Str = CallByName Str.3 Test.10 Test.11;
dec Test.11;
ret Test.9;

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

@ -1,7 +1,5 @@
procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.23 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
dec #Attr.3;
dec #Attr.2;
ret Bool.23;
procedure Test.2 (Test.5):
@ -25,7 +23,7 @@ procedure Test.0 ():
let Test.10 : [<rnw><null>, C Str, C *self] = TagId(0) ;
let Test.8 : Str = CallByName Test.2 Test.10;
let Test.9 : Str = "c";
let Test.7 : Int1 = lowlevel Eq Test.8 Test.9;
let Test.7 : Int1 = CallByName Bool.11 Test.8 Test.9;
dec Test.8;
dec Test.9;
ret Test.7;

2
crates/compiler/test_mono/generated/num_width_gt_u8_layout_as_float.txt
View file

@ -5,5 +5,5 @@ procedure Num.37 (#Attr.2, #Attr.3):
procedure Test.0 ():
let Test.2 : Float64 = 1f64;
let Test.3 : Float64 = 200f64;
let Test.1 : Float64 = lowlevel NumDivFrac Test.2 Test.3;
let Test.1 : Float64 = CallByName Num.37 Test.2 Test.3;
ret Test.1;

6
crates/compiler/test_mono/generated/optional_when.txt
View file

@ -36,7 +36,7 @@ procedure Test.0 ():
let Test.4 : I64 = CallByName Test.1 Test.24;
let Test.23 : Int1 = true;
let Test.5 : I64 = CallByName Test.1 Test.23;
let Test.17 : I64 = lowlevel NumMul Test.2 Test.3;
let Test.16 : I64 = lowlevel NumMul Test.17 Test.4;
let Test.15 : I64 = lowlevel NumMul Test.16 Test.5;
let Test.17 : I64 = CallByName Num.21 Test.2 Test.3;
let Test.16 : I64 = CallByName Num.21 Test.17 Test.4;
let Test.15 : I64 = CallByName Num.21 Test.16 Test.5;
ret Test.15;

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

@ -4,8 +4,6 @@ procedure Bool.1 ():
procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.23 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
dec #Attr.3;
dec #Attr.2;
ret Bool.23;
procedure Test.1 ():
@ -29,7 +27,7 @@ procedure Test.0 ():
inc Test.13;
dec Test.5;
let Test.7 : {I64, Str} = CallByName Test.1;
let Test.6 : Int1 = lowlevel Eq Test.7 Test.13;
let Test.6 : Int1 = CallByName Bool.11 Test.7 Test.13;
dec Test.13;
dec Test.7;
ret Test.6;

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

@ -1,11 +1,9 @@
procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.23 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
dec #Attr.3;
dec #Attr.2;
ret Bool.23;
procedure Test.0 ():
let Test.3 : Str = "foo";
let Test.4 : Int1 = lowlevel Eq Test.3 Test.3;
let Test.4 : Int1 = CallByName Bool.11 Test.3 Test.3;
dec Test.3;
ret Test.4;

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

@ -4,8 +4,6 @@ procedure Bool.1 ():
procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.23 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
dec #Attr.3;
dec #Attr.2;
ret Bool.23;
procedure Test.1 ():
@ -21,7 +19,7 @@ procedure Test.0 ():
let Test.13 : Int1 = lowlevel Eq Test.12 Test.11;
if Test.13 then
let Test.6 : {I64, Str} = CallByName Test.1;
let Test.5 : Int1 = lowlevel Eq Test.6 Test.4;
let Test.5 : Int1 = CallByName Bool.11 Test.6 Test.4;
dec Test.6;
dec Test.4;
ret Test.5;

9
crates/compiler/test_mono/generated/polymorphic_expression_unification.txt
View file

@ -1,20 +1,17 @@
procedure Bool.11 (#Attr.2, #Attr.3):
let Bool.23 : Int1 = lowlevel Eq #Attr.2 #Attr.3;
dec #Attr.3;
dec #Attr.2;
ret Bool.23;
procedure Str.3 (#Attr.2, #Attr.3):
let Str.299 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
dec #Attr.3;
ret Str.299;
procedure Test.2 (Test.7):
let Test.24 : Str = ".trace(\"";
let Test.26 : Str = "\")";
let Test.25 : Str = lowlevel StrConcat Test.7 Test.26;
let Test.25 : Str = CallByName Str.3 Test.7 Test.26;
dec Test.26;
let Test.23 : Str = lowlevel StrConcat Test.24 Test.25;
let Test.23 : Str = CallByName Str.3 Test.24 Test.25;
dec Test.25;
let Test.22 : [<r>C List *self, C Str] = TagId(1) Test.23;
let Test.21 : List [<r>C List *self, C Str] = Array [Test.22];
@ -32,7 +29,7 @@ procedure Test.0 ():
let Test.14 : [<r>C List *self, C Str] = CallByName Test.3;
let Test.16 : Str = "";
let Test.15 : [<r>C List *self, C Str] = TagId(1) Test.16;
let Test.13 : Int1 = lowlevel Eq Test.14 Test.15;
let Test.13 : Int1 = CallByName Bool.11 Test.14 Test.15;
dec Test.15;
dec Test.14;
ret Test.13;

6
crates/compiler/test_mono/generated/quicksort_help.txt
View file

@ -12,7 +12,7 @@ procedure Num.22 (#Attr.2, #Attr.3):
procedure Test.1 (Test.24, Test.25, Test.26):
joinpoint Test.12 Test.2 Test.3 Test.4:
let Test.14 : Int1 = lowlevel NumLt Test.3 Test.4;
let Test.14 : Int1 = CallByName Num.22 Test.3 Test.4;
if Test.14 then
dec Test.2;
let Test.23 : List I64 = Array [];
@ -23,10 +23,10 @@ procedure Test.1 (Test.24, Test.25, Test.26):
inc Test.6;
dec Test.21;
let Test.20 : I64 = 1i64;
let Test.19 : I64 = lowlevel NumSub Test.5 Test.20;
let Test.19 : I64 = CallByName Num.20 Test.5 Test.20;
let Test.16 : List I64 = CallByName Test.1 Test.6 Test.3 Test.19;
let Test.18 : I64 = 1i64;
let Test.17 : I64 = lowlevel NumAdd Test.5 Test.18;
let Test.17 : I64 = CallByName Num.19 Test.5 Test.18;
jump Test.12 Test.16 Test.17 Test.4;
else
ret Test.2;

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

@ -1,8 +1,8 @@
procedure List.2 (List.96, List.97):
let List.516 : U64 = lowlevel ListLen List.96;
let List.513 : Int1 = lowlevel NumLt List.97 List.516;
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 = lowlevel ListGetUnsafe List.96 List.97;
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;
@ -21,14 +21,13 @@ procedure List.3 (List.104, List.105, List.106):
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.501;
procedure List.64 (List.101, List.102, List.103):
let List.500 : U64 = lowlevel ListLen List.101;
let List.497 : Int1 = lowlevel NumLt List.102 List.500;
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} = lowlevel ListReplaceUnsafe List.101 List.102 List.103;
let List.498 : {List I64, I64} = CallByName List.67 List.101 List.102 List.103;
ret List.498;
else
let List.496 : {List I64, I64} = Struct {List.101, List.103};
@ -36,7 +35,6 @@ procedure List.64 (List.101, List.102, List.103):
procedure List.66 (#Attr.2, #Attr.3):
let List.509 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.509;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):

2
crates/compiler/test_mono/generated/record_optional_field_function_no_use_default.txt
View file

@ -5,7 +5,7 @@ procedure Num.19 (#Attr.2, #Attr.3):
procedure Test.1 (Test.4):
let Test.2 : I64 = StructAtIndex 0 Test.4;
let Test.3 : I64 = StructAtIndex 1 Test.4;
let Test.7 : I64 = lowlevel NumAdd Test.2 Test.3;
let Test.7 : I64 = CallByName Num.19 Test.2 Test.3;
ret Test.7;
procedure Test.0 ():

2
crates/compiler/test_mono/generated/record_optional_field_function_use_default.txt
View file

@ -4,7 +4,7 @@ procedure Num.19 (#Attr.2, #Attr.3):
procedure Test.1 (Test.4):
let Test.2 : I64 = 10i64;
let Test.7 : I64 = lowlevel NumAdd Test.2 Test.4;
let Test.7 : I64 = CallByName Num.19 Test.2 Test.4;
ret Test.7;
procedure Test.0 ():

2
crates/compiler/test_mono/generated/record_optional_field_let_no_use_default.txt
View file

@ -5,7 +5,7 @@ procedure Num.19 (#Attr.2, #Attr.3):
procedure Test.1 (Test.2):
let Test.3 : I64 = StructAtIndex 0 Test.2;
let Test.4 : I64 = StructAtIndex 1 Test.2;
let Test.7 : I64 = lowlevel NumAdd Test.3 Test.4;
let Test.7 : I64 = CallByName Num.19 Test.3 Test.4;
ret Test.7;
procedure Test.0 ():

2
crates/compiler/test_mono/generated/record_optional_field_let_use_default.txt
View file

@ -4,7 +4,7 @@ procedure Num.19 (#Attr.2, #Attr.3):
procedure Test.1 (Test.2):
let Test.3 : I64 = 10i64;
let Test.7 : I64 = lowlevel NumAdd Test.3 Test.2;
let Test.7 : I64 = CallByName Num.19 Test.3 Test.2;
ret Test.7;
procedure Test.0 ():

2
crates/compiler/test_mono/generated/recursive_call_capturing_function.txt
View file

@ -17,7 +17,7 @@ procedure Test.3 (Test.17, Test.18):
if Test.13 then
ret Test.4;
else
let Test.11 : U32 = lowlevel NumAdd Test.4 Test.2;
let Test.11 : U32 = CallByName Num.19 Test.4 Test.2;
jump Test.9 Test.11 Test.2;
in
jump Test.9 Test.17 Test.18;

6
crates/compiler/test_mono/generated/recursive_lambda_set_resolved_only_upon_specialization.txt
View file

@ -13,7 +13,7 @@ procedure Num.21 (#Attr.2, #Attr.3):
procedure Test.1 (Test.26, Test.27):
joinpoint Test.11 Test.2 Test.3:
let Test.24 : U8 = 0i64;
let Test.20 : Int1 = lowlevel Eq Test.2 Test.24;
let Test.20 : Int1 = CallByName Bool.11 Test.2 Test.24;
if Test.20 then
let Test.22 : U8 = 1i64;
let Test.23 : U8 = GetTagId Test.3;
@ -29,7 +29,7 @@ procedure Test.1 (Test.26, Test.27):
else
let Test.19 : U8 = 1i64;
let Test.13 : U8 = lowlevel NumSub Test.2 Test.19;
let Test.13 : U8 = CallByName Num.20 Test.2 Test.19;
let Test.14 : [<rnu><null>, C *self U8] = TagId(0) Test.3 Test.2;
jump Test.11 Test.13 Test.14;
in
@ -41,7 +41,7 @@ procedure Test.4 (Test.28, Test.29):
let Test.3 : [<rnu><null>, C *self U8] = UnionAtIndex (Id 0) (Index 0) #Attr.12;
inc Test.3;
dec #Attr.12;
let Test.17 : U8 = lowlevel NumMul Test.2 Test.5;
let Test.17 : U8 = CallByName Num.21 Test.2 Test.5;
let Test.18 : U8 = GetTagId Test.3;
switch Test.18:
case 0:

9
crates/compiler/test_mono/generated/recursively_build_effect.txt
View file

@ -4,7 +4,6 @@ procedure Num.20 (#Attr.2, #Attr.3):
procedure Str.3 (#Attr.2, #Attr.3):
let Str.300 : Str = lowlevel StrConcat #Attr.2 #Attr.3;
dec #Attr.3;
ret Str.300;
procedure Test.11 (Test.29, #Attr.12):
@ -41,11 +40,11 @@ procedure Test.2 ():
let Test.7 : Str = "World";
let Test.21 : Str = ", ";
let Test.23 : Str = "!";
let Test.22 : Str = lowlevel StrConcat Test.7 Test.23;
let Test.22 : Str = CallByName Str.3 Test.7 Test.23;
dec Test.23;
let Test.20 : Str = lowlevel StrConcat Test.21 Test.22;
let Test.20 : Str = CallByName Str.3 Test.21 Test.22;
dec Test.22;
let Test.19 : Str = lowlevel StrConcat Test.6 Test.20;
let Test.19 : Str = CallByName Str.3 Test.6 Test.20;
dec Test.20;
ret Test.19;
@ -75,7 +74,7 @@ procedure Test.5 (Test.16, Test.13):
procedure Test.9 (Test.44, Test.8):
let Test.48 : I64 = 1i64;
let Test.47 : I64 = lowlevel NumSub Test.8 Test.48;
let Test.47 : I64 = CallByName Num.20 Test.8 Test.48;
let Test.46 : [<r>C {}, C I64 {}] = CallByName Test.3 Test.47;
ret Test.46;

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

@ -1,8 +1,8 @@
procedure List.2 (List.96, List.97):
let List.516 : U64 = lowlevel ListLen List.96;
let List.513 : Int1 = lowlevel NumLt List.97 List.516;
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 = lowlevel ListGetUnsafe List.96 List.97;
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;
@ -21,14 +21,13 @@ procedure List.3 (List.104, List.105, List.106):
procedure List.6 (#Attr.2):
let List.501 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.501;
procedure List.64 (List.101, List.102, List.103):
let List.500 : U64 = lowlevel ListLen List.101;
let List.497 : Int1 = lowlevel NumLt List.102 List.500;
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} = lowlevel ListReplaceUnsafe List.101 List.102 List.103;
let List.498 : {List I64, I64} = CallByName List.67 List.101 List.102 List.103;
ret List.498;
else
let List.496 : {List I64, I64} = Struct {List.101, List.103};
@ -36,7 +35,6 @@ procedure List.64 (List.101, List.102, List.103):
procedure List.66 (#Attr.2, #Attr.3):
let List.509 : I64 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.509;
procedure List.67 (#Attr.2, #Attr.3, #Attr.4):

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

@ -24,14 +24,14 @@ procedure Test.1 (Test.2, Test.3):
procedure Test.7 (Test.9, #Attr.12):
let Test.4 : I64 = UnionAtIndex (Id 0) (Index 0) #Attr.12;
let Test.21 : I64 = lowlevel NumAdd Test.9 Test.4;
let Test.21 : I64 = CallByName Num.19 Test.9 Test.4;
ret Test.21;
procedure Test.8 (Test.10, #Attr.12):
let Test.6 : Int1 = UnionAtIndex (Id 1) (Index 1) #Attr.12;
let Test.5 : I64 = UnionAtIndex (Id 1) (Index 0) #Attr.12;
if Test.6 then
let Test.19 : I64 = lowlevel NumMul Test.10 Test.5;
let Test.19 : I64 = CallByName Num.21 Test.10 Test.5;
ret Test.19;
else
ret Test.10;

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

@ -12,12 +12,12 @@ procedure Num.21 (#Attr.2, #Attr.3):
procedure Test.6 (Test.8, #Attr.12):
let Test.4 : I64 = UnionAtIndex (Id 0) (Index 0) #Attr.12;
let Test.18 : I64 = lowlevel NumAdd Test.8 Test.4;
let Test.18 : I64 = CallByName Num.19 Test.8 Test.4;
ret Test.18;
procedure Test.7 (Test.9, #Attr.12):
let Test.5 : I64 = UnionAtIndex (Id 1) (Index 0) #Attr.12;
let Test.16 : I64 = lowlevel NumMul Test.9 Test.5;
let Test.16 : I64 = CallByName Num.21 Test.9 Test.5;
ret Test.16;
procedure Test.0 ():

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

@ -14,8 +14,8 @@ procedure Test.1 (Test.15, Test.16):
ret Test.3;
else
let Test.12 : I64 = 1i64;
let Test.10 : I64 = lowlevel NumSub Test.2 Test.12;
let Test.11 : I64 = lowlevel NumAdd Test.2 Test.3;
let Test.10 : I64 = CallByName Num.20 Test.2 Test.12;
let Test.11 : I64 = CallByName Num.19 Test.2 Test.3;
jump Test.7 Test.10 Test.11;
in
jump Test.7 Test.15 Test.16;

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

@ -37,8 +37,8 @@ procedure Json.102 (Json.103, Json.530, Json.101):
let Json.539 : I64 = 34i64;
let Json.538 : U8 = CallByName Num.127 Json.539;
let Json.536 : List U8 = CallByName List.4 Json.103 Json.538;
let Json.537 : List U8 = lowlevel StrToUtf8 Json.101;
let Json.533 : List U8 = lowlevel ListConcat Json.536 Json.537;
let Json.537 : List U8 = CallByName Str.12 Json.101;
let Json.533 : List U8 = CallByName List.8 Json.536 Json.537;
let Json.535 : I64 = 34i64;
let Json.534 : U8 = CallByName Num.127 Json.535;
let Json.532 : List U8 = CallByName List.4 Json.533 Json.534;
@ -56,8 +56,8 @@ procedure Json.144 (Json.145, Json.486, #Attr.12):
let Json.522 : I64 = 34i64;
let Json.521 : U8 = CallByName Num.127 Json.522;
let Json.518 : List U8 = CallByName List.4 Json.520 Json.521;
let Json.519 : List U8 = lowlevel StrToUtf8 Json.142;
let Json.515 : List U8 = lowlevel ListConcat Json.518 Json.519;
let Json.519 : List U8 = CallByName Str.12 Json.142;
let Json.515 : List U8 = CallByName List.8 Json.518 Json.519;
let Json.517 : I64 = 34i64;
let Json.516 : U8 = CallByName Num.127 Json.517;
let Json.512 : List U8 = CallByName List.4 Json.515 Json.516;
@ -67,7 +67,7 @@ procedure Json.144 (Json.145, Json.486, #Attr.12):
let Json.511 : I64 = 91i64;
let Json.510 : U8 = CallByName Num.127 Json.511;
let Json.147 : List U8 = CallByName List.4 Json.509 Json.510;
let Json.508 : U64 = lowlevel ListLen Json.143;
let Json.508 : U64 = CallByName List.6 Json.143;
let Json.496 : {List U8, U64} = Struct {Json.147, Json.508};
let Json.497 : {} = Struct {};
let Json.495 : {List U8, U64} = CallByName List.18 Json.143 Json.496 Json.497;
@ -91,12 +91,12 @@ procedure Json.146 (Json.488, Json.152):
let Json.153 : List U8 = CallByName Encode.24 Json.150 Json.152 Json.507;
joinpoint Json.502 Json.154:
let Json.500 : U64 = 1i64;
let Json.499 : U64 = lowlevel NumSub Json.151 Json.500;
let Json.499 : U64 = CallByName Num.20 Json.151 Json.500;
let Json.498 : {List U8, U64} = Struct {Json.154, Json.499};
ret Json.498;
in
let Json.506 : U64 = 1i64;
let Json.503 : Int1 = lowlevel NumGt Json.151 Json.506;
let Json.503 : Int1 = CallByName Num.24 Json.151 Json.506;
if Json.503 then
let Json.505 : I64 = 44i64;
let Json.504 : U8 = CallByName Num.127 Json.505;
@ -124,18 +124,16 @@ procedure List.18 (List.136, List.137, List.138):
procedure List.4 (List.107, List.108):
let List.525 : U64 = 1i64;
let List.524 : List U8 = lowlevel ListReserve List.107 List.525;
let List.523 : List U8 = lowlevel ListAppendUnsafe List.524 List.108;
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;
dec #Attr.2;
ret List.546;
procedure List.66 (#Attr.2, #Attr.3):
let List.542 : Str = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.542;
procedure List.70 (#Attr.2, #Attr.3):
@ -152,12 +150,12 @@ procedure List.8 (#Attr.2, #Attr.3):
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 = lowlevel NumLt List.436 List.437;
let List.534 : Int1 = CallByName Num.22 List.436 List.437;
if List.534 then
let List.541 : Str = lowlevel ListGetUnsafe List.433 List.436;
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 = lowlevel NumAdd List.436 List.538;
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
dec List.433;
@ -167,7 +165,7 @@ procedure List.80 (List.558, List.559, List.560, List.561, List.562):
procedure List.92 (List.430, List.431, List.432):
let List.530 : U64 = 0i64;
let List.531 : U64 = lowlevel ListLen List.430;
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;

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

@ -97,8 +97,8 @@ procedure Json.144 (Json.145, Json.486, #Attr.12):
let Json.522 : I64 = 34i64;
let Json.521 : U8 = CallByName Num.127 Json.522;
let Json.518 : List U8 = CallByName List.4 Json.520 Json.521;
let Json.519 : List U8 = lowlevel StrToUtf8 Json.142;
let Json.515 : List U8 = lowlevel ListConcat Json.518 Json.519;
let Json.519 : List U8 = CallByName Str.12 Json.142;
let Json.515 : List U8 = CallByName List.8 Json.518 Json.519;
let Json.517 : I64 = 34i64;
let Json.516 : U8 = CallByName Num.127 Json.517;
let Json.512 : List U8 = CallByName List.4 Json.515 Json.516;
@ -108,7 +108,7 @@ procedure Json.144 (Json.145, Json.486, #Attr.12):
let Json.511 : I64 = 91i64;
let Json.510 : U8 = CallByName Num.127 Json.511;
let Json.147 : List U8 = CallByName List.4 Json.509 Json.510;
let Json.508 : U64 = lowlevel ListLen Json.143;
let Json.508 : U64 = CallByName List.6 Json.143;
let Json.496 : {List U8, U64} = Struct {Json.147, Json.508};
let Json.497 : {} = Struct {};
let Json.495 : {List U8, U64} = CallByName List.18 Json.143 Json.496 Json.497;
@ -135,8 +135,8 @@ procedure Json.144 (Json.145, Json.486, #Attr.12):
let Json.572 : I64 = 34i64;
let Json.571 : U8 = CallByName Num.127 Json.572;
let Json.568 : List U8 = CallByName List.4 Json.570 Json.571;
let Json.569 : List U8 = lowlevel StrToUtf8 Json.142;
let Json.565 : List U8 = lowlevel ListConcat Json.568 Json.569;
let Json.569 : List U8 = CallByName Str.12 Json.142;
let Json.565 : List U8 = CallByName List.8 Json.568 Json.569;
let Json.567 : I64 = 34i64;
let Json.566 : U8 = CallByName Num.127 Json.567;
let Json.562 : List U8 = CallByName List.4 Json.565 Json.566;
@ -146,7 +146,7 @@ procedure Json.144 (Json.145, Json.486, #Attr.12):
let Json.561 : I64 = 91i64;
let Json.560 : U8 = CallByName Num.127 Json.561;
let Json.147 : List U8 = CallByName List.4 Json.559 Json.560;
let Json.558 : U64 = lowlevel ListLen Json.143;
let Json.558 : U64 = CallByName List.6 Json.143;
let Json.546 : {List U8, U64} = Struct {Json.147, Json.558};
let Json.547 : {} = Struct {};
let Json.545 : {List U8, U64} = CallByName List.18 Json.143 Json.546 Json.547;
@ -170,12 +170,12 @@ procedure Json.146 (Json.488, Json.152):
let Json.153 : List U8 = CallByName Encode.24 Json.150 Json.152 Json.507;
joinpoint Json.502 Json.154:
let Json.500 : U64 = 1i64;
let Json.499 : U64 = lowlevel NumSub Json.151 Json.500;
let Json.499 : U64 = CallByName Num.20 Json.151 Json.500;
let Json.498 : {List U8, U64} = Struct {Json.154, Json.499};
ret Json.498;
in
let Json.506 : U64 = 1i64;
let Json.503 : Int1 = lowlevel NumGt Json.151 Json.506;
let Json.503 : Int1 = CallByName Num.24 Json.151 Json.506;
if Json.503 then
let Json.505 : I64 = 44i64;
let Json.504 : U8 = CallByName Num.127 Json.505;
@ -193,12 +193,12 @@ procedure Json.146 (Json.488, Json.152):
let Json.153 : List U8 = CallByName Encode.24 Json.150 Json.152 Json.557;
joinpoint Json.552 Json.154:
let Json.550 : U64 = 1i64;
let Json.549 : U64 = lowlevel NumSub Json.151 Json.550;
let Json.549 : U64 = CallByName Num.20 Json.151 Json.550;
let Json.548 : {List U8, U64} = Struct {Json.154, Json.549};
ret Json.548;
in
let Json.556 : U64 = 1i64;
let Json.553 : Int1 = lowlevel NumGt Json.151 Json.556;
let Json.553 : Int1 = CallByName Num.24 Json.151 Json.556;
if Json.553 then
let Json.555 : I64 = 44i64;
let Json.554 : U8 = CallByName Num.127 Json.555;
@ -235,28 +235,24 @@ procedure List.18 (List.136, List.137, List.138):
procedure List.4 (List.107, List.108):
let List.592 : U64 = 1i64;
let List.591 : List U8 = lowlevel ListReserve List.107 List.592;
let List.590 : List U8 = lowlevel ListAppendUnsafe List.591 List.108;
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.6 (#Attr.2):
let List.540 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.540;
procedure List.6 (#Attr.2):
let List.613 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.613;
procedure List.66 (#Attr.2, #Attr.3):
let List.536 : [C {}, C {}] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.536;
procedure List.66 (#Attr.2, #Attr.3):
let List.609 : [] = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.609;
procedure List.70 (#Attr.2, #Attr.3):
@ -273,12 +269,12 @@ procedure List.8 (#Attr.2, #Attr.3):
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 = lowlevel NumLt List.436 List.437;
let List.528 : Int1 = CallByName Num.22 List.436 List.437;
if List.528 then
let List.535 : [C {}, C {}] = lowlevel ListGetUnsafe List.433 List.436;
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 = lowlevel NumAdd List.436 List.532;
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;
@ -288,12 +284,12 @@ procedure List.80 (List.551, List.552, List.553, List.554, List.555):
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 = lowlevel NumLt List.436 List.437;
let List.601 : Int1 = CallByName Num.22 List.436 List.437;
if List.601 then
let List.608 : [] = lowlevel ListGetUnsafe List.433 List.436;
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 = lowlevel NumAdd List.436 List.605;
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
dec List.433;
@ -303,13 +299,13 @@ procedure List.80 (List.624, List.625, List.626, List.627, List.628):
procedure List.92 (List.430, List.431, List.432):
let List.524 : U64 = 0i64;
let List.525 : U64 = lowlevel ListLen List.430;
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.92 (List.430, List.431, List.432):
let List.597 : U64 = 0i64;
let List.598 : U64 = lowlevel ListLen List.430;
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;

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

@ -15,14 +15,14 @@ procedure List.26 (List.153, List.154, List.155):
ret List.157;
procedure List.29 (List.298, List.299):
let List.508 : U64 = lowlevel ListLen List.298;
let List.300 : U64 = lowlevel NumSubSaturated List.508 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.43 (List.296, List.297):
let List.506 : U64 = lowlevel ListLen List.296;
let List.505 : U64 = lowlevel NumSubSaturated List.506 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;
@ -30,7 +30,7 @@ procedure List.43 (List.296, List.297):
procedure List.49 (List.370, List.371):
let List.503 : U64 = StructAtIndex 0 List.371;
let List.504 : U64 = 0i64;
let List.501 : Int1 = lowlevel Eq List.503 List.504;
let List.501 : Int1 = CallByName Bool.11 List.503 List.504;
if List.501 then
dec List.370;
let List.502 : List U8 = Array [];
@ -38,17 +38,15 @@ procedure List.49 (List.370, List.371):
else
let List.498 : U64 = StructAtIndex 1 List.371;
let List.499 : U64 = StructAtIndex 0 List.371;
let List.497 : List U8 = lowlevel ListSublist List.370 List.498 List.499;
let List.497 : List U8 = CallByName List.72 List.370 List.498 List.499;
ret List.497;
procedure List.6 (#Attr.2):
let List.507 : U64 = lowlevel ListLen #Attr.2;
dec #Attr.2;
ret List.507;
procedure List.66 (#Attr.2, #Attr.3):
let List.530 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
dec #Attr.2;
ret List.530;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
@ -57,9 +55,9 @@ procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
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 = lowlevel NumLt List.436 List.437;
let List.520 : Int1 = CallByName Num.22 List.436 List.437;
if List.520 then
let List.529 : U8 = lowlevel ListGetUnsafe List.433 List.436;
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;
@ -67,7 +65,7 @@ procedure List.80 (List.544, List.545, List.546, List.547, List.548):
if List.528 then
let List.438 : U64 = UnionAtIndex (Id 1) (Index 0) List.521;
let List.524 : U64 = 1i64;
let List.523 : U64 = lowlevel NumAdd List.436 List.524;
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
dec List.433;
@ -83,7 +81,7 @@ procedure List.80 (List.544, List.545, List.546, List.547, List.548):
procedure List.92 (List.430, List.431, List.432):
let List.516 : U64 = 0i64;
let List.517 : U64 = lowlevel ListLen List.430;
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;
@ -109,7 +107,7 @@ procedure Test.0 (Test.1):
inc Test.1;
let Test.2 : U64 = CallByName List.26 Test.1 Test.10 Test.11;
let Test.9 : U64 = 0i64;
let Test.7 : Int1 = lowlevel Eq Test.2 Test.9;
let Test.7 : Int1 = CallByName Bool.11 Test.2 Test.9;
if Test.7 then
ret Test.1;
else

2
crates/compiler/test_mono/generated/when_guard_appears_multiple_times_in_compiled_decision_tree_issue_5176.txt
View file

@ -13,7 +13,7 @@ procedure Test.1 (Test.2):
in
joinpoint Test.11 Test.10:
let Test.8 : U8 = 2i64;
let Test.7 : U8 = lowlevel NumAdd Test.10 Test.8;
let Test.7 : U8 = CallByName Num.19 Test.10 Test.8;
ret Test.7;
in
let Test.22 : U8 = 15i64;

2
crates/compiler/test_mono/generated/when_nested_maybe.txt
View file

@ -22,7 +22,7 @@ procedure Test.0 ():
let Test.9 : [C I64, C ] = UnionAtIndex (Id 0) (Index 0) Test.2;
let Test.5 : I64 = UnionAtIndex (Id 0) (Index 0) Test.9;
let Test.7 : I64 = 1i64;
let Test.6 : I64 = lowlevel NumAdd Test.5 Test.7;
let Test.6 : I64 = CallByName Num.19 Test.5 Test.7;
ret Test.6;
else
jump Test.15;

2
crates/compiler/test_mono/generated/when_on_record.txt
View file

@ -5,5 +5,5 @@ procedure Num.19 (#Attr.2, #Attr.3):
procedure Test.0 ():
let Test.5 : I64 = 2i64;
let Test.4 : I64 = 3i64;
let Test.3 : I64 = lowlevel NumAdd Test.5 Test.4;
let Test.3 : I64 = CallByName Num.19 Test.5 Test.4;
ret Test.3;

2
crates/compiler/test_mono/generated/when_on_two_values.txt
View file

@ -9,7 +9,7 @@ procedure Test.0 ():
joinpoint Test.11:
let Test.2 : I64 = StructAtIndex 0 Test.4;
let Test.3 : I64 = StructAtIndex 1 Test.4;
let Test.6 : I64 = lowlevel NumAdd Test.2 Test.3;
let Test.6 : I64 = CallByName Num.19 Test.2 Test.3;
ret Test.6;
in
let Test.9 : I64 = StructAtIndex 1 Test.4;

BIN
crates/glue/src/rust-glue.so.1.0 Executable file
View file

Binary file not shown.