report: Add control flow

mewmew · Aug 31, 2016 · 7e8d6b2 · 7e8d6b2
1 parent 8bf84a0
commit 7e8d6b2
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/report/sections/6_ir_generation.tex b/report/sections/6_ir_generation.tex
@@ -21,5 +21,5 @@ \section{IR Generation}
 
 \input{sections/6_ir_generation/1_installation_and_usage}
 \input{sections/6_ir_generation/2_design_decisions}
-%\input{sections/6_ir_generation/3_implementation}
+\input{sections/6_ir_generation/3_implementation}
 \input{sections/6_ir_generation/4_validation}
diff --git a/report/sections/6_ir_generation/3_implementation.tex b/report/sections/6_ir_generation/3_implementation.tex
@@ -1,9 +1,13 @@
 % Skipping this section fow now.
 
-%\subsection{Implementation}
+\subsection{Implementation}
 
-%\subsubsection{Control Flow}
+\subsubsection{Control Flow}
 %TODO: alex
 
+When walking the ast for code generation, if an if-statement is encountered, two new basic blocks are created, one for the true branch and one end basic block to join the true and false branches. The false branch is set to the end basic block. If an else statement is present, a third new basic block is created and the false branch instead set to this new basic block. Both new branch basic blocks have their terminating instruction set to jump to the end basic block.
+
+Analogously for while and return statements.
+
 %\subsubsection{Implicit Conversion}
 %TODO: alex