Add simple vector extension test to CI

Author: aswaterman

ci-tests/test-spike

@@ -26,6 +26,9 @@ riscv64-linux-gnu-gcc -static -O2 -o hello $CI/hello.c
 riscv64-linux-gnu-gcc -static -O2 -o dummy-slliuw $CI/dummy-slliuw.c
 riscv64-linux-gnu-gcc -static -O2 -o customcsr $CI/customcsr.c
 riscv64-linux-gnu-gcc -static -O2 -o atomics $CI/atomics.c
+riscv64-linux-gnu-gcc -static -O2 -march=rv64gcbv -ftree-vectorize -o vector-sum $CI/vector-sum.c
+# make sure the vector test actually vectorized
+riscv64-linux-gnu-objdump -d vector-sum | grep vredsum.vs
 
 # run snippy-based tests
 wget https://github.com/syntacore/snippy/releases/download/snippy-2.1/snippy-x86_64-linux.tar.xz
@@ -45,6 +48,7 @@ g++ -std=c++2a -I$INSTALL/include -L$INSTALL/lib $CI/testlib.cc -lriscv -o /dev/
 
 # run tests
 time $INSTALL/bin/spike --isa=rv64gc $BUILD/pk/pk hello | grep "Hello, world!  Pi is approximately 3.141588."
+time $INSTALL/bin/spike --isa=rv64gcbv $BUILD/pk/pk vector-sum | grep "The sum of the first 1000 positive integers is 500500."
 $INSTALL/bin/spike --log-commits --isa=rv64gc $BUILD/pk/pk atomics 2> /dev/null | grep "First atomic counter is 1000, second is 100"
 LD_LIBRARY_PATH=$INSTALL/lib ./test-libriscv $BUILD/pk/pk hello | grep "Hello, world!  Pi is approximately 3.141588."
 LD_LIBRARY_PATH=$INSTALL/lib ./test-customext $BUILD/pk/pk dummy-slliuw | grep "Executed successfully"

ci-tests/vector-sum.c

@@ -0,0 +1,20 @@
+#include <stdio.h>
+#include <string.h>
+
+int main()
+{
+  const size_t N = 1001;
+  volatile size_t a[N];
+  size_t* b = (size_t*)a;
+
+  for (size_t i = 0; i < N; i++)
+    a[i] = i;
+
+  size_t sum = 0;
+  for (size_t i = 0; i < N; i++)
+    sum += b[i];
+
+  printf("The sum of the first %zu positive integers is %zu.\n", N - 1, sum);
+
+  return 0;
+}