Changeset 774 for src/CHANGES


Ignore:
Timestamp:
Apr 26, 2011, 4:51:44 PM (9 years ago)
Author:
campbell
Message:

Separate out the different forms of addition and subtraction in the frontend ops.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/CHANGES

    r773 r774  
    4646  The constants follow CompCert's rather than the prototype's with the result
    4747  that they match up more closely with the addressing modes in RTLabs.
     48
     49  One of the front end operations for subtraction (subpp) appears to be missing
     50  from the prototype at present.
Note: See TracChangeset for help on using the changeset viewer.