aarch64/no_vector.isail


1
2
3
4
5
6
7
8

:unload
:load prelude.sail no_vector/spec.sail decode_start.sail no_vector/decode.sail decode_end.sail main.sail
initialize_registers()
:run
:elf ../bench.elf
main()
:run
:q