Changeset 1589 for Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml

Timestamp:

Dec 6, 2011, 5:04:13 PM (8 years ago)

Author:

tranquil

Message:

• turned to argument-less return statements for RTLabs and RTL (there was a hidden invariant, for which the arguments of return statements where equal to the f_result field of the function definition: they were useless and an optimization was breaking the compilation)
• corrected a bug in liveness analysis I had introduced

File:

• Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml (modified) (3 diffs)

Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml

@@ -125 +125 @@
     Printf.sprintf "branch %s <> 0 --> %s, %s"
       (print_reg srcr) lbl_true lbl_false
-  | RTL.St_return regs ->
-    Printf.sprintf "return %s" (print_return regs)
+  | RTL.St_return ->
+    Printf.sprintf "return"
 
 
@@ -143 +143 @@
 
   Printf.sprintf
-    "%s\"%s\"%s\n%slocals: %s\n%sresult: %s\n%sstacksize: %d\n%sentry: %s\n%sexit: %s\n\n%s"
+    "%s\"%s\"%s\n%slocals: %s\n%sstacksize: %d\n%sentry: %s\n%sexit: %s\n\n%s"
     (n_spaces n)
     f
@@ -149 +149 @@
     (n_spaces (n+2))
     (print_locals def.RTL.f_locals)
-    (n_spaces (n+2))
-    (print_result def.RTL.f_result)
+    (* (n_spaces (n+2)) *)
+    (* (print_result def.RTL.f_result) *)
     (n_spaces (n+2))
     def.RTL.f_stacksize