Ignore:
Timestamp:
May 19, 2011, 4:03:04 PM (9 years ago)
Author:
ayache
Message:

32 and 16 bits operations support in D2.2/8051

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/clight/clightLabelling.ml

    r796 r818  
    1717
    1818
    19 let int_type = Tint (I32, Signed)
     19let int_type = Tint (I32, AST.Signed)
    2020let const_int i = Expr (Econst_int i, int_type)
    2121
     
    105105        (Swhile (add_cost_labels_e cost_universe e, s'))
    106106  | Sdowhile (e,s) ->
    107       let s' = add_cost_labels_st cost_universe s in
    108       let s' = add_starting_cost_label cost_universe s' in
     107      let s1 = add_cost_labels_st cost_universe s in
     108      let s2 = add_cost_labels_st cost_universe s in
     109      let s2' = add_starting_cost_label cost_universe s2 in
    109110      add_ending_cost_label cost_universe
    110         (Sdowhile (add_cost_labels_e cost_universe e, s'))
     111        (Ssequence (s1, Swhile (add_cost_labels_e cost_universe e, s2')))
    111112  | Sfor (s1,e,s2,s3) ->
    112113      let s1' = add_cost_labels_st cost_universe s1 in
Note: See TracChangeset for help on using the changeset viewer.