# Changeset 1739 for Deliverables/D1.2/CompilerProofOutline

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

Footnote for optimizations.

File:
1 edited

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

 r1738 meeting we intend to move this transformation to the back-end}\\ \> $\downarrow$ \> cost labelling\\ \> $\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)\\ \> $\downarrow$ \> stack variable allocation and control structure simplification\\ \quad \= $\downarrow$ \quad \= \kill \textsf{RTLabs}\\ \> $\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) \\ \> $\downarrow$ \> instruction selection\\ \textsf{RTL}\\ \> $\downarrow$ \> constant propagation (an endo-transformation) \\ \> $\downarrow$ \> copy propagation (an endo-transformation) \\ \> $\downarrow$ \> constant propagation$^{\mbox{\scriptsize \ref{lab:opt}}}$ (an endo-transformation) \\ \> $\downarrow$ \> calling convention made explicit \\ \> $\downarrow$ \> stack frame generation \\
Note: See TracChangeset for help on using the changeset viewer.