Changeset 2975 for src/LIN/LINToASM.ma


Ignore:
Timestamp:
Mar 27, 2013, 4:07:02 PM (6 years ago)
Author:
tranquil
Message:
  • RTL premain fixed
  • fixed bug in back end ops (subtracting to a porinter was reversed)
  • fixed globals initialization in LINToASM
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LINToASM.ma

    r2963 r2975  
    415415  let nxt_dptr ≝ dptr + size_init_data data in
    416416  〈nxt_dptr, do_store_init_data … u nxt_dptr data @ acc〉 in
     417〈None ?, Instruction (MOV ? (inl ?? (inl ?? (inr ?? 〈DPTR, DATA16 (bitvector_of_Z … start_dptr)〉))))〉 ::
    417418\snd (foldr ?? f 〈start_dptr, [ ]〉 data).
    418419
Note: See TracChangeset for help on using the changeset viewer.