src/tools/miri/tests/fail/intrinsics/simd-shl-too-far.rs

   1 #![feature(platform_intrinsics, repr_simd)]
   2
   3 extern "platform-intrinsic" {
   4     pub(crate) fn simd_shl<T>(x: T, y: T) -> T;
   5 }
   6
   7 #[repr(simd)]
   8 #[allow(non_camel_case_types)]
   9 struct i32x2(i32, i32);
  10
  11 fn main() {
  12     unsafe {
  13         let x = i32x2(1, 1);
  14         let y = i32x2(100, 0);
  15         simd_shl(x, y); //~ERROR: overflowing shift by 100 in `simd_shl` in SIMD lane 0
  16     }
  17 }