Ignore:
Timestamp:
Oct 17, 2011, 2:08:27 PM (9 years ago)
Author:
tranquil
Message:

fiddling with Cminor: elimination of loops, blocks and exits

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightPrinter.ml

    r1328 r1392  
    248248              print_stmt s2
    249249  | Swhile(i, e, s) ->
    250       fprintf p "@[<v 2>%a@ while (%a) {@ %a@;<0 -2>}@]"
     250      fprintf p "@[<v 0>%a@[<v 2>while (%a) {@ %a@;<0 -2>}@]@]"
    251251                                print_loop_depth i
    252252              print_expr e
    253253              print_stmt s
    254254  | Sdowhile(i, e, s) ->
    255       fprintf p "@[<v 2>%a@ do {@ %a@;<0 -2>} while(%a);@]"
     255      fprintf p "@[<v 0>%a@[<v 2>do {@ %a@;<0 -2>} while(%a);@]@]"
    256256                                print_loop_depth i
    257257              print_stmt s
Note: See TracChangeset for help on using the changeset viewer.