Changeset 3371 for src/ERTL/ERTL.ma


Ignore:
Timestamp:
Jun 26, 2013, 2:22:28 PM (6 years ago)
Author:
piccolo
Message:

Modified RTLsemantics and ERTLsemantics. Now the pop frame will set
to undef the carry bit and all RegisterCallerSaved? exept those used to
pass the return value of a function.

Added an overflow check in ERTL_semantics

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r3263 r3371  
    1111  | RegisterDPL ⇒ False
    1212  | RegisterDPH ⇒ False
     13  | RegisterCarry ⇒ False
    1314  | Register04 (* = RegisterST0 *) ⇒ False
    1415  | Register05 (* = RegisterST1 *) ⇒ False
     
    2627  [ Register06 (* = RegisterSPL *) ⇒ False
    2728  | Register07 (* = RegisterSPH *) ⇒ False
     29  | RegisterCarry ⇒ False
    2830  | _ ⇒ True
    2931  ].
Note: See TracChangeset for help on using the changeset viewer.