Merge branch 'master' of https://github.com/pacien/upem-compil-tpc

author: Adam NAILI 2018-02-23 22:03:52 +0100
committer: Adam NAILI 2018-02-23 22:03:52 +0100
commit: 4d52709e24e05d3f2e1ea449b4a4203604b41aec (patch)
tree: 24da9272cdae9e5777e3b27bc3113cafec8bebfc /src
parent: de916ff97b1a15f7188295cb084058dc5e8054c1 (diff)
parent: f83fee146e1159344ee30711652b0ae6ebf07a5d (diff)
download: tpc-compiler-4d52709e24e05d3f2e1ea449b4a4203604b41aec.tar.gz
2 files changed, 147 insertions, 137 deletions
diff --git a/src/tpc.lex b/src/tpc.lex
index eaeea89..8b824c0 100644
--- a/src/tpc.lex
+++ b/src/tpc.lex
@@ -14,37 +14,31 @@ int lineno = 1;
 %%
 [ \t\r]+                ;
-\n                      { lineno++;}
+\n                      { lineno++; }
-"/*"                    { BEGIN COMMENT;}
+"/*"                    { BEGIN COMMENT; }
-&&                      { return AND; }
+"&&"                    { return AND; }
 "||"                    { return OR; }
-"*"|"/"|%               { yylval.divstar=yytext[0]; return DIVSTAR; }
+"*"|"/"|%               { return DIVSTAR; }
-"+"|-                   { yylval.addsub=yytext[0]; return ADDSUB; }
+"+"|-                   { return ADDSUB; }
-"<"|"<="|">"|>=         { strcpy(yylval.comp, yytext); return ORDER; }
+"<"|"<="|">"|">="       { return ORDER; }
-==|!=                   { strcpy(yylval.comp, yytext); return EQ; }
+==|!=                   { return EQ; }
-int                     { strcpy(yylval.type, yytext); return TYPE; }
+int                     { return TYPE; }
-float                   { strcpy(yylval.type, yytext); return TYPE; }
+char                    { return TYPE; }
-double                  { strcpy(yylval.type, yytext); return TYPE; }
-char                    { strcpy(yylval.type, yytext); return TYPE; }
 void                    { return VOID; }
 const                   { return CONST; }
-if                      { return IF;}
+if                      { return IF; }
-else                    { return ELSE;}
+else                    { return ELSE; }
 while                   { return WHILE; }
 return                  { return RETURN; }
-[a-zA-Z_][a-zA-Z0-9_]*  { strcpy(yylval.ident, yytext); return IDENT; }
+print                   { return PRINT; }
-[0-9]+                  { sscanf(yytext, "%d", &(yylval.num)); return NUM; }
+readc                   { return READC; }
-'\\?.'                  { if (strlen(yytext)==3)
+reade                   { return READE; }
-                            yylval.caractere=yytext[1];
+[a-zA-Z_][a-zA-Z0-9_]*  { return IDENT; }
-                          else switch(yytext[2]) {
+[0-9]+                  { return NUM; }
-                            case 'n': yylval.caractere='\n'; break;
+'\\?.'                  { return CARACTERE; }
-                            case 't': yylval.caractere='\t'; break;
+.                       { return yytext[0]; }
-                            case '\'': yylval.caractere='\''; break;
+<COMMENT>"*/"           { BEGIN INITIAL; }
-                            }
+<COMMENT>\n             { lineno++; }
-                          return CARACTERE; }
-.                       { return yytext[0];}
-<COMMENT>"*/"           { BEGIN INITIAL;}
-<COMMENT>\n             { lineno++;}
 <COMMENT>.              ;
 %%
diff --git a/src/tpc.y b/src/tpc.y
index 11635f9..a44a9aa 100644
--- a/src/tpc.y
+++ b/src/tpc.y
@@ -12,127 +12,143 @@ void yyerror(char *);
 %}
-%union {
+%token CARACTERE NUM IDENT
-  char caractere;
+%token ADDSUB DIVSTAR
-  int num;
+%token ORDER EQ OR AND
-  char ident[64];
+%token IF WHILE RETURN
-  char type[16];
+%token CONST VOID TYPE
-  char comp[3];
+%token PRINT READC READE
-  char addsub;
-  char divstar;
-}
-%token <caractere> CARACTERE
-%token <num> NUM
-%token <ident> IDENT
-%token <comp> ORDER EQ
-%token <addsub> ADDSUB
-%token <divstar> DIVSTAR
-%token OR AND CONST IF WHILE RETURN VOID
-%token <type> TYPE
 %left ','
 %precedence ')'
 %precedence ELSE
 %%
-Prog         : DeclConsts DeclVars DeclFoncts
+Prog:
-             ;
+     DeclConsts DeclVars DeclFoncts
-DeclConsts   : DeclConsts CONST ListConst ';'
+  ;
-             |
+DeclConsts:
-             ;
+     DeclConsts CONST ListConst ';'
-ListConst    : ListConst ',' IDENT '=' Litteral
+  |
-             | IDENT '=' Litteral
+  ;
-             ;
+ListConst:
-Litteral     : NombreSigne
+     ListConst ',' IDENT '=' Litteral
-             | CARACTERE
+  |  IDENT '=' Litteral
-             ;
+  ;
-NombreSigne  : NUM
+Litteral:
-             | ADDSUB NUM
+     NombreSigne
-             ;
+  |  CARACTERE
-DeclVars     : DeclVars TYPE Declarateurs ';'
+  ;
-             |
+NombreSigne:
-             ;
+     NUM
-Declarateurs : Declarateurs ',' Declarateur
+  |  ADDSUB NUM
-             | Declarateur
+  ;
-             ;
+DeclVars:
-Declarateur  : IDENT
+     DeclVars TYPE Declarateurs ';'
-             | IDENT '[' NUM ']'
+  |
-             ;
+  ;
-DeclFoncts   : DeclFoncts DeclFonct
+Declarateurs:
-             | DeclFonct
+     Declarateurs ',' Declarateur
-             ;
+  |  Declarateur
-DeclFonct    : EnTeteFonct Corps
+  ;
-             ;
+Declarateur:
-EnTeteFonct  : TYPE IDENT '(' Parametres ')'
+     IDENT
-             | VOID IDENT '(' Parametres ')'
+  |  IDENT '[' NUM ']'
-             ;
+  ;
-Parametres   : VOID
+DeclFoncts:
-             | ListTypVar
+     DeclFoncts DeclFonct
-             ;
+  |  DeclFonct
-ListTypVar   : ListTypVar ',' TYPE IDENT
+  ;
-             | TYPE IDENT
+DeclFonct:
-             ;
+     EnTeteFonct Corps
-Corps        : '{' DeclConsts DeclVars SuiteInstr '}'
+  ;
-             ;
+EnTeteFonct:
-SuiteInstr   : SuiteInstr Instr
+     TYPE IDENT '(' Parametres ')'
-             |
+  |  VOID IDENT '(' Parametres ')'
-             ;
+  ;
-Instr        : Exp ';'
+Parametres:
-             | RETURN Exp ';'
+     VOID
-             | RETURN ';'
+  |  ListTypVar
-             | ';'
+  ;
-             | IF '(' Exp ')' Instr
+ListTypVar:
-             | IF '(' Exp ')' Instr ELSE Instr
+     ListTypVar ',' TYPE IDENT
-             | WHILE '(' Exp ')' Instr
+  |  TYPE IDENT
-             | '{' SuiteInstr '}'
+  ;
-             ;
+Corps:
-Exp          : LValue '=' Exp
+     '{' DeclConsts DeclVars SuiteInstr '}'
-             | EB
+  ;
-             ;
+SuiteInstr:
-EB           : EB OR TB
+     SuiteInstr Instr
-             | TB
+  |  ;
-             ;
+Instr:
-TB           : TB AND FB
+     Exp ';'
-             | FB
+  |  ';'
-             ;
+  |  RETURN Exp ';'
-FB           : FB EQ M
+  |  RETURN ';'
-             | M
+  |  READE '(' IDENT ')' ';'
-             ;
+  |  READC '(' IDENT ')' ';'
-M            : M ORDER E
+  |  PRINT '(' Exp ')' ';'
-             | E
+  |  IF '(' Exp ')' Instr
-             ;
+  |  IF '(' Exp ')' Instr ELSE Instr
-E            : E ADDSUB T
+  |  WHILE '(' Exp ')' Instr
-             | T
+  |  '{' SuiteInstr '}'
-             ;
+  ;
-T            : T DIVSTAR F
+Exp:
-             | F
+     LValue '=' Exp
-             ;
+  |  EB
-F            : ADDSUB F
+  ;
-             | '!' F
+EB:
-             | '(' Exp ')'
+     EB OR TB
-             | LValue
+  |  TB
-             | NUM
+  ;
-             | CARACTERE
+TB:
-             | IDENT '(' Arguments ')'
+     TB AND FB
-             ;
+  |  FB
-LValue       : IDENT
+  ;
-             | IDENT  '[' Exp ']'
+FB:
-             ;
+     FB EQ M
-Arguments    : ListExp
+  |  M
-             |
+  ;
-             ;
+M:
-ListExp      : ListExp ',' ListExp
+     M ORDER E
-             | Exp
+  |  E
-             ;
+  ;
+E:
+     E ADDSUB T
+  |  T
+  ;
+T:
+     T DIVSTAR F
+  |  F
+  ;
+F:
+     ADDSUB F
+  |  '!' F
+  |  '(' Exp ')'
+  |  LValue
+  |  NUM
+  |  CARACTERE
+  |  IDENT '(' Arguments  ')'
+  ;
+LValue:
+     IDENT
+  |  IDENT  '[' Exp  ']'
+  ;
+Arguments:
+     ListExp
+  |
+  ;
+ListExp:
+     ListExp ',' Exp
+  |  Exp
+  ;
 %%
-void yyerror(char *s){
+void yyerror(char *m
author	Adam NAILI	2018-02-23 22:03:52 +0100
committer	Adam NAILI	2018-02-23 22:03:52 +0100
commit	4d52709e24e05d3f2e1ea449b4a4203604b41aec (patch)
tree	24da9272cdae9e5777e3b27bc3113cafec8bebfc /src
parent	de916ff97b1a15f7188295cb084058dc5e8054c1 (diff)
parent	f83fee146e1159344ee30711652b0ae6ebf07a5d (diff)
download	tpc-compiler-4d52709e24e05d3f2e1ea449b4a4203604b41aec.tar.gz

diff --git a/src/tpc.lex b/src/tpc.lex index eaeea89..8b824c0 100644 --- a/src/tpc.lex +++ b/src/tpc.lex
@@ -14,37 +14,31 @@ int lineno = 1;
14		14
15	%%	15	%%
16	[ \t\r]+ ;	16	[ \t\r]+ ;
17	\n { lineno++;}	17	\n { lineno++; }
18	"/*" { BEGIN COMMENT;}	18	"/*" { BEGIN COMMENT; }
19	&& { return AND; }	19	"&&" { return AND; }
20	"\|\|" { return OR; }	20	"\|\|" { return OR; }
21	"*"\|"/"\|% { yylval.divstar=yytext[0]; return DIVSTAR; }	21	"*"\|"/"\|% { return DIVSTAR; }
22	"+"\|- { yylval.addsub=yytext[0]; return ADDSUB; }	22	"+"\|- { return ADDSUB; }
23	"<"\|"<="\|">"\|>= { strcpy(yylval.comp, yytext); return ORDER; }	23	"<"\|"<="\|">"\|">=" { return ORDER; }
24	==\|!= { strcpy(yylval.comp, yytext); return EQ; }	24	==\|!= { return EQ; }
25	int { strcpy(yylval.type, yytext); return TYPE; }	25	int { return TYPE; }
26	float { strcpy(yylval.type, yytext); return TYPE; }	26	char { return TYPE; }
27	double { strcpy(yylval.type, yytext); return TYPE; }
28	char { strcpy(yylval.type, yytext); return TYPE; }
29	void { return VOID; }	27	void { return VOID; }
30	const { return CONST; }	28	const { return CONST; }
31	if { return IF;}	29	if { return IF; }
32	else { return ELSE;}	30	else { return ELSE; }
33	while { return WHILE; }	31	while { return WHILE; }
34	return { return RETURN; }	32	return { return RETURN; }
35	[a-zA-Z_][a-zA-Z0-9_]* { strcpy(yylval.ident, yytext); return IDENT; }	33	print { return PRINT; }
36	[0-9]+ { sscanf(yytext, "%d", &(yylval.num)); return NUM; }	34	readc { return READC; }
37	'\\?.' { if (strlen(yytext)==3)	35	reade { return READE; }
38	yylval.caractere=yytext[1];	36	[a-zA-Z_][a-zA-Z0-9_]* { return IDENT; }
39	else switch(yytext[2]) {	37	[0-9]+ { return NUM; }
40	case 'n': yylval.caractere='\n'; break;	38	'\\?.' { return CARACTERE; }
41	case 't': yylval.caractere='\t'; break;	39	. { return yytext[0]; }
42	case '\'': yylval.caractere='\''; break;	40	<COMMENT>"*/" { BEGIN INITIAL; }
43	}	41	<COMMENT>\n { lineno++; }
44	return CARACTERE; }
45	. { return yytext[0];}
46	<COMMENT>"*/" { BEGIN INITIAL;}
47	<COMMENT>\n { lineno++;}
48	<COMMENT>. ;	42	<COMMENT>. ;
49	%%	43	%%
50		44


diff --git a/src/tpc.y b/src/tpc.y index 11635f9..a44a9aa 100644 --- a/src/tpc.y +++ b/src/tpc.y
@@ -12,127 +12,143 @@ void yyerror(char *);
12		12
13	%}	13	%}
14		14
15	%union {	15	%token CARACTERE NUM IDENT
16	char caractere;	16	%token ADDSUB DIVSTAR
17	int num;	17	%token ORDER EQ OR AND
18	char ident[64];	18	%token IF WHILE RETURN
19	char type[16];	19	%token CONST VOID TYPE
20	char comp[3];	20	%token PRINT READC READE
21	char addsub;
22	char divstar;
23	}
24
25	%token <caractere> CARACTERE
26	%token <num> NUM
27	%token <ident> IDENT
28	%token <comp> ORDER EQ
29	%token <addsub> ADDSUB
30	%token <divstar> DIVSTAR
31	%token OR AND CONST IF WHILE RETURN VOID
32	%token <type> TYPE
33		21
34	%left ','	22	%left ','
35	%precedence ')'	23	%precedence ')'
36	%precedence ELSE	24	%precedence ELSE
37		25
38	%%	26	%%
39	Prog : DeclConsts DeclVars DeclFoncts	27	Prog:
40	;	28	DeclConsts DeclVars DeclFoncts
41	DeclConsts : DeclConsts CONST ListConst ';'	29	;
42	\|	30	DeclConsts:
43	;	31	DeclConsts CONST ListConst ';'
44	ListConst : ListConst ',' IDENT '=' Litteral	32	\|
45	\| IDENT '=' Litteral	33	;
46	;	34	ListConst:
47	Litteral : NombreSigne	35	ListConst ',' IDENT '=' Litteral
48	\| CARACTERE	36	\| IDENT '=' Litteral
49	;	37	;
50	NombreSigne : NUM	38	Litteral:
51	\| ADDSUB NUM	39	NombreSigne
52	;	40	\| CARACTERE
53	DeclVars : DeclVars TYPE Declarateurs ';'	41	;
54	\|	42	NombreSigne:
55	;	43	NUM
56	Declarateurs : Declarateurs ',' Declarateur	44	\| ADDSUB NUM
57	\| Declarateur	45	;
58	;	46	DeclVars:
59	Declarateur : IDENT	47	DeclVars TYPE Declarateurs ';'
60	\| IDENT '[' NUM ']'	48	\|
61	;	49	;
62	DeclFoncts : DeclFoncts DeclFonct	50	Declarateurs:
63	\| DeclFonct	51	Declarateurs ',' Declarateur
64	;	52	\| Declarateur
65	DeclFonct : EnTeteFonct Corps	53	;
66	;	54	Declarateur:
67	EnTeteFonct : TYPE IDENT '(' Parametres ')'	55	IDENT
68	\| VOID IDENT '(' Parametres ')'	56	\| IDENT '[' NUM ']'
69	;	57	;
70	Parametres : VOID	58	DeclFoncts:
71	\| ListTypVar	59	DeclFoncts DeclFonct
72	;	60	\| DeclFonct
73	ListTypVar : ListTypVar ',' TYPE IDENT	61	;
74	\| TYPE IDENT	62	DeclFonct:
75	;	63	EnTeteFonct Corps
76	Corps : '{' DeclConsts DeclVars SuiteInstr '}'	64	;
77	;	65	EnTeteFonct:
78	SuiteInstr : SuiteInstr Instr	66	TYPE IDENT '(' Parametres ')'
79	\|	67	\| VOID IDENT '(' Parametres ')'
80	;	68	;
81	Instr : Exp ';'	69	Parametres:
82	\| RETURN Exp ';'	70	VOID
83	\| RETURN ';'	71	\| ListTypVar
84	\| ';'	72	;
85	\| IF '(' Exp ')' Instr	73	ListTypVar:
86	\| IF '(' Exp ')' Instr ELSE Instr	74	ListTypVar ',' TYPE IDENT
87	\| WHILE '(' Exp ')' Instr	75	\| TYPE IDENT
88	\| '{' SuiteInstr '}'	76	;
89	;	77	Corps:
90	Exp : LValue '=' Exp	78	'{' DeclConsts DeclVars SuiteInstr '}'
91	\| EB	79	;
92	;	80	SuiteInstr:
93	EB : EB OR TB	81	SuiteInstr Instr
94	\| TB	82	\| ;
95	;	83	Instr:
96	TB : TB AND FB	84	Exp ';'
97	\| FB	85	\| ';'
98	;	86	\| RETURN Exp ';'
99	FB : FB EQ M	87	\| RETURN ';'
100	\| M	88	\| READE '(' IDENT ')' ';'
101	;	89	\| READC '(' IDENT ')' ';'
102	M : M ORDER E	90	\| PRINT '(' Exp ')' ';'
103	\| E	91	\| IF '(' Exp ')' Instr
104	;	92	\| IF '(' Exp ')' Instr ELSE Instr
105	E : E ADDSUB T	93	\| WHILE '(' Exp ')' Instr
106	\| T	94	\| '{' SuiteInstr '}'
107	;	95	;
108	T : T DIVSTAR F	96	Exp:
109	\| F	97	LValue '=' Exp
110	;	98	\| EB
111	F : ADDSUB F	99	;
112	\| '!' F	100	EB:
113	\| '(' Exp ')'	101	EB OR TB
114	\| LValue	102	\| TB
115	\| NUM	103	;
116	\| CARACTERE	104	TB:
117	\| IDENT '(' Arguments ')'	105	TB AND FB
118	;	106	\| FB
119	LValue : IDENT	107	;
120	\| IDENT '[' Exp ']'	108	FB:
121	;	109	FB EQ M
122	Arguments : ListExp	110	\| M
123	\|	111	;
124	;	112	M:
125	ListExp : ListExp ',' ListExp	113	M ORDER E
126	\| Exp	114	\| E
127	;	115	;
		116	E:
		117	E ADDSUB T
		118	\| T
		119	;
		120	T:
		121	T DIVSTAR F
		122	\| F
		123	;
		124	F:
		125	ADDSUB F
		126	\| '!' F
		127	\| '(' Exp ')'
		128	\| LValue
		129	\| NUM
		130	\| CARACTERE
		131	\| IDENT '(' Arguments ')'
		132	;
		133	LValue:
		134	IDENT
		135	\| IDENT '[' Exp ']'
		136	;
		137	Arguments:
		138	ListExp
		139	\|
		140	;
		141	ListExp:
		142	ListExp ',' Exp
		143	\| Exp
		144	;
128	%%	145	%%
129		146
130	void yyerror(char *s){	147	void yyerror(char *m