From fb6ba3de57331fe14c514d05765afdd68c7c9f33 Mon Sep 17 00:00:00 2001 From: Folkert Date: Tue, 1 Jun 2021 21:45:51 +0200 Subject: [PATCH] update mono tests --- compiler/test_mono/generated/factorial.txt | 14 +++--- compiler/test_mono/generated/ir_int_add.txt | 20 ++++----- compiler/test_mono/generated/ir_when_just.txt | 18 ++++---- .../generated/linked_list_length_twice.txt | 24 +++++----- .../generated/list_cannot_update_inplace.txt | 44 +++++++++---------- compiler/test_mono/generated/list_len.txt | 20 ++++----- .../generated/nested_pattern_match.txt | 42 +++++++++--------- .../test_mono/generated/optional_when.txt | 44 +++++++++---------- .../test_mono/generated/quicksort_help.txt | 24 +++++----- ...optional_field_function_no_use_default.txt | 6 +-- ...rd_optional_field_function_use_default.txt | 4 +- ...cord_optional_field_let_no_use_default.txt | 6 +-- .../record_optional_field_let_use_default.txt | 4 +- .../generated/somehow_drops_definitions.txt | 22 +++++----- .../generated/specialize_closures.txt | 20 ++++----- .../test_mono/generated/when_nested_maybe.txt | 42 +++++++++--------- .../test_mono/generated/when_on_record.txt | 4 +- .../generated/when_on_two_values.txt | 28 ++++++------ 18 files changed, 193 insertions(+), 193 deletions(-) diff --git a/compiler/test_mono/generated/factorial.txt b/compiler/test_mono/generated/factorial.txt index c57881e00b..1c6b0e2d39 100644 --- a/compiler/test_mono/generated/factorial.txt +++ b/compiler/test_mono/generated/factorial.txt @@ -1,6 +1,6 @@ procedure Num.25 (#Attr.2, #Attr.3): - let Test.14 = lowlevel NumSub #Attr.2 #Attr.3; - ret Test.14; + let Test.15 = lowlevel NumSub #Attr.2 #Attr.3; + ret Test.15; procedure Num.26 (#Attr.2, #Attr.3): let Test.12 = lowlevel NumMul #Attr.2 #Attr.3; @@ -8,13 +8,13 @@ procedure Num.26 (#Attr.2, #Attr.3): procedure Test.1 (Test.2, Test.3): joinpoint Test.7 Test.2 Test.3: - let Test.15 = 0i64; - let Test.16 = lowlevel Eq Test.15 Test.2; - if Test.16 then + let Test.17 = 0i64; + let Test.18 = lowlevel Eq Test.17 Test.2; + if Test.18 then ret Test.3; else - let Test.13 = 1i64; - let Test.10 = CallByName Num.25 Test.2 Test.13; + let Test.14 = 1i64; + let Test.10 = CallByName Num.25 Test.2 Test.14; let Test.11 = CallByName Num.26 Test.2 Test.3; jump Test.7 Test.10 Test.11; in diff --git a/compiler/test_mono/generated/ir_int_add.txt b/compiler/test_mono/generated/ir_int_add.txt index 4b427ffaee..0adc761dc1 100644 --- a/compiler/test_mono/generated/ir_int_add.txt +++ b/compiler/test_mono/generated/ir_int_add.txt @@ -1,22 +1,22 @@ procedure List.7 (#Attr.2): - let Test.6 = lowlevel ListLen #Attr.2; - ret Test.6; + let Test.7 = lowlevel ListLen #Attr.2; + ret Test.7; procedure Num.24 (#Attr.2, #Attr.3): let Test.5 = lowlevel NumAdd #Attr.2 #Attr.3; ret Test.5; procedure Test.0 (): - let Test.11 = 1i64; - let Test.12 = 2i64; - let Test.1 = Array [Test.11, Test.12]; - let Test.9 = 5i64; - let Test.10 = 4i64; - invoke Test.7 = CallByName Num.24 Test.9 Test.10 catch + let Test.14 = 1i64; + let Test.15 = 2i64; + let Test.1 = Array [Test.14, Test.15]; + let Test.11 = 5i64; + let Test.12 = 4i64; + invoke Test.8 = CallByName Num.24 Test.11 Test.12 catch dec Test.1; unreachable; - let Test.8 = 3i64; - invoke Test.3 = CallByName Num.24 Test.7 Test.8 catch + let Test.9 = 3i64; + invoke Test.3 = CallByName Num.24 Test.8 Test.9 catch dec Test.1; unreachable; let Test.4 = CallByName List.7 Test.1; diff --git a/compiler/test_mono/generated/ir_when_just.txt b/compiler/test_mono/generated/ir_when_just.txt index 4b25c7c779..baf5e51d25 100644 --- a/compiler/test_mono/generated/ir_when_just.txt +++ b/compiler/test_mono/generated/ir_when_just.txt @@ -3,17 +3,17 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Test.6; procedure Test.0 (): - let Test.12 = 0i64; - let Test.11 = 41i64; - let Test.1 = Just Test.12 Test.11; - let Test.8 = 0i64; - let Test.9 = Index 0 Test.1; - let Test.10 = lowlevel Eq Test.8 Test.9; - if Test.10 then + let Test.13 = 0i64; + let Test.12 = 41i64; + let Test.1 = Just Test.13 Test.12; + let Test.9 = 0i64; + let Test.10 = Index 0 Test.1; + let Test.11 = lowlevel Eq Test.9 Test.10; + if Test.11 then let Test.3 = Index 1 Test.1; let Test.5 = 1i64; let Test.4 = CallByName Num.24 Test.3 Test.5; ret Test.4; else - let Test.7 = 1i64; - ret Test.7; + let Test.8 = 1i64; + ret Test.8; diff --git a/compiler/test_mono/generated/linked_list_length_twice.txt b/compiler/test_mono/generated/linked_list_length_twice.txt index 1e3ac67351..a54ec0b202 100644 --- a/compiler/test_mono/generated/linked_list_length_twice.txt +++ b/compiler/test_mono/generated/linked_list_length_twice.txt @@ -3,22 +3,22 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Test.10; procedure Test.3 (Test.5): - let Test.16 = 1i64; - let Test.17 = Index 0 Test.5; - let Test.18 = lowlevel Eq Test.16 Test.17; - if Test.18 then - let Test.12 = 0i64; - ret Test.12; + let Test.18 = 1i64; + let Test.19 = Index 0 Test.5; + let Test.20 = lowlevel Eq Test.18 Test.19; + if Test.20 then + let Test.13 = 0i64; + ret Test.13; else let Test.6 = Index 2 Test.5; - let Test.14 = 1i64; - let Test.15 = CallByName Test.3 Test.6; - let Test.13 = CallByName Num.24 Test.14 Test.15; - ret Test.13; + let Test.15 = 1i64; + let Test.16 = CallByName Test.3 Test.6; + let Test.14 = CallByName Num.24 Test.15 Test.16; + ret Test.14; procedure Test.0 (): - let Test.19 = 1i64; - let Test.2 = Nil Test.19; + let Test.21 = 1i64; + let Test.2 = Nil Test.21; let Test.8 = CallByName Test.3 Test.2; let Test.9 = CallByName Test.3 Test.2; dec Test.2; diff --git a/compiler/test_mono/generated/list_cannot_update_inplace.txt b/compiler/test_mono/generated/list_cannot_update_inplace.txt index 0a29c418b8..0c9ff5de3f 100644 --- a/compiler/test_mono/generated/list_cannot_update_inplace.txt +++ b/compiler/test_mono/generated/list_cannot_update_inplace.txt @@ -1,40 +1,40 @@ procedure List.4 (#Attr.2, #Attr.3, #Attr.4): - let Test.22 = lowlevel ListLen #Attr.2; - let Test.20 = lowlevel NumLt #Attr.3 Test.22; - if Test.20 then - let Test.21 = lowlevel ListSet #Attr.2 #Attr.3 #Attr.4; - ret Test.21; + let Test.23 = lowlevel ListLen #Attr.2; + let Test.21 = lowlevel NumLt #Attr.3 Test.23; + if Test.21 then + let Test.22 = lowlevel ListSet #Attr.2 #Attr.3 #Attr.4; + ret Test.22; else ret #Attr.2; procedure List.7 (#Attr.2): - let Test.9 = lowlevel ListLen #Attr.2; - ret Test.9; + let Test.10 = lowlevel ListLen #Attr.2; + ret Test.10; procedure Num.24 (#Attr.2, #Attr.3): let Test.7 = lowlevel NumAdd #Attr.2 #Attr.3; ret Test.7; procedure Test.1 (): - let Test.11 = 1i64; - let Test.12 = 2i64; - let Test.13 = 3i64; - let Test.10 = Array [Test.11, Test.12, Test.13]; - ret Test.10; + let Test.12 = 1i64; + let Test.13 = 2i64; + let Test.14 = 3i64; + let Test.11 = Array [Test.12, Test.13, Test.14]; + ret Test.11; procedure Test.2 (Test.3): - let Test.17 = 0i64; let Test.18 = 0i64; - let Test.16 = CallByName List.4 Test.3 Test.17 Test.18; - ret Test.16; + let Test.19 = 0i64; + let Test.17 = CallByName List.4 Test.3 Test.18 Test.19; + ret Test.17; procedure Test.0 (): - let Test.15 = CallByName Test.1; - let Test.14 = CallByName Test.2 Test.15; - let Test.5 = CallByName List.7 Test.14; - dec Test.14; - let Test.8 = CallByName Test.1; - let Test.6 = CallByName List.7 Test.8; - dec Test.8; + let Test.16 = CallByName Test.1; + let Test.15 = CallByName Test.2 Test.16; + let Test.5 = CallByName List.7 Test.15; + dec Test.15; + let Test.9 = CallByName Test.1; + let Test.6 = CallByName List.7 Test.9; + dec Test.9; let Test.4 = CallByName Num.24 Test.5 Test.6; ret Test.4; diff --git a/compiler/test_mono/generated/list_len.txt b/compiler/test_mono/generated/list_len.txt index d5cd03a2b9..1f50df081b 100644 --- a/compiler/test_mono/generated/list_len.txt +++ b/compiler/test_mono/generated/list_len.txt @@ -1,22 +1,22 @@ -procedure List.7 (#Attr.2): - let Test.7 = lowlevel ListLen #Attr.2; - ret Test.7; - procedure List.7 (#Attr.2): let Test.8 = lowlevel ListLen #Attr.2; ret Test.8; +procedure List.7 (#Attr.2): + let Test.9 = lowlevel ListLen #Attr.2; + ret Test.9; + procedure Num.24 (#Attr.2, #Attr.3): let Test.6 = lowlevel NumAdd #Attr.2 #Attr.3; ret Test.6; procedure Test.0 (): - let Test.10 = 1i64; - let Test.11 = 2i64; - let Test.12 = 3i64; - let Test.1 = Array [Test.10, Test.11, Test.12]; - let Test.9 = 1f64; - let Test.2 = Array [Test.9]; + let Test.11 = 1i64; + let Test.12 = 2i64; + let Test.13 = 3i64; + let Test.1 = Array [Test.11, Test.12, Test.13]; + let Test.10 = 1f64; + let Test.2 = Array [Test.10]; let Test.4 = CallByName List.7 Test.1; dec Test.1; let Test.5 = CallByName List.7 Test.2; diff --git a/compiler/test_mono/generated/nested_pattern_match.txt b/compiler/test_mono/generated/nested_pattern_match.txt index a178a68f6d..8991931ca9 100644 --- a/compiler/test_mono/generated/nested_pattern_match.txt +++ b/compiler/test_mono/generated/nested_pattern_match.txt @@ -3,30 +3,30 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Test.8; procedure Test.0 (): - let Test.20 = 0i64; - let Test.22 = 0i64; - let Test.21 = 41i64; - let Test.19 = Just Test.22 Test.21; - let Test.2 = Just Test.20 Test.19; - joinpoint Test.16: - let Test.10 = 1i64; - ret Test.10; + let Test.21 = 0i64; + let Test.23 = 0i64; + let Test.22 = 41i64; + let Test.20 = Just Test.23 Test.22; + let Test.2 = Just Test.21 Test.20; + joinpoint Test.17: + let Test.11 = 1i64; + ret Test.11; in - let Test.14 = 0i64; - let Test.15 = Index 0 Test.2; - let Test.18 = lowlevel Eq Test.14 Test.15; - if Test.18 then - let Test.11 = Index 1 Test.2; - let Test.12 = 0i64; - let Test.13 = Index 0 Test.11; - let Test.17 = lowlevel Eq Test.12 Test.13; - if Test.17 then - let Test.9 = Index 1 Test.2; - let Test.5 = Index 1 Test.9; + let Test.15 = 0i64; + let Test.16 = Index 0 Test.2; + let Test.19 = lowlevel Eq Test.15 Test.16; + if Test.19 then + let Test.12 = Index 1 Test.2; + let Test.13 = 0i64; + let Test.14 = Index 0 Test.12; + let Test.18 = lowlevel Eq Test.13 Test.14; + if Test.18 then + let Test.10 = Index 1 Test.2; + let Test.5 = Index 1 Test.10; let Test.7 = 1i64; let Test.6 = CallByName Num.24 Test.5 Test.7; ret Test.6; else - jump Test.16; + jump Test.17; else - jump Test.16; + jump Test.17; diff --git a/compiler/test_mono/generated/optional_when.txt b/compiler/test_mono/generated/optional_when.txt index c5299d68ae..f1e9f636d0 100644 --- a/compiler/test_mono/generated/optional_when.txt +++ b/compiler/test_mono/generated/optional_when.txt @@ -3,10 +3,10 @@ procedure Num.26 (#Attr.2, #Attr.3): ret Test.17; procedure Test.1 (Test.6): - let Test.22 = Index 1 Test.6; - let Test.23 = false; - let Test.24 = lowlevel Eq Test.23 Test.22; - if Test.24 then + let Test.25 = Index 1 Test.6; + let Test.26 = false; + let Test.27 = lowlevel Eq Test.26 Test.25; + if Test.27 then let Test.8 = Index 0 Test.6; ret Test.8; else @@ -14,10 +14,10 @@ procedure Test.1 (Test.6): ret Test.10; procedure Test.1 (Test.6): - let Test.33 = Index 0 Test.6; - let Test.34 = false; - let Test.35 = lowlevel Eq Test.34 Test.33; - if Test.35 then + let Test.36 = Index 0 Test.6; + let Test.37 = false; + let Test.38 = lowlevel Eq Test.37 Test.36; + if Test.38 then let Test.8 = 3i64; ret Test.8; else @@ -25,19 +25,19 @@ procedure Test.1 (Test.6): ret Test.10; procedure Test.0 (): - let Test.38 = true; - let Test.5 = CallByName Test.1 Test.38; - let Test.36 = false; - let Test.3 = CallByName Test.1 Test.36; - let Test.28 = 11i64; - let Test.29 = true; - let Test.27 = Struct {Test.28, Test.29}; - let Test.4 = CallByName Test.1 Test.27; - let Test.25 = 7i64; - let Test.26 = false; - let Test.19 = Struct {Test.25, Test.26}; - let Test.2 = CallByName Test.1 Test.19; - let Test.18 = CallByName Num.26 Test.2 Test.3; - let Test.16 = CallByName Num.26 Test.18 Test.4; + let Test.41 = true; + let Test.5 = CallByName Test.1 Test.41; + let Test.39 = false; + let Test.3 = CallByName Test.1 Test.39; + let Test.31 = 11i64; + let Test.32 = true; + let Test.30 = Struct {Test.31, Test.32}; + let Test.4 = CallByName Test.1 Test.30; + let Test.28 = 7i64; + let Test.29 = false; + let Test.22 = Struct {Test.28, Test.29}; + let Test.2 = CallByName Test.1 Test.22; + let Test.19 = CallByName Num.26 Test.2 Test.3; + let Test.16 = CallByName Num.26 Test.19 Test.4; let Test.15 = CallByName Num.26 Test.16 Test.5; ret Test.15; diff --git a/compiler/test_mono/generated/quicksort_help.txt b/compiler/test_mono/generated/quicksort_help.txt index 25ed80e403..2895fd348a 100644 --- a/compiler/test_mono/generated/quicksort_help.txt +++ b/compiler/test_mono/generated/quicksort_help.txt @@ -3,26 +3,26 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Test.19; procedure Num.25 (#Attr.2, #Attr.3): - let Test.22 = lowlevel NumSub #Attr.2 #Attr.3; - ret Test.22; + let Test.23 = lowlevel NumSub #Attr.2 #Attr.3; + ret Test.23; procedure Num.27 (#Attr.2, #Attr.3): - let Test.26 = lowlevel NumLt #Attr.2 #Attr.3; - ret Test.26; + let Test.28 = lowlevel NumLt #Attr.2 #Attr.3; + ret Test.28; procedure Test.1 (Test.2, Test.3, Test.4): joinpoint Test.12 Test.2 Test.3 Test.4: let Test.14 = CallByName Num.27 Test.3 Test.4; if Test.14 then dec Test.2; - let Test.25 = Array []; - let Test.24 = 0i64; - let Test.23 = Struct {Test.24, Test.25}; - let Test.5 = Index 0 Test.23; - let Test.6 = Index 1 Test.23; - let Test.21 = 1i64; - let Test.20 = CallByName Num.25 Test.5 Test.21; - let Test.16 = CallByName Test.1 Test.6 Test.3 Test.20; + let Test.27 = Array []; + let Test.26 = 0i64; + let Test.25 = Struct {Test.26, Test.27}; + let Test.5 = Index 0 Test.25; + let Test.6 = Index 1 Test.25; + let Test.22 = 1i64; + let Test.21 = CallByName Num.25 Test.5 Test.22; + let Test.16 = CallByName Test.1 Test.6 Test.3 Test.21; let Test.18 = 1i64; invoke Test.17 = CallByName Num.24 Test.5 Test.18 catch dec Test.16; diff --git a/compiler/test_mono/generated/record_optional_field_function_no_use_default.txt b/compiler/test_mono/generated/record_optional_field_function_no_use_default.txt index 4155eda65d..83f02209a0 100644 --- a/compiler/test_mono/generated/record_optional_field_function_no_use_default.txt +++ b/compiler/test_mono/generated/record_optional_field_function_no_use_default.txt @@ -10,8 +10,8 @@ procedure Test.1 (Test.4): ret Test.7; procedure Test.0 (): - let Test.9 = 4i64; - let Test.10 = 9i64; - let Test.6 = Struct {Test.9, Test.10}; + let Test.10 = 4i64; + let Test.11 = 9i64; + let Test.6 = Struct {Test.10, Test.11}; let Test.5 = CallByName Test.1 Test.6; ret Test.5; diff --git a/compiler/test_mono/generated/record_optional_field_function_use_default.txt b/compiler/test_mono/generated/record_optional_field_function_use_default.txt index 2f2f6165db..8d07d5021d 100644 --- a/compiler/test_mono/generated/record_optional_field_function_use_default.txt +++ b/compiler/test_mono/generated/record_optional_field_function_use_default.txt @@ -10,6 +10,6 @@ procedure Test.1 (Test.4): ret Test.7; procedure Test.0 (): - let Test.9 = 9i64; - let Test.5 = CallByName Test.1 Test.9; + let Test.10 = 9i64; + let Test.5 = CallByName Test.1 Test.10; ret Test.5; diff --git a/compiler/test_mono/generated/record_optional_field_let_no_use_default.txt b/compiler/test_mono/generated/record_optional_field_let_no_use_default.txt index d5aeb80f15..a5ea3d8fed 100644 --- a/compiler/test_mono/generated/record_optional_field_let_no_use_default.txt +++ b/compiler/test_mono/generated/record_optional_field_let_no_use_default.txt @@ -9,8 +9,8 @@ procedure Test.1 (Test.2): ret Test.7; procedure Test.0 (): - let Test.9 = 4i64; - let Test.10 = 9i64; - let Test.6 = Struct {Test.9, Test.10}; + let Test.10 = 4i64; + let Test.11 = 9i64; + let Test.6 = Struct {Test.10, Test.11}; let Test.5 = CallByName Test.1 Test.6; ret Test.5; diff --git a/compiler/test_mono/generated/record_optional_field_let_use_default.txt b/compiler/test_mono/generated/record_optional_field_let_use_default.txt index a96cc2dfce..b3886aaa28 100644 --- a/compiler/test_mono/generated/record_optional_field_let_use_default.txt +++ b/compiler/test_mono/generated/record_optional_field_let_use_default.txt @@ -9,6 +9,6 @@ procedure Test.1 (Test.2): ret Test.7; procedure Test.0 (): - let Test.9 = 9i64; - let Test.5 = CallByName Test.1 Test.9; + let Test.10 = 9i64; + let Test.5 = CallByName Test.1 Test.10; ret Test.5; diff --git a/compiler/test_mono/generated/somehow_drops_definitions.txt b/compiler/test_mono/generated/somehow_drops_definitions.txt index 46378c332c..da1f049ed5 100644 --- a/compiler/test_mono/generated/somehow_drops_definitions.txt +++ b/compiler/test_mono/generated/somehow_drops_definitions.txt @@ -1,23 +1,23 @@ procedure Num.24 (#Attr.2, #Attr.3): - let Test.27 = lowlevel NumAdd #Attr.2 #Attr.3; - ret Test.27; + let Test.28 = lowlevel NumAdd #Attr.2 #Attr.3; + ret Test.28; procedure Num.26 (#Attr.2, #Attr.3): let Test.22 = lowlevel NumMul #Attr.2 #Attr.3; ret Test.22; procedure Test.1 (): - let Test.28 = 1i64; - ret Test.28; + let Test.30 = 1i64; + ret Test.30; procedure Test.2 (): - let Test.23 = 2i64; - ret Test.23; + let Test.24 = 2i64; + ret Test.24; procedure Test.3 (Test.6): - let Test.26 = CallByName Test.1; - let Test.25 = CallByName Num.24 Test.6 Test.26; - ret Test.25; + let Test.27 = CallByName Test.1; + let Test.26 = CallByName Num.24 Test.6 Test.27; + ret Test.26; procedure Test.4 (Test.7): let Test.21 = CallByName Test.2; @@ -44,8 +44,8 @@ procedure Test.0 (): let Test.11 = CallByName Test.5 Test.12 Test.13; ret Test.11; in - let Test.24 = true; - if Test.24 then + let Test.25 = true; + if Test.25 then let Test.3 = Struct {}; jump Test.19 Test.3; else diff --git a/compiler/test_mono/generated/specialize_closures.txt b/compiler/test_mono/generated/specialize_closures.txt index 72c6e453e3..d2d87898bc 100644 --- a/compiler/test_mono/generated/specialize_closures.txt +++ b/compiler/test_mono/generated/specialize_closures.txt @@ -1,6 +1,6 @@ procedure Num.24 (#Attr.2, #Attr.3): - let Test.29 = lowlevel NumAdd #Attr.2 #Attr.3; - ret Test.29; + let Test.30 = lowlevel NumAdd #Attr.2 #Attr.3; + ret Test.30; procedure Num.26 (#Attr.2, #Attr.3): let Test.25 = lowlevel NumMul #Attr.2 #Attr.3; @@ -23,8 +23,8 @@ procedure Test.1 (Test.2, Test.3): procedure Test.7 (Test.10, #Attr.12): let Test.4 = Index 1 #Attr.12; - let Test.28 = CallByName Num.24 Test.10 Test.4; - ret Test.28; + let Test.29 = CallByName Num.24 Test.10 Test.4; + ret Test.29; procedure Test.8 (Test.11, #Attr.12): let Test.6 = Index 2 #Attr.12; @@ -44,12 +44,12 @@ procedure Test.0 (): let Test.13 = CallByName Test.1 Test.14 Test.15; ret Test.13; in - let Test.27 = true; - if Test.27 then - let Test.30 = 0i64; - let Test.7 = ClosureTag(Test.7) Test.30 Test.4; + let Test.28 = true; + if Test.28 then + let Test.32 = 0i64; + let Test.7 = ClosureTag(Test.7) Test.32 Test.4; jump Test.22 Test.7; else - let Test.26 = 1i64; - let Test.8 = ClosureTag(Test.8) Test.26 Test.5 Test.6; + let Test.27 = 1i64; + let Test.8 = ClosureTag(Test.8) Test.27 Test.5 Test.6; jump Test.22 Test.8; diff --git a/compiler/test_mono/generated/when_nested_maybe.txt b/compiler/test_mono/generated/when_nested_maybe.txt index a178a68f6d..8991931ca9 100644 --- a/compiler/test_mono/generated/when_nested_maybe.txt +++ b/compiler/test_mono/generated/when_nested_maybe.txt @@ -3,30 +3,30 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Test.8; procedure Test.0 (): - let Test.20 = 0i64; - let Test.22 = 0i64; - let Test.21 = 41i64; - let Test.19 = Just Test.22 Test.21; - let Test.2 = Just Test.20 Test.19; - joinpoint Test.16: - let Test.10 = 1i64; - ret Test.10; + let Test.21 = 0i64; + let Test.23 = 0i64; + let Test.22 = 41i64; + let Test.20 = Just Test.23 Test.22; + let Test.2 = Just Test.21 Test.20; + joinpoint Test.17: + let Test.11 = 1i64; + ret Test.11; in - let Test.14 = 0i64; - let Test.15 = Index 0 Test.2; - let Test.18 = lowlevel Eq Test.14 Test.15; - if Test.18 then - let Test.11 = Index 1 Test.2; - let Test.12 = 0i64; - let Test.13 = Index 0 Test.11; - let Test.17 = lowlevel Eq Test.12 Test.13; - if Test.17 then - let Test.9 = Index 1 Test.2; - let Test.5 = Index 1 Test.9; + let Test.15 = 0i64; + let Test.16 = Index 0 Test.2; + let Test.19 = lowlevel Eq Test.15 Test.16; + if Test.19 then + let Test.12 = Index 1 Test.2; + let Test.13 = 0i64; + let Test.14 = Index 0 Test.12; + let Test.18 = lowlevel Eq Test.13 Test.14; + if Test.18 then + let Test.10 = Index 1 Test.2; + let Test.5 = Index 1 Test.10; let Test.7 = 1i64; let Test.6 = CallByName Num.24 Test.5 Test.7; ret Test.6; else - jump Test.16; + jump Test.17; else - jump Test.16; + jump Test.17; diff --git a/compiler/test_mono/generated/when_on_record.txt b/compiler/test_mono/generated/when_on_record.txt index 860d4f5c79..7ab0e0f757 100644 --- a/compiler/test_mono/generated/when_on_record.txt +++ b/compiler/test_mono/generated/when_on_record.txt @@ -3,8 +3,8 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Test.5; procedure Test.0 (): - let Test.6 = 2i64; - let Test.1 = Index 0 Test.6; + let Test.7 = 2i64; + let Test.1 = Index 0 Test.7; let Test.4 = 3i64; let Test.3 = CallByName Num.24 Test.1 Test.4; ret Test.3; diff --git a/compiler/test_mono/generated/when_on_two_values.txt b/compiler/test_mono/generated/when_on_two_values.txt index d1505ab90c..2d58d97623 100644 --- a/compiler/test_mono/generated/when_on_two_values.txt +++ b/compiler/test_mono/generated/when_on_two_values.txt @@ -3,26 +3,26 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Test.7; procedure Test.0 (): - let Test.16 = 3i64; - let Test.15 = 2i64; - let Test.4 = Struct {Test.15, Test.16}; - joinpoint Test.12: + let Test.17 = 3i64; + let Test.16 = 2i64; + let Test.4 = Struct {Test.16, Test.17}; + joinpoint Test.13: let Test.2 = Index 0 Test.4; let Test.3 = Index 1 Test.4; let Test.6 = CallByName Num.24 Test.2 Test.3; ret Test.6; in - let Test.10 = Index 1 Test.4; - let Test.11 = 3i64; - let Test.14 = lowlevel Eq Test.11 Test.10; - if Test.14 then - let Test.8 = Index 0 Test.4; - let Test.9 = 4i64; - let Test.13 = lowlevel Eq Test.9 Test.8; - if Test.13 then + let Test.11 = Index 1 Test.4; + let Test.12 = 3i64; + let Test.15 = lowlevel Eq Test.12 Test.11; + if Test.15 then + let Test.9 = Index 0 Test.4; + let Test.10 = 4i64; + let Test.14 = lowlevel Eq Test.10 Test.9; + if Test.14 then let Test.5 = 9i64; ret Test.5; else - jump Test.12; + jump Test.13; else - jump Test.12; + jump Test.13;