Changeset 640 for Deliverables/D2.2/8051/src/cminor

Timestamp:

Mar 7, 2011, 11:10:57 AM (10 years ago)

Author:

ayache

Message:

Hex output not too long for mcu anymore. Readable output added.

Location:

Deliverables/D2.2/8051/src/cminor

Files:

• cminorAnnotator.ml (modified) (2 diffs)
• cminorAnnotator.mli (modified) (1 diff)

Deliverables/D2.2/8051/src/cminor/cminorAnnotator.ml

@@ -131 +131 @@
 
 
+(** [instrument prog cost_map] instruments the program [prog]. First a fresh
+    global variable --- the so-called cost variable --- is added to the program.
+    Then, each cost label in the program is replaced by an increment of the cost
+    variable, following the mapping [cost_map]. The function also returns the
+    name of the cost variable and the name of the cost increment function. *)
+
 let instrument p costs_mapping =
   let cost_id = fresh_cost_id "_cost" p in
@@ -140 +146 @@
      Cminor.functs = functs ;
      Cminor.main   = p.Cminor.main },
+   "" (* TODO *),
    "" (* TODO *))
 

Deliverables/D2.2/8051/src/cminor/cminorAnnotator.mli

@@ -5 +5 @@
     global variable --- the so-called cost variable --- is added to the program.
     Then, each cost label in the program is replaced by an increment of the cost
-    variable, following the mapping [cost_map]. The returned string is the name
-    of the cost increment function. *)
+    variable, following the mapping [cost_map]. The function also returns the
+    name of the cost variable and the name of the cost increment function. *)
 
 val instrument : Cminor.program -> int CostLabel.Map.t ->
-                 Cminor.program * string
+                 Cminor.program * string * string
 
 val cost_labels : Cminor.program -> CostLabel.Set.t