Changeset 1753 for Deliverables/D1.2
- Timestamp:
- Feb 24, 2012, 5:36:38 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D1.2/CompilerProofOutline/outline.tex
r1752 r1753 629 629 $$ 630 630 \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} 632 632 \\ 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} 634 634 \end{array} 635 635 $$ … … 761 761 & & & (based on CompCert) & \\ 762 762 \hline 763 Common & 12759 & 4.25 \permil & 54.22\\763 Common & 4864 & 4.25 \permil & 20.67 \\ 764 764 Cminor & 1057 & 5.23 \permil & 5.53 \\ 765 765 Clight & 1856 & 5.23 \permil & 9.71 \\ … … 771 771 ASM & 984 & 4.80 \permil & 4.72 \\ 772 772 \hline 773 Total common & 12759 & 4.25 \permil & 54.22\\773 Total common & 4864 & 4.25 \permil & 20.67 \\ 774 774 Total front-end & 2913 & 5.23 \permil & 15.24 \\ 775 775 Total back-end & 6853 & 4.17 \permil & 13.39 \\ 776 776 \hline 777 Total & 22525 & 3.75 \permil & 84.85\\777 Total & 14630 & 3.75 \permil & 49.30 \\ 778 778 \end{tabular} 779 779
Note: See TracChangeset
for help on using the changeset viewer.