cws/cw04.tex
author Christian Urban <christian.urban@kcl.ac.uk>
Tue, 29 Sep 2020 00:51:43 +0100
changeset 765 b294cfbb5c01
parent 752 c0bdd4ad69ca
child 823 bde572a54112
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
630
9b1c15c3eb6f updated
Christian Urban <urbanc@in.tum.de>
parents: 607
diff changeset
     1
% !TEX program = xelatex
200
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
\documentclass{article}
309
640e4a05cd9b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 298
diff changeset
     3
\usepackage{../style}
216
f5ec7c597c5b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 214
diff changeset
     4
\usepackage{../langs}
200
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
\begin{document}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
354
86b2aeae3e98 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 333
diff changeset
     8
%https://github.com/Storyyeller/Krakatau
86b2aeae3e98 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 333
diff changeset
     9
%https://docs.oracle.com/javase/specs/jvms/se7/html/
86b2aeae3e98 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 333
diff changeset
    10
706
b560f78781b9 updated
Christian Urban <urbanc@in.tum.de>
parents: 630
diff changeset
    11
% Jasmin Tutorial
b560f78781b9 updated
Christian Urban <urbanc@in.tum.de>
parents: 630
diff changeset
    12
%http://saksagan.ceng.metu.edu.tr/courses/ceng444/link/jvm-cpm.html
b560f78781b9 updated
Christian Urban <urbanc@in.tum.de>
parents: 630
diff changeset
    13
751
4b208d81e002 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 748
diff changeset
    14
\section*{Coursework 4}
200
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    15
751
4b208d81e002 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 748
diff changeset
    16
\noindent This coursework is worth 10\% and is due on \cwFOUR{}
719
0de3527e6ae3 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 706
diff changeset
    17
at 18:00. You are asked to implement a compiler for
309
640e4a05cd9b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 298
diff changeset
    18
the WHILE language that targets the assembler language
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    19
provided by Jasmin or Krakatau (both have very similar
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    20
syntax). You can do the implementation in any programming
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    21
language you like, but you need to submit the source code with
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    22
which you answered the questions, otherwise a mark of 0\% will
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    23
be awarded. You should use the lexer and parser from the
748
383f2a5952ce updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 719
diff changeset
    24
previous courseworks. Please package \emph{everything}(!) in
383f2a5952ce updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 719
diff changeset
    25
a zip-file that creates a directory with the name
383f2a5952ce updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 719
diff changeset
    26
\texttt{YournameYourFamilyname} on my end.
358
b3129cff41e9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 354
diff changeset
    27
751
4b208d81e002 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 748
diff changeset
    28
\subsection*{Disclaimer\alert}
358
b3129cff41e9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 354
diff changeset
    29
b3129cff41e9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 354
diff changeset
    30
It should be understood that the work you submit represents
b3129cff41e9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 354
diff changeset
    31
your own effort. You have not copied from anyone else. An
b3129cff41e9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 354
diff changeset
    32
exception is the Scala code I showed during the lectures,
b3129cff41e9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 354
diff changeset
    33
which you can use. You can also use your own code from the
b3129cff41e9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 354
diff changeset
    34
CW~1, CW~2 and CW~3.
b3129cff41e9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 354
diff changeset
    35
b3129cff41e9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 354
diff changeset
    36
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    37
\subsection*{Jasmin Assembler}
358
b3129cff41e9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 354
diff changeset
    38
b3129cff41e9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 354
diff changeset
    39
The Jasmin assembler is available from
201
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    40
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    41
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    42
\url{http://jasmin.sourceforge.net}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    43
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    44
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    45
\noindent
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    46
There is a user guide for Jasmin
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    47
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    48
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    49
\url{http://jasmin.sourceforge.net/guide.html}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    50
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    51
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    52
\noindent and also a description of some of the instructions
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    53
that the JVM understands
201
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    54
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    55
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    56
\url{http://jasmin.sourceforge.net/instructions.html}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    57
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
    58
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    59
\noindent If you generated a correct assembler file for
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    60
Jasmin, for example \texttt{loops.j}, you can use
200
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    61
205
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
    62
\begin{center}
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
    63
\texttt{java -jar jasmin-2.4/jasmin.jar loops.j}
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
    64
\end{center}
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
    65
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    66
\noindent in order to translate it into Java Byte Code. The
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    67
resulting class file can be run with
205
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
    68
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
    69
\begin{center}
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
    70
\texttt{java loops}
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
    71
\end{center}
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
    72
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    73
\noindent where you might need to give the correct path to the
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    74
class file. For example:
322
698ed1c96cd0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 321
diff changeset
    75
698ed1c96cd0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 321
diff changeset
    76
\begin{center}
698ed1c96cd0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 321
diff changeset
    77
\texttt{java -cp . loops/loops}
698ed1c96cd0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 321
diff changeset
    78
\end{center}
698ed1c96cd0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 321
diff changeset
    79
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    80
\noindent There are also other resources about Jasmin on the
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    81
Internet, for example
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    82
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    83
\begin{center}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    84
\small\url{http://www.ceng.metu.edu.tr/courses/ceng444/link/f3jasmintutorial.html}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    85
\end{center}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    86
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    87
\noindent and
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    88
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    89
\begin{center}
607
3f4fc76dab2f updated
Christian Urban <urbanc@in.tum.de>
parents: 598
diff changeset
    90
  \small\url{http://www.csc.villanova.edu/~tway/courses/csc4181/s2018/labs/lab4/JVM.pdf}
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    91
\end{center}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    92
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    93
\subsection*{Krakatau Assembler}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    94
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    95
The Krakatau assembler is available from
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    96
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    97
\begin{center}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    98
\url{https://github.com/Storyyeller/Krakatau}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
    99
\end{center}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   100
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   101
\noindent This assembler requires Python and a package called
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   102
\pcode{ply} available from
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   103
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   104
\begin{center}
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   105
\url{https://pypi.python.org/pypi/ply}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   106
\end{center}
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   107
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   108
\noindent This assembler is largely compatible with the Jasmin
473
dc528091eb70 updated
Christian Urban <urbanc@in.tum.de>
parents: 428
diff changeset
   109
syntax---that means for the files we are concerned with here,
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   110
it understands the same input syntax (no changes to your
473
dc528091eb70 updated
Christian Urban <urbanc@in.tum.de>
parents: 428
diff changeset
   111
compiler need to be made; ok maybe some small syntactic
dc528091eb70 updated
Christian Urban <urbanc@in.tum.de>
parents: 428
diff changeset
   112
adjustments are needed). You can generate Java Byte Code by
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   113
using 
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   114
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   115
\begin{center}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   116
\texttt{python Krakatau-master/assemble.py loops.j}
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   117
\end{center}
200
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   118
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   119
\noindent where you may have to adapt the directory where
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   120
Krakatau is installed (I just downloaded the zip file from
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   121
Github and \pcode{Krakatau-master} was the directory where it
473
dc528091eb70 updated
Christian Urban <urbanc@in.tum.de>
parents: 428
diff changeset
   122
was installed). Again the resulting class-file you can run with
dc528091eb70 updated
Christian Urban <urbanc@in.tum.de>
parents: 428
diff changeset
   123
\texttt{java}.
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   124
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   125
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   126
%\noindent You need to submit a document containing the answers
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   127
%for the two questions below. You can do the implementation in
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   128
%any programming language you like, but you need to submit the
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   129
%source code with which you answered the questions. Otherwise
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   130
%the submission will not be counted. However, the coursework
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   131
%will \emph{only} be judged according to the answers. You can
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   132
%submit your answers in a txt-file or as pdf.\bigskip
200
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   133
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   134
419
4110ab35e5d8 updated courseworks
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 391
diff changeset
   135
\subsection*{Question 1}
200
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   136
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   137
You need to lex and parse WHILE programs, and then generate
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   138
Java Byte Code instructions for the Jasmin assembler (or
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   139
Krakatau assembler). As solution you need to submit the
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   140
assembler instructions for the Fibonacci and Factorial
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   141
programs. Both should be so modified that a user can input on
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   142
the console which Fibonacci number and which Factorial should
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   143
be calculated. The Fibonacci program is given in
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   144
Figure~\ref{fibs}. You can write your own program for
473
dc528091eb70 updated
Christian Urban <urbanc@in.tum.de>
parents: 428
diff changeset
   145
calculating factorials. Submit your assembler code as
dc528091eb70 updated
Christian Urban <urbanc@in.tum.de>
parents: 428
diff changeset
   146
a file that can be run, not as PDF-text.
200
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   147
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   148
\begin{figure}[t]
751
4b208d81e002 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 748
diff changeset
   149
\lstinputlisting[language=while]{../progs/while-tests/fib.while}
320
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 313
diff changeset
   150
\caption{The Fibonacci program in the WHILE language.\label{fibs}}
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   151
\end{figure}
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   152
419
4110ab35e5d8 updated courseworks
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 391
diff changeset
   153
\subsection*{Question 2}
201
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
   154
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   155
Extend the syntax of your language so that it contains also
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   156
\texttt{for}-loops, like
201
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
   157
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
   158
\begin{center}
391
f352cb238c32 updated meaning of for-loop
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 390
diff changeset
   159
\lstset{language=While}
f352cb238c32 updated meaning of for-loop
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 390
diff changeset
   160
\code{for} \;\textit{Id} \texttt{:=} \textit{AExp}\; \code{upto} 
f352cb238c32 updated meaning of for-loop
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 390
diff changeset
   161
\;\textit{AExp}\; \code{do} \textit{Block} 
201
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 200
diff changeset
   162
\end{center}
200
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   163
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   164
\noindent The intended meaning is to first assign the variable
391
f352cb238c32 updated meaning of for-loop
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 390
diff changeset
   165
\textit{Id} the value of the first arithmetic expression, test
598
e3ad67cd5123 updated
Christian Urban <urbanc@in.tum.de>
parents: 567
diff changeset
   166
whether this value is less or equal than the value of the
391
f352cb238c32 updated meaning of for-loop
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 390
diff changeset
   167
second arithmetic expression. If yes, go through the loop, and
f352cb238c32 updated meaning of for-loop
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 390
diff changeset
   168
at the end increase the value of the loop variable by 1 and
f352cb238c32 updated meaning of for-loop
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 390
diff changeset
   169
start again with the test. If no, leave the loop. For example
f352cb238c32 updated meaning of for-loop
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 390
diff changeset
   170
the following instance of a \code{for}-loop is supposed to
f352cb238c32 updated meaning of for-loop
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 390
diff changeset
   171
print out the numbers \pcode{2}, \pcode{3}, \pcode{4}.
202
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 201
diff changeset
   172
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 201
diff changeset
   173
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 201
diff changeset
   174
\begin{center}
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   175
\begin{minipage}{12cm}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   176
\begin{lstlisting}[language=While, numbers=none]
202
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 201
diff changeset
   177
for i := 2 upto 4 do {
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 201
diff changeset
   178
    write i	
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 201
diff changeset
   179
}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 201
diff changeset
   180
\end{lstlisting}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 201
diff changeset
   181
\end{minipage}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 201
diff changeset
   182
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 201
diff changeset
   183
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   184
\noindent There are two ways how this can be implemented: one
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   185
is to adapt the code generation part of the compiler and
391
f352cb238c32 updated meaning of for-loop
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 390
diff changeset
   186
generate specific code for \code{for}-loops; the other is to
f352cb238c32 updated meaning of for-loop
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 390
diff changeset
   187
translate the abstract syntax tree of \code{for}-loops into
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   188
an abstract syntax tree using existing language constructs.
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   189
For example the loop above could be translated to the
391
f352cb238c32 updated meaning of for-loop
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 390
diff changeset
   190
following \code{while}-loop:
203
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 202
diff changeset
   191
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 202
diff changeset
   192
\begin{center}
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   193
\begin{minipage}{12cm}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   194
\begin{lstlisting}[language=While, numbers=none]
203
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 202
diff changeset
   195
i := 2;
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 202
diff changeset
   196
while (i <= 4) do {
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 202
diff changeset
   197
    write i;
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 202
diff changeset
   198
    i := i + 1;
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 202
diff changeset
   199
}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 202
diff changeset
   200
\end{lstlisting}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 202
diff changeset
   201
\end{minipage}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 202
diff changeset
   202
\end{center}
202
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 201
diff changeset
   203
630
9b1c15c3eb6f updated
Christian Urban <urbanc@in.tum.de>
parents: 607
diff changeset
   204
\subsection*{Question 3}
333
8890852e18b7 updated coursework
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 328
diff changeset
   205
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   206
\noindent In this question you are supposed to give the
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   207
assembler instructions for the program
205
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
   208
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
   209
\begin{center}
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   210
\begin{minipage}{12cm}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   211
\begin{lstlisting}[language=While, numbers=none]
333
8890852e18b7 updated coursework
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 328
diff changeset
   212
for i := 1 upto 10 do {
8890852e18b7 updated coursework
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 328
diff changeset
   213
  for i := 1 upto 10 do {
8890852e18b7 updated coursework
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 328
diff changeset
   214
    write i
205
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
   215
  }
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
   216
} 
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
   217
\end{lstlisting}
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
   218
\end{minipage}
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
   219
\end{center}
0b59588d28d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 204
diff changeset
   220
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   221
\noindent 
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   222
Note that in this program the variable \pcode{i} is used
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   223
twice. You need to make a decision how it should be compiled?
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   224
Explain your decision and indicate what this program would
333
8890852e18b7 updated coursework
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 328
diff changeset
   225
print out.
202
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 201
diff changeset
   226
204
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   227
\subsection*{Further Information}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   228
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   229
The Java infrastructure unfortunately does not contain an
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   230
assembler out-of-the-box (therefore you need to download the
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   231
additional package Jasmin or Krakatau---see above). But it
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   232
does contain a disassembler, called \texttt{javap}. A
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   233
dissembler does the ``opposite'' of an assembler: it generates
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   234
readable assembler code from Java Byte Code. Have a look at
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   235
the following example: Compile using the usual Java compiler
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   236
the simple Hello World program below:
204
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   237
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   238
\begin{center}
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   239
\begin{minipage}{12cm}
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   240
\begin{lstlisting}[language=Java,numbers=none]
204
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   241
class HelloWorld {
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   242
    public static void main(String[] args) {
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   243
        System.out.println("Hello World!");
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   244
    }
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   245
}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   246
\end{lstlisting}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   247
\end{minipage}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   248
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   249
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   250
\noindent
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   251
You can use the command
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   252
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   253
\begin{center}
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   254
\begin{minipage}{12cm}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   255
\begin{lstlisting}[language={},numbers=none]
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   256
javap -v HelloWorld
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   257
\end{lstlisting}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   258
\end{minipage}
204
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   259
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   260
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   261
\noindent to see the assembler instructions of the Java Byte
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   262
Code that has been generated for this program. You can compare
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   263
this with the code generated for the Scala version of Hello
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   264
World.
204
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   265
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   266
\begin{center}
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   267
\begin{minipage}{12cm}
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   268
\begin{lstlisting}[language=Scala,numbers=none]
204
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   269
object HelloWorld {
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   270
   def main(args: Array[String]) {
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   271
      println("Hello World!")
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   272
  }
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   273
}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   274
\end{lstlisting}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   275
\end{minipage}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   276
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 203
diff changeset
   277
222
b712519b41d3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 216
diff changeset
   278
210
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   279
\subsection*{Library Functions}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   280
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   281
You need to generate code for the commands \texttt{write} and
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   282
\texttt{read}. This will require the addition of some
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   283
``library'' functions to your generated code. The first
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   284
command even needs two versions, because you need to write out
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   285
an integer and string. The Java byte code will need two
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   286
separate functions for this. For writing out an integer, you
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   287
can use the assembler code
210
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   288
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   289
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   290
\begin{minipage}{12cm}
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   291
\begin{lstlisting}[language=JVMIS, numbers=none]
210
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   292
.method public static write(I)V 
373
b018234c9126 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 358
diff changeset
   293
    .limit locals 1 
b018234c9126 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 358
diff changeset
   294
    .limit stack 2  
210
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   295
    getstatic java/lang/System/out Ljava/io/PrintStream; 
373
b018234c9126 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 358
diff changeset
   296
    iload 0
210
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   297
    invokevirtual java/io/PrintStream/println(I)V 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   298
    return 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   299
.end method
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   300
\end{lstlisting}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   301
\end{minipage}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   302
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   303
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   304
\noindent This function will invoke Java's \texttt{println}
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   305
function for integers. Then if you need to generate code for
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   306
\texttt{write x} where \texttt{x} is an integer variable, you
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   307
can generate
210
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   308
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   309
\begin{center}
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   310
\begin{minipage}{12cm}
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   311
\begin{lstlisting}[language=JVMIS, numbers=none]
210
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   312
iload n 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   313
invokestatic XXX/XXX/write(I)V
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   314
\end{lstlisting}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   315
\end{minipage}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   316
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   317
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   318
\noindent where \texttt{n} is the index where the value of the
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   319
variable \texttt{x} is stored. The \texttt{XXX/XXX} needs to
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   320
be replaced with the class name which you use to generate the
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   321
code (for example \texttt{fib/fib} in case of the Fibonacci
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   322
numbers).
210
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   323
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   324
Writing out a string is similar. The corresponding library
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   325
function uses strings instead of integers:
210
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   326
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   327
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   328
\begin{minipage}{12cm}
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   329
\begin{lstlisting}[language=JVMIS, numbers=none]
210
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   330
.method public static writes(Ljava/lang/String;)V
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   331
   .limit stack 2
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   332
   .limit locals 1
210
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   333
   getstatic java/lang/System/out Ljava/io/PrintStream;
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   334
   aload 0
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   335
   invokevirtual java/io/PrintStream/println(Ljava/lang/String;)V
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   336
   return
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   337
.end method
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   338
\end{lstlisting}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   339
\end{minipage}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   340
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   341
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   342
\noindent The code that needs to be generated for \code{write
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   343
"some_string"} commands is
210
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   344
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   345
\begin{center}
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   346
\begin{minipage}{12cm}
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   347
\begin{lstlisting}[language=JVMIS,numbers=none]
210
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   348
ldc "some_string"
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   349
invokestatic XXX/XXX/writes(Ljava/lang/String;)V
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   350
\end{lstlisting}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   351
\end{minipage}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   352
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 205
diff changeset
   353
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   354
\noindent Again you need to adjust the \texttt{XXX/XXX} part
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   355
in each call.
202
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 201
diff changeset
   356
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   357
The code for \texttt{read} is more complicated. The reason is
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   358
that inputting a string will need to be transformed into an
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   359
integer. The code in Figure~\ref{read} does this. It can be
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   360
called with
214
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   361
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   362
\begin{center}
390
a1fe591a3df3 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 373
diff changeset
   363
\begin{minipage}{12cm}
313
90ccc385c547 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 309
diff changeset
   364
\begin{lstlisting}[language=JVMIS,numbers=none]
214
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   365
invokestatic XXX/XXX/read()I 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   366
istore n
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   367
\end{lstlisting}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   368
\end{minipage}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   369
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   370
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   371
\noindent 
321
c5850f8f3f5e updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 320
diff changeset
   372
where \texttt{n} is the index of the variable that requires an input. If you
c5850f8f3f5e updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 320
diff changeset
   373
use Windows you need to take into account that a ``return'' is not just a newline,
c5850f8f3f5e updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 320
diff changeset
   374
\code{'\\10'}, but \code{'\\13\\10'}. This means you need to change line~12 in 
c5850f8f3f5e updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 320
diff changeset
   375
Figure~\ref{read} to \pcode{ldc 13}.  
214
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   376
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   377
321
c5850f8f3f5e updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 320
diff changeset
   378
\begin{figure}[t]\small
540
86f1acf60df3 updated
Christian Urban <urbanc@in.tum.de>
parents: 499
diff changeset
   379
\begin{lstlisting}[language=JVMIS,numbers=left]
214
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   380
.method public static read()I 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   381
      .limit locals 10 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   382
      .limit stack 10
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   383
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   384
      ldc 0 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   385
      istore 1  ; this will hold our final integer 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   386
Label1: 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   387
      getstatic java/lang/System/in Ljava/io/InputStream; 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   388
      invokevirtual java/io/InputStream/read()I 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   389
      istore 2 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   390
      iload 2 
706
b560f78781b9 updated
Christian Urban <urbanc@in.tum.de>
parents: 630
diff changeset
   391
      ldc 10  ; the newline delimiter for Unix (Windows 13)
214
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   392
      isub 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   393
      ifeq Label2 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   394
      iload 2 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   395
      ldc 32   ; the space delimiter 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   396
      isub 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   397
      ifeq Label2
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   398
      iload 2 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   399
      ldc 48   ; we have our digit in ASCII, have to subtract it from 48 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   400
      isub 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   401
      ldc 10 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   402
      iload 1 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   403
      imul 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   404
      iadd 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   405
      istore 1 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   406
      goto Label1 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   407
Label2: 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   408
      ;when we come here we have our integer computed in Local Variable 1 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   409
      iload 1 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   410
      ireturn 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   411
.end method
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   412
\end{lstlisting}\normalsize
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   413
\caption{Assembler code for reading an integer from the console.\label{read}}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   414
\end{figure}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 213
diff changeset
   415
200
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   416
\end{document}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   417
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   418
%%% Local Variables: 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   419
%%% mode: latex
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   420
%%% TeX-master: t
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   421
%%% End: