Changeset 1753 for Deliverables


Ignore:
Timestamp:
Feb 24, 2012, 5:36:38 PM (8 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

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

    r1752 r1753  
    629629$$
    630630\begin{array}{lL>{(ex. $}L<{)$}}
    631 \Defined(s) & registers defined at $s$ & r_1\leftarrow r_2+r_3 \mapsto \{r_1,C\}, \mathtt{CALL}id\mapsto \text{caller-save}
     631\Defined(s) & registers defined at $s$ & r_1\leftarrow r_2+r_3 \mapsto \{r_1,C\}, \mathtt{CALL}~id\mapsto \text{caller-save}
    632632\\
    633 \Used(s) & registers used at $s$ & r_1\leftarrow r_2+r_3 \mapsto \{r_2,r_3\}, \mathtt{CALL}id\mapsto \text{parameters}
     633\Used(s) & registers used at $s$ & r_1\leftarrow r_2+r_3 \mapsto \{r_2,r_3\}, \mathtt{CALL}~id\mapsto \text{parameters}
    634634\end{array}
    635635$$
     
    761761            &            &                & (based on CompCert) & \\
    762762\hline
    763 Common & 12759 & 4.25 \permil & 54.22 \\
     763Common &  4864 & 4.25 \permil & 20.67 \\
    764764Cminor &  1057 & 5.23 \permil & 5.53 \\
    765765Clight &  1856 & 5.23 \permil & 9.71 \\
     
    771771ASM    &   984 & 4.80 \permil & 4.72 \\
    772772\hline
    773 Total common    & 12759 & 4.25 \permil & 54.22 \\
     773Total common    &  4864 & 4.25 \permil & 20.67 \\
    774774Total front-end &  2913 & 5.23 \permil & 15.24 \\
    775775Total back-end  &  6853 & 4.17 \permil & 13.39 \\
    776776\hline
    777 Total           & 22525 & 3.75 \permil & 84.85 \\
     777Total           & 14630 & 3.75 \permil & 49.30 \\
    778778\end{tabular}
    779779
Note: See TracChangeset for help on using the changeset viewer.