test/even-odd.ml をRISC-Vで動かす

code:sh

$ make clean test/even-odd

$ spike /opt/riscv/pk/riscv32-unknown-elf/bin/pk test/even-odd

456

末尾のCallClsを修正したら動いた。

code:diff

diff --git a/RV32/emit.ml b/RV32/emit.ml

index 0772682..2ef2c0e 100644

--- a/RV32/emit.ml

+++ b/RV32/emit.ml

@@ -188,7 +188,7 @@ and g' oc = function (* 各命令のアセンブリ生成 (caml2html: emit_gprim

| Tail, CallCls(x, ys, zs) -> (* 末尾呼び出し (caml2html: emit_tailcall) *)

Printf.fprintf oc "\tlw %s, 0(%s)\n" (reg reg_sw) (reg reg_cl);

- Printf.fprintf oc "\tmtctr\t%s\n\tbctr\n" (reg reg_sw);

+ Printf.fprintf oc "\tjr %s\n" (reg reg_sw);

| Tail, CallDir(Id.L(x), ys, zs) -> (* 末尾呼び出し *)

g'_args oc [] ys zs;

(* NOTE: 末尾呼び出し時には call ではなく j で遷移する *)

@@ -205,8 +205,6 @@ and g' oc = function (* 各命令のアセンブリ生成 (caml2html: emit_gprim

Printf.fprintf oc "\tlw %s, 0(%s)\n" (reg reg_tmp) (reg reg_cl);

Printf.fprintf oc "\tjalr %s\n" (reg reg_tmp);

- (* Printf.fprintf oc "\tmtctr\t%s\n" (reg reg_tmp);

- Printf.fprintf oc "\tbctrl\n"; *)

Printf.fprintf oc "\taddi %s, %s, %d\n" (reg reg_sp) (reg reg_sp) ((-1) * ss);

Printf.fprintf oc "\tlw %s, %d(%s)\n" (reg reg_tmp) (ss - 4) (reg reg_sp);