Changeset 2344


Ignore:
Timestamp:
Sep 26, 2012, 2:50:19 PM (7 years ago)
Author:
mulligan
Message:

Fixed "C statements" rather than "blocks of instructions"

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/cpp-asm-2012/cpp-2012-asm.tex

    r2343 r2344  
    9999Another complication we have addressed is that of the cost model.
    100100CerCo imposes a cost model on C programs or, more specifically, on simple blocks of instructions.
    101 This cost model is induced by the compilation process itself, and its non-compositional nature allows us to assign different costs to identical blocks of instructions depending on how they are compiled.
     101This cost model is induced by the compilation process itself, and its non-compositional nature allows us to assign different costs to identical C statements depending on how they are compiled.
    102102In short, we aim to obtain a very precise costing for a program by embracing the compilation process, not ignoring it.
    103103At the assembler level, this is reflected by our need to induce a cost
Note: See TracChangeset for help on using the changeset viewer.