@@ -5,47 +5,47 @@ target aarch64
55; `avg_round` on `i64x2` values.
66; x86_64 also does not currently support `avg_round.i32x4`.
77
8- function %average_rounding_i8x8 (i8x8, i8x8) -> i8x8 {
8+ function %avg_round_i8x8 (i8x8, i8x8) -> i8x8 {
99block0(v0: i8x8, v1: i8x8):
1010 v2 = avg_round v0, v1
1111 return v2
1212}
13- ; run: %average_rounding_i8x8 ([0 0 0 1 42 19 -1 0xff], [0 1 2 4 42 18 -1 0]) == [0 1 1 3 42 19 -1 0x80]
13+ ; run: %avg_round_i8x8 ([0 0 0 1 42 19 -1 0xff], [0 1 2 4 42 18 -1 0]) == [0 1 1 3 42 19 -1 0x80]
1414
15- function %average_rounding_i16x4 (i16x4, i16x4) -> i16x4 {
15+ function %avg_round_i16x4 (i16x4, i16x4) -> i16x4 {
1616block0(v0: i16x4, v1: i16x4):
1717 v2 = avg_round v0, v1
1818 return v2
1919}
20- ; run: %average_rounding_i16x4 ([0 0 0 1], [0 1 2 4]) == [0 1 1 3]
21- ; run: %average_rounding_i16x4 ([42 19 -1 0xffff], [42 18 -1 0]) == [42 19 -1 0x8000]
20+ ; run: %avg_round_i16x4 ([0 0 0 1], [0 1 2 4]) == [0 1 1 3]
21+ ; run: %avg_round_i16x4 ([42 19 -1 0xffff], [42 18 -1 0]) == [42 19 -1 0x8000]
2222
23- function %average_rounding_i32x2 (i32x2, i32x2) -> i32x2 {
23+ function %avg_round_i32x2 (i32x2, i32x2) -> i32x2 {
2424block0(v0: i32x2, v1: i32x2):
2525 v2 = avg_round v0, v1
2626 return v2
2727}
28- ; run: %average_rounding_i32x2 ([0 0], [0 1]) == [0 1]
29- ; run: %average_rounding_i32x2 ([0 1], [2 4]) == [1 3]
30- ; run: %average_rounding_i32x2 ([42 19], [42 18]) == [42 19]
31- ; run: %average_rounding_i32x2 ([-1 0xffffffff], [-1 0]) == [-1 0x80000000]
32- ; run: %average_rounding_i32x2 ([0xffffffff 0xfffffffd], [10 0xffffffff]) == [0x80000005 0xfffffffe]
28+ ; run: %avg_round_i32x2 ([0 0], [0 1]) == [0 1]
29+ ; run: %avg_round_i32x2 ([0 1], [2 4]) == [1 3]
30+ ; run: %avg_round_i32x2 ([42 19], [42 18]) == [42 19]
31+ ; run: %avg_round_i32x2 ([-1 0xffffffff], [-1 0]) == [-1 0x80000000]
32+ ; run: %avg_round_i32x2 ([0xffffffff 0xfffffffd], [10 0xffffffff]) == [0x80000005 0xfffffffe]
3333
34- function %average_rounding_i32x4 (i32x4, i32x4) -> i32x4 {
34+ function %avg_round_i32x4 (i32x4, i32x4) -> i32x4 {
3535block0(v0: i32x4, v1: i32x4):
3636 v2 = avg_round v0, v1
3737 return v2
3838}
39- ; run: %average_rounding_i32x4 ([0 0 0 0xffffffff], [0 1 2 0]) == [0 1 1 0x80000000]
40- ; run: %average_rounding_i32x4 ([1 42 19 -1], [4 42 18 -1]) == [3 42 19 -1]
39+ ; run: %avg_round_i32x4 ([0 0 0 0xffffffff], [0 1 2 0]) == [0 1 1 0x80000000]
40+ ; run: %avg_round_i32x4 ([1 42 19 -1], [4 42 18 -1]) == [3 42 19 -1]
4141
42- function %average_rounding_i64x2 (i64x2, i64x2) -> i64x2 {
42+ function %avg_round_i64x2 (i64x2, i64x2) -> i64x2 {
4343block0(v0: i64x2, v1: i64x2):
4444 v2 = avg_round v0, v1
4545 return v2
4646}
47- ; run: %average_rounding_i64x2 ([0 0], [0 1]) == [0 1]
48- ; run: %average_rounding_i64x2 ([0 1], [2 4]) == [1 3]
49- ; run: %average_rounding_i64x2 ([42 19], [42 18]) == [42 19]
50- ; run: %average_rounding_i64x2 ([-1 0xffffffffffffffff], [-1 0]) == [-1 0x8000000000000000]
51- ; run: %average_rounding_i64x2 ([0xffffffffffffffff 0xfffffffffffffffd], [10 0xffffffffffffffff]) == [0x8000000000000005 0xfffffffffffffffe]
47+ ; run: %avg_round_i64x2 ([0 0], [0 1]) == [0 1]
48+ ; run: %avg_round_i64x2 ([0 1], [2 4]) == [1 3]
49+ ; run: %avg_round_i64x2 ([42 19], [42 18]) == [42 19]
50+ ; run: %avg_round_i64x2 ([-1 0xffffffffffffffff], [-1 0]) == [-1 0x8000000000000000]
51+ ; run: %avg_round_i64x2 ([0xffffffffffffffff 0xfffffffffffffffd], [10 0xffffffffffffffff]) == [0x8000000000000005 0xfffffffffffffffe]
0 commit comments