Changeset 664 for Deliverables/D2.2/8051

Timestamp:

Mar 10, 2011, 11:48:33 AM (10 years ago)

Author:

mulligan

Message:

Changed output of Intel HEX files so we no longer have those gargantuan blocks of zeroes at the end.

Location:

Deliverables/D2.2/8051

Files:

• myocamlbuild_config.ml (modified) (1 diff)
• src/ASM/IntelHex.ml (modified) (2 diffs)

Deliverables/D2.2/8051/myocamlbuild_config.ml

@@ -1 @@
-let parser_lib = "/home/ayache/Downloads/Bol/Deliverables/D2.2/8051/lib"
+let parser_lib = "/home/dpm/Projects/Cerco/Deliverables/D2.2/8051/lib"

Deliverables/D2.2/8051/src/ASM/IntelHex.ml

@@ -241 +241 @@
 ;;
 
+let rec zeros len =
+  if len = 0 then
+    []
+  else
+    vect_of_int 0 `Eight :: zeros (len - 1)
+
+let post_process_exported_code_memory intel_hex =
+  let reversed = List.rev intel_hex in
+  let rec aux hex =
+    match hex with
+      [] -> []
+    | he::tl ->
+        if he.record_type = End then
+          aux tl
+        else if he.record_type = Data then
+          if he.data_field = zeros (int_of_vect he.record_length) then
+            aux tl
+          else
+            he::(aux tl)
+        else
+          tl
+  in
+    List.rev (aux reversed)
+
 let pack_exported_code_memory chunk_size max_addressable code_mem =
   let export = export_code_memory chunk_size max_addressable code_mem in
   let cleaned = clean_exported_code_memory export in
   let processed = process_exported_code_memory cleaned in
+  let postprocessed = post_process_exported_code_memory processed in
   let end_buffer =
     [{ record_length = zero `Eight;
@@ -252 +277 @@
       data_checksum = vect_of_int 255 `Eight
     }] in
-    processed @ end_buffer
+    postprocessed @ end_buffer
 ;;