diff options
Diffstat (limited to 'tests/ui/simd/masked-load-store-check-fail.rs')
-rw-r--r-- | tests/ui/simd/masked-load-store-check-fail.rs | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/tests/ui/simd/masked-load-store-check-fail.rs b/tests/ui/simd/masked-load-store-check-fail.rs new file mode 100644 index 000000000..d4b35e211 --- /dev/null +++ b/tests/ui/simd/masked-load-store-check-fail.rs @@ -0,0 +1,32 @@ +// check-fail +#![feature(repr_simd, platform_intrinsics)] + +extern "platform-intrinsic" { + fn simd_masked_load<M, P, T>(mask: M, pointer: P, values: T) -> T; + fn simd_masked_store<M, P, T>(mask: M, pointer: P, values: T) -> (); +} + +#[derive(Copy, Clone)] +#[repr(simd)] +struct Simd<T, const N: usize>([T; N]); + +fn main() { + unsafe { + let mut arr = [4u8, 5, 6, 7]; + let default = Simd::<u8, 4>([9; 4]); + + let _x: Simd<u8, 2> = simd_masked_load( + Simd::<i8, 4>([-1, 0, -1, -1]), + arr.as_ptr(), + Simd::<u8, 4>([9; 4]) + ); + //~^^ ERROR mismatched types + + let _x: Simd<u32, 4> = simd_masked_load( + Simd::<u8, 4>([1, 0, 1, 1]), + arr.as_ptr(), + default + ); + //~^^ ERROR mismatched types + } +} |