src/tools/miri/tests/fail/intrinsics/simd-select-bitmask-invalid.rs

   1 #![feature(platform_intrinsics, repr_simd)]
   2
   3 extern "platform-intrinsic" {
   4     fn simd_select_bitmask<M, T>(m: M, yes: T, no: T) -> T;
   5 }
   6
   7 #[repr(simd)]
   8 #[allow(non_camel_case_types)]
   9 #[derive(Copy, Clone)]
  10 struct i32x2(i32, i32);
  11
  12 fn main() {
  13     unsafe {
  14         let x = i32x2(0, 1);
  15         simd_select_bitmask(0b11111111u8, x, x); //~ERROR: bitmask less than 8 bits long must be filled with 0s for the remaining bits
  16     }
  17 }