From b6b1b31e48706adfa4795a84519df0aa792f4474 Mon Sep 17 00:00:00 2001 From: Prashanth Mundkur Date: Tue, 9 Jul 2019 15:47:38 -0700 Subject: Move the get_config_ print defaults to the backend preludes, since it seems to get optimized out by sail, making the emulator the command-line options ineffective. --- model/prelude.sail | 7 ------- 1 file changed, 7 deletions(-) (limited to 'model') diff --git a/model/prelude.sail b/model/prelude.sail index 22d050f..5ec0b92 100644 --- a/model/prelude.sail +++ b/model/prelude.sail @@ -102,16 +102,9 @@ val print_mem = {ocaml: "Platform.print_mem_access", interpreter: "print_en val print_platform = {ocaml: "Platform.print_platform", interpreter: "print_endline", c: "print_platform", lem: "print_dbg", _: "print_endline"} : string -> unit val get_config_print_instr = {ocaml: "Platform.get_config_print_instr", c:"get_config_print_instr"} : unit -> bool -function get_config_print_instr () -> bool = false - val get_config_print_reg = {ocaml: "Platform.get_config_print_reg", c:"get_config_print_reg"} : unit -> bool -function get_config_print_reg () -> bool = false - val get_config_print_mem = {ocaml: "Platform.get_config_print_mem", c:"get_config_print_mem"} : unit -> bool -function get_config_print_mem () -> bool = false - val get_config_print_platform = {ocaml: "Platform.get_config_print_platform", c:"get_config_print_platform"} : unit -> bool -function get_config_print_platform () -> bool = false $ifndef FEATURE_IMPLICITS val EXTS : forall 'n 'm , 'm >= 'n . bits('n) -> bits('m) -- cgit v1.1