Changeset 2039


Ignore:
Timestamp:
Jun 8, 2012, 6:20:14 PM (5 years ago)
Author:
sacerdot
Message:

New, better interface for subaddressing_mode_elim

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/AssemblyProofSplit.ma

    r2032 r2039  
    2323  whd in match set_arg_16; normalize nodelta
    2424  whd in match set_arg_16'; normalize nodelta
    25   @(subaddressing_mode_elim … [[dptr]] … [[dptr]]) [1: // ]
     25  @(subaddressing_mode_elim … d)
    2626  cases (vsplit bool 8 8 w) #bu #bl normalize nodelta
    2727  whd in match set_8051_sfr; normalize nodelta %
     
    115115  #M #cm #s whd in match set_arg_1; whd in match set_arg_1'; normalize nodelta
    116116  #addr #b
    117   @(subaddressing_mode_elim … [[bit_addr; carry]] … [[bit_addr; carry]]) [1: // ]
     117  @(subaddressing_mode_elim … addr)
    118118  [1:
    119119    #byte cases (vsplit ????) #nu #nl normalize nodelta
Note: See TracChangeset for help on using the changeset viewer.