Ignore:
Timestamp:
Sep 3, 2012, 1:16:29 PM (8 years ago)
Author:
campbell
Message:

Generate per-program cost labels rather than per-function ones, and
produce an extra cost label for the global variable initialisation.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/toRTLabs.ma

    r2292 r2319  
    937937include "Cminor/initialisation.ma".
    938938
    939 definition cminor_to_rtlabs : Cminor_program → RTLabs_program ≝
    940 λp. let p' ≝ replace_init p in cminor_noinit_to_rtlabs p'.
     939definition cminor_to_rtlabs : costlabel → Cminor_program → RTLabs_program ≝
     940λinit_cost,p. let p' ≝ replace_init init_cost p in cminor_noinit_to_rtlabs p'.
Note: See TracChangeset for help on using the changeset viewer.