Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml

    r1580 r1589  
    125125    Printf.sprintf "branch %s <> 0 --> %s, %s"
    126126      (print_reg srcr) lbl_true lbl_false
    127   | RTL.St_return regs ->
    128     Printf.sprintf "return %s" (print_return regs)
     127  | RTL.St_return ->
     128    Printf.sprintf "return"
    129129
    130130
     
    143143
    144144  Printf.sprintf
    145     "%s\"%s\"%s\n%slocals: %s\n%sresult: %s\n%sstacksize: %d\n%sentry: %s\n%sexit: %s\n\n%s"
     145    "%s\"%s\"%s\n%slocals: %s\n%sstacksize: %d\n%sentry: %s\n%sexit: %s\n\n%s"
    146146    (n_spaces n)
    147147    f
     
    149149    (n_spaces (n+2))
    150150    (print_locals def.RTL.f_locals)
    151     (n_spaces (n+2))
    152     (print_result def.RTL.f_result)
     151    (* (n_spaces (n+2)) *)
     152    (* (print_result def.RTL.f_result) *)
    153153    (n_spaces (n+2))
    154154    def.RTL.f_stacksize
Note: See TracChangeset for help on using the changeset viewer.