Changeset 3371 for src/ERTL/liveness.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/liveness.ma

    r3263 r3371  
    7878      (* Potentially destroys all caller-save hardware registers. *)
    7979      ]
    80     | CALL _ _ _ ⇒ 〈set_empty …, set_from_list … RegisterCallerSaved
     80    | CALL _ _ _ ⇒ 〈set_empty …, set_from_list … (RegisterCallerSaved @ [RegisterCarry])
    8181    | COND r lbl_true ⇒ rl_bottom
    8282    | COST_LABEL clabel ⇒ rl_bottom
Note: See TracChangeset for help on using the changeset viewer.