Ignore:
Timestamp:
Mar 4, 2011, 2:00:33 AM (9 years ago)
Author:
ayache
Message:

Some bugs fixed in D2.2.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/LIN/LINToASM.ml

    r624 r631  
    3333  | LIN.St_label lbl -> [`Label lbl]
    3434  | LIN.St_comment _ -> []
    35   | LIN.St_cost lbl -> [`Cost lbl]
     35  | LIN.St_cost lbl -> [`Cost lbl ; `NOP (* TODO: hack! Need to make the difference between cost labels and regular labels. *)]
    3636  | LIN.St_int (r, i) ->
    3737    [`MOV (`U3 (I8051.reg_addr r, data_of_int i))]
     
    107107          let tmp_lbl = Label.Gen.fresh tmp_universe in
    108108          [`WithLabel (`JZ (`Label tmp_lbl)) ;
    109            `Cost cost_lbl ; `Jmp lbl ;
     109           `Cost cost_lbl ; `NOP (* TODO: hack! Need to make the difference between cost labels and regular labels. *) ; `Jmp lbl ;
    110110           `Label tmp_lbl] @
    111111            (aux code'))
Note: See TracChangeset for help on using the changeset viewer.