Ignore:
Timestamp:
Nov 14, 2012, 10:31:55 AM (7 years ago)
Author:
tranquil
Message:

separated in back end values program counters from code pointers (intended to hold function pointers only): same signature, but separation needed the proof of some passes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/BackEndOps.ma

    r2435 r2462  
    136136   the arguments (columns marked by 1st argument, rows by 2nd). Further
    137137   checks for definedness are done for pointer parts taking into account
    138    blocks, parts and the carry value. TODO update table
     138   blocks, parts and the carry value.
     139   Neither BVundef nor BVpc allow any operations
    139140  arg2\arg1 | BVByte    | BVptr (D)      | BVptr (C) | BVnull | BVXor | BVnonzero |
    140141  ----------+-----------+----------------+-----------+--------+-------+-----------+
Note: See TracChangeset for help on using the changeset viewer.