Add json target

Produces JSON representation of instructions, operands, opcode layouts, etc. Not claimed to be exhaustive. Depends on https://github.com/ThinkOpenly/riscvdecode. Signed-off-by: Paul A. Clarke <[email protected]>
ThinkOpenly · Aug 10, 2023 · 105f309 · 105f309
1 parent 58cac61
commit 105f309
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -187,6 +187,9 @@ endif
 all: ocaml_emulator/riscv_ocaml_sim_$(ARCH) c_emulator/riscv_sim_$(ARCH) riscv_isa riscv_coq riscv_hol riscv_rmem
 .PHONY: all
 
+json: $(SAIL_SRCS) model/main.sail Makefile
+	sail -plugin $(HOME)/projects/Sail/riscvdecode/riscv_decode.cmxs -riscv_decode $(SAIL_FLAGS) $(SAIL_SRCS)
+
 # the following ensures empty sail-generated .c files don't hang around and
 # break future builds if sail exits badly
 .DELETE_ON_ERROR: generated_definitions/c/%.c