syntax.y

%{
#include <stdio.h>
#include "IR_structure.h"
#include "lex.yy.c"
int yyerror(char* msg);
%}

/* declared types */
%union {
    int type_int;
    char* relop_name;
    Operand type_operand;
    InterCode type_InterCode;
    InterCodes type_InterCodes;
}

%locations
/* declared tokens */
%token <type_int> INT
%token <relop_name> RELOP ID
%token COLON FUNCTION LABEL ASSIGNOP EOL
%token PLUS MINUS STAR DIV AND SHARP
%token IF GOTO RETURN DEC ARG CALL PARAM READ WRITE

%type <type_operand> var label function
%type <type_InterCode> Code
%type <type_InterCodes> Program Codes

%%
Program : Codes{
        $$=inter_code_head;
    };
Codes : Codes Code EOL{
        InterCodes c=(InterCodes)malloc(sizeof(struct InterCodes_));
        c->code=$2;
        inter_code_count++;c->num=inter_code_count;
        c->prev=$1;c->next=NULL;
        if($1==NULL)inter_code_head=c;
        else $1->next=c;
        $$=c;
    }
    | /*empty*/{
        inter_code_head=NULL;
        $$=NULL;
    };
Code : LABEL label COLON{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=LABEL_IR;
        c->u.one.op=$2;
        $$=c;
    }
    | FUNCTION function COLON{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=FUNCTION_IR;
        c->u.one.op=$2;
        $$=c;
    }
    | var ASSIGNOP var{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=ASSIGN_IR;
        c->u.two.op1=$1;
        c->u.two.op2=$3;
        $$=c;
    }
    | var ASSIGNOP var PLUS var{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=ADD_IR;
        c->u.three.res=$1;
        c->u.three.op1=$3;
        c->u.three.op2=$5;
        $$=c;
    }
    | var ASSIGNOP var MINUS var{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=SUB_IR;
        c->u.three.res=$1;
        c->u.three.op1=$3;
        c->u.three.op2=$5;
        $$=c;
    }
    | var ASSIGNOP var STAR var{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=MUL_IR;
        c->u.three.res=$1;
        c->u.three.op1=$3;
        c->u.three.op2=$5;
        $$=c;
    }
    | var ASSIGNOP var DIV var{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=DIV_IR;
        c->u.three.res=$1;
        c->u.three.op1=$3;
        c->u.three.op2=$5;
        $$=c;
    }
    | GOTO label{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=GOTO_IR;
        c->u.one.op=$2;
        $$=c;
    }
    | IF var RELOP var GOTO label{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=IFGOTO_IR;
        c->u.four.op1=$2;
        c->u.four.op2=$4;
        c->u.four.op3=$6;
        strcpy(c->u.four.relop,$3);
        $$=c;
    }
    | RETURN var{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=RETURN_IR;
        c->u.one.op=$2;
        $$=c;
    }
    |DEC var INT{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=DEC_IR;
        c->u.dec.x=$2;
        c->u.dec.size=$3;
        $$=c;
    }
    | ARG var{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=ARG_IR;
        c->u.one.op=$2;
        $$=c;
    }
    | var ASSIGNOP CALL function{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=CALL_IR;
        c->u.two.op1=$1;
        c->u.two.op2=$4;
        $$=c;
    }
    | PARAM var{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=PARAM_IR;
        c->u.one.op=$2;
        $$=c;
    }
    | READ var{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=READ_IR;
        c->u.one.op=$2;
        $$=c;
    }
    | WRITE var{
        InterCode c=(InterCode)malloc(sizeof(struct InterCode_));
        c->kind=WRITE_IR;
        c->u.one.op=$2;
        $$=c;
    };
    
var : STAR var{
        Operand op=$2;
        op->addr=STAR_OP;
        $$=op;
    }
    | AND var{
        Operand op=$2;
        op->addr=AND_OP;
        $$=op;
    }
    | ID{
        Operand op=(Operand)malloc(sizeof(struct Operand_));
        op->kind=VARIABLE_OP;
        op->addr=NORMAL_OP;
        op->op_u.var_no=get_var_num($1);
        $$=op;
    }
    | SHARP INT{
        Operand op=(Operand)malloc(sizeof(struct Operand_));
        op->kind=CONSTANT_OP;
        op->addr=NORMAL_OP;
        op->op_u.value=$2;
        $$=op;
    };

label : ID{
        Operand op=(Operand)malloc(sizeof(struct Operand_));
        op->kind=LABEL_OP;
        op->addr=NORMAL_OP;
        op->op_u.var_no=get_label_num($1);
        $$=op;
    };
function : ID{
        Operand op=(Operand)malloc(sizeof(struct Operand_));
        op->kind=FUNCTION_OP;
        op->addr=NORMAL_OP;
        strcpy(op->op_u.name,$1);
        $$=op;
    };
%%
int yyerror(char*msg){
    printf("IR syntax error: %s\n", msg);
}