Mercurial > hg > Papers > 2014 > kaito_thesis

annotate final_main/main.aux @ 0:ce014a8b669e draft default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
wrote final thesis
author kaito
date Mon, 21 Apr 2014 21:42:23 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
1 \relax
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
2 \citation{gcc46}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
3 \citation{FreeBSD}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
4 \@writefile{toc}{\contentsline {chapter}{\numberline {第1章}背景と目的}{1}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
5 \@writefile{lof}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
6 \@writefile{lot}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
7 \newlabel{chap:introduction}{{1}{1}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
8 \@writefile{toc}{\contentsline {chapter}{\numberline {第2章}Continuation based C (CbC)}{2}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
9 \@writefile{lof}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
10 \@writefile{lot}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
11 \newlabel{chapter:CbC}{{2}{2}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
12 \@writefile{toc}{\contentsline {section}{\numberline {2.1}CbCとは}{2}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
13 \@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces goto による code segment 間の継続}}{2}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
14 \newlabel{fig:cs}{{2.1}{2}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
15 \@writefile{toc}{\contentsline {section}{\numberline {2.2}code segment}{2}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
16 \@writefile{toc}{\contentsline {section}{\numberline {2.3}コード例}{3}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
17 \newlabel{factorial}{{2.1}{3}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
18 \@writefile{lol}{\contentsline {lstlisting}{\numberline {2.1}\relax \fontsize {10}{12}\selectfont \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip 階乗を求める CbC プログラムの例}{3}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
19 \@writefile{toc}{\contentsline {section}{\numberline {2.4}環境付き継続}{3}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
20 \newlabel{sec:withEnv}{{2.4}{3}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
21 \newlabel{gotoWithTheEnv}{{2.2}{4}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
22 \@writefile{lol}{\contentsline {lstlisting}{\numberline {2.2}環境付き継続}{4}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
23 \@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces 環境付き継続}}{4}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
24 \newlabel{fig:gotoWithTheEnv}{{2.2}{4}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
25 \@writefile{toc}{\contentsline {chapter}{\numberline {第3章}LLVM/clang}{6}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
26 \@writefile{lof}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
27 \@writefile{lot}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
28 \newlabel{chapter:LLVM/clang}{{3}{6}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
29 \@writefile{toc}{\contentsline {section}{\numberline {3.1}LLVM/clang の概要}{6}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
30 \@writefile{toc}{\contentsline {section}{\numberline {3.2}clang の基本構造}{6}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
31 \citation{clang}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
32 \citation{clangAPI}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
33 \@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces clang の 処理過程}}{7}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
34 \newlabel{fig:clangProcess}{{3.1}{7}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
35 \@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}Abstract Syntax Tree (AST)}{7}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
36 \newlabel{ASTSampleCode}{{3.1}{8}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
37 \@writefile{lol}{\contentsline {lstlisting}{\numberline {3.1}sample.c}{8}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
38 \newlabel{AST}{{3.2}{8}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
39 \@writefile{lol}{\contentsline {lstlisting}{\numberline {3.2}sample.c の AST}{8}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
40 \@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}QualType}{9}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
41 \newlabel{sec:QualType}{{3.2.2}{9}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
42 \@writefile{lof}{\contentsline {figure}{\numberline {3.2}{\ignorespaces const int * に対応する QualType}}{9}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
43 \newlabel{fig:qual}{{3.2}{9}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
44 \citation{LLVM}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
45 \@writefile{toc}{\contentsline {section}{\numberline {3.3}LLVM の基本構造}{10}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
46 \newlabel{sec:llvm}{{3.3}{10}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
47 \citation{LLVMIR}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
48 \@writefile{lof}{\contentsline {figure}{\numberline {3.3}{\ignorespaces LLVM の 処理過程}}{11}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
49 \newlabel{fig:llvmProcess}{{3.3}{11}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
50 \@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}LLVM IR}{11}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
51 \newlabel{IRtestC}{{3.3}{11}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
52 \@writefile{lol}{\contentsline {lstlisting}{\numberline {3.3}c での関数 test}{11}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
53 \newlabel{IRtestIR}{{3.4}{12}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
54 \@writefile{lol}{\contentsline {lstlisting}{\numberline {3.4}LLVM IR での関数 test}{12}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
55 \@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}SelectionDAG}{12}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
56 \@writefile{toc}{\contentsline {subsection}{\numberline {3.3.3}Machine Code}{13}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
57 \newlabel{MachineCodeSSA}{{3.5}{13}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
58 \@writefile{lol}{\contentsline {lstlisting}{\numberline {3.5}test関数の Machine Code (SSA)}{13}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
59 \newlabel{MachineCodeNonSSA}{{3.6}{14}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
60 \@writefile{lol}{\contentsline {lstlisting}{\numberline {3.6}test関数の Machine Code (non-SSA)}{14}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
61 \citation{LLVM}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
62 \@writefile{toc}{\contentsline {subsection}{\numberline {3.3.4}MC Layer}{15}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
63 \@writefile{toc}{\contentsline {subsection}{\numberline {3.3.5}最適化機構}{15}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
64 \@writefile{toc}{\contentsline {section}{\numberline {3.4}Tail call elimination}{15}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
65 \@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}Tail call elimination 概要}{15}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
66 \newlabel{tailCall}{{3.7}{16}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
67 \@writefile{lol}{\contentsline {lstlisting}{\numberline {3.7}Tail call の例}{16}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
68 \@writefile{lof}{\contentsline {figure}{\numberline {3.4}{\ignorespaces Tail call elimination}}{16}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
69 \newlabel{fig:TCE}{{3.4}{16}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
70 \newlabel{tailCall2}{{3.8}{16}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
71 \@writefile{lol}{\contentsline {lstlisting}{\numberline {3.8}caller, B, main 関数の定義}{16}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
72 \citation{LLVM}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
73 \newlabel{asmCaller}{{3.9}{17}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
74 \@writefile{lol}{\contentsline {lstlisting}{\numberline {3.9}関数 caller (tail call elimination 無し)}{17}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
75 \newlabel{asmCallerTCE}{{3.10}{17}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
76 \@writefile{lol}{\contentsline {lstlisting}{\numberline {3.10}関数 caller (tail call elimination 有り)}{17}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
77 \@writefile{toc}{\contentsline {subsection}{\numberline {3.4.2}Tail call elimination の要件}{17}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
78 \newlabel{sec:TCE}{{3.4.2}{17}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
79 \@writefile{toc}{\contentsline {chapter}{\numberline {第4章}実装}{19}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
80 \@writefile{lof}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
81 \@writefile{lot}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
82 \@writefile{toc}{\contentsline {section}{\numberline {4.1}clang 側での \_\_code 型の追加とその構文解析}{19}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
83 \newlabel{sec:add__code}{{4.1}{19}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
84 \newlabel{token}{{4.1}{20}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
85 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.1}TokenKinds.def}{20}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
86 \newlabel{TST}{{4.2}{20}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
87 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.2}Specifiers.h}{20}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
88 \newlabel{clangType}{{4.3}{20}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
89 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.3}BuiltinTypes.def}{20}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
90 \newlabel{parse__Code}{{4.4}{21}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
91 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.4}\_\_code の parse}{21}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
92 \newlabel{langOpt}{{4.5}{21}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
93 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.5}LangOptions の追加}{21}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
94 \@writefile{toc}{\contentsline {section}{\numberline {4.2}LLVM 側での \_\_code 型の追加}{21}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
95 \newlabel{LLVMType}{{4.6}{22}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
96 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.6}LLVMContextImpl.h}{22}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
97 \newlabel{LLVMType}{{4.7}{22}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
98 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.7}Type.h}{22}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
99 \@writefile{toc}{\contentsline {section}{\numberline {4.3}継続のための goto syntax の構文解析}{22}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
100 \newlabel{ParseStmt}{{4.8}{22}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
101 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.8}goto 文の構文解析}{22}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
102 \newlabel{ParseCbCGotoStmt}{{4.9}{23}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
103 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.9}ParseCbCGotoStatement}{23}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
104 \@writefile{toc}{\contentsline {section}{\numberline {4.4}Tail call elimination pass の条件の達成}{24}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
105 \newlabel{sec:TCEreq}{{4.4}{24}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
106 \newlabel{PassManager}{{4.10}{24}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
107 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.10}tail call elimnation pass の追加}{24}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
108 \newlabel{CC}{{4.11}{26}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
109 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.11}fastcc の追加}{26}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
110 \newlabel{option}{{4.12}{26}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
111 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.12}オプションの引き継ぎ}{26}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
112 \@writefile{toc}{\contentsline {section}{\numberline {4.5}環境付き継続の実装}{27}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
113 \@writefile{toc}{\contentsline {subsection}{\numberline {4.5.1}clang により追加されるコード}{27}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
114 \newlabel{autoCodeGenB}{{4.13}{27}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
115 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.13}環境付き継続の例}{27}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
116 \newlabel{autoCodeGenA}{{4.14}{27}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
117 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.14}内部での解釈}{27}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
118 \@writefile{toc}{\contentsline {section}{\numberline {4.6}実装方法}{28}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
119 \newlabel{IncludeHeader}{{4.15}{29}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
120 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.15}IncludeHeader 関数}{29}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
121 \newlabel{return1}{{4.16}{30}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
122 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.16}CreateRetCS 関数}{30}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
123 \newlabel{CbC_env}{{4.17}{31}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
124 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.17}Create\_\_CbC\_envStruct 関数}{31}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
125 \newlabel{DeclStmt}{{4.18}{32}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
126 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.18}CreateDeclStmt 関数}{32}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
127 \newlabel{assignment}{{4.19}{33}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
128 \@writefile{lol}{\contentsline {lstlisting}{\numberline {4.19}CreateAssignmentStmt 関数}{33}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
129 \@writefile{toc}{\contentsline {chapter}{\numberline {第5章}評価と考察}{34}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
130 \@writefile{lof}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
131 \@writefile{lot}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
132 \@writefile{lot}{\contentsline {table}{\numberline {5.1}{\ignorespaces Mac OS X での Micro-C, GCC, LLVM/clang の実行速度比較 (単位 : 秒)}}{34}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
133 \newlabel{result}{{5.1}{34}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
134 \@writefile{toc}{\contentsline {section}{\numberline {5.1}考察}{34}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
135 \@writefile{toc}{\contentsline {chapter}{\numberline {第6章}今後の課題}{36}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
136 \@writefile{lof}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
137 \@writefile{lot}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
138 \bibcite{gcc46}{1}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
139 \bibcite{FreeBSD}{2}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
140 \bibcite{clang}{3}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
141 \bibcite{clangAPI}{4}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
142 \bibcite{LLVM}{5}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
143 \bibcite{LLVMIR}{6}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
144 \@writefile{toc}{\contentsline {chapter}{\numberline {付 録A }conv1 のソースコード}{39}}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
145 \@writefile{lof}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
146 \@writefile{lot}{\addvspace {10\p@ }}
ce014a8b669e wrote final thesis
kaito
parents:
diff changeset
147 \newlabel{conv1}{{A}{39}}