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/RTL/RTL_semantics.ma

    r3265 r3371  
    229229      (λst,reg_val.rtl_reg_store (\fst reg_val) (\snd reg_val) st)
    230230      st reg_vals in
    231     return 〈st, pc〉
     231    return 〈set_carry ? BBundef st, pc〉
    232232  ].
    233233
     
    255255      (λst,reg_val.rtl_reg_store (\fst reg_val) (\snd reg_val) st)
    256256      st reg_vals in
    257     return 〈st, pc〉
     257    return 〈set_carry ? BBundef st, pc〉
    258258  ].
    259259
Note: See TracChangeset for help on using the changeset viewer.