Update mono tests

This commit is contained in:
Richard Feldman 2023-08-14 20:17:43 -04:00
parent e31b41864e
commit fd866a5a64
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
41 changed files with 2442 additions and 2330 deletions

View file

@ -15,181 +15,188 @@ procedure Encode.26 (Encode.105, Encode.106):
let Encode.108 : List U8 = CallByName Encode.24 Encode.109 Encode.110 Encode.106;
ret Encode.108;
procedure List.145 (List.146, List.147, List.144):
let List.552 : List U8 = CallByName TotallyNotJson.215 List.146 List.147;
ret List.552;
procedure List.18 (List.142, List.143, List.144):
let List.534 : List U8 = CallByName List.93 List.142 List.143 List.144;
ret List.534;
procedure List.26 (List.159, List.160, List.161):
let List.569 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.93 List.159 List.160 List.161;
let List.572 : U8 = 1i64;
let List.573 : U8 = GetTagId List.569;
let List.574 : Int1 = lowlevel Eq List.572 List.573;
if List.574 then
let List.162 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.569;
ret List.162;
else
let List.163 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.569;
ret List.163;
procedure List.49 (List.376, List.377):
let List.561 : U64 = StructAtIndex 0 List.377;
let List.562 : U64 = 0i64;
let List.559 : Int1 = CallByName Bool.11 List.561 List.562;
if List.559 then
dec List.376;
let List.560 : List U8 = Array [];
ret List.560;
else
let List.556 : U64 = StructAtIndex 1 List.377;
let List.557 : U64 = StructAtIndex 0 List.377;
let List.555 : List U8 = CallByName List.72 List.376 List.556 List.557;
ret List.555;
procedure List.52 (List.391, List.392):
let List.393 : U64 = CallByName List.6 List.391;
joinpoint List.567 List.394:
let List.565 : U64 = 0i64;
let List.564 : {U64, U64} = Struct {List.394, List.565};
inc List.391;
let List.395 : List U8 = CallByName List.49 List.391 List.564;
let List.563 : U64 = CallByName Num.20 List.393 List.394;
let List.554 : {U64, U64} = Struct {List.563, List.394};
let List.396 : List U8 = CallByName List.49 List.391 List.554;
let List.553 : {List U8, List U8} = Struct {List.395, List.396};
ret List.553;
in
let List.568 : Int1 = CallByName Num.24 List.393 List.392;
if List.568 then
jump List.567 List.392;
else
jump List.567 List.393;
procedure List.6 (#Attr.2):
let List.533 : U64 = lowlevel ListLen #Attr.2;
ret List.533;
procedure List.66 (#Attr.2, #Attr.3):
let List.550 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.550;
procedure List.68 (#Attr.2):
let List.531 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.531;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.558 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
procedure List.147 (List.148, List.149, List.146):
let List.558 : List U8 = CallByName TotallyNotJson.215 List.148 List.149;
ret List.558;
procedure List.18 (List.144, List.145, List.146):
let List.539 : List U8 = CallByName List.93 List.144 List.145 List.146;
ret List.539;
procedure List.26 (List.161, List.162, List.163):
let List.575 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.93 List.161 List.162 List.163;
let List.578 : U8 = 1i64;
let List.579 : U8 = GetTagId List.575;
let List.580 : Int1 = lowlevel Eq List.578 List.579;
if List.580 then
let List.164 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.575;
ret List.164;
else
let List.165 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.575;
ret List.165;
procedure List.49 (List.379, List.380):
let List.567 : U64 = StructAtIndex 0 List.380;
let List.568 : U64 = 0i64;
let List.565 : Int1 = CallByName Bool.11 List.567 List.568;
if List.565 then
dec List.379;
let List.566 : List U8 = Array [];
ret List.566;
else
let List.562 : U64 = StructAtIndex 1 List.380;
let List.563 : U64 = StructAtIndex 0 List.380;
let List.561 : List U8 = CallByName List.72 List.379 List.562 List.563;
ret List.561;
procedure List.52 (List.394, List.395):
let List.396 : U64 = CallByName List.6 List.394;
joinpoint List.573 List.397:
let List.571 : U64 = 0i64;
let List.570 : {U64, U64} = Struct {List.397, List.571};
inc List.394;
let List.398 : List U8 = CallByName List.49 List.394 List.570;
let List.569 : U64 = CallByName Num.75 List.396 List.397;
let List.560 : {U64, U64} = Struct {List.569, List.397};
let List.399 : List U8 = CallByName List.49 List.394 List.560;
let List.559 : {List U8, List U8} = Struct {List.398, List.399};
ret List.559;
in
let List.574 : Int1 = CallByName Num.24 List.396 List.395;
if List.574 then
jump List.573 List.395;
else
jump List.573 List.396;
procedure List.6 (#Attr.2):
let List.538 : U64 = lowlevel ListLen #Attr.2;
ret List.538;
procedure List.66 (#Attr.2, #Attr.3):
let List.556 : U8 = lowlevel ListGetUnsafe #Attr.2 #Attr.3;
ret List.556;
procedure List.68 (#Attr.2):
let List.536 : List U8 = lowlevel ListWithCapacity #Attr.2;
ret List.536;
procedure List.72 (#Attr.2, #Attr.3, #Attr.4):
let List.564 : List U8 = lowlevel ListSublist #Attr.2 #Attr.3 #Attr.4;
ret List.564;
procedure List.8 (#Attr.2, #Attr.3):
let List.529 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.529;
let List.534 : List U8 = lowlevel ListConcat #Attr.2 #Attr.3;
ret List.534;
procedure List.80 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
joinpoint List.540 List.439 List.440 List.441 List.442 List.443:
let List.542 : Int1 = CallByName Num.22 List.442 List.443;
if List.542 then
let List.549 : U8 = CallByName List.66 List.439 List.442;
let List.543 : List U8 = CallByName List.145 List.440 List.549 List.441;
let List.546 : U64 = 1i64;
let List.545 : U64 = CallByName Num.19 List.442 List.546;
jump List.540 List.439 List.543 List.441 List.545 List.443;
joinpoint List.545 List.442 List.443 List.444 List.445 List.446:
let List.547 : Int1 = CallByName Num.22 List.445 List.446;
if List.547 then
let List.555 : U8 = CallByName List.66 List.442 List.445;
let List.548 : List U8 = CallByName List.147 List.443 List.555 List.444;
let List.550 : U64 = CallByName List.96 List.445;
jump List.545 List.442 List.548 List.444 List.550 List.446;
else
dec List.439;
ret List.440;
dec List.442;
ret List.443;
in
jump List.540 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
jump List.545 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
procedure List.80 (#Derived_gen.8, #Derived_gen.9, #Derived_gen.10, #Derived_gen.11, #Derived_gen.12):
joinpoint List.578 List.439 List.440 List.441 List.442 List.443:
let List.580 : Int1 = CallByName Num.22 List.442 List.443;
if List.580 then
let List.589 : U8 = CallByName List.66 List.439 List.442;
let List.581 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.440 List.589;
let List.586 : U8 = 1i64;
let List.587 : U8 = GetTagId List.581;
let List.588 : Int1 = lowlevel Eq List.586 List.587;
if List.588 then
let List.444 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.581;
let List.584 : U64 = 1i64;
let List.583 : U64 = CallByName Num.19 List.442 List.584;
jump List.578 List.439 List.444 List.441 List.583 List.443;
joinpoint List.584 List.442 List.443 List.444 List.445 List.446:
let List.586 : Int1 = CallByName Num.22 List.445 List.446;
if List.586 then
let List.594 : U8 = CallByName List.66 List.442 List.445;
let List.587 : [C {U64, Int1}, C {U64, Int1}] = CallByName TotallyNotJson.189 List.443 List.594;
let List.591 : U8 = 1i64;
let List.592 : U8 = GetTagId List.587;
let List.593 : Int1 = lowlevel Eq List.591 List.592;
if List.593 then
let List.447 : {U64, Int1} = UnionAtIndex (Id 1) (Index 0) List.587;
let List.589 : U64 = CallByName List.96 List.445;
jump List.584 List.442 List.447 List.444 List.589 List.446;
else
dec List.439;
let List.445 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.581;
let List.585 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.445;
ret List.585;
dec List.442;
let List.448 : {U64, Int1} = UnionAtIndex (Id 0) (Index 0) List.587;
let List.590 : [C {U64, Int1}, C {U64, Int1}] = TagId(0) List.448;
ret List.590;
else
dec List.439;
let List.579 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.440;
ret List.579;
dec List.442;
let List.585 : [C {U64, Int1}, C {U64, Int1}] = TagId(1) List.443;
ret List.585;
in
jump List.578 #Derived_gen.8 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12;
jump List.584 #Derived_gen.8 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12;
procedure List.93 (List.436, List.437, List.438):
let List.538 : U64 = 0i64;
let List.539 : U64 = CallByName List.6 List.436;
let List.537 : List U8 = CallByName List.80 List.436 List.437 List.438 List.538 List.539;
ret List.537;
procedure List.93 (List.439, List.440, List.441):
let List.543 : U64 = 0i64;
let List.544 : U64 = CallByName List.6 List.439;
let List.542 : List U8 = CallByName List.80 List.439 List.440 List.441 List.543 List.544;
ret List.542;
procedure List.93 (List.436, List.437, List.438):
let List.576 : U64 = 0i64;
let List.577 : U64 = CallByName List.6 List.436;
let List.575 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.436 List.437 List.438 List.576 List.577;
ret List.575;
procedure List.93 (List.439, List.440, List.441):
let List.582 : U64 = 0i64;
let List.583 : U64 = CallByName List.6 List.439;
let List.581 : [C {U64, Int1}, C {U64, Int1}] = CallByName List.80 List.439 List.440 List.441 List.582 List.583;
ret List.581;
procedure List.96 (List.463):
let List.552 : U64 = 1i64;
let List.551 : U64 = CallByName Num.51 List.463 List.552;
ret List.551;
procedure Num.19 (#Attr.2, #Attr.3):
let Num.297 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;
ret Num.297;
procedure Num.20 (#Attr.2, #Attr.3):
let Num.300 : U64 = lowlevel NumSub #Attr.2 #Attr.3;
ret Num.300;
let Num.293 : U64 = lowlevel NumAdd #Attr.2 #Attr.3;
ret Num.293;
procedure Num.21 (#Attr.2, #Attr.3):
let Num.295 : U64 = lowlevel NumMul #Attr.2 #Attr.3;
ret Num.295;
procedure Num.22 (#Attr.2, #Attr.3):
let Num.299 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;
ret Num.299;
let Num.298 : Int1 = lowlevel NumLt #Attr.2 #Attr.3;
ret Num.298;
procedure Num.24 (#Attr.2, #Attr.3):
let Num.301 : Int1 = lowlevel NumGt #Attr.2 #Attr.3;
ret Num.301;
let Num.300 : Int1 = lowlevel NumGt #Attr.2 #Attr.3;
ret Num.300;
procedure Num.51 (#Attr.2, #Attr.3):
let Num.296 : U64 = lowlevel NumAddWrap #Attr.2 #Attr.3;
ret Num.296;
procedure Num.75 (#Attr.2, #Attr.3):
let Num.299 : U64 = lowlevel NumSubWrap #Attr.2 #Attr.3;
ret Num.299;
procedure Num.94 (#Attr.2, #Attr.3):
let Num.294 : U64 = lowlevel NumDivCeilUnchecked #Attr.2 #Attr.3;
ret Num.294;
procedure Str.12 (#Attr.2):
let Str.299 : List U8 = lowlevel StrToUtf8 #Attr.2;
ret Str.299;
let Str.301 : List U8 = lowlevel StrToUtf8 #Attr.2;
ret Str.301;
procedure Str.48 (#Attr.2, #Attr.3, #Attr.4):
let Str.298 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4;
ret Str.298;
let Str.300 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4;
ret Str.300;
procedure Str.9 (Str.79):
let Str.296 : U64 = 0i64;
let Str.297 : U64 = CallByName List.6 Str.79;
let Str.80 : {U64, Str, Int1, U8} = CallByName Str.48 Str.79 Str.296 Str.297;
let Str.293 : Int1 = StructAtIndex 2 Str.80;
if Str.293 then
let Str.295 : Str = StructAtIndex 1 Str.80;
let Str.294 : [C {U64, U8}, C Str] = TagId(1) Str.295;
ret Str.294;
procedure Str.9 (Str.80):
let Str.298 : U64 = 0i64;
let Str.299 : U64 = CallByName List.6 Str.80;
let Str.81 : {U64, Str, Int1, U8} = CallByName Str.48 Str.80 Str.298 Str.299;
let Str.295 : Int1 = StructAtIndex 2 Str.81;
if Str.295 then
let Str.297 : Str = StructAtIndex 1 Str.81;
let Str.296 : [C {U64, U8}, C Str] = TagId(1) Str.297;
ret Str.296;
else
let Str.291 : U8 = StructAtIndex 3 Str.80;
let Str.292 : U64 = StructAtIndex 0 Str.80;
let #Derived_gen.13 : Str = StructAtIndex 1 Str.80;
let Str.293 : U8 = StructAtIndex 3 Str.81;
let Str.294 : U64 = StructAtIndex 0 Str.81;
let #Derived_gen.13 : Str = StructAtIndex 1 Str.81;
dec #Derived_gen.13;
let Str.290 : {U64, U8} = Struct {Str.292, Str.291};
let Str.289 : [C {U64, U8}, C Str] = TagId(0) Str.290;
ret Str.289;
let Str.292 : {U64, U8} = Struct {Str.294, Str.293};
let Str.291 : [C {U64, U8}, C Str] = TagId(0) Str.292;
ret Str.291;
procedure TotallyNotJson.182 (TotallyNotJson.183, TotallyNotJson.1175, TotallyNotJson.181):
let TotallyNotJson.1178 : List U8 = CallByName TotallyNotJson.26 TotallyNotJson.181;