Merge branch 'master' of bitbucket.org:Peter_Sewell/sail

1 files changed, 2 insertions, 2 deletions

diff --git a/mips/mips_extras_ml.ml b/mips/mips_extras_ml.ml
index 1565c7c6..29f4a13d 100644
--- a/mips/mips_extras_ml.ml
+++ b/mips/mips_extras_ml.ml
@@ -23,7 +23,7 @@ let _MEMval (addr, size, data) =
   for i = 0 to (s - 1) do
     let bit_idx = i * 8 in
     let byte = unsigned_int(slice_raw (data, big_int_of_int bit_idx, big_int_of_int (bit_idx + 7))) in
-    let byte_addr = add_int_big_int i a in
+    let byte_addr = add_int_big_int (s-1-i) a in
     begin
       (*printf "MEM [%s] <- %x\n" (big_int_to_hex byte_addr) byte;*)
       mips_mem := Mem.add byte_addr byte !mips_mem;
@@ -42,7 +42,7 @@ let _MEMr (addr, size) = begin
     let byte_addr = add_int_big_int i a in
     let byte = Mem.find byte_addr !mips_mem in
     let byte_vec = to_vec_dec_int (8, byte) in
-    ret := vector_concat (!ret) byte_vec;
+    ret := vector_concat byte_vec (!ret);
     (*printf "MEM [%s] -> %x %s %s\n" (big_int_to_hex byte_addr) byte (string_of_value byte_vec) (string_of_value !ret);*)
   done;
   ret := set_start_to_length (!ret);