Changeset 1589 for Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml
- Timestamp:
- Dec 6, 2011, 5:04:13 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml
r1580 r1589 125 125 Printf.sprintf "branch %s <> 0 --> %s, %s" 126 126 (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" 129 129 130 130 … … 143 143 144 144 Printf.sprintf 145 "%s\"%s\"%s\n%slocals: %s\n%s result: %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" 146 146 (n_spaces n) 147 147 f … … 149 149 (n_spaces (n+2)) 150 150 (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) *) 153 153 (n_spaces (n+2)) 154 154 def.RTL.f_stacksize
Note: See TracChangeset
for help on using the changeset viewer.