diff options
| author | Robert Norton | 2017-04-27 16:17:57 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-27 16:17:57 +0100 |
| commit | 9a982cfd6f626a28dc44c0f6d97b2cef228a884e (patch) | |
| tree | 74ce085af05975159b6795c3c50db3efe9074abf | |
| parent | 25852e6ee420be0de7791f865b40812ef9c96c5f (diff) | |
also trace memory writes.
| -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) = |