Ignore:
Timestamp:
Mar 15, 2013, 5:52:58 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLToERTL.ml

    r2867 r2882  
    246246          Types.snd = pr.Types.snd }) sregs))
    247247      (List.append (List.Cons ((Joint.PUSH
    248         (Obj.magic (Joint.psd_argument_from_reg srah))), (List.Cons
    249         ((Joint.PUSH (Obj.magic (Joint.psd_argument_from_reg sral))),
     248        (Obj.magic (Joint.psd_argument_from_reg sral))), (List.Cons
     249        ((Joint.PUSH (Obj.magic (Joint.psd_argument_from_reg srah))),
    250250        (List.Cons
    251251        ((ERTL.ertl_seq_joint globals (Obj.magic ERTL.Ertl_del_frame)),
     
    263263      ((let x = ERTL.ertl_seq_joint globals (Obj.magic ERTL.Ertl_new_frame)
    264264        in
    265        x), (List.Cons ((Joint.POP (Obj.magic sral)), (List.Cons ((Joint.POP
    266       (Obj.magic srah)), List.Nil))))))
     265       x), (List.Cons ((Joint.POP (Obj.magic srah)), (List.Cons ((Joint.POP
     266      (Obj.magic sral)), List.Nil))))))
    267267      (List.append (save_hdws globals sregs)
    268268        (get_params globals tmpr addr1 addr2 params))
Note: See TracChangeset for help on using the changeset viewer.