Changeset 1334 for Deliverables/D2.2/8051-indexed-labels-branch/src/cminor/cminorPrinter.ml

Timestamp:

Oct 10, 2011, 2:17:02 PM (8 years ago)

Author:

tranquil

Message:

work on Cminor completed

File:

• Deliverables/D2.2/8051-indexed-labels-branch/src/cminor/cminorPrinter.ml (modified) (3 diffs)

Deliverables/D2.2/8051-indexed-labels-branch/src/cminor/cminorPrinter.ml

@@ -172 +172 @@
         (Primitive.print_sig sg)
   | Cminor.St_seq (s1, s2) -> (print_body n s1) ^ (print_body n s2)
+  | Cminor.St_ifthenelse (e, s1, Cminor.St_skip) ->
+    Printf.sprintf "%sif (%s) {\n%s%s}\n"
+    (n_spaces n)
+    (print_expression e)
+    (print_body (n+2) s1)
+    (n_spaces n)
   | Cminor.St_ifthenelse (e, s1, s2) ->
       Printf.sprintf "%sif (%s) {\n%s%s}\n%selse {\n%s%s}\n"
@@ -211 +217 @@
                   let lbl = CostLabel.string_of_cost_label lbl in
       Printf.sprintf "%s%s:\n%s" (n_spaces n) lbl (print_body n s)
+        | Cminor.St_ind_0 (i, s) ->
+                  Printf.sprintf "%sindex %d:\n%s" (n_spaces n) i (print_body n s)
+        | Cminor.St_ind_inc (s, i) ->
+                  Printf.sprintf "%s%sincrement %d;\n" (print_body n s) (n_spaces n) i
 
 let print_internal f_name f_def =
@@ -255 +265 @@
   | Cminor.St_goto(_) -> "goto"
   | Cminor.St_cost(_,_) -> "cost"
+        | Cminor.St_ind_0 _ -> "index"
+        | Cminor.St_ind_inc _ -> "increment"