460 lines
8.7 KiB
Plaintext
460 lines
8.7 KiB
Plaintext
/* S T A T E M E N T S */
|
|
{
|
|
#include <alloc.h>
|
|
#include <em.h>
|
|
|
|
#include "LLlex.h"
|
|
#include "chk_expr.h"
|
|
#include "def.h"
|
|
#include "desig.h"
|
|
#include "f_info.h"
|
|
#include "idf.h"
|
|
#include "main.h"
|
|
#include "misc.h"
|
|
#include "node.h"
|
|
#include "scope.h"
|
|
#include "type.h"
|
|
|
|
int slevel = 0; /* nesting level of statements */
|
|
}
|
|
|
|
|
|
/* ISO section 6.8.3.2, p. 128 */
|
|
CompoundStatement:
|
|
BEGIN StatementSequence END
|
|
;
|
|
|
|
/* ISO section 6.8.3.1, p. 128 */
|
|
StatementSequence:
|
|
Statement
|
|
[ %persistent
|
|
';' Statement
|
|
]*
|
|
{ chk_labels(slevel + 1); }
|
|
;
|
|
|
|
/* ISO section 6.8.1, p. 126 */
|
|
Statement
|
|
{
|
|
struct node *nd;
|
|
} :
|
|
{
|
|
slevel++;
|
|
}
|
|
[ Label(&nd) ':'
|
|
{ if( nd ) DefLabel(nd, slevel); }
|
|
]?
|
|
{ if( !options['L'] )
|
|
C_lin((arith) dot.tk_lineno);
|
|
}
|
|
[
|
|
SimpleStatement
|
|
|
|
|
StructuredStatement
|
|
]
|
|
{ slevel--; }
|
|
;
|
|
|
|
/* ISO section 6.8.2.1, p. 126 */
|
|
SimpleStatement
|
|
{
|
|
struct node *pnd, *expp;
|
|
unsigned short line;
|
|
} :
|
|
/* This is a changed rule, because the grammar as specified in the
|
|
* reference is not LL(1), and this gives conflicts.
|
|
* Note : the grammar states : AssignmentStatement |
|
|
* ProcedureStatement | ...
|
|
* In order to add assertions, there is an extra entry, which gives
|
|
* a conflict. This conflict is then resolved using an %if clause.
|
|
*/
|
|
EmptyStatement
|
|
|
|
|
GotoStatement
|
|
|
|
|
/* Evidently this is the beginning of the changed part
|
|
*/
|
|
%if( !options['s'] && !strcmp(dot.TOK_IDF->id_text, "assert") )
|
|
IDENT { line = LineNumber; }
|
|
Expression(&expp)
|
|
{ AssertStat(expp, line); }
|
|
|
|
|
IDENT { pnd = MkLeaf(Name, &dot); }
|
|
[ %default
|
|
|
|
/* At this point the IDENT can be a FunctionIdentifier in
|
|
* which case the VariableAccessTail must be empty.
|
|
*/
|
|
VariableAccessTail(&pnd)
|
|
[
|
|
%default
|
|
BECOMES
|
|
|
|
|
'=' { error("':=' expected instead of '='"); }
|
|
]
|
|
Expression(&expp)
|
|
{ AssignStat(pnd, expp); }
|
|
|
|
|
{ pnd = MkNode(Call, pnd, NULLNODE, &dot); }
|
|
ActualParameterList(&(pnd->nd_right))?
|
|
{ ProcStat(pnd);
|
|
|
|
if( !err_occurred )
|
|
CodeCall(pnd);
|
|
|
|
FreeNode(pnd);
|
|
}
|
|
|
|
]
|
|
|
|
|
InputOutputStatement
|
|
/* end of changed part
|
|
*/
|
|
;
|
|
|
|
InputOutputStatement
|
|
{
|
|
struct node *nd = NULLNODE;
|
|
} :
|
|
/* This is a new rule because the grammar specified by the standard
|
|
* is not exactly LL(1) (see SimpleStatement).
|
|
*/
|
|
[
|
|
READ ReadParameterList(&nd) { ChkRead(nd); }
|
|
|
|
|
READLN ReadParameterList(&nd)? { ChkReadln(nd); }
|
|
|
|
|
WRITE WriteParameterList(&nd) { ChkWrite(nd); }
|
|
|
|
|
WRITELN WriteParameterList(&nd)? { ChkWriteln(nd); }
|
|
]
|
|
{ FreeNode(nd); }
|
|
;
|
|
|
|
EmptyStatement:
|
|
/* empty */
|
|
;
|
|
|
|
/* ISO section 6.8.3.1, p. 128 */
|
|
StructuredStatement:
|
|
CompoundStatement
|
|
|
|
|
ConditionalStatement
|
|
|
|
|
RepetitiveStatement
|
|
|
|
|
WithStatement
|
|
;
|
|
|
|
/* ISO section 6.8.2.4, p. 127 */
|
|
GotoStatement
|
|
{
|
|
struct node *nd;
|
|
} :
|
|
GOTO Label(&nd)
|
|
{ if( nd ) TstLabel(nd, slevel); }
|
|
;
|
|
|
|
/* ISO section 6.8.3.3, p. 128 */
|
|
ConditionalStatement:
|
|
%default
|
|
CaseStatement
|
|
|
|
|
IfStatement
|
|
;
|
|
|
|
/* ISO section 6.8.3.6, p. 129 */
|
|
RepetitiveStatement:
|
|
RepeatStatement
|
|
|
|
|
WhileStatement
|
|
|
|
|
ForStatement
|
|
;
|
|
|
|
/* ISO section 6.8.3.10, p. 132 */
|
|
WithStatement
|
|
{
|
|
struct scopelist *Save = CurrVis;
|
|
struct node *nd;
|
|
} :
|
|
WITH
|
|
RecordVariableList(&nd)
|
|
DO
|
|
Statement { EndWith(Save, nd);
|
|
chk_labels(slevel + 1);
|
|
}
|
|
;
|
|
|
|
RecordVariableList(register struct node **pnd;)
|
|
{
|
|
struct node *nd;
|
|
} :
|
|
RecordVariable(&nd)
|
|
{ *pnd = nd = MkNode(Link, nd, NULLNODE, &dot);
|
|
nd->nd_symb = ',';
|
|
}
|
|
[ %persistent
|
|
',' { nd->nd_right = MkLeaf(Link, &dot);
|
|
nd = nd->nd_right;
|
|
}
|
|
RecordVariable(&(nd->nd_left))
|
|
]*
|
|
;
|
|
|
|
RecordVariable(register struct node **pnd;):
|
|
VariableAccess(pnd)
|
|
{ WithStat(*pnd); }
|
|
;
|
|
|
|
/* ISO section 6.8.3.4, p. 128 */
|
|
IfStatement
|
|
{
|
|
struct node *nd;
|
|
label l1 = ++text_label;
|
|
label l2 = ++text_label;
|
|
} :
|
|
IF
|
|
BooleanExpression(&nd)
|
|
{ struct desig ds;
|
|
|
|
ds = InitDesig;
|
|
if( !err_occurred )
|
|
CodeExpr(nd, &ds, l1);
|
|
}
|
|
THEN
|
|
Statement { chk_labels(slevel + 1); }
|
|
[ %prefer /* closest matching */
|
|
ELSE
|
|
{ C_bra(l2);
|
|
C_df_ilb(l1);
|
|
}
|
|
Statement
|
|
{ C_df_ilb(l2);
|
|
chk_labels(slevel + 1);
|
|
}
|
|
|
|
|
/* empty */
|
|
{ C_df_ilb(l1); }
|
|
]
|
|
;
|
|
|
|
/* ISO section 6.8.3.5, p. 128 */
|
|
CaseStatement
|
|
{
|
|
struct node *casend, *nd;
|
|
label exit_label;
|
|
} :
|
|
/* This is a changed rule, because the grammar as specified in the
|
|
* reference states that a semicolon is optional before END,
|
|
* and this is not LL(1).
|
|
*/
|
|
CASE { casend = nd = MkLeaf(Link, &dot);
|
|
casend->nd_lab = ++text_label;
|
|
exit_label = ++text_label;
|
|
}
|
|
Expression(&(nd->nd_left))
|
|
{ CaseExpr(casend); }
|
|
OF
|
|
CaseListElement(&(nd->nd_right), exit_label)
|
|
{ nd = nd->nd_right; }
|
|
CaseListElementTail(&(nd->nd_right), exit_label)
|
|
END
|
|
{ CaseEnd(casend, exit_label); }
|
|
;
|
|
|
|
CaseListElementTail(register struct node **pnd; label exit_label;):
|
|
/* This is a new rule, all because of a silly semicolon
|
|
*/
|
|
/* empty */
|
|
|
|
|
%default
|
|
';'
|
|
[
|
|
/* empty */
|
|
|
|
|
CaseListElement(pnd, exit_label)
|
|
CaseListElementTail(&((*pnd)->nd_right), exit_label)
|
|
]
|
|
;
|
|
|
|
CaseListElement(register struct node **pnd; label exit_label;):
|
|
CaseConstantList(pnd)
|
|
':'
|
|
{ *pnd = MkNode(Link, *pnd, NULLNODE, &dot);
|
|
(*pnd)->nd_lab = ++text_label;
|
|
C_df_ilb(text_label);
|
|
}
|
|
Statement { C_bra(exit_label);
|
|
chk_labels(slevel + 1);
|
|
}
|
|
;
|
|
|
|
/* ISO section 6.8.3.7, p. 129 */
|
|
RepeatStatement
|
|
{
|
|
struct node *nd;
|
|
label repeatlb = ++text_label;
|
|
} :
|
|
REPEAT
|
|
{ C_df_ilb(repeatlb); }
|
|
StatementSequence
|
|
UNTIL
|
|
BooleanExpression(&nd)
|
|
{ struct desig ds;
|
|
|
|
ds = InitDesig;
|
|
if( !err_occurred )
|
|
CodeExpr(nd, &ds, repeatlb);
|
|
}
|
|
;
|
|
|
|
/* ISO section 6.8.3.8, p. 129 */
|
|
WhileStatement
|
|
{
|
|
struct node *nd;
|
|
label whilelb = ++text_label;
|
|
label exitlb = ++text_label;
|
|
|
|
} :
|
|
WHILE
|
|
{ C_df_ilb(whilelb); }
|
|
BooleanExpression(&nd)
|
|
{ struct desig ds;
|
|
|
|
ds = InitDesig;
|
|
if( !err_occurred )
|
|
CodeExpr(nd, &ds, exitlb);
|
|
}
|
|
DO
|
|
Statement
|
|
{ C_bra(whilelb);
|
|
C_df_ilb(exitlb);
|
|
chk_labels(slevel + 1);
|
|
}
|
|
;
|
|
|
|
/* ISO section 6.8.3.9, p. 130 */
|
|
ForStatement
|
|
{
|
|
register struct node *nd;
|
|
int stepsize;
|
|
label l1 = ++text_label;
|
|
label l2 = ++text_label;
|
|
arith tmp1 = (arith) 0;
|
|
arith tmp2 = (arith) 0;
|
|
} :
|
|
FOR
|
|
/* ControlVariable must be an EntireVariable */
|
|
IDENT { nd = MkLeaf(Name, &dot); }
|
|
BECOMES
|
|
Expression(&(nd->nd_left))
|
|
[
|
|
TO { stepsize = 1; }
|
|
|
|
|
DOWNTO { stepsize = -1; }
|
|
]
|
|
Expression(&(nd->nd_right))
|
|
{ ChkForStat(nd);
|
|
if( !err_occurred ) {
|
|
tmp1 = CodeInitFor(nd->nd_left, 0);
|
|
tmp2 = CodeInitFor(nd->nd_right, 2);
|
|
CodeFor(nd, stepsize, l1, l2, tmp1);
|
|
}
|
|
}
|
|
DO
|
|
Statement
|
|
{ if( !err_occurred )
|
|
CodeEndFor(nd, stepsize, l1, l2, tmp2);
|
|
EndForStat(nd);
|
|
chk_labels(slevel + 1);
|
|
FreeNode(nd);
|
|
if( tmp1 ) FreeInt(tmp1);
|
|
if( tmp2 ) FreeInt(tmp2);
|
|
}
|
|
;
|
|
|
|
/* SPECIALSPECIALSPECIALSPECIALSPECIALSPECIALSPECIALSPECIALSPECIALSPECIAL */
|
|
/* ISO section 6.9, p. 132-136 */
|
|
ReadParameterList(register struct node **pnd;)
|
|
{
|
|
register struct node *nd;
|
|
} :
|
|
/* This is a changed rule, because the grammar as specified in the
|
|
* reference is not LL(1), and this gives conflicts.
|
|
*/
|
|
'('
|
|
VariableAccess(pnd) /* possibly a FileVariable */
|
|
{ *pnd = nd =
|
|
MkNode(Link, *pnd, NULLNODE, &dot);
|
|
nd->nd_symb = ',';
|
|
}
|
|
[ %persistent
|
|
',' { nd->nd_right = MkLeaf(Link, &dot);
|
|
nd = nd->nd_right;
|
|
}
|
|
VariableAccess(&(nd->nd_left))
|
|
]*
|
|
')'
|
|
;
|
|
|
|
WriteParameterList(register struct node **pnd;)
|
|
{
|
|
register struct node *nd;
|
|
} :
|
|
/* This is a changed rule, because the grammar as specified in the
|
|
* reference is not LL(1), and this gives conflicts.
|
|
*/
|
|
'('
|
|
/* Only the first WriteParameter can be a FileVariable !!
|
|
*/
|
|
WriteParameter(pnd)
|
|
{ *pnd = nd =
|
|
MkNode(Link, *pnd, NULLNODE, &dot);
|
|
nd->nd_symb = ',';
|
|
}
|
|
[ %persistent
|
|
',' { nd->nd_right = MkLeaf(Link, &dot);
|
|
nd = nd->nd_right;
|
|
}
|
|
WriteParameter(&(nd->nd_left))
|
|
]*
|
|
')'
|
|
;
|
|
|
|
WriteParameter(register struct node **pnd;)
|
|
{
|
|
register struct node *nd;
|
|
} :
|
|
Expression(pnd)
|
|
{ if( !ChkExpression(*pnd) )
|
|
(*pnd)->nd_type = error_type;
|
|
MarkUsed(*pnd);
|
|
*pnd = nd =
|
|
MkNode(Link, *pnd, NULLNODE, &dot);
|
|
nd->nd_symb = ':';
|
|
}
|
|
[
|
|
/* Here the first Expression can't be a FileVariable
|
|
*/
|
|
':' { nd->nd_right = MkLeaf(Link, &dot);
|
|
nd = nd->nd_right;
|
|
}
|
|
Expression(&(nd->nd_left))
|
|
{ if( !ChkExpression(nd->nd_left) )
|
|
nd->nd_left->nd_type = error_type;
|
|
MarkUsed(nd->nd_left);
|
|
}
|
|
[
|
|
':' { nd->nd_right = MkLeaf(Link, &dot);
|
|
nd = nd->nd_right;
|
|
}
|
|
Expression(&(nd->nd_left))
|
|
{ if( !ChkExpression(nd->nd_left) )
|
|
nd->nd_left->nd_type = error_type;
|
|
MarkUsed(nd->nd_left);
|
|
}
|
|
]?
|
|
]?
|
|
;
|