Changeset 1739 for Deliverables


Ignore:
Timestamp:
Feb 24, 2012, 2:30:20 PM (8 years ago)
Author:
sacerdot
Message:

Footnote for optimizations.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/CompilerProofOutline/outline.tex

    r1738 r1739  
    5353meeting we intend to move this transformation to the back-end}\\
    5454\> $\downarrow$ \> cost labelling\\
     55\> $\downarrow$ \> loop optimizations\footnote{To be ported from the untrusted compiler and certified only in case of early completion of the certification of the other passes.} (an endo-transformation)\\
    5556\> $\downarrow$ \> stack variable allocation and control structure
    5657 simplification\\
     
    253254\quad \= $\downarrow$ \quad \= \kill
    254255\textsf{RTLabs}\\
     256\> $\downarrow$ \> copy propagation\footnote{\label{lab:opt}To be ported from the untrusted compiler and certified only in case of early completion of the certification of the other passes.} (an endo-transformation) \\
    255257\> $\downarrow$ \> instruction selection\\
    256258\textsf{RTL}\\
    257 \> $\downarrow$ \> constant propagation (an endo-transformation) \\
    258 \> $\downarrow$ \> copy propagation (an endo-transformation) \\
     259\> $\downarrow$ \> constant propagation$^{\mbox{\scriptsize \ref{lab:opt}}}$ (an endo-transformation) \\
    259260\> $\downarrow$ \> calling convention made explicit \\
    260261\> $\downarrow$ \> stack frame generation \\
Note: See TracChangeset for help on using the changeset viewer.