From 8b5e58c209568db825335ecef0ffb93f18a3e196 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 27 Oct 2014 22:48:03 +0000
Subject: Correct externally visible endianness bugs

---
 src/test/run_power.ml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'src/test')

diff --git a/src/test/run_power.ml b/src/test/run_power.ml
index 335dde47..83f6549c 100644
--- a/src/test/run_power.ml
+++ b/src/test/run_power.ml
@@ -39,11 +39,12 @@ let reg = ref (Reg.add "dummy" Unknown0 Reg.empty) ;;
 
 let add_mem byte addr =
   assert(byte >= 0 && byte < 256);
-  Printf.printf "adder is %s, byte is %s\n" (string_of_big_int addr) (string_of_int byte);
+  (*Printf.printf "adder is %s, byte is %s\n" (string_of_big_int addr) (string_of_int byte);*)
   let addr = big_int_to_vec true addr (big_int_of_int 64) in
-  Printf.printf "adder is %s byte is %s\n" (Printing_functions.val_to_string addr) (string_of_int byte);
+  (*Printf.printf "adder is %s byte is %s\n" (Printing_functions.val_to_string addr) (string_of_int byte);*)
   match addr with
-    | Bytevector addr -> mem := Mem.add addr byte !mem
+    | Bytevector addr -> (*List.iter (fun i -> Printf.printf "%i " i) addr; Printf.printf "\n";*)
+      mem := Mem.add addr byte !mem
 ;;
 
 let add_section s =
@@ -297,7 +298,7 @@ let run () =
     mainaddr := "0x" ^ (List.fold_left (^) "" (List.map (Printf.sprintf "%02x") addr));
   end in
   Printf.printf "start address: %s\n" !mainaddr;
-  Printf.printf "%s\n" (Printing_functions.val_to_string (Bytevector !startaddr));
+(*  Printf.printf "%s\n" (Printing_functions.val_to_string (Bytevector !startaddr));*)
   let my_reg = init_reg () in
   reg := my_reg;
   (* entry point: unit -> unit fde *)
-- 
cgit v1.2.3