Ignore:
Timestamp:
Nov 23, 2011, 5:43:24 PM (9 years ago)
Author:
tranquil
Message:

merge of indexed labels branch

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/cminor/cminor.mli

    r818 r1542  
    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
    41      table of cases and their corresponding number of blocks to exit,
    42      and the number of block to exit in the default case. *)
    43   | St_switch of expression * (int*int) list * int
     41     table of cases and their corresponding labels to go to,
     42     and the label to go to in the default case. *)
     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
     49  | St_ind_0 of CostLabel.index * statement
     50  | St_ind_inc of CostLabel.index * statement
    4951
    5052
Note: See TracChangeset for help on using the changeset viewer.