diff --git a/crates/compiler/test_mono/generated/issue_4749.txt b/crates/compiler/test_mono/generated/issue_4749.txt index 04fddde028..86d6b55d68 100644 --- a/crates/compiler/test_mono/generated/issue_4749.txt +++ b/crates/compiler/test_mono/generated/issue_4749.txt @@ -70,7 +70,6 @@ procedure Decode.27 (Decode.107, Decode.108): let Decode.123 : [C [C List U8, C ], C Str] = TagId(0) Decode.124; ret Decode.123; -<<<<<<< HEAD procedure Json.160 (Json.570, Json.571): joinpoint Json.508 Json.505 Json.159: let Json.162 : List U8 = StructAtIndex 0 Json.505; @@ -78,18 +77,18 @@ procedure Json.160 (Json.570, Json.571): let Json.161 : List U8 = StructAtIndex 1 Json.505; inc Json.161; dec Json.505; - joinpoint Json.548: - let Json.545 : {List U8, List U8} = Struct {Json.162, Json.161}; - ret Json.545; + joinpoint Json.546: + let Json.543 : {List U8, List U8} = Struct {Json.162, Json.161}; + ret Json.543; in let Json.554 : U64 = lowlevel ListLen Json.162; let Json.555 : U64 = 2i64; let Json.556 : Int1 = lowlevel NumGte Json.554 Json.555; if Json.556 then - let Json.547 : U64 = 0i64; - let Json.163 : U8 = lowlevel ListGetUnsafe Json.162 Json.547; - let Json.546 : U64 = 1i64; - let Json.164 : U8 = lowlevel ListGetUnsafe Json.162 Json.546; + let Json.545 : U64 = 0i64; + let Json.163 : U8 = lowlevel ListGetUnsafe Json.162 Json.545; + let Json.544 : U64 = 1i64; + let Json.164 : U8 = lowlevel ListGetUnsafe Json.162 Json.544; let Json.516 : Int1 = CallByName Json.23 Json.163 Json.164; if Json.516 then let Json.523 : U64 = 2i64; @@ -98,35 +97,6 @@ procedure Json.160 (Json.570, Json.571): let Json.521 : List U8 = CallByName List.4 Json.522 Json.164; let Json.518 : {List U8, List U8} = Struct {Json.520, Json.521}; jump Json.508 Json.518 Json.159; -======= -procedure Json.144 (Json.512, Json.513): - joinpoint Json.450 Json.447 Json.143: - let Json.146 : List U8 = StructAtIndex 0 Json.447; - inc Json.146; - let Json.145 : List U8 = StructAtIndex 1 Json.447; - inc Json.145; - dec Json.447; - joinpoint Json.488: - let Json.485 : {List U8, List U8} = Struct {Json.146, Json.145}; - ret Json.485; - in - let Json.496 : U64 = lowlevel ListLen Json.146; - let Json.497 : U64 = 2i64; - let Json.498 : Int1 = lowlevel NumGte Json.496 Json.497; - if Json.498 then - let Json.487 : U64 = 0i64; - let Json.147 : U8 = lowlevel ListGetUnsafe Json.146 Json.487; - let Json.486 : U64 = 1i64; - let Json.148 : U8 = lowlevel ListGetUnsafe Json.146 Json.486; - let Json.458 : Int1 = CallByName Json.22 Json.147 Json.148; - if Json.458 then - let Json.465 : U64 = 2i64; - let Json.462 : List U8 = CallByName List.29 Json.146 Json.465; - let Json.464 : List U8 = CallByName List.4 Json.145 Json.147; - let Json.463 : List U8 = CallByName List.4 Json.464 Json.148; - let Json.460 : {List U8, List U8} = Struct {Json.462, Json.463}; - jump Json.450 Json.460 Json.143; ->>>>>>> 93414ed07 (Update mono tests) else let Json.510 : Int1 = CallByName Json.305 Json.163; if Json.510 then @@ -138,47 +108,25 @@ procedure Json.144 (Json.512, Json.513): let Json.509 : {List U8, List U8} = Struct {Json.162, Json.161}; ret Json.509; else -<<<<<<< HEAD let Json.551 : U64 = lowlevel ListLen Json.162; let Json.552 : U64 = 1i64; let Json.553 : Int1 = lowlevel NumGte Json.551 Json.552; if Json.553 then let Json.550 : U64 = 0i64; let Json.165 : U8 = lowlevel ListGetUnsafe Json.162 Json.550; - joinpoint Json.543 Json.549: - if Json.549 then + joinpoint Json.548 Json.547: + if Json.547 then let Json.541 : List U8 = CallByName List.38 Json.162; let Json.542 : List U8 = CallByName List.4 Json.161 Json.165; let Json.539 : {List U8, List U8} = Struct {Json.541, Json.542}; jump Json.508 Json.539 Json.159; else - jump Json.548; + jump Json.546; in - let Json.544 : Int1 = CallByName Json.305 Json.165; - jump Json.543 Json.544; + let Json.549 : Int1 = CallByName Json.305 Json.165; + jump Json.548 Json.549; else - jump Json.548; -======= - let Json.493 : U64 = lowlevel ListLen Json.146; - let Json.494 : U64 = 1i64; - let Json.495 : Int1 = lowlevel NumGte Json.493 Json.494; - if Json.495 then - let Json.492 : U64 = 0i64; - let Json.149 : U8 = lowlevel ListGetUnsafe Json.146 Json.492; - joinpoint Json.490 Json.489: - if Json.489 then - let Json.483 : List U8 = CallByName List.38 Json.146; - let Json.484 : List U8 = CallByName List.4 Json.145 Json.149; - let Json.481 : {List U8, List U8} = Struct {Json.483, Json.484}; - jump Json.450 Json.481 Json.143; - else - jump Json.488; - in - let Json.491 : Int1 = CallByName Json.289 Json.149; - jump Json.490 Json.491; - else - jump Json.488; ->>>>>>> 93414ed07 (Update mono tests) + jump Json.546; in jump Json.508 Json.570 Json.571; diff --git a/crates/compiler/test_mono/generated/issue_4772_weakened_monomorphic_destructure.txt b/crates/compiler/test_mono/generated/issue_4772_weakened_monomorphic_destructure.txt index 3851b8d691..11f20e2fc6 100644 --- a/crates/compiler/test_mono/generated/issue_4772_weakened_monomorphic_destructure.txt +++ b/crates/compiler/test_mono/generated/issue_4772_weakened_monomorphic_destructure.txt @@ -44,7 +44,6 @@ procedure Decode.26 (Decode.105, Decode.106): let Decode.122 : {List U8, [C {}, C Str]} = CallByName Decode.25 Decode.105 Decode.123 Decode.106; ret Decode.122; -<<<<<<< HEAD procedure Json.160 (Json.570, Json.571): joinpoint Json.508 Json.505 Json.159: let Json.162 : List U8 = StructAtIndex 0 Json.505; @@ -52,18 +51,18 @@ procedure Json.160 (Json.570, Json.571): let Json.161 : List U8 = StructAtIndex 1 Json.505; inc Json.161; dec Json.505; - joinpoint Json.548: - let Json.545 : {List U8, List U8} = Struct {Json.162, Json.161}; - ret Json.545; + joinpoint Json.546: + let Json.543 : {List U8, List U8} = Struct {Json.162, Json.161}; + ret Json.543; in let Json.554 : U64 = lowlevel ListLen Json.162; let Json.555 : U64 = 2i64; let Json.556 : Int1 = lowlevel NumGte Json.554 Json.555; if Json.556 then - let Json.547 : U64 = 0i64; - let Json.163 : U8 = lowlevel ListGetUnsafe Json.162 Json.547; - let Json.546 : U64 = 1i64; - let Json.164 : U8 = lowlevel ListGetUnsafe Json.162 Json.546; + let Json.545 : U64 = 0i64; + let Json.163 : U8 = lowlevel ListGetUnsafe Json.162 Json.545; + let Json.544 : U64 = 1i64; + let Json.164 : U8 = lowlevel ListGetUnsafe Json.162 Json.544; let Json.516 : Int1 = CallByName Json.23 Json.163 Json.164; if Json.516 then let Json.523 : U64 = 2i64; @@ -72,35 +71,6 @@ procedure Json.160 (Json.570, Json.571): let Json.521 : List U8 = CallByName List.4 Json.522 Json.164; let Json.518 : {List U8, List U8} = Struct {Json.520, Json.521}; jump Json.508 Json.518 Json.159; -======= -procedure Json.144 (Json.512, Json.513): - joinpoint Json.450 Json.447 Json.143: - let Json.146 : List U8 = StructAtIndex 0 Json.447; - inc Json.146; - let Json.145 : List U8 = StructAtIndex 1 Json.447; - inc Json.145; - dec Json.447; - joinpoint Json.488: - let Json.485 : {List U8, List U8} = Struct {Json.146, Json.145}; - ret Json.485; - in - let Json.496 : U64 = lowlevel ListLen Json.146; - let Json.497 : U64 = 2i64; - let Json.498 : Int1 = lowlevel NumGte Json.496 Json.497; - if Json.498 then - let Json.487 : U64 = 0i64; - let Json.147 : U8 = lowlevel ListGetUnsafe Json.146 Json.487; - let Json.486 : U64 = 1i64; - let Json.148 : U8 = lowlevel ListGetUnsafe Json.146 Json.486; - let Json.458 : Int1 = CallByName Json.22 Json.147 Json.148; - if Json.458 then - let Json.465 : U64 = 2i64; - let Json.462 : List U8 = CallByName List.29 Json.146 Json.465; - let Json.464 : List U8 = CallByName List.4 Json.145 Json.147; - let Json.463 : List U8 = CallByName List.4 Json.464 Json.148; - let Json.460 : {List U8, List U8} = Struct {Json.462, Json.463}; - jump Json.450 Json.460 Json.143; ->>>>>>> 93414ed07 (Update mono tests) else let Json.510 : Int1 = CallByName Json.305 Json.163; if Json.510 then @@ -112,47 +82,25 @@ procedure Json.144 (Json.512, Json.513): let Json.509 : {List U8, List U8} = Struct {Json.162, Json.161}; ret Json.509; else -<<<<<<< HEAD let Json.551 : U64 = lowlevel ListLen Json.162; let Json.552 : U64 = 1i64; let Json.553 : Int1 = lowlevel NumGte Json.551 Json.552; if Json.553 then let Json.550 : U64 = 0i64; let Json.165 : U8 = lowlevel ListGetUnsafe Json.162 Json.550; - joinpoint Json.543 Json.549: - if Json.549 then + joinpoint Json.548 Json.547: + if Json.547 then let Json.541 : List U8 = CallByName List.38 Json.162; let Json.542 : List U8 = CallByName List.4 Json.161 Json.165; let Json.539 : {List U8, List U8} = Struct {Json.541, Json.542}; jump Json.508 Json.539 Json.159; else - jump Json.548; + jump Json.546; in - let Json.544 : Int1 = CallByName Json.305 Json.165; - jump Json.543 Json.544; + let Json.549 : Int1 = CallByName Json.305 Json.165; + jump Json.548 Json.549; else - jump Json.548; -======= - let Json.493 : U64 = lowlevel ListLen Json.146; - let Json.494 : U64 = 1i64; - let Json.495 : Int1 = lowlevel NumGte Json.493 Json.494; - if Json.495 then - let Json.492 : U64 = 0i64; - let Json.149 : U8 = lowlevel ListGetUnsafe Json.146 Json.492; - joinpoint Json.490 Json.489: - if Json.489 then - let Json.483 : List U8 = CallByName List.38 Json.146; - let Json.484 : List U8 = CallByName List.4 Json.145 Json.149; - let Json.481 : {List U8, List U8} = Struct {Json.483, Json.484}; - jump Json.450 Json.481 Json.143; - else - jump Json.488; - in - let Json.491 : Int1 = CallByName Json.289 Json.149; - jump Json.490 Json.491; - else - jump Json.488; ->>>>>>> 93414ed07 (Update mono tests) + jump Json.546; in jump Json.508 Json.570 Json.571;