diff options
| author | Robert Norton | 2017-04-05 17:31:44 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-06 12:35:10 +0100 |
| commit | 83ba712a9897c1b375c1ae4cfb744f718b91c482 (patch) | |
| tree | 42d7a4230f533bbdc700d6a686636ccd0032d5a2 /mips/run_embed.ml | |
| parent | b50cf34a6e700b70b12f9c4bfe81a6c0b703198b (diff) | |
Model now assumes memory is little endian so adjust extras file accordingly.
Diffstat (limited to 'mips/run_embed.ml')
| -rw-r--r-- | mips/run_embed.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/run_embed.ml b/mips/run_embed.ml index d4b46747..76b1b222 100644 --- a/mips/run_embed.ml +++ b/mips/run_embed.ml @@ -316,7 +316,7 @@ let rec debug_print_gprs start stop = then debug_print_gprs (start + 1) stop else () -let get_opcode pc_a = _MEMr (to_vec_dec_big (big_int_of_int 64, pc_a), big_int_of_int 4) +let get_opcode pc_a = Mips_model._reverse_endianness(_MEMr (to_vec_dec_big (big_int_of_int 64, pc_a), big_int_of_int 4)) let rec fde_loop count = if !max_cut_off && count = !max_instr |