Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 40dd075

Browse files
committedJun 9, 2024
fix simd_bitmask return type for non-power-of-two inputs, and add tests
1 parent 004f5b8 commit 40dd075

File tree

3 files changed

+128
-15
lines changed

3 files changed

+128
-15
lines changed
 

‎compiler/rustc_codegen_llvm/src/intrinsic.rs

+4-3
Original file line numberDiff line numberDiff line change
@@ -1120,7 +1120,7 @@ fn generic_simd_intrinsic<'ll, 'tcx>(
11201120
let (len, _) = require_simd!(arg_tys[1], SimdArgument);
11211121

11221122
let expected_int_bits = (len.max(8) - 1).next_power_of_two();
1123-
let expected_bytes = len / 8 + ((len % 8 > 0) as u64);
1123+
let expected_bytes = len.div_ceil(8);
11241124

11251125
let mask_ty = arg_tys[0];
11261126
let mask = match mask_ty.kind() {
@@ -1386,8 +1386,8 @@ fn generic_simd_intrinsic<'ll, 'tcx>(
13861386
//
13871387
// The bit order of the result depends on the byte endianness, LSB-first for little
13881388
// endian and MSB-first for big endian.
1389-
let expected_int_bits = in_len.max(8);
1390-
let expected_bytes = expected_int_bits / 8 + ((expected_int_bits % 8 > 0) as u64);
1389+
let expected_int_bits = (in_len.max(8) - 1).next_power_of_two();
1390+
let expected_bytes = in_len.div_ceil(8);
13911391

13921392
// Integer vector <i{in_bitwidth} x in_len>:
13931393
let (i_xn, in_elem_bitwidth) = match in_elem.kind() {
@@ -1408,6 +1408,7 @@ fn generic_simd_intrinsic<'ll, 'tcx>(
14081408
};
14091409

14101410
// Shift the MSB to the right by "in_elem_bitwidth - 1" into the first bit position.
1411+
// FIXME: the docs say that valid inputs are `0` or `!0`, so the shift seems unnecessary.
14111412
let shift_indices =
14121413
vec![
14131414
bx.cx.const_int(bx.type_ix(in_elem_bitwidth), (in_elem_bitwidth - 1) as _);

‎tests/ui/simd/simd-bitmask-notpow2.rs

+91
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,91 @@
1+
//@run-pass
2+
// SEGFAULTS on LLVM 17. This hsould be merged into `simd-bitmask` once we require LLVM 18.
3+
//@ min-llvm-version: 18
4+
#![feature(repr_simd, intrinsics)]
5+
6+
extern "rust-intrinsic" {
7+
fn simd_bitmask<T, U>(v: T) -> U;
8+
fn simd_select_bitmask<T, U>(m: T, a: U, b: U) -> U;
9+
}
10+
11+
fn main() {
12+
// Non-power-of-2 multi-byte mask.
13+
#[repr(simd, packed)]
14+
#[allow(non_camel_case_types)]
15+
#[derive(Copy, Clone, Debug, PartialEq)]
16+
struct i32x10([i32; 10]);
17+
impl i32x10 {
18+
fn splat(x: i32) -> Self {
19+
Self([x; 10])
20+
}
21+
}
22+
unsafe {
23+
let mask = i32x10([!0, !0, 0, !0, 0, 0, !0, 0, !0, 0]);
24+
let mask_bits = if cfg!(target_endian = "little") { 0b0101001011 } else { 0b1101001010 };
25+
let mask_bytes =
26+
if cfg!(target_endian = "little") { [0b01001011, 0b01] } else { [0b11, 0b01001010] };
27+
28+
let bitmask1: u16 = simd_bitmask(mask);
29+
let bitmask2: [u8; 2] = simd_bitmask(mask);
30+
assert_eq!(bitmask1, mask_bits);
31+
assert_eq!(bitmask2, mask_bytes);
32+
33+
let selected1 = simd_select_bitmask::<u16, _>(
34+
mask_bits,
35+
i32x10::splat(!0), // yes
36+
i32x10::splat(0), // no
37+
);
38+
let selected2 = simd_select_bitmask::<[u8; 2], _>(
39+
mask_bytes,
40+
i32x10::splat(!0), // yes
41+
i32x10::splat(0), // no
42+
);
43+
assert_eq!(selected1, mask);
44+
assert_eq!(selected2, mask);
45+
}
46+
47+
// Test for a mask where the next multiple of 8 is not a power of two.
48+
/* FIXME: test is disabled because it segfaults on LLVM 17.
49+
Enable once we require LLVM 18.
50+
#[repr(simd, packed)]
51+
#[allow(non_camel_case_types)]
52+
#[derive(Copy, Clone, Debug, PartialEq)]
53+
struct i32x20([i32; 20]);
54+
impl i32x20 {
55+
fn splat(x: i32) -> Self {
56+
Self([x; 20])
57+
}
58+
}
59+
unsafe {
60+
let mask = i32x20([!0, !0, 0, !0, 0, 0, !0, 0, !0, 0, 0, 0, 0, !0, !0, !0, !0, !0, !0, !0]);
61+
let mask_bits = if cfg!(target_endian = "little") {
62+
0b11111110000101001011
63+
} else {
64+
0b11010010100001111111
65+
};
66+
let mask_bytes = if cfg!(target_endian = "little") {
67+
[0b01001011, 0b11100001, 0b1111]
68+
} else {
69+
[0b1101, 0b00101000, 0b01111111]
70+
};
71+
72+
let bitmask1: u32 = simd_bitmask(mask);
73+
let bitmask2: [u8; 3] = simd_bitmask(mask);
74+
assert_eq!(bitmask1, mask_bits);
75+
assert_eq!(bitmask2, mask_bytes);
76+
77+
let selected1 = simd_select_bitmask::<u32, _>(
78+
mask_bits,
79+
i32x20::splat(!0), // yes
80+
i32x20::splat(0), // no
81+
);
82+
let selected2 = simd_select_bitmask::<[u8; 3], _>(
83+
mask_bytes,
84+
i32x20::splat(!0), // yes
85+
i32x20::splat(0), // no
86+
);
87+
assert_eq!(selected1, mask);
88+
assert_eq!(selected2, mask);
89+
}
90+
*/
91+
}

‎tests/ui/simd/simd-bitmask.rs

+33-12
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
//@run-pass
2-
//@ignore-endian-big behavior of simd_select_bitmask is endian-specific
32
#![feature(repr_simd, intrinsics)]
43

54
extern "rust-intrinsic" {
@@ -17,36 +16,58 @@ fn main() {
1716
let i: u8 = simd_bitmask(v);
1817
let a: [u8; 1] = simd_bitmask(v);
1918

20-
assert_eq!(i, 0b0101);
21-
assert_eq!(a, [0b0101]);
19+
if cfg!(target_endian = "little") {
20+
assert_eq!(i, 0b0101);
21+
assert_eq!(a, [0b0101]);
22+
} else {
23+
assert_eq!(i, 0b1010);
24+
assert_eq!(a, [0b1010]);
25+
}
2226

2327
let v = Simd::<i8, 16>([0, 0, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, -1, 0]);
2428
let i: u16 = simd_bitmask(v);
2529
let a: [u8; 2] = simd_bitmask(v);
2630

27-
assert_eq!(i, 0b0101000000001100);
28-
assert_eq!(a, [0b1100, 0b01010000]);
31+
if cfg!(target_endian = "little") {
32+
assert_eq!(i, 0b0101000000001100);
33+
assert_eq!(a, [0b00001100, 0b01010000]);
34+
} else {
35+
assert_eq!(i, 0b0011000000001010);
36+
assert_eq!(a, [0b00110000, 0b00001010]);
37+
}
2938
}
3039

3140
unsafe {
32-
let a = Simd::<i32, 8>([0, 1, 2, 3, 4, 5, 6, 7]);
33-
let b = Simd::<i32, 8>([8, 9, 10, 11, 12, 13, 14, 15]);
34-
let e = [0, 9, 2, 11, 12, 13, 14, 15];
41+
let a = Simd::<i32, 4>([0, 1, 2, 3]);
42+
let b = Simd::<i32, 4>([8, 9, 10, 11]);
43+
let e = [0, 9, 2, 11];
3544

36-
let r = simd_select_bitmask(0b0101u8, a, b);
45+
let mask = if cfg!(target_endian = "little") { 0b0101u8 } else { 0b1010u8 };
46+
let r = simd_select_bitmask(mask, a, b);
3747
assert_eq!(r.0, e);
3848

39-
let r = simd_select_bitmask([0b0101u8], a, b);
49+
let mask = if cfg!(target_endian = "little") { [0b0101u8] } else { [0b1010u8] };
50+
let r = simd_select_bitmask(mask, a, b);
4051
assert_eq!(r.0, e);
4152

4253
let a = Simd::<i32, 16>([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]);
4354
let b = Simd::<i32, 16>([16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31]);
4455
let e = [16, 17, 2, 3, 20, 21, 22, 23, 24, 25, 26, 27, 12, 29, 14, 31];
4556

46-
let r = simd_select_bitmask(0b0101000000001100u16, a, b);
57+
let mask = if cfg!(target_endian = "little") {
58+
0b0101000000001100u16
59+
} else {
60+
0b0011000000001010u16
61+
};
62+
let r = simd_select_bitmask(mask, a, b);
4763
assert_eq!(r.0, e);
4864

49-
let r = simd_select_bitmask([0b1100u8, 0b01010000u8], a, b);
65+
let mask = if cfg!(target_endian = "little") {
66+
[0b00001100u8, 0b01010000u8]
67+
} else {
68+
[0b00110000u8, 0b00001010u8]
69+
};
70+
let r = simd_select_bitmask(mask, a, b);
5071
assert_eq!(r.0, e);
5172
}
5273
}

0 commit comments

Comments
 (0)
Failed to load comments.