diff options
| -rw-r--r-- | mips/mips_extras_ml.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mips/mips_extras_ml.ml b/mips/mips_extras_ml.ml index da1aa0ad..61f34425 100644 --- a/mips/mips_extras_ml.ml +++ b/mips/mips_extras_ml.ml @@ -70,6 +70,8 @@ let _MEMval (addr, size, data) = let byte = unsigned_int(slice_raw (data, big_int_of_int bit_idx, big_int_of_int (bit_idx + 7))) in Bytes.set buf (s-1-i) (char_of_int byte); done; + if !trace_writes then + tracef "MEM[%s] <- %s\n" (big_int_to_hex a) (string_of_value data); add_mem_bytes a buf 0 s let _MEMval_tag (addr, size, data) = |