run some aarch64 tests with miri on CI

Author: folkertdev

.github/workflows/main.yml

@@ -345,10 +345,13 @@ jobs:
     - uses: actions/checkout@v6
     - name: Install Rust
       run: rustup update nightly && rustup default nightly && rustup component add miri
-    - name: Aarch64 load/store roundtrip
+    - name: Run miri tests
       env:
         TARGET: "aarch64-unknown-linux-gnu"
-      run: cargo miri test -p core_arch --target aarch64-unknown-linux-gnu -- test_vld3q
+      run: |
+        # read filters and join them with a space.
+        FILTERS=$(cat aarch64-miri-tests.txt | tr '\n' ' ')
+        cargo miri test -p core_arch --target aarch64-unknown-linux-gnu -- $FILTERS
 
   conclusion:
     needs:

aarch64-miri-tests.txt

@@ -0,0 +1,3 @@
+test_vld3q
+neon::load_tests
+neon::store_tests