ci: Test the aarch64 build in QEMU with varying SVE sizes

The sve-default-vector-length property sets the maximum vector
length in bytes; the default is 64, i.e. handling up to 512
bit vectors. In order to be able to test 1024 and 2048 bit vectors,
this has to be raised separately from setting the sve<n>=on
property.

.gitlab-ci.yml

@@ -225,6 +225,20 @@ test-macos-x86_64:
         - build-macos-x86_64
     variables: *variables-macos-x86_64
 
+test-aarch64-qemu:
+    <<: *test
+    extends: build-debian-amd64
+    dependencies:
+        - build-debian-aarch64
+    variables: *variables-debian-amd64
+    script: |
+        set -x
+        for size in 128 256 512 1024 2048; do
+            for tool in checkasm8 checkasm10; do
+                qemu-aarch64 -cpu max,sve-default-vector-length=256,sve$size=on -L /usr/aarch64-linux-gnu ./$tool
+            done
+        done
+
 .release: &release
     stage: release
     script: |