Difference between revisions of "PLC Laboratory 9"

From Marek Běhálek Wiki
Jump to navigation Jump to search
 
(11 intermediate revisions by the same user not shown)
Line 3: Line 3:
 
Extend the interpreter of arithmetic expressions from previous [[PLC_Laboratory_8 | Laboratory 8]]. In this laboratory, generate a stack-based target code defining the computation.  
 
Extend the interpreter of arithmetic expressions from previous [[PLC_Laboratory_8 | Laboratory 8]]. In this laboratory, generate a stack-based target code defining the computation.  
  
−
The language description is still valid. Expressions contain +, -, *, /, % operators (with common priorities and left associativity) and parentheses. To simplify the task, consider we have only binary operators. There are no unary operators in our language.  
+
The language description is still valid. Expressions contain +, -, *, /, % operators (with common priorities and left associativity) and parentheses. To simplify the task, consider we have only binary operators. There are no unary operators in our language. We have variables. Their identifiers compose from letters, and they have two types: <code>float</code> and <code>int</code>. Before variables are used, they need to be declared (use the same syntax as in C). Initially, they have value 0. The language is extended with <code>=</code> operator (lowest priority and right associativity).  
  
−
Now, we have variables. Their identifiers compose from letters and they have two types: <code>float</code> and <code>int</code>. Before variables are used, they need to be declared (use the same syntax as in C). The language is extended with <code>=</code> operator (lowest priority and right associativity).
+
Our expressions have a type. If it contains only integer numbers and variables its type is <code>int</code>. In all other cases it is <code>float</code>. In other words, if there is a floating-point number in our expression, all other integer values will be converted to float and the resulting type is <code>float</code>. In our language we also have a modulo: <code>%</code> that works only for integers.
−
 
 
−
Our expressions have a type. If it contains only integer numbers and variables its type is <code>int</code>. In all other cases it is <code>float</code>. In other words, if there is a floating point number in our expression, all other integer values will be converted to float and the resulting type is <code>float</code>. In our language we have also a modulo: <code>%</code> that works only for integers.
 
  
 
You can start with following C# codes from previous laboratory: [http://linedu.vsb.cz/~beh01/wiki_data/PLC_Lab9.zip PLC_Lab9.zip]
 
You can start with following C# codes from previous laboratory: [http://linedu.vsb.cz/~beh01/wiki_data/PLC_Lab9.zip PLC_Lab9.zip]
  
−
 
+
The target stack-based code will consist of following instructions:
−
The target stack-based code will constist of following instructions:
+
* <code>ADD, SUB, MUL, DIV, MOD</code> - it takes two values from the stack, computes the appropriate values, and stores the result on stack. If necessary, integers are automatically casted into floating-point numbers. <code>MOD</code> works only for integers.
−
* <code>ADD, SUB, MUL, DIV</code> - it takes two values from the stack, computes the apropriate value and stores the result on stack.
+
* <code>PUSH (I|F) n</code> - it stores the value <code>n</code> on stack. It will be either <code>int</code> or <code>float</code>.
−
* <code>PUSH n</code> - it stores the value <code>n</code> on stack.
+
* <code>PRINT (I|F)</code> - it takes a value from stack and '''based on its type''', prints it on output. Information about the resulting type can be obtained from '''previous
−
* <code>PRINT</code> - it takes a value from stack and prints it on output.
+
step''' - type checking.
−
 
+
* <code>LOAD a</code> - it loads the value of variable <code>a</code> to the stack.
−
'''Implement a virtual machine interpreting these instructions.'''
+
* <code>SAVE (I|F) a</code> - it takes the value from the stack, cast it into desired variable type (given as a second parameter I|F) and stores in into variable <code>a</code>. Again, the type of the variable <code>a</code> can be taken from symbol table from type checking.
  
 
== Input specification ==
 
== Input specification ==
  
−
In the input, there are expressions, they are written in formatting. Each expression ends with semicolon. Numbers can be written similarly to C language constants. it can be either: decimal , octal (starting with zero) or hexadecimal (starting with characters 0x) number.
+
In the input, there are expressions, they are written in the free formatting. Each expression ends with semicolon as described before.
  
 
== Output specification ==
 
== Output specification ==
  
−
For each expression write the instructions (one per line) that once performed, computes the resulting value for the expression. If there is any error in the input, you can stop the computation.
+
For each expression write the instructions (one per line) that once performed, computes the resulting value for the expression and prints the results on the screen. If there is any error in the input, you can stop the computation.
  
 
== Example ==  
 
== Example ==  
 
* Input
 
* Input
−
<syntaxhighlight lang="haskell" >
+
<syntaxhighlight lang="csharp" >
−
9-10; 2 * (3+4);
+
int a,b;
−
5;
+
a = b = 15;
 +
a + b;
 +
a % b;
 +
float c;
 +
c = a + b;
 +
c + a;
 +
c = a;
 +
c + 1.1;
 +
10 % a;
 
</syntaxhighlight >
 
</syntaxhighlight >
  
 
* Output
 
* Output
 
<syntaxhighlight lang="haskell" >
 
<syntaxhighlight lang="haskell" >
−
PUSH 9
+
PUSH I 0
−
PUSH 10
+
SAVE I a
−
SUB
+
PUSH I 0
−
PRINT
+
SAVE I b
−
PUSH 2
+
PUSH I 15
−
PUSH 3
+
SAVE I b
−
PUSH 4
+
LOAD b
 +
SAVE I a
 +
LOAD a
 +
PRINT I
 +
LOAD a
 +
LOAD b
 +
ADD
 +
PRINT I
 +
LOAD a
 +
LOAD b
 +
MOD
 +
PRINT I
 +
PUSH F 0
 +
SAVE F c
 +
LOAD a
 +
LOAD b
 +
ADD
 +
SAVE F c
 +
LOAD c
 +
PRINT F
 +
LOAD c
 +
LOAD a
 +
ADD
 +
PRINT F
 +
LOAD a
 +
SAVE F c
 +
LOAD c
 +
PRINT F
 +
LOAD c
 +
PUSH F 1.1
 
ADD
 
ADD
−
MUL
+
PRINT F
−
PRINT
+
PUSH I 10
−
PUSH 5
+
LOAD a
−
PRINT
+
MOD
 +
PRINT I
 
</syntaxhighlight >
 
</syntaxhighlight >
  

Latest revision as of 07:48, 17 April 2024

Compiler of Arithmetic Expressions Using ANTLR

Extend the interpreter of arithmetic expressions from previous Laboratory 8. In this laboratory, generate a stack-based target code defining the computation.

The language description is still valid. Expressions contain +, -, *, /, % operators (with common priorities and left associativity) and parentheses. To simplify the task, consider we have only binary operators. There are no unary operators in our language. We have variables. Their identifiers compose from letters, and they have two types: float and int. Before variables are used, they need to be declared (use the same syntax as in C). Initially, they have value 0. The language is extended with = operator (lowest priority and right associativity).

Our expressions have a type. If it contains only integer numbers and variables its type is int. In all other cases it is float. In other words, if there is a floating-point number in our expression, all other integer values will be converted to float and the resulting type is float. In our language we also have a modulo: % that works only for integers.

You can start with following C# codes from previous laboratory: PLC_Lab9.zip

The target stack-based code will consist of following instructions:

  • ADD, SUB, MUL, DIV, MOD - it takes two values from the stack, computes the appropriate values, and stores the result on stack. If necessary, integers are automatically casted into floating-point numbers. MOD works only for integers.
  • PUSH (I|F) n - it stores the value n on stack. It will be either int or float.
  • PRINT (I|F) - it takes a value from stack and based on its type, prints it on output. Information about the resulting type can be obtained from previous

step - type checking.

  • LOAD a - it loads the value of variable a to the stack.
  • SAVE (I|F) a - it takes the value from the stack, cast it into desired variable type (given as a second parameter I|F) and stores in into variable a. Again, the type of the variable a can be taken from symbol table from type checking.

Input specification

In the input, there are expressions, they are written in the free formatting. Each expression ends with semicolon as described before.

Output specification

For each expression write the instructions (one per line) that once performed, computes the resulting value for the expression and prints the results on the screen. If there is any error in the input, you can stop the computation.

Example

  • Input
int a,b;
a = b = 15;
a + b;
a % b;
float c;
c = a + b;
c + a;
c = a;
c + 1.1;
10 % a;
  • Output
PUSH I 0
SAVE I a
PUSH I 0
SAVE I b
PUSH I 15
SAVE I b
LOAD b
SAVE I a
LOAD a
PRINT I
LOAD a
LOAD b
ADD
PRINT I
LOAD a
LOAD b
MOD
PRINT I
PUSH F 0
SAVE F c
LOAD a
LOAD b
ADD
SAVE F c
LOAD c
PRINT F
LOAD c
LOAD a
ADD
PRINT F
LOAD a
SAVE F c
LOAD c
PRINT F
LOAD c
PUSH F 1.1
ADD
PRINT F
PUSH I 10
LOAD a
MOD
PRINT I

Solution

Retrieved from "http://behalek.cs.vsb.cz/wiki/index.php?title=PLC_Laboratory_9&oldid=3813"