From 127b34b90564f7284fd104560ece344fa0e66237 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 15 Oct 2014 12:49:33 +0100
Subject: Get the actual start address instead of the address of the start
 address

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

(limited to 'src')

diff --git a/src/test/run_power.ml b/src/test/run_power.ml
index 41282b67..268a6a8f 100644
--- a/src/test/run_power.ml
+++ b/src/test/run_power.ml
@@ -175,11 +175,10 @@ let run () =
       match location with
 	| Bytevector location ->
 	  (Mem.find location !mem)::(reading (Big_int.add_big_int loc Big_int.unit_big_int) (length - 1)) in
+  let addr = reading (Big_int.big_int_of_int start_address) 8 in
   let _ = begin
-    startaddr := (match 
-	(big_int_to_vec true (Big_int.big_int_of_int start_address) (Big_int.big_int_of_int 64)) with
-	  | Bytevector location -> location);
-    mainaddr := "0x" ^ (List.fold_left (^) "" (List.map (Printf.sprintf "%02x") (reading (Big_int.big_int_of_int start_address) 8)));
+    startaddr := addr;
+    mainaddr := "0x" ^ (List.fold_left (^) "" (List.map (Printf.sprintf "%02x") addr));
   end in
   let reg = init_reg () in
   (* entry point: unit -> unit fde *)
-- 
cgit v1.2.3