separate simd_shuffle test from other tests

Author: tedinski

src/test/cbmc/SIMD/Construction/main.rs

@@ -7,16 +7,9 @@
 #[derive(Clone, Copy, PartialEq, Eq)]
 pub struct i64x2(i64, i64);
 
-#[repr(simd)]
-#[allow(non_camel_case_types)]
-#[derive(Clone, Copy, PartialEq, Eq)]
-pub struct i64x4(i64, i64, i64, i64);
-
 extern "platform-intrinsic" {
     fn simd_extract<T, U>(x: T, idx: u32) -> U;
     fn simd_insert<T, U>(x: T, idx: u32, b: U) -> T;
-    fn simd_shuffle2<T, U>(x: T, y: T, idx: [u32; 2]) -> U;
-    fn simd_shuffle4<T, U>(x: T, y: T, idx: [u32; 4]) -> U;
 }
 
 fn main() {
@@ -43,17 +36,4 @@ fn main() {
         // Original unchanged
         assert!(y.0 == 0 && y.1 == 1);
     }
-    {
-        const I: [u32; 2] = [1, 2];
-        let x: i64x2 = unsafe { simd_shuffle2(y, z, I) };
-        assert!(x.0 == 1);
-        assert!(x.1 == 1);
-    }
-    {
-        let a = i64x4(1, 2, 3, 4);
-        let b = i64x4(5, 6, 7, 8);
-        const I: [u32; 4] = [1, 3, 5, 7];
-        let c: i64x4 = unsafe { simd_shuffle4(a, b, I) };
-        assert!(c == i64x4(2, 4, 6, 8));
-    }
 }

src/test/cbmc/SIMD/Shuffle/main.rs

@@ -0,0 +1,36 @@
+// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0 OR MIT
+#![feature(repr_simd, platform_intrinsics)]
+
+#[repr(simd)]
+#[allow(non_camel_case_types)]
+#[derive(Clone, Copy, PartialEq, Eq)]
+pub struct i64x2(i64, i64);
+
+#[repr(simd)]
+#[allow(non_camel_case_types)]
+#[derive(Clone, Copy, PartialEq, Eq)]
+pub struct i64x4(i64, i64, i64, i64);
+
+extern "platform-intrinsic" {
+    fn simd_shuffle2<T, U>(x: T, y: T, idx: [u32; 2]) -> U;
+    fn simd_shuffle4<T, U>(x: T, y: T, idx: [u32; 4]) -> U;
+}
+
+fn main() {
+    {
+        let y = i64x2(0, 1);
+        let z = i64x2(1, 2);
+        const I: [u32; 2] = [1, 2];
+        let x: i64x2 = unsafe { simd_shuffle2(y, z, I) };
+        assert!(x.0 == 1);
+        assert!(x.1 == 1);
+    }
+    {
+        let a = i64x4(1, 2, 3, 4);
+        let b = i64x4(5, 6, 7, 8);
+        const I: [u32; 4] = [1, 3, 5, 7];
+        let c: i64x4 = unsafe { simd_shuffle4(a, b, I) };
+        assert!(c == i64x4(2, 4, 6, 8));
+    }
+}