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/cminor/cminor.mli

    r1334 r1392  
    3434  | St_seq of statement * statement
    3535  | St_ifthenelse of expression * statement * statement
    36   | St_loop of statement
     36(*  | St_loop of statement
    3737  | St_block of statement
    38   | St_exit of int
     38  | St_exit of int *)
    3939
    4040  (* Switch. Parameters are the expression whose value is switch, a
    4141     table of cases and their corresponding number of blocks to exit,
    4242     and the number of block to exit in the default case. *)
    43   | St_switch of expression * (int*int) list * int
     43  | St_switch of expression * (int*Label.t) list * Label.t
    4444
    4545  | St_return of expression option
    4646  | St_label of AST.ident * statement
    47   | St_goto of string
     47  | St_goto of Label.t
    4848  | St_cost of CostLabel.t * statement
    4949        | St_ind_0 of CostLabel.index * statement
    50   | St_ind_inc of statement * CostLabel.index
     50  | St_ind_inc of CostLabel.index * statement
    5151
    5252
Note: See TracChangeset for help on using the changeset viewer.