gcc - RISCV と Spike: 何かを追加して値を読み取る

Question

単純な RISCV プログラムをアセンブリで作成してテストしたいと考えています。プログラムは単純に値をレジスタにロードし、それに値を追加する必要があります。

    .file   "hello.c"
.text
.align  2
.globl  main
.type   main, @function
main:
   li  a0, 2
   add a0, a0, 7

  .size main, .-main
  .ident    "GCC: (GNU) 5.3.

ただし、入力すると：

riscv64-unknown-elf-gcc hello.s

spke -d pk a.out

レジスタ 0 a0

常に 0x0000000000000000 を返します。なんで？私は何を間違っていますか？