diff options
| author | Kathy Gray | 2014-10-27 22:48:03 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-10-27 22:48:03 +0000 |
| commit | 8b5e58c209568db825335ecef0ffb93f18a3e196 (patch) | |
| tree | bf4ee0e09fec4a0088eb4010f43896d82c4a4cc6 /src/test | |
| parent | e32d080e51216bec146f8c6df92b4e7c3bd2a8ab (diff) | |
Correct externally visible endianness bugs
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/run_power.ml | 9 |
1 files changed, 5 insertions, 4 deletions
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 *) |