Changeset 1198 for src/CHANGES


Ignore:
Timestamp:
Sep 8, 2011, 4:04:07 PM (8 years ago)
Author:
campbell
Message:

Clight cast removal (NB: quite different from the prototype).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/CHANGES

    r1143 r1198  
    7777  of intermediate languages from ERTL on, we need to recover the arguments
    7878  for the function not only from the registers, but also from the stack.
     79
     8008/09/2011:
     81  The Clight cast simplification algorithm is quite different to the prototype's:
     82  it only needs to do a simple pattern match per recursion and copes with deeper
     83  arithmetic expressions such as (char)((int)x + (int)y + (int)z).
Note: See TracChangeset for help on using the changeset viewer.