update mono tests

crates/compiler/test_mono/generated/encode_derived_nested_record_string.txt

@@ -8,7 +8,6 @@ procedure #Derived.2 (#Derived.3, #Derived.4, #Derived.1):
     let #Derived_gen.6 : {Str, Str} = Struct {#Derived_gen.7, #Derived_gen.8};
     let #Derived_gen.5 : List {Str, Str} = Array [#Derived_gen.6];
     let #Derived_gen.4 : List {Str, Str} = CallByName Test.21 #Derived_gen.5;
-    inc #Derived.3;
     let #Derived_gen.3 : List U8 = CallByName Encode.24 #Derived.3 #Derived_gen.4 #Derived.4;
     dec #Derived_gen.4;
     ret #Derived_gen.3;
@@ -42,16 +41,6 @@ procedure Encode.23 (Encode.98):
 procedure Encode.23 (Encode.98):
     ret Encode.98;
 
-procedure Encode.24 (Encode.99, Encode.107, Encode.101):
-    inc Encode.107;
-    let Encode.116 : List U8 = CallByName #Derived.7 Encode.99 Encode.101 Encode.107;
-    ret Encode.116;
-
-procedure Encode.24 (Encode.99, Encode.107, Encode.101):
-    inc Encode.99;
-    let Encode.119 : List U8 = CallByName Test.67 Encode.99 Encode.101 Encode.107;
-    ret Encode.119;
-
 procedure Encode.24 (Encode.99, Encode.107, Encode.101):
     let Encode.111 : List U8 = CallByName #Derived.2 Encode.99 Encode.101 Encode.107;
     ret Encode.111;
@@ -60,6 +49,14 @@ procedure Encode.24 (Encode.99, Encode.107, Encode.101):
     let Encode.113 : List U8 = CallByName Test.67 Encode.99 Encode.101 Encode.107;
     ret Encode.113;
 
+procedure Encode.24 (Encode.99, Encode.107, Encode.101):
+    let Encode.116 : List U8 = CallByName #Derived.7 Encode.99 Encode.101 Encode.107;
+    ret Encode.116;
+
+procedure Encode.24 (Encode.99, Encode.107, Encode.101):
+    let Encode.119 : List U8 = CallByName Test.67 Encode.99 Encode.101 Encode.107;
+    ret Encode.119;
+
 procedure Encode.24 (Encode.99, Encode.107, Encode.101):
     let Encode.124 : List U8 = CallByName Test.56 Encode.99 Encode.101 Encode.107;
     ret Encode.124;
@@ -68,7 +65,6 @@ procedure Encode.26 (Encode.105, Encode.106):
     let Encode.109 : List U8 = Array [];
     let Encode.110 : Str = CallByName #Derived.0 Encode.105;
     let Encode.108 : List U8 = CallByName Encode.24 Encode.109 Encode.110 Encode.106;
-    dec Encode.109;
     ret Encode.108;
 
 procedure List.18 (List.160, List.161, List.162):
@@ -259,8 +255,6 @@ procedure Test.70 (Test.71, Test.266):
     let Test.268 : List U8 = CallByName Encode.24 Test.71 Test.270 Test.271;
     let Test.269 : {} = Struct {};
     let Test.267 : List U8 = CallByName Encode.24 Test.268 Test.73 Test.269;
-    dec Test.268;
-    dec Test.73;
     ret Test.267;
 
 procedure Test.70 (Test.71, Test.266):

crates/compiler/test_mono/generated/encode_derived_record_one_field_string.txt

@@ -22,8 +22,6 @@ procedure Encode.23 (Encode.98):
     ret Encode.98;
 
 procedure Encode.24 (Encode.99, Encode.107, Encode.101):
-    inc Encode.107;
-    inc Encode.99;
     let Encode.111 : List U8 = CallByName #Derived.2 Encode.99 Encode.101 Encode.107;
     ret Encode.111;
 
@@ -39,8 +37,6 @@ procedure Encode.26 (Encode.105, Encode.106):
     let Encode.109 : List U8 = Array [];
     let Encode.110 : Str = CallByName #Derived.0 Encode.105;
     let Encode.108 : List U8 = CallByName Encode.24 Encode.109 Encode.110 Encode.106;
-    dec Encode.109;
-    dec Encode.110;
     ret Encode.108;
 
 procedure List.18 (List.160, List.161, List.162):

crates/compiler/test_mono/generated/encode_derived_record_two_field_strings.txt

@@ -29,7 +29,6 @@ procedure Encode.23 (Encode.98):
     ret Encode.98;
 
 procedure Encode.24 (Encode.99, Encode.107, Encode.101):
-    inc Encode.99;
     let Encode.111 : List U8 = CallByName #Derived.2 Encode.99 Encode.101 Encode.107;
     ret Encode.111;
 
@@ -45,7 +44,6 @@ procedure Encode.26 (Encode.105, Encode.106):
     let Encode.109 : List U8 = Array [];
     let Encode.110 : {Str, Str} = CallByName #Derived.0 Encode.105;
     let Encode.108 : List U8 = CallByName Encode.24 Encode.109 Encode.110 Encode.106;
-    dec Encode.109;
     ret Encode.108;
 
 procedure List.18 (List.160, List.161, List.162):

crates/compiler/test_mono/generated/encode_derived_tag_one_field_string.txt

@@ -23,12 +23,10 @@ procedure Encode.23 (Encode.98):
     ret Encode.98;
 
 procedure Encode.24 (Encode.99, Encode.107, Encode.101):
-    inc Encode.107;
     let Encode.111 : List U8 = CallByName #Derived.3 Encode.99 Encode.101 Encode.107;
     ret Encode.111;
 
 procedure Encode.24 (Encode.99, Encode.107, Encode.101):
-    inc Encode.99;
     let Encode.113 : List U8 = CallByName Test.60 Encode.99 Encode.101 Encode.107;
     ret Encode.113;
 
@@ -40,8 +38,6 @@ procedure Encode.26 (Encode.105, Encode.106):
     let Encode.109 : List U8 = Array [];
     let Encode.110 : Str = CallByName #Derived.0 Encode.105;
     let Encode.108 : List U8 = CallByName Encode.24 Encode.109 Encode.110 Encode.106;
-    dec Encode.109;
-    dec Encode.110;
     ret Encode.108;
 
 procedure List.13 (#Attr.2, #Attr.3):

crates/compiler/test_mono/generated/encode_derived_tag_two_payloads_string.txt

@@ -25,15 +25,14 @@ procedure Encode.23 (Encode.98):
 procedure Encode.23 (Encode.98):
     ret Encode.98;
 
-procedure Encode.24 (Encode.99, Encode.107, Encode.101):
-    inc Encode.99;
-    let Encode.113 : List U8 = CallByName Test.60 Encode.99 Encode.101 Encode.107;
-    ret Encode.113;
-
 procedure Encode.24 (Encode.99, Encode.107, Encode.101):
     let Encode.111 : List U8 = CallByName #Derived.4 Encode.99 Encode.101 Encode.107;
     ret Encode.111;
 
+procedure Encode.24 (Encode.99, Encode.107, Encode.101):
+    let Encode.113 : List U8 = CallByName Test.60 Encode.99 Encode.101 Encode.107;
+    ret Encode.113;
+
 procedure Encode.24 (Encode.99, Encode.107, Encode.101):
     let Encode.118 : List U8 = CallByName Test.56 Encode.99 Encode.101 Encode.107;
     ret Encode.118;
@@ -42,7 +41,6 @@ procedure Encode.26 (Encode.105, Encode.106):
     let Encode.109 : List U8 = Array [];
     let Encode.110 : {Str, Str} = CallByName #Derived.0 Encode.105;
     let Encode.108 : List U8 = CallByName Encode.24 Encode.109 Encode.110 Encode.106;
-    dec Encode.109;
     ret Encode.108;
 
 procedure List.13 (#Attr.2, #Attr.3):

crates/compiler/test_mono/generated/inspect_derived_dict.txt

@@ -850,7 +850,6 @@ procedure Inspect.30 (Inspect.143):
     ret Inspect.143;
 
 procedure Inspect.31 (Inspect.299, Inspect.145):
-    inc Inspect.145;
     let Inspect.310 : Str = CallByName Inspect.183 Inspect.145 Inspect.299;
     ret Inspect.310;
 
@@ -885,7 +884,6 @@ procedure Inspect.5 (Inspect.146):
     let Inspect.305 : {} = Struct {};
     let Inspect.304 : Str = CallByName Inspect.35 Inspect.305;
     let Inspect.303 : Str = CallByName Dict.120 Inspect.304 Inspect.308;
-    dec Inspect.304;
     ret Inspect.303;
 
 procedure Inspect.53 (Inspect.273):

crates/compiler/test_mono/generated/inspect_derived_list.txt

@@ -94,7 +94,6 @@ procedure Inspect.30 (Inspect.143):
     ret Inspect.143;
 
 procedure Inspect.31 (Inspect.299, Inspect.145):
-    inc Inspect.145;
     let Inspect.310 : Str = CallByName Inspect.152 Inspect.145 Inspect.299;
     ret Inspect.310;
 
@@ -122,7 +121,6 @@ procedure Inspect.5 (Inspect.146):
     let Inspect.305 : {} = Struct {};
     let Inspect.304 : Str = CallByName Inspect.35 Inspect.305;
     let Inspect.303 : Str = CallByName #Derived.4 Inspect.304 Inspect.308;
-    dec Inspect.304;
     dec Inspect.308;
     ret Inspect.303;
 

crates/compiler/test_mono/generated/inspect_derived_nested_record_string.txt

@@ -88,8 +88,6 @@ procedure Inspect.229 (Inspect.330, Inspect.331):
         let Inspect.337 : Str = CallByName Inspect.59 Inspect.342 Inspect.343;
         dec Inspect.343;
         let Inspect.333 : Str = CallByName Inspect.235 Inspect.337 Inspect.233;
-        dec Inspect.233;
-        dec Inspect.337;
         let Inspect.334 : {} = Struct {};
         let Inspect.332 : {Str, Int1} = CallByName Inspect.237 Inspect.333;
         dec Inspect.333;
@@ -172,16 +170,14 @@ procedure Inspect.30 (Inspect.143):
 procedure Inspect.30 (Inspect.143):
     ret Inspect.143;
 
-procedure Inspect.31 (Inspect.299, Inspect.145):
-    inc Inspect.299;
-    inc Inspect.145;
-    let Inspect.341 : Str = CallByName #Derived.6 Inspect.145 Inspect.299;
-    ret Inspect.341;
-
 procedure Inspect.31 (Inspect.299, Inspect.145):
     let Inspect.310 : Str = CallByName Inspect.225 Inspect.145 Inspect.299;
     ret Inspect.310;
 
+procedure Inspect.31 (Inspect.299, Inspect.145):
+    let Inspect.341 : Str = CallByName #Derived.6 Inspect.145 Inspect.299;
+    ret Inspect.341;
+
 procedure Inspect.31 (Inspect.299, Inspect.145):
     let Inspect.350 : Str = CallByName Inspect.225 Inspect.145 Inspect.299;
     ret Inspect.350;

crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_does_not_duplicate_identical_concrete_types.txt

@@ -27,7 +27,6 @@ procedure Encode.26 (Encode.105, Encode.106):
     let Encode.109 : List U8 = Array [];
     let Encode.110 : {Str, Str} = CallByName Test.49 Encode.105;
     let Encode.108 : List U8 = CallByName Encode.24 Encode.109 Encode.110 Encode.106;
-    dec Encode.109;
     ret Encode.108;
 
 procedure List.13 (#Attr.2, #Attr.3):
@@ -120,7 +119,6 @@ procedure Test.21 (Test.61, Test.62):
 
 procedure Test.213 (Test.214, Test.215, Test.212):
     joinpoint Test.267 Test.216:
-        inc Test.214;
         let Test.265 : List U8 = CallByName Encode.24 Test.214 Test.216 Test.215;
         ret Test.265;
     in

crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_keeps_all_concrete_types_without_unification_of_unifiable.txt

@@ -6,7 +6,6 @@ procedure #Derived.0 (#Derived.1):
 procedure #Derived.2 (#Derived.3, #Derived.4, #Attr.12):
     let #Derived_gen.19 : {} = UnionAtIndex (Id 0) (Index 0) #Attr.12;
     joinpoint #Derived_gen.15 #Derived_gen.14:
-        inc #Derived.3;
         let #Derived_gen.13 : List U8 = CallByName Encode.24 #Derived.3 #Derived_gen.14 #Derived.4;
         ret #Derived_gen.13;
     in
@@ -23,7 +22,6 @@ procedure #Derived.5 (#Derived.6):
 procedure #Derived.7 (#Derived.8, #Derived.9, #Attr.12):
     let #Derived_gen.9 : {} = UnionAtIndex (Id 1) (Index 0) #Attr.12;
     joinpoint #Derived_gen.5 #Derived_gen.4:
-        inc #Derived.8;
         let #Derived_gen.3 : List U8 = CallByName Encode.24 #Derived.8 #Derived_gen.4 #Derived.9;
         ret #Derived_gen.3;
     in
@@ -51,26 +49,23 @@ procedure Encode.23 (Encode.98):
 procedure Encode.23 (Encode.98):
     ret Encode.98;
 
-procedure Encode.24 (Encode.99, Encode.107, Encode.101):
-    inc Encode.99;
-    let Encode.115 : List U8 = CallByName Test.63 Encode.99 Encode.101 Encode.107;
-    ret Encode.115;
-
 procedure Encode.24 (Encode.99, Encode.107, Encode.101):
     let Encode.111 : List U8 = CallByName Test.213 Encode.99 Encode.101 Encode.107;
     ret Encode.111;
 
+procedure Encode.24 (Encode.99, Encode.107, Encode.101):
+    let Encode.115 : List U8 = CallByName Test.63 Encode.99 Encode.101 Encode.107;
+    ret Encode.115;
+
 procedure Encode.24 (Encode.99, Encode.107, Encode.101):
     let Encode.117 : U8 = GetTagId Encode.107;
     switch Encode.117:
         case 0:
             let Encode.116 : List U8 = CallByName #Derived.2 Encode.99 Encode.101 Encode.107;
-            dec Encode.99;
             ret Encode.116;
     
         case 1:
             let Encode.116 : List U8 = CallByName #Derived.7 Encode.99 Encode.101 Encode.107;
-            dec Encode.99;
             ret Encode.116;
     
         default:
@@ -90,7 +85,6 @@ procedure Encode.26 (Encode.105, Encode.106):
     let Encode.109 : List U8 = Array [];
     let Encode.110 : {{}, {}} = CallByName Test.49 Encode.105;
     let Encode.108 : List U8 = CallByName Encode.24 Encode.109 Encode.110 Encode.106;
-    dec Encode.109;
     ret Encode.108;
 
 procedure List.13 (#Attr.2, #Attr.3):