Changeset 128 for Deliverables/D4.1

Timestamp:

Sep 24, 2010, 1:36:41 PM (10 years ago)

Author:

mulligan

Message:

Some utility functions useful across modules moved into new file Util.
Started working on parser for Intel hex file format. Moved
physical.ml*' to Physical.ml*' for naming consistency across modules.

Location:

Deliverables/D4.1

Files:

• IntelHex.ml (modified) (2 diffs)
• Physical.ml (moved) (moved from Deliverables/D4.1/physical.ml)
• Physical.mli (moved) (moved from Deliverables/D4.1/physical.mli)
• Util.ml (added)

Deliverables/D4.1/IntelHex.ml

@@ -1 +1 @@
 open BitVectors;;
 open ASM;;
+open Util;;
 
 type intel_hex_entry_type =
@@ -16 +17 @@
 };;
 
-let hex_string_of_vect x = "00"
+let hex_string_of_int i =
+  let digit_lookup =
+    function
+      0 -> "0" | 1 -> "1" | 2 -> "2"
+    | 3 -> "3" | 4 -> "4" | 5 -> "5"
+    | 6 -> "6" | 7 -> "7" | 8 -> "8"
+    | 9 -> "9" | 10 -> "A" | 11 -> "B"
+    | 12 -> "C" | 13 -> "D" | 14 -> "E"
+    | 15 -> "F" | _ -> assert false in
+
+  let rec aux i =
+    if i < 16 then
+      digit_lookup i
+    else
+      let div = i / 16 in
+      let rem = i mod 16 in
+         aux div ^ digit_lookup rem
+  in
+    aux i
+
+let int_of_hex_string h =
+  let digit_lookup =
+    function
+      '0' -> 0 | '1' -> 1 | '2' -> 2
+    | '3' -> 3 | '4' -> 4 | '5' -> 5
+    | '6' -> 6 | '7' -> 7 | '8' -> 8
+    | '9' -> 9 | 'A' -> 10 | 'B' -> 11
+    | 'C' -> 12 | 'D' -> 13 | 'E' -> 14
+    | 'F' -> 15 | _ -> assert false in
+
+  let rec aux l p =
+    match l with
+      [] -> 0
+    | hd::tl ->
+        digit_lookup hd * p + aux tl (p * 16)
+  in
+    aux (List.rev $ char_list_of_string h) 1
+
+let hex_string_of_vect v =
+  let vect_int = int_of_vect v in
+    hex_string_of_int vect_int
 
 let string_of_intel_hex_entry entry =