Handle intrinsics with constraints in the test tool.

Rather than using the csv export from the tracking spreadsheet we now
use the csv from the ACLE repository. This data contains any
constraints that the intrinsic has.

Author: JamieCunliffe

.github/workflows/main.yml

@@ -171,6 +171,8 @@ jobs:
 
     steps:
     - uses: actions/checkout@master
+      with:
+        submodules: recursive
     - name: Install Rust (rustup)
       run: |
         rustup update nightly --no-self-update

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "crates/intrinsic-test/acle"]
+	path = crates/intrinsic-test/acle
+	url = https://github.com/ARM-software/acle.git

ci/run.sh

@@ -122,7 +122,7 @@ esac
 
 if [ "${TARGET}" = "aarch64-unknown-linux-gnu" ]; then
     export CPPFLAGS="-fuse-ld=lld -I/usr/aarch64-linux-gnu/include/ -I/usr/aarch64-linux-gnu/include/c++/9/aarch64-linux-gnu/"
-    cargo run ${INTRINSIC_TEST} --release --bin intrinsic-test -- crates/intrinsic-test/neon-intrinsics.csv --runner "${CARGO_TARGET_AARCH64_UNKNOWN_LINUX_GNU_RUNNER}" --cppcompiler "clang++-12"
+    cargo run ${INTRINSIC_TEST} --release --bin intrinsic-test -- crates/intrinsic-test/acle/tools/intrinsic_db/advsimd.csv --runner "${CARGO_TARGET_AARCH64_UNKNOWN_LINUX_GNU_RUNNER}" --cppcompiler "clang++-12" --skip crates/intrinsic-test/missing.txt
 fi
 
 if [ "$NORUN" != "1" ] && [ "$NOSTD" != 1 ]; then

crates/core_arch/src/aarch64/neon/mod.rs

@@ -26,13 +26,13 @@ types! {
 }
 
 /// ARM-specific type containing two `float64x1_t` vectors.
-#[derive(Copy, Clone)]
+#[derive(Copy, Clone, Debug)]
 pub struct float64x1x2_t(pub float64x1_t, pub float64x1_t);
 /// ARM-specific type containing three `float64x1_t` vectors.
-#[derive(Copy, Clone)]
+#[derive(Copy, Clone, Debug)]
 pub struct float64x1x3_t(pub float64x1_t, pub float64x1_t, pub float64x1_t);
 /// ARM-specific type containing four `float64x1_t` vectors.
-#[derive(Copy, Clone)]
+#[derive(Copy, Clone, Debug)]
 pub struct float64x1x4_t(
     pub float64x1_t,
     pub float64x1_t,
@@ -41,13 +41,13 @@ pub struct float64x1x4_t(
 );
 
 /// ARM-specific type containing two `float64x2_t` vectors.
-#[derive(Copy, Clone)]
+#[derive(Copy, Clone, Debug)]
 pub struct float64x2x2_t(pub float64x2_t, pub float64x2_t);
 /// ARM-specific type containing three `float64x2_t` vectors.
-#[derive(Copy, Clone)]
+#[derive(Copy, Clone, Debug)]
 pub struct float64x2x3_t(pub float64x2_t, pub float64x2_t, pub float64x2_t);
 /// ARM-specific type containing four `float64x2_t` vectors.
-#[derive(Copy, Clone)]
+#[derive(Copy, Clone, Debug)]
 pub struct float64x2x4_t(
     pub float64x2_t,
     pub float64x2_t,