Handle intrinsics with constraints in the test tool. (#1237)

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,