From 9344849de249310c4b9454005ebecc4121b10aca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Benedikt=20B=C3=B6hm?= Date: Tue, 26 May 2009 10:59:51 +0200 Subject: add first presentation --- doc/praes1/main.tex | 185 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 185 insertions(+) create mode 100644 doc/praes1/main.tex (limited to 'doc/praes1/main.tex') diff --git a/doc/praes1/main.tex b/doc/praes1/main.tex new file mode 100644 index 0000000..e924838 --- /dev/null +++ b/doc/praes1/main.tex @@ -0,0 +1,185 @@ +\documentclass[9pt]{beamer} + +\usepackage[utf8x]{inputenc} +\usepackage[english]{babel} +\usepackage{arev,t1enc} + +\include{fu-beamer-template} + +\titleimage{fu_500} +\title[Compilerbau] +{Zwischenpr\"{a}sentation 1} + +\author{B.~B\"{o}hm \and A.~N\"{u}\ss{}lein \and M.~Popov \and T.~Rakowski \and J.~Rekittke \and A.~Sulfrian} + +\institute[FU Berlin] +{Freie Universität Berlin} + +\date[May~26,~2009] +{Softwareprojekt Compilerbau, SoSe 2009} + +\renewcommand{\footlinetext}{\insertshortinstitute, \insertshorttitle, \insertshortdate} +%\AtBeginSubsection[] +%{ +% \begin{frame}{Outline} +% \tableofcontents[currentsection,currentsubsection] +% \end{frame} +%} + + +\begin{document} + +\begin{frame}[plain] + \titlepage +\end{frame} + + +\begin{frame}{Gruppe: Quellsprache} + \begin{itemize} + \pause\item\color{fu-green} erfinden der Quellsprache + \begin{itemize} + \pause\item\color{fu-green} Paradigma: imperativ, prozedural + \pause\item\color{fu-green} Typsystem: static, weak, infered + \end{itemize} + \pause\item\color{fu-green} erstellen der EBNF + \end{itemize} +\end{frame} + +\begin{frame}[fragile]{Gruppe: Quellsprache (Beispiel)} + \begin{verbatim} +fun fib[a] + if a < 2 + @1 + end + @(fib[a-1] + fib[a-2]) +end + +fun main[] + sum = 0 + i = 1 + while i <= 10 + sum = sum + fib[i] + i = i + 1 + end + @sum +end + \end{verbatim} +\end{frame} + +\begin{frame}{Gruppe: Schnittstellen} + \begin{itemize} + \pause\item Lexer $\Rightarrow$ Parser: + \pause\begin{itemize}\item\color{fu-green} Tokenstream\end{itemize} + \pause\item Parser $\Rightarrow$ Zwischencode: + \pause\begin{itemize}\item\color{fu-green} AST\end{itemize} + \pause\item Zwischencode $\Rightarrow$ Codegenerator: + \pause\begin{itemize}\item\color{orange} 3AC\end{itemize} + \pause\item Codegenerator $\Rightarrow$ Assemblercode: + \pause\begin{itemize}\item\color{fu-green} vereinfachte MIPS ISA\end{itemize} + \end{itemize} +\end{frame} + +\begin{frame}{Alex: Lexikalische Analyse} + \begin{itemize} + \pause\item Tokens: + \begin{itemize} + \pause\item\color{fu-green} NUMBER, BOOL, IDENT + \pause\item\color{fu-green} ASSIGNMENT + \pause\item\color{fu-green} OPERATOR + \pause\item\color{fu-green} FUN, RETURN + \pause\item\color{fu-green} WHILE, IF, ELSE + \pause\item\color{fu-green} LBRAK, RBRAK, LPAREN, RPAREN, NEWLINE, COMMA, END + \end{itemize} + \pause\item\color{fu-green} \"{U}bersetzungsregeln mit Regul\"{a}ren Ausdr\"{u}cken + \end{itemize} +\end{frame} + +\begin{frame}{Alex: Typsystem} + \begin{itemize} + \pause\item\color{fu-red} Typinferenz bei Initialisierung von Variablen + \pause\item\color{fu-red} Statische Typzuweisung in der Symboltabelle + \pause\item\color{fu-red} ggf. automatische Typkonvertierung + \end{itemize} +\end{frame} + +\begin{frame}{Michael: Syntaxanalyse/Parser} + \begin{itemize} + \pause\item Top-Down-Parsing + \pause\item Ableitungsbaum: + \begin{itemize} + \pause\item\color{fu-red} Program(Node) + \pause\item\color{fu-red} Function(Node) + \pause\item\color{fu-red} Statement(Node) + \pause\item\color{fu-red} IfStatement(Statement) + \pause\item\color{fu-red} WhileStatement(Statement) + \pause\item\color{fu-red} ReturnStatement(Statement) + \pause\item\color{fu-red} AssignStatement(Statement) + \pause\item\color{fu-red} FunctionCall(Statement) + \pause\item\color{fu-red} Expression(Node) + \pause\item\color{fu-red} UnaryExpression(Expression) + \pause\item\color{fu-red} BinaryExpression(Expression) + \end{itemize} + \end{itemize} + +\end{frame} + +\begin{frame}{Michael: Semantische Analyse} + \begin{itemize} + \pause\item\color{fu-red} Aufbau der Symboltabelle + \pause\item\color{fu-red} G\"{u}ltigkeitsbereiche der Bezeichner \"{u}berpr\"{u}fen + \pause\item\color{fu-red} eindeutige Zuweisungen von Bezeichnern + \end{itemize} +\end{frame} + +\begin{frame}{Andreas: Zwischencode} + \begin{itemize} + \pause\item Drei-Adress-Code (SSA Form): + \begin{itemize} + \pause\item\color{fu-green} Bin\"{a}re Operationen: ADD, SUB, MUL, DIV, MOD, AND, OR + \pause\item\color{fu-green} Un\"{a}re Operationen: NOT, MINUS + \pause\item\color{fu-green} Zuweisungen: ASSIGN + \pause\item\color{orange} Bedingte Spr\"{u}nge: BEQ, BNE, BLT, BGE, BLE, BGT + \pause\item\color{orange} Nichtbedingte Spr\"{u}nge: JMP + \pause\item\color{orange} Funktionsaufrufe: PARAM, CALL, RETURN + \end{itemize} + \end{itemize} +\end{frame} + +\begin{frame}{Andreas: Maschinenunabh\"{a}ngige Optimierung} + \begin{itemize} + \pause\item\color{fu-red} Eliminierung gemeinsamer Teilausdr\"{u}cke + \pause\item\color{fu-red} Kopiepropagation + \pause\item\color{fu-red} Entfernen von totem Code + \pause\item\color{fu-red} Konstantenfaltung + \end{itemize} +\end{frame} + +\begin{frame}{Jana: Codegenerator} + \begin{itemize} + \pause\item\color{fu-red} Zuweisung von Adressen/Registervergabe + \pause\item\color{fu-red} Zerlegen von Drei-Adress-Code in Grundbl\"{o}cke + \pause\item\color{fu-red} Erstellen von Flussgraphen + \pause\item\color{orange} Befehlsauswahl + \pause\item\color{orange} Aufrufkonventionen + \pause\item\color{orange} Ausgabe als Assemblercode + \end{itemize} +\end{frame} + +\begin{frame}{Jana/Bene: MIPS Emulator} + \begin{itemize} + \pause\item Vereinfachte MIPS ISA: + \begin{itemize} + \pause\item\color{fu-green} Arithmetik: ADD, SUB, MUL, DIV, MOD, SHL, SHR + \pause\item\color{fu-green} Logik: AND, OR, XOR, NOR + \pause\item\color{fu-green} Load \& Store: MOV, LB, LH, LW, SB, SH, SW + \pause\item\color{fu-green} Bedingte Spr\"{u}nge: CMP, BEQ, BNE, BLT, BGE, BLE, BGT + \pause\item\color{fu-green} Absolute Spr\"{u}nge: J, JAL + \pause\item\color{fu-green} Andere: SYS + \end{itemize} + \pause\item keine Delay-Slots + \pause\item keine Memory-Management-Unit + \pause\item I/O durch Nachbildung von System-Calls + \end{itemize} +\end{frame} + +\end{document} -- cgit v1.2.3