Mercurial > hg > Papers > 2015 > kaito-lola

changeset 11:4cff1ef8fbf6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Sat, 04 Jul 2015 17:25:27 +0900
parents 81195c2fcf4a
children 40be058f9df8
files presentation/presen.html
diffstat 1 files changed, 14 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/presentation/presen.html	Fri Jul 03 22:34:39 2015 +0900
+++ b/presentation/presen.html	Sat Jul 04 17:25:27 2015 +0900
@@ -176,7 +176,8 @@
             </td><td valign='top'>
               <ul>
                 <li>Code segments like C functions.
-                <li>CbC transition is goto so code segments do not return to previous.
+                <li>CbC transition is goto.
+                <li>Code segments do not return to previous.
                 <li>There are no return values.
               </ul>
           </td></tr>
@@ -215,8 +216,8 @@
               <ul>
                 <li>A part of list program.
                 <li>Code segment transition into next one via meta code segment.
-                <li>
-                <li>
+                <li>Context has code segments name.
+                <li>Context give meta code segments next code segment pointer.
               </ul>
           </td></tr>
         </table>
@@ -314,11 +315,15 @@
         <ul>
           <li>Code segments are implemented by C functions.
           <li>Data segments are implemented by C structs.
-          <li>Transition is implemented by forced tail call elimination.
+          <li>Transition is implemented by tail call elimination.
           <li>Goto with environment is implemented by setjmp and longjmp.
+            <ul>
+              <li>Goto with environment enable code segments to return C functions.
+            </ul>
         </ul>
       </div>
 
+<!--
       <div class='slide'>
         <h2>Implementating CbC compiler in LLVM and Clang</h2>
         <ul>
@@ -329,15 +334,16 @@
           <li>Automatically prototype declatation genarating.
        </ul>
       </div>
+-->
 
       <div class='slide'>
         <h2>Parser</h2>
-        <div align='center'><img src="fig/clang_llvm_slide_parse.svg" width="70%"></div>
         <ul>
           <li>__code type
           <li>Prototype declaration generating
           <li>Goto syntax for transitions
         </ul>
+        <div align='center'><img src="fig/clang_llvm_slide_parse.svg" width="60%"></div>
       </div>
 
       <div class='slide'>
@@ -441,11 +447,12 @@
         <h2>Forcing Tail Call Elimination</h2>
         <p>TCE is enabled at CodeGen.</p>
         <p>TCE is act at SelectionDAGISel.</p>
-        <div align='center'><img src="fig/clang_llvm_slide_cg_DAG.svg" width="70%"></div>
+        <div align='center'><img src="fig/clang_llvm_slide_cg_DAG.svg" width="60%"></div>
       </div>
 
       <div class='slide'>
-        <h2>Jmp instruction based transition</h2>
+        <!--        <h2>Jmp instruction based transition</h2> -->
+        <h2>What is tail call elimination?</h2>
         <ul>
           <li>Tail call is immediately followed by return.
           <li>Tail call elimination replace tail call's call instructions with jmp instructions.