1267 lines
33 KiB
Plaintext
1267 lines
33 KiB
Plaintext
|
|
/********************************************
|
|
parse.y
|
|
copyright 1991, Michael D. Brennan
|
|
|
|
This is a source file for mawk, an implementation of
|
|
the AWK programming language.
|
|
|
|
Mawk is distributed without warranty under the terms of
|
|
the GNU General Public License, version 2, 1991.
|
|
********************************************/
|
|
|
|
/* $Log: parse.y,v $
|
|
/* Revision 1.1.1.1 1993/03/21 09:45:37 cgd
|
|
/* initial import of 386bsd-0.1 sources
|
|
/*
|
|
* Revision 5.2 92/01/08 16:11:42 brennan
|
|
* code FE_PUSHA carefully for MSDOS large mode
|
|
*
|
|
* Revision 5.1 91/12/05 07:50:22 brennan
|
|
* 1.1 pre-release
|
|
*
|
|
*/
|
|
|
|
|
|
%{
|
|
#include <stdio.h>
|
|
#include "mawk.h"
|
|
#include "code.h"
|
|
#include "symtype.h"
|
|
#include "memory.h"
|
|
#include "bi_funct.h"
|
|
#include "bi_vars.h"
|
|
#include "jmp.h"
|
|
#include "field.h"
|
|
#include "files.h"
|
|
|
|
#ifdef YYXBYACC
|
|
#define YYBYACC 1
|
|
#endif
|
|
|
|
#define YYMAXDEPTH 200
|
|
|
|
/* Bison's use of MSDOS and ours clashes */
|
|
#undef MSDOS
|
|
|
|
extern void PROTO( eat_nl, (void) ) ;
|
|
static void PROTO( resize_fblock, (FBLOCK *, INST *) ) ;
|
|
static void PROTO( code_array, (SYMTAB *) ) ;
|
|
static void PROTO( code_call_id, (CA_REC *, SYMTAB *) ) ;
|
|
static void PROTO( field_A2I, (void)) ;
|
|
static int PROTO( current_offset, (void) ) ;
|
|
static void PROTO( check_var, (SYMTAB *) ) ;
|
|
static void PROTO( check_array, (SYMTAB *) ) ;
|
|
static void PROTO( RE_as_arg, (void)) ;
|
|
|
|
static int scope ;
|
|
static FBLOCK *active_funct ;
|
|
/* when scope is SCOPE_FUNCT */
|
|
|
|
#define code_address(x) if( is_local(x) )\
|
|
{ code1(L_PUSHA) ; code1((x)->offset) ; }\
|
|
else code2(_PUSHA, (x)->stval.cp)
|
|
|
|
/* this nonsense caters to MSDOS large model */
|
|
#define CODE_FE_PUSHA() code_ptr->ptr = (PTR) 0 ; code1(FE_PUSHA)
|
|
|
|
%}
|
|
|
|
%union{
|
|
CELL *cp ;
|
|
SYMTAB *stp ;
|
|
INST *start ; /* code starting address */
|
|
PF_CP fp ; /* ptr to a (print/printf) or (sub/gsub) function */
|
|
BI_REC *bip ; /* ptr to info about a builtin */
|
|
FBLOCK *fbp ; /* ptr to a function block */
|
|
ARG2_REC *arg2p ;
|
|
CA_REC *ca_p ;
|
|
int ival ;
|
|
PTR ptr ;
|
|
}
|
|
|
|
/* two tokens to help with errors */
|
|
%token UNEXPECTED /* unexpected character */
|
|
%token BAD_DECIMAL
|
|
|
|
%token NL
|
|
%token SEMI_COLON
|
|
%token LBRACE RBRACE
|
|
%token LBOX RBOX
|
|
%token COMMA
|
|
%token <ival> IO_OUT /* > or output pipe */
|
|
|
|
%right ASSIGN ADD_ASG SUB_ASG MUL_ASG DIV_ASG MOD_ASG POW_ASG
|
|
%right QMARK COLON
|
|
%left OR
|
|
%left AND
|
|
%left IN
|
|
%left <ival> MATCH /* ~ or !~ */
|
|
%left EQ NEQ LT LTE GT GTE
|
|
%left CAT
|
|
%left GETLINE
|
|
%left PLUS MINUS
|
|
%left MUL DIV MOD
|
|
%left NOT UMINUS
|
|
%nonassoc IO_IN PIPE
|
|
%right POW
|
|
%left <ival> INC_or_DEC
|
|
%left DOLLAR FIELD /* last to remove a SR conflict
|
|
with getline */
|
|
%right LPAREN RPAREN /* removes some SR conflicts */
|
|
|
|
%token <ptr> DOUBLE STRING_ RE
|
|
%token <stp> ID D_ID
|
|
%token <fbp> FUNCT_ID
|
|
%token <bip> BUILTIN
|
|
%token <cp> FIELD
|
|
|
|
%token PRINT PRINTF SPLIT MATCH_FUNC SUB GSUB
|
|
/* keywords */
|
|
%token DO WHILE FOR BREAK CONTINUE IF ELSE IN
|
|
%token DELETE BEGIN END EXIT NEXT RETURN FUNCTION
|
|
|
|
%type <start> block block_or_separator
|
|
%type <start> statement_list statement mark
|
|
%type <ival> pr_args
|
|
%type <arg2p> arg2
|
|
%type <start> builtin
|
|
%type <start> getline_file
|
|
%type <start> lvalue field fvalue
|
|
%type <start> expr cat_expr p_expr
|
|
%type <start> while_front if_front
|
|
%type <start> for1 for2
|
|
%type <start> array_loop_front
|
|
%type <start> return_statement
|
|
%type <start> split_front re_arg sub_back
|
|
%type <ival> arglist args
|
|
%type <fp> print sub_or_gsub
|
|
%type <fbp> funct_start funct_head
|
|
%type <ca_p> call_args ca_front ca_back
|
|
%type <ival> f_arglist f_args
|
|
|
|
%%
|
|
/* productions */
|
|
|
|
program : program_block
|
|
| program program_block
|
|
;
|
|
|
|
program_block : PA_block /* pattern-action */
|
|
| function_def
|
|
| error block
|
|
{ if (scope == SCOPE_FUNCT)
|
|
{ restore_ids() ; scope = SCOPE_MAIN ; }
|
|
code_ptr = main_code_ptr ;
|
|
}
|
|
;
|
|
|
|
PA_block : block
|
|
{ /* this do nothing action removes a vacuous warning
|
|
from Bison */
|
|
}
|
|
|
|
| BEGIN
|
|
{
|
|
be_expand(&begin_code) ;
|
|
scope = SCOPE_BEGIN ;
|
|
}
|
|
|
|
block
|
|
{ be_shrink(&begin_code) ;
|
|
scope = SCOPE_MAIN ;
|
|
}
|
|
|
|
| END
|
|
{
|
|
be_expand(&end_code) ;
|
|
scope = SCOPE_END ;
|
|
}
|
|
|
|
block
|
|
{ be_shrink(&end_code) ;
|
|
scope = SCOPE_MAIN ;
|
|
}
|
|
|
|
| expr /* this works just like an if statement */
|
|
{ code_jmp(_JZ, (INST*)0) ; }
|
|
|
|
block_or_separator
|
|
{ patch_jmp( code_ptr ) ; }
|
|
|
|
/* range pattern, see comment in execute.c near _RANGE */
|
|
| expr COMMA
|
|
{ code_push($1, code_ptr - $1) ;
|
|
code_ptr = $1 ;
|
|
code1(_RANGE) ; code1(1) ;
|
|
code_ptr += 3 ;
|
|
code_ptr += code_pop(code_ptr) ;
|
|
code1(_STOP) ;
|
|
$1[2].op = code_ptr - ($1+1) ;
|
|
}
|
|
expr
|
|
{ code1(_STOP) ; }
|
|
|
|
block_or_separator
|
|
{ $1[3].op = $6 - ($1+1) ;
|
|
$1[4].op = code_ptr - ($1+1) ;
|
|
}
|
|
;
|
|
|
|
|
|
|
|
block : LBRACE statement_list RBRACE
|
|
{ $$ = $2 ; }
|
|
| LBRACE error RBRACE
|
|
{ $$ = code_ptr ; /* does nothing won't be executed */
|
|
print_flag = getline_flag = paren_cnt = 0 ;
|
|
yyerrok ; }
|
|
;
|
|
|
|
block_or_separator : block
|
|
| separator /* default print action */
|
|
{ $$ = code_ptr ;
|
|
code1(_PUSHINT) ; code1(0) ;
|
|
code2(_PRINT, bi_print) ;
|
|
}
|
|
|
|
statement_list : statement
|
|
| statement_list statement
|
|
;
|
|
|
|
|
|
statement : block
|
|
| expr separator
|
|
{ code1(_POP) ; }
|
|
| /* empty */ separator
|
|
{ $$ = code_ptr ; }
|
|
| error separator
|
|
{ $$ = code_ptr ;
|
|
print_flag = getline_flag = 0 ;
|
|
paren_cnt = 0 ;
|
|
yyerrok ;
|
|
}
|
|
| BREAK separator
|
|
{ $$ = code_ptr ; BC_insert('B', code_ptr+1) ;
|
|
code2(_JMP, 0) /* don't use code_jmp ! */ ; }
|
|
| CONTINUE separator
|
|
{ $$ = code_ptr ; BC_insert('C', code_ptr+1) ;
|
|
code2(_JMP, 0) ; }
|
|
| return_statement
|
|
{ if ( scope != SCOPE_FUNCT )
|
|
compile_error("return outside function body") ;
|
|
}
|
|
| NEXT separator
|
|
{ if ( scope != SCOPE_MAIN )
|
|
compile_error( "improper use of next" ) ;
|
|
$$ = code_ptr ;
|
|
code1(_NEXT) ;
|
|
}
|
|
;
|
|
|
|
separator : NL | SEMI_COLON
|
|
;
|
|
|
|
expr : cat_expr
|
|
| lvalue ASSIGN expr { code1(_ASSIGN) ; }
|
|
| lvalue ADD_ASG expr { code1(_ADD_ASG) ; }
|
|
| lvalue SUB_ASG expr { code1(_SUB_ASG) ; }
|
|
| lvalue MUL_ASG expr { code1(_MUL_ASG) ; }
|
|
| lvalue DIV_ASG expr { code1(_DIV_ASG) ; }
|
|
| lvalue MOD_ASG expr { code1(_MOD_ASG) ; }
|
|
| lvalue POW_ASG expr { code1(_POW_ASG) ; }
|
|
| expr EQ expr { code1(_EQ) ; }
|
|
| expr NEQ expr { code1(_NEQ) ; }
|
|
| expr LT expr { code1(_LT) ; }
|
|
| expr LTE expr { code1(_LTE) ; }
|
|
| expr GT expr { code1(_GT) ; }
|
|
| expr GTE expr { code1(_GTE) ; }
|
|
|
|
| expr MATCH expr
|
|
{
|
|
if ( $3 == code_ptr - 2 )
|
|
{
|
|
if ( $3->op == _MATCH0 ) $3->op = _MATCH1 ;
|
|
|
|
else /* check for string */
|
|
if ( $3->op == _PUSHS )
|
|
{ CELL *cp = ZMALLOC(CELL) ;
|
|
|
|
cp->type = C_STRING ;
|
|
cp->ptr = $3[1].ptr ;
|
|
cast_to_RE(cp) ;
|
|
code_ptr -= 2 ;
|
|
code2(_MATCH1, cp->ptr) ;
|
|
ZFREE(cp) ;
|
|
}
|
|
else code1(_MATCH2) ;
|
|
}
|
|
else code1(_MATCH2) ;
|
|
|
|
if ( !$2 ) code1(_NOT) ;
|
|
}
|
|
|
|
/* short circuit boolean evaluation */
|
|
| expr OR
|
|
{ code1(_DUP) ;
|
|
code_jmp(_JNZ, (INST*)0) ;
|
|
code1(_POP) ;
|
|
}
|
|
expr
|
|
{ patch_jmp(code_ptr) ; code1(_TEST) ; }
|
|
|
|
| expr AND
|
|
{ code1(_DUP) ; code_jmp(_JZ, (INST*)0) ;
|
|
code1(_POP) ; }
|
|
expr
|
|
{ patch_jmp(code_ptr) ; code1(_TEST) ; }
|
|
|
|
| expr QMARK { code_jmp(_JZ, (INST*)0) ; }
|
|
expr COLON { code_jmp(_JMP, (INST*)0) ; }
|
|
expr
|
|
{ patch_jmp(code_ptr) ; patch_jmp($7) ; }
|
|
;
|
|
|
|
cat_expr : p_expr %prec CAT
|
|
| cat_expr p_expr %prec CAT
|
|
{ code1(_CAT) ; }
|
|
;
|
|
|
|
p_expr : DOUBLE
|
|
{ $$ = code_ptr ; code2(_PUSHD, $1) ; }
|
|
| STRING_
|
|
{ $$ = code_ptr ; code2(_PUSHS, $1) ; }
|
|
| ID %prec AND /* anything less than IN */
|
|
{ check_var($1) ;
|
|
$$ = code_ptr ;
|
|
if ( is_local($1) )
|
|
{ code1(L_PUSHI) ; code1($1->offset) ; }
|
|
else code2(_PUSHI, $1->stval.cp) ;
|
|
}
|
|
|
|
| LPAREN expr RPAREN
|
|
{ $$ = $2 ; }
|
|
;
|
|
|
|
p_expr : RE
|
|
{ $$ = code_ptr ; code2(_MATCH0, $1) ; }
|
|
;
|
|
|
|
p_expr : p_expr PLUS p_expr { code1(_ADD) ; }
|
|
| p_expr MINUS p_expr { code1(_SUB) ; }
|
|
| p_expr MUL p_expr { code1(_MUL) ; }
|
|
| p_expr DIV p_expr { code1(_DIV) ; }
|
|
| p_expr MOD p_expr { code1(_MOD) ; }
|
|
| p_expr POW p_expr { code1(_POW) ; }
|
|
| NOT p_expr
|
|
{ $$ = $2 ; code1(_NOT) ; }
|
|
| PLUS p_expr %prec UMINUS
|
|
{ $$ = $2 ; code1(_UPLUS) ; }
|
|
| MINUS p_expr %prec UMINUS
|
|
{ $$ = $2 ; code1(_UMINUS) ; }
|
|
| builtin
|
|
;
|
|
|
|
p_expr : ID INC_or_DEC
|
|
{ check_var($1) ;
|
|
$$ = code_ptr ;
|
|
code_address($1) ;
|
|
|
|
if ( $2 == '+' ) code1(_POST_INC) ;
|
|
else code1(_POST_DEC) ;
|
|
}
|
|
| INC_or_DEC lvalue
|
|
{ $$ = $2 ;
|
|
if ( $1 == '+' ) code1(_PRE_INC) ;
|
|
else code1(_PRE_DEC) ;
|
|
}
|
|
;
|
|
|
|
p_expr : field INC_or_DEC
|
|
{ if ($2 == '+' ) code1(F_POST_INC ) ;
|
|
else code1(F_POST_DEC) ;
|
|
}
|
|
| INC_or_DEC field
|
|
{ $$ = $2 ;
|
|
if ( $1 == '+' ) code1(F_PRE_INC) ;
|
|
else code1( F_PRE_DEC) ;
|
|
}
|
|
;
|
|
|
|
lvalue : ID
|
|
{ $$ = code_ptr ;
|
|
check_var($1) ;
|
|
code_address($1) ;
|
|
}
|
|
;
|
|
|
|
|
|
arglist : /* empty */
|
|
{ $$ = 0 ; }
|
|
| args
|
|
;
|
|
|
|
args : expr %prec LPAREN
|
|
{ $$ = 1 ; }
|
|
| args COMMA expr
|
|
{ $$ = $1 + 1 ; }
|
|
;
|
|
|
|
builtin :
|
|
BUILTIN mark LPAREN arglist RPAREN
|
|
{ BI_REC *p = $1 ;
|
|
$$ = $2 ;
|
|
if ( p-> min_args > $4 || p->max_args < $4 )
|
|
compile_error(
|
|
"wrong number of arguments in call to %s" ,
|
|
p->name ) ;
|
|
if ( p->min_args != p->max_args ) /* variable args */
|
|
{ code1(_PUSHINT) ; code1($4) ; }
|
|
code2(_BUILTIN , p->fp) ;
|
|
}
|
|
;
|
|
|
|
/* an empty production to store the code_ptr */
|
|
mark : /* empty */
|
|
{ $$ = code_ptr ; }
|
|
|
|
/* print_statement */
|
|
statement : print mark pr_args pr_direction separator
|
|
{ code2(_PRINT, $1) ; $$ = $2 ;
|
|
if ( $1 == bi_printf && $3 == 0 )
|
|
compile_error("no arguments in call to printf") ;
|
|
print_flag = 0 ;
|
|
$$ = $2 ;
|
|
}
|
|
;
|
|
|
|
print : PRINT { $$ = bi_print ; print_flag = 1 ;}
|
|
| PRINTF { $$ = bi_printf ; print_flag = 1 ; }
|
|
;
|
|
|
|
pr_args : arglist { code1(_PUSHINT) ; code1($1) ; }
|
|
| LPAREN arg2 RPAREN
|
|
{ $$ = $2->cnt ; zfree($2,sizeof(ARG2_REC)) ;
|
|
code1(_PUSHINT) ; code1($$) ;
|
|
}
|
|
| LPAREN RPAREN
|
|
{ $$=0 ; code1(_PUSHINT) ; code1(0) ; }
|
|
;
|
|
|
|
arg2 : expr COMMA expr
|
|
{ $$ = (ARG2_REC*) zmalloc(sizeof(ARG2_REC)) ;
|
|
$$->start = $1 ;
|
|
$$->cnt = 2 ;
|
|
}
|
|
| arg2 COMMA expr
|
|
{ $$ = $1 ; $$->cnt++ ; }
|
|
;
|
|
|
|
pr_direction : /* empty */
|
|
| IO_OUT expr
|
|
{ code1(_PUSHINT) ; code1($1) ; }
|
|
;
|
|
|
|
|
|
/* IF and IF-ELSE */
|
|
|
|
if_front : IF LPAREN expr RPAREN
|
|
{ $$ = $3 ; eat_nl() ; code_jmp(_JZ, (INST*)0) ; }
|
|
;
|
|
|
|
/* if_statement */
|
|
statement : if_front statement
|
|
{ patch_jmp( code_ptr ) ; }
|
|
;
|
|
|
|
else : ELSE { eat_nl() ; code_jmp(_JMP, (INST*)0) ; }
|
|
;
|
|
|
|
/* if_else_statement */
|
|
statement : if_front statement else statement
|
|
{ patch_jmp(code_ptr) ; patch_jmp($4) ; }
|
|
|
|
|
|
/* LOOPS */
|
|
|
|
do : DO
|
|
{ eat_nl() ; BC_new() ; }
|
|
;
|
|
|
|
/* do_statement */
|
|
statement : do statement WHILE LPAREN expr RPAREN separator
|
|
{ $$ = $2 ;
|
|
code_jmp(_JNZ, $2) ;
|
|
BC_clear(code_ptr, $5) ; }
|
|
;
|
|
|
|
while_front : WHILE LPAREN expr RPAREN
|
|
{ eat_nl() ; BC_new() ;
|
|
$$ = $3 ;
|
|
|
|
/* check if const expression */
|
|
if ( code_ptr - 2 == $3 &&
|
|
code_ptr[-2].op == _PUSHD &&
|
|
*(double*)code_ptr[-1].ptr != 0.0
|
|
)
|
|
code_ptr -= 2 ;
|
|
else
|
|
{
|
|
code_push($3, code_ptr-$3) ;
|
|
code_ptr = $3 ;
|
|
code2(_JMP, (INST*)0) ; /* code2() not code_jmp() */
|
|
}
|
|
}
|
|
;
|
|
|
|
/* while_statement */
|
|
statement : while_front statement
|
|
{
|
|
INST *c_addr ; int len ;
|
|
|
|
if ( $1 != $2 ) /* real test in loop */
|
|
{
|
|
$1[1].op = code_ptr-($1+1) ;
|
|
c_addr = code_ptr ;
|
|
len = code_pop(code_ptr) ;
|
|
code_ptr += len ;
|
|
code_jmp(_JNZ, $2) ;
|
|
BC_clear(code_ptr, c_addr) ;
|
|
}
|
|
else /* while(1) */
|
|
{
|
|
code_jmp(_JMP, $1) ;
|
|
BC_clear(code_ptr, $2) ;
|
|
}
|
|
}
|
|
;
|
|
|
|
|
|
/* for_statement */
|
|
statement : for1 for2 for3 statement
|
|
{
|
|
INST *cont_address = code_ptr ;
|
|
unsigned len = code_pop(code_ptr) ;
|
|
|
|
code_ptr += len ;
|
|
|
|
if ( $2 != $4 ) /* real test in for2 */
|
|
{
|
|
$4[-1].op = code_ptr - $4 + 1 ;
|
|
len = code_pop(code_ptr) ;
|
|
code_ptr += len ;
|
|
code_jmp(_JNZ, $4) ;
|
|
}
|
|
else /* for(;;) */
|
|
code_jmp(_JMP, $4) ;
|
|
|
|
BC_clear(code_ptr, cont_address) ;
|
|
|
|
}
|
|
;
|
|
|
|
for1 : FOR LPAREN SEMI_COLON { $$ = code_ptr ; }
|
|
| FOR LPAREN expr SEMI_COLON
|
|
{ $$ = $3 ; code1(_POP) ; }
|
|
;
|
|
|
|
for2 : SEMI_COLON { $$ = code_ptr ; }
|
|
| expr SEMI_COLON
|
|
{
|
|
if ( code_ptr - 2 == $1 &&
|
|
code_ptr[-2].op == _PUSHD &&
|
|
* (double*) code_ptr[-1].ptr != 0.0
|
|
)
|
|
code_ptr -= 2 ;
|
|
else
|
|
{
|
|
code_push($1, code_ptr-$1) ;
|
|
code_ptr = $1 ;
|
|
code2(_JMP, (INST*)0) ;
|
|
}
|
|
}
|
|
;
|
|
|
|
for3 : RPAREN
|
|
{ eat_nl() ; BC_new() ; code_push((INST*)0,0) ; }
|
|
| expr RPAREN
|
|
{ eat_nl() ; BC_new() ;
|
|
code1(_POP) ;
|
|
code_push($1, code_ptr - $1) ;
|
|
code_ptr -= code_ptr - $1 ;
|
|
}
|
|
;
|
|
|
|
|
|
/* arrays */
|
|
|
|
expr : expr IN ID
|
|
{ check_array($3) ;
|
|
code_array($3) ;
|
|
code1(A_TEST) ;
|
|
}
|
|
| LPAREN arg2 RPAREN IN ID
|
|
{ $$ = $2->start ;
|
|
code1(A_CAT) ; code1($2->cnt) ;
|
|
zfree($2, sizeof(ARG2_REC)) ;
|
|
|
|
check_array($5) ;
|
|
code_array($5) ;
|
|
code1(A_TEST) ;
|
|
}
|
|
;
|
|
|
|
lvalue : ID mark LBOX args RBOX
|
|
{
|
|
if ( $4 > 1 )
|
|
{ code1(A_CAT) ; code1($4) ; }
|
|
|
|
check_array($1) ;
|
|
if( is_local($1) )
|
|
{ code1(LAE_PUSHA) ; code1($1->offset) ; }
|
|
else code2(AE_PUSHA, $1->stval.array) ;
|
|
$$ = $2 ;
|
|
}
|
|
;
|
|
|
|
p_expr : ID mark LBOX args RBOX %prec AND
|
|
{
|
|
if ( $4 > 1 )
|
|
{ code1(A_CAT) ; code1($4) ; }
|
|
|
|
check_array($1) ;
|
|
if( is_local($1) )
|
|
{ code1(LAE_PUSHI) ; code1($1->offset) ; }
|
|
else code2(AE_PUSHI, $1->stval.array) ;
|
|
$$ = $2 ;
|
|
}
|
|
|
|
| ID mark LBOX args RBOX INC_or_DEC
|
|
{
|
|
if ( $4 > 1 )
|
|
{ code1(A_CAT) ; code1($4) ; }
|
|
|
|
check_array($1) ;
|
|
if( is_local($1) )
|
|
{ code1(LAE_PUSHA) ; code1($1->offset) ; }
|
|
else code2(AE_PUSHA, $1->stval.array) ;
|
|
if ( $6 == '+' ) code1(_POST_INC) ;
|
|
else code1(_POST_DEC) ;
|
|
|
|
$$ = $2 ;
|
|
}
|
|
;
|
|
|
|
/* delete A[i] */
|
|
statement : DELETE ID mark LBOX args RBOX separator
|
|
{
|
|
$$ = $3 ;
|
|
if ( $5 > 1 ) { code1(A_CAT) ; code1($5) ; }
|
|
check_array($2) ;
|
|
code_array($2) ;
|
|
code1(A_DEL) ;
|
|
}
|
|
|
|
;
|
|
|
|
/* for ( i in A ) statement */
|
|
|
|
array_loop_front : FOR LPAREN ID IN ID RPAREN
|
|
{ eat_nl() ; BC_new() ;
|
|
$$ = code_ptr ;
|
|
|
|
check_var($3) ;
|
|
code_address($3) ;
|
|
check_array($5) ;
|
|
code_array($5) ;
|
|
|
|
code2(SET_ALOOP, (INST*)0) ;
|
|
}
|
|
;
|
|
|
|
/* array_loop */
|
|
statement : array_loop_front statement
|
|
{
|
|
$2[-1].op = code_ptr - $2 + 1 ;
|
|
BC_clear( code_ptr+3 , code_ptr) ;
|
|
code_jmp(ALOOP, $2) ;
|
|
code_ptr++->ptr = (PTR) ZMALLOC(ALOOP_STATE) ;
|
|
}
|
|
;
|
|
|
|
/* fields
|
|
D_ID is a special token , same as an ID, but yylex()
|
|
only returns it after a '$'. In essense,
|
|
DOLLAR D_ID is really one token.
|
|
*/
|
|
|
|
field : FIELD
|
|
{ $$ = code_ptr ; code2(F_PUSHA, $1) ; }
|
|
| DOLLAR D_ID
|
|
{ check_var($2) ;
|
|
$$ = code_ptr ;
|
|
if ( is_local($2) )
|
|
{ code1(L_PUSHI) ; code1($2->offset) ; }
|
|
else code2(_PUSHI, $2->stval.cp) ;
|
|
|
|
CODE_FE_PUSHA() ;
|
|
}
|
|
| DOLLAR D_ID mark LBOX args RBOX
|
|
{
|
|
if ( $5 > 1 )
|
|
{ code1(A_CAT) ; code1($5) ; }
|
|
|
|
check_array($2) ;
|
|
if( is_local($2) )
|
|
{ code1(LAE_PUSHI) ; code1($2->offset) ; }
|
|
else code2(AE_PUSHI, $2->stval.array) ;
|
|
|
|
CODE_FE_PUSHA() ;
|
|
|
|
$$ = $3 ;
|
|
}
|
|
| DOLLAR p_expr
|
|
{ $$ = $2 ; CODE_FE_PUSHA() ; }
|
|
| LPAREN field RPAREN
|
|
{ $$ = $2 ; }
|
|
;
|
|
|
|
p_expr : field %prec CAT /* removes field (++|--) sr conflict */
|
|
{ field_A2I() ; }
|
|
;
|
|
|
|
expr : field ASSIGN expr { code1(F_ASSIGN) ; }
|
|
| field ADD_ASG expr { code1(F_ADD_ASG) ; }
|
|
| field SUB_ASG expr { code1(F_SUB_ASG) ; }
|
|
| field MUL_ASG expr { code1(F_MUL_ASG) ; }
|
|
| field DIV_ASG expr { code1(F_DIV_ASG) ; }
|
|
| field MOD_ASG expr { code1(F_MOD_ASG) ; }
|
|
| field POW_ASG expr { code1(F_POW_ASG) ; }
|
|
;
|
|
|
|
/* split is handled different than a builtin because
|
|
it takes an array and optionally a regular expression as args */
|
|
|
|
p_expr : split_front split_back
|
|
{ code2(_BUILTIN, bi_split) ; }
|
|
;
|
|
|
|
split_front : SPLIT LPAREN expr COMMA ID
|
|
{ $$ = $3 ;
|
|
check_array($5) ;
|
|
code_array($5) ;
|
|
}
|
|
;
|
|
|
|
split_back : RPAREN
|
|
{ code2(_PUSHI, &fs_shadow) ; }
|
|
| COMMA expr RPAREN
|
|
{
|
|
if ( $2 == code_ptr - 2 )
|
|
{
|
|
if ( code_ptr[-2].op == _MATCH0 )
|
|
RE_as_arg() ;
|
|
else
|
|
if ( code_ptr[-2].op == _PUSHS )
|
|
{ CELL *cp = ZMALLOC(CELL) ;
|
|
|
|
cp->type = C_STRING ;
|
|
cp->ptr = code_ptr[-1].ptr ;
|
|
cast_for_split(cp) ;
|
|
code_ptr[-2].op = _PUSHC ;
|
|
code_ptr[-1].ptr = (PTR) cp ;
|
|
}
|
|
}
|
|
}
|
|
;
|
|
|
|
|
|
|
|
/* match(expr, RE) */
|
|
|
|
p_expr : MATCH_FUNC LPAREN expr COMMA re_arg RPAREN
|
|
{ $$ = $3 ;
|
|
code2(_BUILTIN, bi_match) ;
|
|
}
|
|
;
|
|
|
|
|
|
re_arg : expr
|
|
{
|
|
if ( $1 == code_ptr - 2 )
|
|
{
|
|
if ( $1->op == _MATCH0 ) RE_as_arg() ;
|
|
else
|
|
if ( $1->op == _PUSHS )
|
|
{ CELL *cp = ZMALLOC(CELL) ;
|
|
|
|
cp->type = C_STRING ;
|
|
cp->ptr = $1[1].ptr ;
|
|
cast_to_RE(cp) ;
|
|
$1->op = _PUSHC ;
|
|
$1[1].ptr = (PTR) cp ;
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
|
|
/* exit_statement */
|
|
statement : EXIT separator
|
|
{ $$ = code_ptr ;
|
|
code1(_EXIT0) ; }
|
|
| EXIT expr separator
|
|
{ $$ = $2 ; code1(_EXIT) ; }
|
|
|
|
return_statement : RETURN separator
|
|
{ $$ = code_ptr ;
|
|
code1(_RET0) ; }
|
|
| RETURN expr separator
|
|
{ $$ = $2 ; code1(_RET) ; }
|
|
|
|
/* getline */
|
|
|
|
p_expr : getline %prec GETLINE
|
|
{ $$ = code_ptr ;
|
|
code2(F_PUSHA, &field[0]) ;
|
|
code1(_PUSHINT) ; code1(0) ;
|
|
code2(_BUILTIN, bi_getline) ;
|
|
getline_flag = 0 ;
|
|
}
|
|
| getline fvalue %prec GETLINE
|
|
{ $$ = $2 ;
|
|
code1(_PUSHINT) ; code1(0) ;
|
|
code2(_BUILTIN, bi_getline) ;
|
|
getline_flag = 0 ;
|
|
}
|
|
| getline_file p_expr %prec IO_IN
|
|
{ code1(_PUSHINT) ; code1(F_IN) ;
|
|
code2(_BUILTIN, bi_getline) ;
|
|
/* getline_flag already off in yylex() */
|
|
}
|
|
| p_expr PIPE GETLINE
|
|
{ code2(F_PUSHA, &field[0]) ;
|
|
code1(_PUSHINT) ; code1(PIPE_IN) ;
|
|
code2(_BUILTIN, bi_getline) ;
|
|
}
|
|
| p_expr PIPE GETLINE fvalue
|
|
{
|
|
code1(_PUSHINT) ; code1(PIPE_IN) ;
|
|
code2(_BUILTIN, bi_getline) ;
|
|
}
|
|
;
|
|
|
|
getline : GETLINE { getline_flag = 1 ; }
|
|
|
|
fvalue : lvalue | field ;
|
|
|
|
getline_file : getline IO_IN
|
|
{ $$ = code_ptr ;
|
|
code2(F_PUSHA, field+0) ;
|
|
}
|
|
| getline fvalue IO_IN
|
|
{ $$ = $2 ; }
|
|
;
|
|
|
|
/*==========================================
|
|
sub and gsub
|
|
==========================================*/
|
|
|
|
p_expr : sub_or_gsub LPAREN re_arg COMMA expr sub_back
|
|
{
|
|
if ( $6 - $5 == 2 && $5->op == _PUSHS )
|
|
{ /* cast from STRING to REPL at compile time */
|
|
CELL *cp = ZMALLOC(CELL) ;
|
|
cp->type = C_STRING ;
|
|
cp->ptr = $5[1].ptr ;
|
|
cast_to_REPL(cp) ;
|
|
$5->op = _PUSHC ;
|
|
$5[1].ptr = (PTR) cp ;
|
|
}
|
|
code2(_BUILTIN, $1) ;
|
|
$$ = $3 ;
|
|
}
|
|
;
|
|
|
|
sub_or_gsub : SUB { $$ = bi_sub ; }
|
|
| GSUB { $$ = bi_gsub ; }
|
|
;
|
|
|
|
|
|
sub_back : RPAREN /* substitute into $0 */
|
|
{ $$ = code_ptr ;
|
|
code2(F_PUSHA, &field[0]) ;
|
|
}
|
|
|
|
| COMMA fvalue RPAREN
|
|
{ $$ = $2 ; }
|
|
;
|
|
|
|
/*================================================
|
|
user defined functions
|
|
*=================================*/
|
|
|
|
function_def : funct_start block
|
|
{ resize_fblock($1, code_ptr) ;
|
|
code_ptr = main_code_ptr ;
|
|
scope = SCOPE_MAIN ;
|
|
active_funct = (FBLOCK *) 0 ;
|
|
restore_ids() ;
|
|
}
|
|
;
|
|
|
|
|
|
funct_start : funct_head LPAREN f_arglist RPAREN
|
|
{ eat_nl() ;
|
|
scope = SCOPE_FUNCT ;
|
|
active_funct = $1 ;
|
|
main_code_ptr = code_ptr ;
|
|
|
|
if ( $1->nargs = $3 )
|
|
$1->typev = (char *)
|
|
memset( zmalloc($3), ST_LOCAL_NONE, SIZE_T($3)) ;
|
|
else $1->typev = (char *) 0 ;
|
|
code_ptr = $1->code =
|
|
(INST *) zmalloc(PAGE_SZ*sizeof(INST)) ;
|
|
}
|
|
;
|
|
|
|
funct_head : FUNCTION ID
|
|
{ FBLOCK *fbp ;
|
|
|
|
if ( $2->type == ST_NONE )
|
|
{
|
|
$2->type = ST_FUNCT ;
|
|
fbp = $2->stval.fbp =
|
|
(FBLOCK *) zmalloc(sizeof(FBLOCK)) ;
|
|
fbp->name = $2->name ;
|
|
}
|
|
else
|
|
{
|
|
type_error( $2 ) ;
|
|
|
|
/* this FBLOCK will not be put in
|
|
the symbol table */
|
|
fbp = (FBLOCK*) zmalloc(sizeof(FBLOCK)) ;
|
|
fbp->name = "" ;
|
|
}
|
|
$$ = fbp ;
|
|
}
|
|
|
|
| FUNCTION FUNCT_ID
|
|
{ $$ = $2 ;
|
|
if ( $2->code )
|
|
compile_error("redefinition of %s" , $2->name) ;
|
|
}
|
|
;
|
|
|
|
f_arglist : /* empty */ { $$ = 0 ; }
|
|
| f_args
|
|
;
|
|
|
|
f_args : ID
|
|
{ $1 = save_id($1->name) ;
|
|
$1->type = ST_LOCAL_NONE ;
|
|
$1->offset = 0 ;
|
|
$$ = 1 ;
|
|
}
|
|
| f_args COMMA ID
|
|
{ if ( is_local($3) )
|
|
compile_error("%s is duplicated in argument list",
|
|
$3->name) ;
|
|
else
|
|
{ $3 = save_id($3->name) ;
|
|
$3->type = ST_LOCAL_NONE ;
|
|
$3->offset = $1 ;
|
|
$$ = $1 + 1 ;
|
|
}
|
|
}
|
|
;
|
|
|
|
/* a call to a user defined function */
|
|
|
|
p_expr : FUNCT_ID mark call_args
|
|
{ $$ = $2 ;
|
|
code2(_CALL, $1) ;
|
|
|
|
if ( $3 ) code1($3->arg_num+1) ;
|
|
else code1(0) ;
|
|
|
|
check_fcall($1, scope, active_funct,
|
|
$3, token_lineno) ;
|
|
}
|
|
;
|
|
|
|
call_args : LPAREN RPAREN
|
|
{ $$ = (CA_REC *) 0 ; }
|
|
| ca_front ca_back
|
|
{ $$ = $2 ;
|
|
$$->link = $1 ;
|
|
$$->arg_num = $1 ? $1->arg_num+1 : 0 ;
|
|
}
|
|
;
|
|
|
|
/* The funny definition of ca_front with the COMMA bound to the ID is to
|
|
force a shift to avoid a reduce/reduce conflict
|
|
ID->id or ID->array
|
|
|
|
Or to avoid a decision, if the type of the ID has not yet been
|
|
determined
|
|
*/
|
|
|
|
ca_front : LPAREN
|
|
{ $$ = (CA_REC *) 0 ; }
|
|
| ca_front expr COMMA
|
|
{ $$ = (CA_REC *) zmalloc(sizeof(CA_REC)) ;
|
|
$$->link = $1 ;
|
|
$$->type = CA_EXPR ;
|
|
$$->arg_num = $1 ? $1->arg_num+1 : 0 ;
|
|
}
|
|
| ca_front ID COMMA
|
|
{ $$ = (CA_REC *) zmalloc(sizeof(CA_REC)) ;
|
|
$$->link = $1 ;
|
|
$$->arg_num = $1 ? $1->arg_num+1 : 0 ;
|
|
|
|
code_call_id($$, $2) ;
|
|
}
|
|
;
|
|
|
|
ca_back : expr RPAREN
|
|
{ $$ = (CA_REC *) zmalloc(sizeof(CA_REC)) ;
|
|
$$->type = CA_EXPR ;
|
|
}
|
|
|
|
| ID RPAREN
|
|
{ $$ = (CA_REC *) zmalloc(sizeof(CA_REC)) ;
|
|
code_call_id($$, $1) ;
|
|
}
|
|
;
|
|
|
|
|
|
|
|
|
|
%%
|
|
|
|
/* resize the code for a user function */
|
|
|
|
static void resize_fblock( fbp, code_ptr )
|
|
FBLOCK *fbp ;
|
|
INST *code_ptr ;
|
|
{ int size ;
|
|
|
|
code1(_RET0) ; /* make sure there is always a return statement */
|
|
|
|
#if !SM_DOS
|
|
if ( dump_code )
|
|
{ code1(_HALT) ; /*stops da() */
|
|
add_to_fdump_list(fbp) ;
|
|
}
|
|
#endif
|
|
|
|
if ( (size = code_ptr - fbp->code) > PAGE_SZ-1 )
|
|
overflow("function code size", PAGE_SZ ) ;
|
|
|
|
/* resize the code */
|
|
fbp->code = (INST*) zrealloc(fbp->code, PAGE_SZ*sizeof(INST),
|
|
size * sizeof(INST) ) ;
|
|
|
|
}
|
|
|
|
|
|
/* convert FE_PUSHA to FE_PUSHI
|
|
or F_PUSH to F_PUSHI
|
|
*/
|
|
|
|
static void field_A2I()
|
|
{ CELL *cp ;
|
|
|
|
if ( code_ptr[-1].op == FE_PUSHA &&
|
|
code_ptr[-1].ptr == (PTR) 0)
|
|
/* On most architectures, the two tests are the same; a good
|
|
compiler might eliminate one. On LM_DOS, and possibly other
|
|
segmented architectures, they are not */
|
|
{ code_ptr[-1].op = FE_PUSHI ; }
|
|
else
|
|
{
|
|
cp = (CELL *) code_ptr[-1].ptr ;
|
|
|
|
if ( cp == field ||
|
|
|
|
#if LM_DOS
|
|
SAMESEG(cp,field) &&
|
|
#endif
|
|
cp > NF && cp <= LAST_PFIELD )
|
|
{
|
|
code_ptr[-2].op = _PUSHI ;
|
|
}
|
|
else if ( cp == NF )
|
|
{ code_ptr[-2].op = NF_PUSHI ; code_ptr-- ; }
|
|
|
|
else
|
|
{
|
|
code_ptr[-2].op = F_PUSHI ;
|
|
code_ptr -> op = field_addr_to_index( code_ptr[-1].ptr ) ;
|
|
code_ptr++ ;
|
|
}
|
|
}
|
|
}
|
|
|
|
/* we've seen an ID in a context where it should be a VAR,
|
|
check that's consistent with previous usage */
|
|
|
|
static void check_var( p )
|
|
register SYMTAB *p ;
|
|
{
|
|
switch(p->type)
|
|
{
|
|
case ST_NONE : /* new id */
|
|
p->type = ST_VAR ;
|
|
p->stval.cp = new_CELL() ;
|
|
p->stval.cp->type = C_NOINIT ;
|
|
break ;
|
|
|
|
case ST_LOCAL_NONE :
|
|
p->type = ST_LOCAL_VAR ;
|
|
active_funct->typev[p->offset] = ST_LOCAL_VAR ;
|
|
break ;
|
|
|
|
case ST_VAR :
|
|
case ST_LOCAL_VAR : break ;
|
|
|
|
default :
|
|
type_error(p) ;
|
|
break ;
|
|
}
|
|
}
|
|
|
|
/* we've seen an ID in a context where it should be an ARRAY,
|
|
check that's consistent with previous usage */
|
|
static void check_array(p)
|
|
register SYMTAB *p ;
|
|
{
|
|
switch(p->type)
|
|
{
|
|
case ST_NONE : /* a new array */
|
|
p->type = ST_ARRAY ;
|
|
p->stval.array = new_ARRAY() ;
|
|
break ;
|
|
|
|
case ST_ARRAY :
|
|
case ST_LOCAL_ARRAY :
|
|
break ;
|
|
|
|
case ST_LOCAL_NONE :
|
|
p->type = ST_LOCAL_ARRAY ;
|
|
active_funct->typev[p->offset] = ST_LOCAL_ARRAY ;
|
|
break ;
|
|
|
|
default : type_error(p) ; break ;
|
|
}
|
|
}
|
|
|
|
static void code_array(p)
|
|
register SYMTAB *p ;
|
|
{ if ( is_local(p) )
|
|
{ code1(LA_PUSHA) ; code1(p->offset) ; }
|
|
else code2(A_PUSHA, p->stval.array) ;
|
|
}
|
|
|
|
|
|
static int current_offset()
|
|
{
|
|
switch( scope )
|
|
{
|
|
case SCOPE_MAIN : return code_ptr - main_start ;
|
|
case SCOPE_BEGIN : return code_ptr - begin_code.start ;
|
|
case SCOPE_END : return code_ptr - end_code.start ;
|
|
case SCOPE_FUNCT : return code_ptr - active_funct->code ;
|
|
}
|
|
/* can't get here */
|
|
return 0 ;
|
|
}
|
|
|
|
/* we've seen an ID as an argument to a user defined function */
|
|
|
|
static void code_call_id( p, ip )
|
|
register CA_REC *p ;
|
|
register SYMTAB *ip ;
|
|
{ static CELL dummy ;
|
|
|
|
switch( ip->type )
|
|
{
|
|
case ST_VAR :
|
|
p->type = CA_EXPR ;
|
|
code2(_PUSHI, ip->stval.cp) ;
|
|
break ;
|
|
|
|
case ST_LOCAL_VAR :
|
|
p->type = CA_EXPR ;
|
|
code1(L_PUSHI) ;
|
|
code1(ip->offset) ;
|
|
break ;
|
|
|
|
case ST_ARRAY :
|
|
p->type = CA_ARRAY ;
|
|
code2(A_PUSHA, ip->stval.array) ;
|
|
break ;
|
|
|
|
case ST_LOCAL_ARRAY :
|
|
p->type = CA_ARRAY ;
|
|
code1(LA_PUSHA) ;
|
|
code1(ip->offset) ;
|
|
break ;
|
|
|
|
/* not enough info to code it now; it will have to
|
|
be patched later */
|
|
|
|
case ST_NONE :
|
|
p->type = ST_NONE ;
|
|
p->call_offset = current_offset() ;
|
|
p->sym_p = ip ;
|
|
code2(_PUSHI, &dummy) ;
|
|
break ;
|
|
|
|
case ST_LOCAL_NONE :
|
|
p->type = ST_LOCAL_NONE ;
|
|
p->call_offset = current_offset() ;
|
|
p->type_p = & active_funct->typev[ip->offset] ;
|
|
code1(L_PUSHI) ;
|
|
code1(ip->offset) ;
|
|
break ;
|
|
|
|
|
|
#ifdef DEBUG
|
|
default :
|
|
bozo("code_call_id") ;
|
|
#endif
|
|
|
|
}
|
|
}
|
|
|
|
/* an RE by itself was coded as _MATCH0 , change to
|
|
push as an expression */
|
|
|
|
static void RE_as_arg()
|
|
{ CELL *cp = ZMALLOC(CELL) ;
|
|
|
|
code_ptr -= 2 ;
|
|
cp->type = C_RE ;
|
|
cp->ptr = code_ptr[1].ptr ;
|
|
code2(_PUSHC, cp) ;
|
|
}
|
|
|
|
|
|
int parse()
|
|
{ int yy = yyparse() ;
|
|
|
|
#if YYBYACC
|
|
extern struct yacc_mem *yacc_memp ;
|
|
|
|
yacc_memp++ ; /* puts parser tables in mem pool */
|
|
#endif
|
|
|
|
if ( resolve_list ) resolve_fcalls() ;
|
|
return yy ;
|
|
}
|
|
|