Test #[rustc_simd_monomorphize_lane_limit] cross-crate

Author: calebzulawski

tests/ui/simd/auxiliary/simd-lane-limit.rs

@@ -0,0 +1,5 @@
+#![feature(rustc_attrs, repr_simd)]
+
+#[repr(simd, packed)]
+#[rustc_simd_monomorphize_lane_limit = "8"]
+pub struct Simd<T, const N: usize>(pub [T; N]);

tests/ui/simd/simd-lane-limit-err-npow2.rs

@@ -1,11 +1,12 @@
-#![feature(rustc_attrs, repr_simd)]
-
 //@ build-fail
+//@ aux-crate:simd=simd-lane-limit.rs
+
+extern crate simd;
 
-#[repr(simd, packed)]
-#[rustc_simd_monomorphize_lane_limit = "4"]
-struct V<T, const N: usize>([T; N]);
+use simd::Simd;
 
 fn main() {
-    let _a: V<i32, 6> = V([0; 6]); //~ ERROR the SIMD type `V<i32, 6>` has more elements than the limit 4
+    // test non-power-of-two, since #[repr(simd, packed)] has unusual layout
+    let _x: Simd<i32, 24> = Simd([0; 24]);
+    //~^ ERROR the SIMD type `simd::Simd<i32, 24>` has more elements than the limit 8
 }

tests/ui/simd/simd-lane-limit-err-npow2.stderr

@@ -1,7 +1,7 @@
-error: the SIMD type `V<i32, 6>` has more elements than the limit 4
+error: the SIMD type `simd::Simd<i32, 24>` has more elements than the limit 8
   --> $DIR/simd-lane-limit-err-npow2.rs:10:9
    |
-LL |     let _a: V<i32, 6> = V([0; 6]);
+LL |     let _x: Simd<i32, 24> = Simd([0; 24]);
    |         ^^
 
 error: aborting due to 1 previous error

tests/ui/simd/simd-lane-limit-err.rs

@@ -1,11 +1,11 @@
-#![feature(rustc_attrs, repr_simd)]
-
 //@ build-fail
+//@ aux-crate:simd=simd-lane-limit.rs
+
+extern crate simd;
 
-#[repr(simd, packed)]
-#[rustc_simd_monomorphize_lane_limit = "4"]
-struct V<T, const N: usize>([T; N]);
+use simd::Simd;
 
 fn main() {
-    let _a: V<i32, 8> = V([0; 8]); //~ ERROR the SIMD type `V<i32, 8>` has more elements than the limit 4
+    let _x: Simd<i32, 16> = Simd([0; 16]);
+    //~^ ERROR the SIMD type `simd::Simd<i32, 16>` has more elements than the limit 8
 }

tests/ui/simd/simd-lane-limit-err.stderr

@@ -1,7 +1,7 @@
-error: the SIMD type `V<i32, 8>` has more elements than the limit 4
-  --> $DIR/simd-lane-limit-err.rs:10:9
+error: the SIMD type `simd::Simd<i32, 16>` has more elements than the limit 8
+  --> $DIR/simd-lane-limit-err.rs:9:9
    |
-LL |     let _a: V<i32, 8> = V([0; 8]);
+LL |     let _x: Simd<i32, 16> = Simd([0; 16]);
    |         ^^
 
 error: aborting due to 1 previous error

tests/ui/simd/simd-lane-limit-ok.rs

@@ -1,13 +1,14 @@
-#![feature(rustc_attrs, repr_simd)]
-
 //@ build-pass
+//@ aux-crate:simd=simd-lane-limit.rs
 
-#[repr(simd, packed)]
-#[rustc_simd_monomorphize_lane_limit = "8"]
-struct V<T, const N: usize>([T; N]);
+extern crate simd;
 
-const LANES: usize = 4;
+use simd::Simd;
 
 fn main() {
-    let _x: V<i32, LANES> = V([0; LANES]);
+    let _x: Simd<i32, 4> = Simd([0; 4]);
+    let _y: Simd<i32, 8> = Simd([0; 8]);
+
+    // test non-power-of-two, since #[repr(simd, packed)] has unusual layout
+    let _z: Simd<i32, 6> = Simd([0; 6]);
 }