diff options
Diffstat (limited to 'test/arm')
| -rwxr-xr-x | test/arm/run_tests.sh | 20 | ||||
| -rw-r--r-- | test/arm/test.isail | 7 |
2 files changed, 27 insertions, 0 deletions
diff --git a/test/arm/run_tests.sh b/test/arm/run_tests.sh index 21c1ce3d..2623427c 100755 --- a/test/arm/run_tests.sh +++ b/test/arm/run_tests.sh @@ -79,6 +79,26 @@ else done fi +printf "\nLoading specification into interpreter...\n" + +cd $SAILDIR/aarch64 + +if $SAILDIR/sail -is $DIR/test.isail prelude.sail no_vector/spec.sail decode_start.sail no_vector/decode.sail decode_end.sail main.sail 1> /dev/null 2> /dev/null; +then + green "loaded no_vector specification" "ok"; + + if diff $DIR/test_O2.expect $DIR/iresult; + then + green "interpreter success" "ok" + else + red "interpreter failed" "fail" + fi; + + rm -f $DIR/iresult +else + red "loading no_vector specification" "fail" +fi + finish_suite "ARM generated spec tests" printf "</testsuites>\n" >> $DIR/tests.xml diff --git a/test/arm/test.isail b/test/arm/test.isail new file mode 100644 index 00000000..8775ed8f --- /dev/null +++ b/test/arm/test.isail @@ -0,0 +1,7 @@ +:elf ../test/arm/test_O2.elf +:output ../test/arm/iresult +initialize_registers() +:run +main() +:run +:quit
\ No newline at end of file |