Fix C emulator and test script for OCaml emulator

The generated C emulator misses z_set_Misa_C. Supply a dummy
implementation. Fix the test script to supply dtc to OCaml
emulator for non-Linux machine.

Author: liuzikai

Makefile

@@ -188,7 +188,7 @@ BBV_DIR?=../bbv
 C_WARNINGS ?=
 #-Wall -Wextra -Wno-unused-label -Wno-unused-parameter -Wno-unused-but-set-variable -Wno-unused-function
 C_INCS = $(addprefix $(SAIL_RISCV_DIR)/c_emulator/,riscv_prelude.h riscv_platform_impl.h riscv_platform.h riscv_softfloat.h)
-C_SRCS = $(addprefix $(SAIL_RISCV_DIR)/c_emulator/,riscv_prelude.c riscv_platform_impl.c riscv_platform.c riscv_softfloat.c)
+C_SRCS = $(addprefix $(SAIL_RISCV_DIR)/c_emulator/,riscv_prelude.c riscv_platform_impl.c riscv_platform.c riscv_softfloat.c) handwritten_support/c_emulator_fix.c
 
 SOFTFLOAT_DIR    = $(SAIL_RISCV_DIR)/c_emulator/SoftFloat-3e
 SOFTFLOAT_INCDIR = $(SOFTFLOAT_DIR)/source/include

handwritten_support/c_emulator_fix.c

@@ -0,0 +1,18 @@
+/* The generated C emulator is missing this function.
+   Up to this point, only used by --disable-compressed/-C.
+   Make a dummy implementation of it.
+ */
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <stdint.h>
+
+struct zMisa;
+
+typedef int unit;
+typedef uint64_t mach_bits;
+
+unit z_set_Misa_C(struct zMisa *, mach_bits) {
+    fprintf(stderr, "z_set_Misa_C is not supported\n");
+    exit(EXIT_FAILURE);
+}

test/run_tests.sh

@@ -6,6 +6,12 @@ cd $DIR
 RISCVDIR="$DIR/.."
 RISCVTESTDIR="$RISCVDIR/sail-riscv/test"
 
+DTC_PATH=$(which dtc)
+if [ -z "$DTC_PATH" ]; then
+    echo "dtc not found. Install it via your package manager."
+    exit 1
+fi
+
 RED='\033[0;91m'
 GREEN='\033[0;92m'
 YELLOW='\033[0;93m'
@@ -71,7 +77,7 @@ for test in $RISCVTESTDIR/riscv-tests/rv64*.elf; do
     if [[ $(basename $test) =~ $pat ]];
     then continue
     fi
-    if $RISCVDIR/ocaml_emulator/cheri_riscv_ocaml_sim_RV64 "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}"
+    if $RISCVDIR/ocaml_emulator/cheri_riscv_ocaml_sim_RV64 -with-dtc "$DTC_PATH" "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}"
     then
        green "OCaml-64 $(basename $test)" "ok"
     else