Changeset 2876 for src/RTL/RTLToERTL.ma


Ignore:
Timestamp:
Mar 15, 2013, 10:58:03 AM (7 years ago)
Author:
tranquil
Message:

corrected another endianess bug in joint_semantics. Switched some names in RTLToERTL.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTLToERTL.ma

    r2862 r2876  
    106106  save_return … (map … (Reg ?) ret_regs) @
    107107  restore_hdws … (map … (λpr.〈Reg ? (\fst pr),\snd pr〉) sregs) @
    108   [ PUSH ERTL ? srah ;
    109     PUSH … sral ;
     108  [ PUSH ERTL ? sral ;
     109    PUSH … srah ;
    110110    ertl_del_frame ] @
    111111  assign_result globals.
     
    135135  λglobals,params,sral,srah,tmpr,addr1,addr2,sregs.
    136136  [ (ertl_new_frame : joint_seq ??) ;
    137     POP … sral ;
    138     POP … srah
     137    POP … srah ;
     138    POP … sral
    139139  ] @ save_hdws … sregs @ get_params … tmpr addr1 addr2 params.
    140140
Note: See TracChangeset for help on using the changeset viewer.