Skip to content

Commit 37656f4

Browse files
committed
update uitest and mono_test
1 parent 87b31a5 commit 37656f4

File tree

4 files changed

+915
-881
lines changed

4 files changed

+915
-881
lines changed

crates/compiler/test_gen/src/gen_num.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -3869,7 +3869,7 @@ fn condition_polymorphic_num_becomes_float() {
38693869
}
38703870

38713871
#[test]
3872-
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))]
3872+
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
38733873
fn num_count_leading_zero_bits() {
38743874
assert_evals_to!(r#"Num.countLeadingZeroBits 0b0010_1000u8"#, 2, u8);
38753875
assert_evals_to!(r#"Num.countLeadingZeroBits 0b0010_1000u16"#, 10, u8);
@@ -3878,7 +3878,7 @@ fn num_count_leading_zero_bits() {
38783878
}
38793879

38803880
#[test]
3881-
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))]
3881+
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
38823882
fn num_count_trailing_zero_bits() {
38833883
assert_evals_to!(r#"Num.countTrailingZeroBits 0b0010_1000u8"#, 3, u8);
38843884
assert_evals_to!(r#"Num.countTrailingZeroBits 0b0010_0000u16"#, 5, u8);
@@ -3887,7 +3887,7 @@ fn num_count_trailing_zero_bits() {
38873887
}
38883888

38893889
#[test]
3890-
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))]
3890+
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
38913891
fn num_count_one_bits() {
38923892
assert_evals_to!(r#"Num.countOneBits 0b0010_1000u8"#, 2, u8);
38933893
assert_evals_to!(r#"Num.countOneBits 0b0010_0000u16"#, 1, u8);
+40-87
Original file line numberDiff line numberDiff line change
@@ -1,93 +1,46 @@
1-
procedure Dict.1 (Dict.595):
2-
let Dict.605 : List {[], []} = Array [];
3-
let Dict.612 : U64 = 0i64;
4-
let Dict.613 : U64 = 8i64;
5-
let Dict.606 : List U64 = CallByName List.11 Dict.612 Dict.613;
6-
let Dict.609 : I8 = CallByName Dict.43;
7-
let Dict.610 : U64 = 8i64;
8-
let Dict.607 : List I8 = CallByName List.11 Dict.609 Dict.610;
9-
let Dict.608 : U64 = 0i64;
10-
let Dict.604 : {List {[], []}, List U64, List I8, U64} = Struct {Dict.605, Dict.606, Dict.607, Dict.608};
11-
ret Dict.604;
12-
13-
procedure Dict.4 (Dict.602):
14-
let Dict.108 : U64 = StructAtIndex 3 Dict.602;
15-
let #Derived_gen.8 : List {[], []} = StructAtIndex 0 Dict.602;
16-
dec #Derived_gen.8;
17-
let #Derived_gen.7 : List U64 = StructAtIndex 1 Dict.602;
18-
dec #Derived_gen.7;
19-
let #Derived_gen.6 : List I8 = StructAtIndex 2 Dict.602;
20-
dec #Derived_gen.6;
21-
ret Dict.108;
22-
23-
procedure Dict.43 ():
24-
let Dict.611 : I8 = -128i64;
25-
ret Dict.611;
26-
27-
procedure List.11 (List.133, List.134):
28-
let List.554 : List I8 = CallByName List.68 List.134;
29-
let List.553 : List I8 = CallByName List.86 List.133 List.134 List.554;
1+
procedure Dict.1 (Dict.594):
2+
let Dict.604 : List {[], []} = Array [];
3+
let Dict.35 : List U64 = CallByName Dict.35;
4+
let Dict.34 : List I8 = CallByName Dict.34;
5+
let Dict.603 : {List {[], []}, List U64, List I8} = Struct {Dict.604, Dict.35, Dict.34};
6+
ret Dict.603;
7+
8+
procedure Dict.34 ():
9+
let Dict.606 : I8 = CallByName Dict.46;
10+
let Dict.607 : I8 = CallByName Dict.46;
11+
let Dict.608 : I8 = CallByName Dict.46;
12+
let Dict.609 : I8 = CallByName Dict.46;
13+
let Dict.610 : I8 = CallByName Dict.46;
14+
let Dict.611 : I8 = CallByName Dict.46;
15+
let Dict.612 : I8 = CallByName Dict.46;
16+
let Dict.613 : I8 = CallByName Dict.46;
17+
let Dict.605 : List I8 = Array [Dict.606, Dict.607, Dict.608, Dict.609, Dict.610, Dict.611, Dict.612, Dict.613];
18+
ret Dict.605;
19+
20+
procedure Dict.35 ():
21+
let Dict.615 : List U64 = Array [0i64, 0i64, 0i64, 0i64, 0i64, 0i64, 0i64, 0i64];
22+
ret Dict.615;
23+
24+
procedure Dict.4 (Dict.601):
25+
let Dict.114 : List {[], []} = StructAtIndex 0 Dict.601;
26+
let #Derived_gen.1 : List U64 = StructAtIndex 1 Dict.601;
27+
dec #Derived_gen.1;
28+
let #Derived_gen.0 : List I8 = StructAtIndex 2 Dict.601;
29+
dec #Derived_gen.0;
30+
let Dict.602 : U64 = CallByName List.6 Dict.114;
31+
dec Dict.114;
32+
ret Dict.602;
33+
34+
procedure Dict.46 ():
35+
let Dict.614 : I8 = -128i64;
36+
ret Dict.614;
37+
38+
procedure List.6 (#Attr.2):
39+
let List.553 : U64 = lowlevel ListLen #Attr.2;
3040
ret List.553;
3141

32-
procedure List.11 (List.133, List.134):
33-
let List.566 : List U64 = CallByName List.68 List.134;
34-
let List.565 : List U64 = CallByName List.86 List.133 List.134 List.566;
35-
ret List.565;
36-
37-
procedure List.68 (#Attr.2):
38-
let List.564 : List I8 = lowlevel ListWithCapacity #Attr.2;
39-
ret List.564;
40-
41-
procedure List.68 (#Attr.2):
42-
let List.576 : List U64 = lowlevel ListWithCapacity #Attr.2;
43-
ret List.576;
44-
45-
procedure List.71 (#Attr.2, #Attr.3):
46-
let List.561 : List I8 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
47-
ret List.561;
48-
49-
procedure List.71 (#Attr.2, #Attr.3):
50-
let List.573 : List U64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
51-
ret List.573;
52-
53-
procedure List.86 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2):
54-
joinpoint List.555 List.135 List.136 List.137:
55-
let List.563 : U64 = 0i64;
56-
let List.557 : Int1 = CallByName Num.24 List.136 List.563;
57-
if List.557 then
58-
let List.562 : U64 = 1i64;
59-
let List.559 : U64 = CallByName Num.75 List.136 List.562;
60-
let List.560 : List I8 = CallByName List.71 List.137 List.135;
61-
jump List.555 List.135 List.559 List.560;
62-
else
63-
ret List.137;
64-
in
65-
jump List.555 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2;
66-
67-
procedure List.86 (#Derived_gen.3, #Derived_gen.4, #Derived_gen.5):
68-
joinpoint List.567 List.135 List.136 List.137:
69-
let List.575 : U64 = 0i64;
70-
let List.569 : Int1 = CallByName Num.24 List.136 List.575;
71-
if List.569 then
72-
let List.574 : U64 = 1i64;
73-
let List.571 : U64 = CallByName Num.75 List.136 List.574;
74-
let List.572 : List U64 = CallByName List.71 List.137 List.135;
75-
jump List.567 List.135 List.571 List.572;
76-
else
77-
ret List.137;
78-
in
79-
jump List.567 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5;
80-
81-
procedure Num.24 (#Attr.2, #Attr.3):
82-
let Num.294 : Int1 = lowlevel NumGt #Attr.2 #Attr.3;
83-
ret Num.294;
84-
85-
procedure Num.75 (#Attr.2, #Attr.3):
86-
let Num.292 : U64 = lowlevel NumSubWrap #Attr.2 #Attr.3;
87-
ret Num.292;
88-
8942
procedure Test.0 ():
9043
let Test.3 : {} = Struct {};
91-
let Test.2 : {List {[], []}, List U64, List I8, U64} = CallByName Dict.1 Test.3;
44+
let Test.2 : {List {[], []}, List U64, List I8} = CallByName Dict.1 Test.3;
9245
let Test.1 : U64 = CallByName Dict.4 Test.2;
9346
ret Test.1;

0 commit comments

Comments
 (0)