From f6f201f1d367d0d619f80de0921c5e59f9035b55 Mon Sep 17 00:00:00 2001 From: Richard Feldman Date: Wed, 29 Mar 2023 15:58:15 -0400 Subject: [PATCH] Update mono tests --- ...lambda_set_productive_nullable_wrapped.txt | 4 +- .../encode_derived_nested_record_string.txt | 42 +++++----- ...encode_derived_record_one_field_string.txt | 42 +++++----- ...ncode_derived_record_two_field_strings.txt | 42 +++++----- .../generated/encode_derived_string.txt | 42 +++++----- .../encode_derived_tag_one_field_string.txt | 42 +++++----- ...encode_derived_tag_two_payloads_string.txt | 42 +++++----- ...cialize_errors_behind_unified_branches.txt | 34 ++++----- .../test_mono/generated/issue_4749.txt | 38 +++++----- ..._4772_weakened_monomorphic_destructure.txt | 76 +++++++++---------- .../generated/list_map_closure_borrows.txt | 8 +- .../generated/list_map_closure_owns.txt | 4 +- ...apped_with_non_nullable_singleton_tags.txt | 4 +- .../polymorphic_expression_unification.txt | 4 +- .../generated/recursively_build_effect.txt | 4 +- ...not_duplicate_identical_concrete_types.txt | 4 +- ...types_without_unification_of_unifiable.txt | 4 +- 17 files changed, 218 insertions(+), 218 deletions(-) diff --git a/crates/compiler/test_mono/generated/compose_recursive_lambda_set_productive_nullable_wrapped.txt b/crates/compiler/test_mono/generated/compose_recursive_lambda_set_productive_nullable_wrapped.txt index 96174e5c73..2099a1e66b 100644 --- a/crates/compiler/test_mono/generated/compose_recursive_lambda_set_productive_nullable_wrapped.txt +++ b/crates/compiler/test_mono/generated/compose_recursive_lambda_set_productive_nullable_wrapped.txt @@ -47,8 +47,8 @@ procedure Num.22 (#Attr.2, #Attr.3): ret Num.276; procedure Str.3 (#Attr.2, #Attr.3): - let Str.268 : Str = lowlevel StrConcat #Attr.2 #Attr.3; - ret Str.268; + let Str.300 : Str = lowlevel StrConcat #Attr.2 #Attr.3; + ret Str.300; procedure Test.1 (Test.5): ret Test.5; diff --git a/crates/compiler/test_mono/generated/encode_derived_nested_record_string.txt b/crates/compiler/test_mono/generated/encode_derived_nested_record_string.txt index 1ca601475b..17c0706eec 100644 --- a/crates/compiler/test_mono/generated/encode_derived_nested_record_string.txt +++ b/crates/compiler/test_mono/generated/encode_derived_nested_record_string.txt @@ -319,31 +319,31 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Num.303; procedure Str.12 (#Attr.2): - let Str.283 : List U8 = lowlevel StrToUtf8 #Attr.2; - ret Str.283; + let Str.315 : List U8 = lowlevel StrToUtf8 #Attr.2; + ret Str.315; procedure Str.48 (#Attr.2, #Attr.3, #Attr.4): - let Str.275 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; - ret Str.275; + let Str.307 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; + ret Str.307; -procedure Str.9 (Str.77): - let Str.273 : U64 = 0i64; - let Str.274 : U64 = CallByName List.6 Str.77; - let Str.78 : {U64, Str, Int1, U8} = CallByName Str.48 Str.77 Str.273 Str.274; - let Str.270 : Int1 = StructAtIndex 2 Str.78; - if Str.270 then - let Str.272 : Str = StructAtIndex 1 Str.78; - inc Str.272; - dec Str.78; - let Str.271 : [C {U64, U8}, C Str] = TagId(1) Str.272; - ret Str.271; +procedure Str.9 (Str.79): + let Str.305 : U64 = 0i64; + 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; + inc Str.304; + dec Str.80; + let Str.303 : [C {U64, U8}, C Str] = TagId(1) Str.304; + ret Str.303; else - let Str.268 : U8 = StructAtIndex 3 Str.78; - let Str.269 : U64 = StructAtIndex 0 Str.78; - dec Str.78; - let Str.267 : {U64, U8} = Struct {Str.269, Str.268}; - let Str.266 : [C {U64, U8}, C Str] = TagId(0) Str.267; - ret Str.266; + let Str.300 : U8 = StructAtIndex 3 Str.80; + let Str.301 : U64 = StructAtIndex 0 Str.80; + dec Str.80; + let Str.299 : {U64, U8} = Struct {Str.301, Str.300}; + let Str.298 : [C {U64, U8}, C Str] = TagId(0) Str.299; + ret Str.298; procedure Test.0 (): let Test.12 : Str = "bar"; diff --git a/crates/compiler/test_mono/generated/encode_derived_record_one_field_string.txt b/crates/compiler/test_mono/generated/encode_derived_record_one_field_string.txt index 83c6ab0798..0fd385f52a 100644 --- a/crates/compiler/test_mono/generated/encode_derived_record_one_field_string.txt +++ b/crates/compiler/test_mono/generated/encode_derived_record_one_field_string.txt @@ -196,31 +196,31 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Num.284; procedure Str.12 (#Attr.2): - let Str.281 : List U8 = lowlevel StrToUtf8 #Attr.2; - ret Str.281; + let Str.313 : List U8 = lowlevel StrToUtf8 #Attr.2; + ret Str.313; procedure Str.48 (#Attr.2, #Attr.3, #Attr.4): - let Str.275 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; - ret Str.275; + let Str.307 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; + ret Str.307; -procedure Str.9 (Str.77): - let Str.273 : U64 = 0i64; - let Str.274 : U64 = CallByName List.6 Str.77; - let Str.78 : {U64, Str, Int1, U8} = CallByName Str.48 Str.77 Str.273 Str.274; - let Str.270 : Int1 = StructAtIndex 2 Str.78; - if Str.270 then - let Str.272 : Str = StructAtIndex 1 Str.78; - inc Str.272; - dec Str.78; - let Str.271 : [C {U64, U8}, C Str] = TagId(1) Str.272; - ret Str.271; +procedure Str.9 (Str.79): + let Str.305 : U64 = 0i64; + 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; + inc Str.304; + dec Str.80; + let Str.303 : [C {U64, U8}, C Str] = TagId(1) Str.304; + ret Str.303; else - let Str.268 : U8 = StructAtIndex 3 Str.78; - let Str.269 : U64 = StructAtIndex 0 Str.78; - dec Str.78; - let Str.267 : {U64, U8} = Struct {Str.269, Str.268}; - let Str.266 : [C {U64, U8}, C Str] = TagId(0) Str.267; - ret Str.266; + let Str.300 : U8 = StructAtIndex 3 Str.80; + let Str.301 : U64 = StructAtIndex 0 Str.80; + dec Str.80; + let Str.299 : {U64, U8} = Struct {Str.301, Str.300}; + let Str.298 : [C {U64, U8}, C Str] = TagId(0) Str.299; + ret Str.298; procedure Test.0 (): let Test.11 : Str = "foo"; diff --git a/crates/compiler/test_mono/generated/encode_derived_record_two_field_strings.txt b/crates/compiler/test_mono/generated/encode_derived_record_two_field_strings.txt index 48701aa52b..b188c045c1 100644 --- a/crates/compiler/test_mono/generated/encode_derived_record_two_field_strings.txt +++ b/crates/compiler/test_mono/generated/encode_derived_record_two_field_strings.txt @@ -204,31 +204,31 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Num.284; procedure Str.12 (#Attr.2): - let Str.281 : List U8 = lowlevel StrToUtf8 #Attr.2; - ret Str.281; + let Str.313 : List U8 = lowlevel StrToUtf8 #Attr.2; + ret Str.313; procedure Str.48 (#Attr.2, #Attr.3, #Attr.4): - let Str.275 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; - ret Str.275; + let Str.307 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; + ret Str.307; -procedure Str.9 (Str.77): - let Str.273 : U64 = 0i64; - let Str.274 : U64 = CallByName List.6 Str.77; - let Str.78 : {U64, Str, Int1, U8} = CallByName Str.48 Str.77 Str.273 Str.274; - let Str.270 : Int1 = StructAtIndex 2 Str.78; - if Str.270 then - let Str.272 : Str = StructAtIndex 1 Str.78; - inc Str.272; - dec Str.78; - let Str.271 : [C {U64, U8}, C Str] = TagId(1) Str.272; - ret Str.271; +procedure Str.9 (Str.79): + let Str.305 : U64 = 0i64; + 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; + inc Str.304; + dec Str.80; + let Str.303 : [C {U64, U8}, C Str] = TagId(1) Str.304; + ret Str.303; else - let Str.268 : U8 = StructAtIndex 3 Str.78; - let Str.269 : U64 = StructAtIndex 0 Str.78; - dec Str.78; - let Str.267 : {U64, U8} = Struct {Str.269, Str.268}; - let Str.266 : [C {U64, U8}, C Str] = TagId(0) Str.267; - ret Str.266; + let Str.300 : U8 = StructAtIndex 3 Str.80; + let Str.301 : U64 = StructAtIndex 0 Str.80; + dec Str.80; + let Str.299 : {U64, U8} = Struct {Str.301, Str.300}; + let Str.298 : [C {U64, U8}, C Str] = TagId(0) Str.299; + ret Str.298; procedure Test.0 (): let Test.11 : Str = "foo"; diff --git a/crates/compiler/test_mono/generated/encode_derived_string.txt b/crates/compiler/test_mono/generated/encode_derived_string.txt index daf607feda..2ffd7b9767 100644 --- a/crates/compiler/test_mono/generated/encode_derived_string.txt +++ b/crates/compiler/test_mono/generated/encode_derived_string.txt @@ -57,31 +57,31 @@ procedure Num.127 (#Attr.2): ret Num.276; procedure Str.12 (#Attr.2): - let Str.280 : List U8 = lowlevel StrToUtf8 #Attr.2; - ret Str.280; + let Str.312 : List U8 = lowlevel StrToUtf8 #Attr.2; + ret Str.312; procedure Str.48 (#Attr.2, #Attr.3, #Attr.4): - let Str.275 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; - ret Str.275; + let Str.307 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; + ret Str.307; -procedure Str.9 (Str.77): - let Str.273 : U64 = 0i64; - let Str.274 : U64 = CallByName List.6 Str.77; - let Str.78 : {U64, Str, Int1, U8} = CallByName Str.48 Str.77 Str.273 Str.274; - let Str.270 : Int1 = StructAtIndex 2 Str.78; - if Str.270 then - let Str.272 : Str = StructAtIndex 1 Str.78; - inc Str.272; - dec Str.78; - let Str.271 : [C {U64, U8}, C Str] = TagId(1) Str.272; - ret Str.271; +procedure Str.9 (Str.79): + let Str.305 : U64 = 0i64; + 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; + inc Str.304; + dec Str.80; + let Str.303 : [C {U64, U8}, C Str] = TagId(1) Str.304; + ret Str.303; else - let Str.268 : U8 = StructAtIndex 3 Str.78; - let Str.269 : U64 = StructAtIndex 0 Str.78; - dec Str.78; - let Str.267 : {U64, U8} = Struct {Str.269, Str.268}; - let Str.266 : [C {U64, U8}, C Str] = TagId(0) Str.267; - ret Str.266; + let Str.300 : U8 = StructAtIndex 3 Str.80; + let Str.301 : U64 = StructAtIndex 0 Str.80; + dec Str.80; + let Str.299 : {U64, U8} = Struct {Str.301, Str.300}; + let Str.298 : [C {U64, U8}, C Str] = TagId(0) Str.299; + ret Str.298; procedure Test.0 (): let Test.9 : Str = "abc"; diff --git a/crates/compiler/test_mono/generated/encode_derived_tag_one_field_string.txt b/crates/compiler/test_mono/generated/encode_derived_tag_one_field_string.txt index 179e245b1f..89fbe20807 100644 --- a/crates/compiler/test_mono/generated/encode_derived_tag_one_field_string.txt +++ b/crates/compiler/test_mono/generated/encode_derived_tag_one_field_string.txt @@ -205,31 +205,31 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Num.286; procedure Str.12 (#Attr.2): - let Str.281 : List U8 = lowlevel StrToUtf8 #Attr.2; - ret Str.281; + let Str.313 : List U8 = lowlevel StrToUtf8 #Attr.2; + ret Str.313; procedure Str.48 (#Attr.2, #Attr.3, #Attr.4): - let Str.275 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; - ret Str.275; + let Str.307 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; + ret Str.307; -procedure Str.9 (Str.77): - let Str.273 : U64 = 0i64; - let Str.274 : U64 = CallByName List.6 Str.77; - let Str.78 : {U64, Str, Int1, U8} = CallByName Str.48 Str.77 Str.273 Str.274; - let Str.270 : Int1 = StructAtIndex 2 Str.78; - if Str.270 then - let Str.272 : Str = StructAtIndex 1 Str.78; - inc Str.272; - dec Str.78; - let Str.271 : [C {U64, U8}, C Str] = TagId(1) Str.272; - ret Str.271; +procedure Str.9 (Str.79): + let Str.305 : U64 = 0i64; + 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; + inc Str.304; + dec Str.80; + let Str.303 : [C {U64, U8}, C Str] = TagId(1) Str.304; + ret Str.303; else - let Str.268 : U8 = StructAtIndex 3 Str.78; - let Str.269 : U64 = StructAtIndex 0 Str.78; - dec Str.78; - let Str.267 : {U64, U8} = Struct {Str.269, Str.268}; - let Str.266 : [C {U64, U8}, C Str] = TagId(0) Str.267; - ret Str.266; + let Str.300 : U8 = StructAtIndex 3 Str.80; + let Str.301 : U64 = StructAtIndex 0 Str.80; + dec Str.80; + let Str.299 : {U64, U8} = Struct {Str.301, Str.300}; + let Str.298 : [C {U64, U8}, C Str] = TagId(0) Str.299; + ret Str.298; procedure Test.0 (): let Test.12 : Str = "foo"; diff --git a/crates/compiler/test_mono/generated/encode_derived_tag_two_payloads_string.txt b/crates/compiler/test_mono/generated/encode_derived_tag_two_payloads_string.txt index fbb31a4ace..853b4e80e5 100644 --- a/crates/compiler/test_mono/generated/encode_derived_tag_two_payloads_string.txt +++ b/crates/compiler/test_mono/generated/encode_derived_tag_two_payloads_string.txt @@ -211,31 +211,31 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Num.286; procedure Str.12 (#Attr.2): - let Str.281 : List U8 = lowlevel StrToUtf8 #Attr.2; - ret Str.281; + let Str.313 : List U8 = lowlevel StrToUtf8 #Attr.2; + ret Str.313; procedure Str.48 (#Attr.2, #Attr.3, #Attr.4): - let Str.275 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; - ret Str.275; + let Str.307 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; + ret Str.307; -procedure Str.9 (Str.77): - let Str.273 : U64 = 0i64; - let Str.274 : U64 = CallByName List.6 Str.77; - let Str.78 : {U64, Str, Int1, U8} = CallByName Str.48 Str.77 Str.273 Str.274; - let Str.270 : Int1 = StructAtIndex 2 Str.78; - if Str.270 then - let Str.272 : Str = StructAtIndex 1 Str.78; - inc Str.272; - dec Str.78; - let Str.271 : [C {U64, U8}, C Str] = TagId(1) Str.272; - ret Str.271; +procedure Str.9 (Str.79): + let Str.305 : U64 = 0i64; + 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; + inc Str.304; + dec Str.80; + let Str.303 : [C {U64, U8}, C Str] = TagId(1) Str.304; + ret Str.303; else - let Str.268 : U8 = StructAtIndex 3 Str.78; - let Str.269 : U64 = StructAtIndex 0 Str.78; - dec Str.78; - let Str.267 : {U64, U8} = Struct {Str.269, Str.268}; - let Str.266 : [C {U64, U8}, C Str] = TagId(0) Str.267; - ret Str.266; + let Str.300 : U8 = StructAtIndex 3 Str.80; + let Str.301 : U64 = StructAtIndex 0 Str.80; + dec Str.80; + let Str.299 : {U64, U8} = Struct {Str.301, Str.300}; + let Str.298 : [C {U64, U8}, C Str] = TagId(0) Str.299; + ret Str.298; procedure Test.0 (): let Test.13 : Str = "foo"; diff --git a/crates/compiler/test_mono/generated/issue_2583_specialize_errors_behind_unified_branches.txt b/crates/compiler/test_mono/generated/issue_2583_specialize_errors_behind_unified_branches.txt index 6d1f743220..a274aba23a 100644 --- a/crates/compiler/test_mono/generated/issue_2583_specialize_errors_behind_unified_branches.txt +++ b/crates/compiler/test_mono/generated/issue_2583_specialize_errors_behind_unified_branches.txt @@ -45,27 +45,27 @@ procedure Num.22 (#Attr.2, #Attr.3): let Num.275 : Int1 = lowlevel NumLt #Attr.2 #Attr.3; ret Num.275; -procedure Str.27 (Str.97): - let Str.266 : [C Int1, C I64] = CallByName Str.70 Str.97; - ret Str.266; +procedure Str.27 (Str.99): + let Str.298 : [C Int1, C I64] = CallByName Str.72 Str.99; + ret Str.298; procedure Str.47 (#Attr.2): - let Str.274 : {I64, U8} = lowlevel StrToNum #Attr.2; - ret Str.274; + let Str.306 : {I64, U8} = lowlevel StrToNum #Attr.2; + ret Str.306; -procedure Str.70 (Str.232): - let Str.233 : {I64, U8} = CallByName Str.47 Str.232; - let Str.272 : U8 = StructAtIndex 1 Str.233; - let Str.273 : U8 = 0i64; - let Str.269 : Int1 = CallByName Bool.11 Str.272 Str.273; - if Str.269 then - let Str.271 : I64 = StructAtIndex 0 Str.233; - let Str.270 : [C Int1, C I64] = TagId(1) Str.271; - ret Str.270; +procedure Str.72 (Str.244): + let Str.245 : {I64, U8} = CallByName Str.47 Str.244; + let Str.304 : U8 = StructAtIndex 1 Str.245; + let Str.305 : U8 = 0i64; + 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; + ret Str.302; else - let Str.268 : Int1 = false; - let Str.267 : [C Int1, C I64] = TagId(0) Str.268; - ret Str.267; + let Str.300 : Int1 = false; + let Str.299 : [C Int1, C I64] = TagId(0) Str.300; + ret Str.299; procedure Test.0 (): let Test.3 : Int1 = CallByName Bool.2; diff --git a/crates/compiler/test_mono/generated/issue_4749.txt b/crates/compiler/test_mono/generated/issue_4749.txt index 86d6b55d68..229de40439 100644 --- a/crates/compiler/test_mono/generated/issue_4749.txt +++ b/crates/compiler/test_mono/generated/issue_4749.txt @@ -348,27 +348,27 @@ procedure Num.77 (#Attr.2, #Attr.3): ret Num.280; procedure Str.48 (#Attr.2, #Attr.3, #Attr.4): - let Str.275 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; - ret Str.275; + let Str.307 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; + ret Str.307; -procedure Str.9 (Str.77): - let Str.273 : U64 = 0i64; - let Str.274 : U64 = CallByName List.6 Str.77; - let Str.78 : {U64, Str, Int1, U8} = CallByName Str.48 Str.77 Str.273 Str.274; - let Str.270 : Int1 = StructAtIndex 2 Str.78; - if Str.270 then - let Str.272 : Str = StructAtIndex 1 Str.78; - inc Str.272; - dec Str.78; - let Str.271 : [C {U64, U8}, C Str] = TagId(1) Str.272; - ret Str.271; +procedure Str.9 (Str.79): + let Str.305 : U64 = 0i64; + 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; + inc Str.304; + dec Str.80; + let Str.303 : [C {U64, U8}, C Str] = TagId(1) Str.304; + ret Str.303; else - let Str.268 : U8 = StructAtIndex 3 Str.78; - let Str.269 : U64 = StructAtIndex 0 Str.78; - dec Str.78; - let Str.267 : {U64, U8} = Struct {Str.269, Str.268}; - let Str.266 : [C {U64, U8}, C Str] = TagId(0) Str.267; - ret Str.266; + let Str.300 : U8 = StructAtIndex 3 Str.80; + let Str.301 : U64 = StructAtIndex 0 Str.80; + dec Str.80; + let Str.299 : {U64, U8} = Struct {Str.301, Str.300}; + let Str.298 : [C {U64, U8}, C Str] = TagId(0) Str.299; + ret Str.298; procedure Test.3 (): let Test.0 : List U8 = Array [82i64, 111i64, 99i64]; 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 11f20e2fc6..47d7ec1a69 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 @@ -316,53 +316,53 @@ procedure Num.77 (#Attr.2, #Attr.3): ret Num.280; procedure Str.12 (#Attr.2): - let Str.275 : List U8 = lowlevel StrToUtf8 #Attr.2; - ret Str.275; + let Str.307 : List U8 = lowlevel StrToUtf8 #Attr.2; + ret Str.307; -procedure Str.27 (Str.97): - let Str.266 : [C {}, C I64] = CallByName Str.70 Str.97; - ret Str.266; +procedure Str.27 (Str.99): + let Str.298 : [C {}, C I64] = CallByName Str.72 Str.99; + ret Str.298; procedure Str.47 (#Attr.2): - let Str.274 : {I64, U8} = lowlevel StrToNum #Attr.2; - ret Str.274; + let Str.306 : {I64, U8} = lowlevel StrToNum #Attr.2; + ret Str.306; procedure Str.48 (#Attr.2, #Attr.3, #Attr.4): - let Str.289 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; - ret Str.289; + let Str.321 : {U64, Str, Int1, U8} = lowlevel StrFromUtf8Range #Attr.2 #Attr.3 #Attr.4; + ret Str.321; -procedure Str.70 (Str.232): - let Str.233 : {I64, U8} = CallByName Str.47 Str.232; - let Str.272 : U8 = StructAtIndex 1 Str.233; - let Str.273 : U8 = 0i64; - let Str.269 : Int1 = CallByName Bool.11 Str.272 Str.273; - if Str.269 then - let Str.271 : I64 = StructAtIndex 0 Str.233; - let Str.270 : [C {}, C I64] = TagId(1) Str.271; - ret Str.270; +procedure Str.72 (Str.244): + let Str.245 : {I64, U8} = CallByName Str.47 Str.244; + let Str.304 : U8 = StructAtIndex 1 Str.245; + let Str.305 : U8 = 0i64; + 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; + ret Str.302; else - let Str.268 : {} = Struct {}; - let Str.267 : [C {}, C I64] = TagId(0) Str.268; - ret Str.267; + let Str.300 : {} = Struct {}; + let Str.299 : [C {}, C I64] = TagId(0) Str.300; + ret Str.299; -procedure Str.9 (Str.77): - let Str.287 : U64 = 0i64; - let Str.288 : U64 = CallByName List.6 Str.77; - let Str.78 : {U64, Str, Int1, U8} = CallByName Str.48 Str.77 Str.287 Str.288; - let Str.284 : Int1 = StructAtIndex 2 Str.78; - if Str.284 then - let Str.286 : Str = StructAtIndex 1 Str.78; - inc Str.286; - dec Str.78; - let Str.285 : [C {U64, U8}, C Str] = TagId(1) Str.286; - ret Str.285; +procedure Str.9 (Str.79): + let Str.319 : U64 = 0i64; + 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; + inc Str.318; + dec Str.80; + let Str.317 : [C {U64, U8}, C Str] = TagId(1) Str.318; + ret Str.317; else - let Str.282 : U8 = StructAtIndex 3 Str.78; - let Str.283 : U64 = StructAtIndex 0 Str.78; - dec Str.78; - let Str.281 : {U64, U8} = Struct {Str.283, Str.282}; - let Str.280 : [C {U64, U8}, C Str] = TagId(0) Str.281; - ret Str.280; + let Str.314 : U8 = StructAtIndex 3 Str.80; + let Str.315 : U64 = StructAtIndex 0 Str.80; + dec Str.80; + let Str.313 : {U64, U8} = Struct {Str.315, Str.314}; + let Str.312 : [C {U64, U8}, C Str] = TagId(0) Str.313; + ret Str.312; procedure Test.0 (): let Test.37 : Str = "-1234"; diff --git a/crates/compiler/test_mono/generated/list_map_closure_borrows.txt b/crates/compiler/test_mono/generated/list_map_closure_borrows.txt index ecd39766c1..8e45cea015 100644 --- a/crates/compiler/test_mono/generated/list_map_closure_borrows.txt +++ b/crates/compiler/test_mono/generated/list_map_closure_borrows.txt @@ -27,12 +27,12 @@ procedure Num.22 (#Attr.2, #Attr.3): ret Num.275; procedure Str.16 (#Attr.2, #Attr.3): - let Str.266 : Str = lowlevel StrRepeat #Attr.2 #Attr.3; - ret Str.266; + let Str.298 : Str = lowlevel StrRepeat #Attr.2 #Attr.3; + ret Str.298; procedure Str.3 (#Attr.2, #Attr.3): - let Str.267 : Str = lowlevel StrConcat #Attr.2 #Attr.3; - ret Str.267; + let Str.299 : Str = lowlevel StrConcat #Attr.2 #Attr.3; + ret Str.299; procedure Test.1 (): let Test.21 : Str = "lllllllllllllllllllllooooooooooong"; diff --git a/crates/compiler/test_mono/generated/list_map_closure_owns.txt b/crates/compiler/test_mono/generated/list_map_closure_owns.txt index efd1bfc071..1d8118561d 100644 --- a/crates/compiler/test_mono/generated/list_map_closure_owns.txt +++ b/crates/compiler/test_mono/generated/list_map_closure_owns.txt @@ -28,8 +28,8 @@ procedure Num.22 (#Attr.2, #Attr.3): ret Num.275; procedure Str.3 (#Attr.2, #Attr.3): - let Str.267 : Str = lowlevel StrConcat #Attr.2 #Attr.3; - ret Str.267; + let Str.299 : Str = lowlevel StrConcat #Attr.2 #Attr.3; + ret Str.299; procedure Test.1 (): let Test.21 : Str = "lllllllllllllllllllllooooooooooong"; diff --git a/crates/compiler/test_mono/generated/nullable_wrapped_with_non_nullable_singleton_tags.txt b/crates/compiler/test_mono/generated/nullable_wrapped_with_non_nullable_singleton_tags.txt index a4baa33d97..ef6424b1c5 100644 --- a/crates/compiler/test_mono/generated/nullable_wrapped_with_non_nullable_singleton_tags.txt +++ b/crates/compiler/test_mono/generated/nullable_wrapped_with_non_nullable_singleton_tags.txt @@ -1,6 +1,6 @@ procedure Str.3 (#Attr.2, #Attr.3): - let Str.267 : Str = lowlevel StrConcat #Attr.2 #Attr.3; - ret Str.267; + let Str.299 : Str = lowlevel StrConcat #Attr.2 #Attr.3; + ret Str.299; procedure Test.2 (Test.4): let Test.16 : U8 = GetTagId Test.4; diff --git a/crates/compiler/test_mono/generated/polymorphic_expression_unification.txt b/crates/compiler/test_mono/generated/polymorphic_expression_unification.txt index de7a281c5a..a84391b0ba 100644 --- a/crates/compiler/test_mono/generated/polymorphic_expression_unification.txt +++ b/crates/compiler/test_mono/generated/polymorphic_expression_unification.txt @@ -3,8 +3,8 @@ procedure Bool.11 (#Attr.2, #Attr.3): ret Bool.23; procedure Str.3 (#Attr.2, #Attr.3): - let Str.267 : Str = lowlevel StrConcat #Attr.2 #Attr.3; - ret Str.267; + let Str.299 : Str = lowlevel StrConcat #Attr.2 #Attr.3; + ret Str.299; procedure Test.2 (Test.7): let Test.24 : Str = ".trace(\""; diff --git a/crates/compiler/test_mono/generated/recursively_build_effect.txt b/crates/compiler/test_mono/generated/recursively_build_effect.txt index e2c106f268..9f77a8dae3 100644 --- a/crates/compiler/test_mono/generated/recursively_build_effect.txt +++ b/crates/compiler/test_mono/generated/recursively_build_effect.txt @@ -3,8 +3,8 @@ procedure Num.20 (#Attr.2, #Attr.3): ret Num.275; procedure Str.3 (#Attr.2, #Attr.3): - let Str.268 : Str = lowlevel StrConcat #Attr.2 #Attr.3; - ret Str.268; + let Str.300 : Str = lowlevel StrConcat #Attr.2 #Attr.3; + ret Str.300; procedure Test.11 (Test.29, #Attr.12): let Test.10 : {} = UnionAtIndex (Id 0) (Index 0) #Attr.12; diff --git a/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_does_not_duplicate_identical_concrete_types.txt b/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_does_not_duplicate_identical_concrete_types.txt index e4c9053060..ec74465759 100644 --- a/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_does_not_duplicate_identical_concrete_types.txt +++ b/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_does_not_duplicate_identical_concrete_types.txt @@ -190,8 +190,8 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Num.286; procedure Str.12 (#Attr.2): - let Str.267 : List U8 = lowlevel StrToUtf8 #Attr.2; - ret Str.267; + let Str.299 : List U8 = lowlevel StrToUtf8 #Attr.2; + ret Str.299; procedure Test.2 (Test.10): let Test.15 : {Str, Str} = CallByName Encode.23 Test.10; diff --git a/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_keeps_all_concrete_types_without_unification_of_unifiable.txt b/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_keeps_all_concrete_types_without_unification_of_unifiable.txt index 9099e68523..3f26b43337 100644 --- a/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_keeps_all_concrete_types_without_unification_of_unifiable.txt +++ b/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_keeps_all_concrete_types_without_unification_of_unifiable.txt @@ -330,8 +330,8 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Num.305; procedure Str.12 (#Attr.2): - let Str.268 : List U8 = lowlevel StrToUtf8 #Attr.2; - ret Str.268; + let Str.300 : List U8 = lowlevel StrToUtf8 #Attr.2; + ret Str.300; procedure Test.2 (Test.11): let Test.18 : {{}, {}} = CallByName Encode.23 Test.11;