source: vis_dev/vis-2.3/src/io/io.y @ 38

Last change on this file since 38 was 14, checked in by cecile, 13 years ago

vis2.3
File size: 13.8 KB
Line 
1%{
2/**CFile***********************************************************************
3
4  FileName    [io.y]
5
6  PackageName [io]
7
8  Synopsis    [Yacc file for the BLIF-MV parser.]
9
10  Description []
11
12  SeeAlso     []
13
14  Author      [Yuji Kukimoto, Rajeev Ranjan, Huey-Yih Wang]
15
16  Copyright   [Copyright (c) 1994-1996 The Regents of the Univ. of California.
17  All rights reserved.
18
19  Permission is hereby granted, without written agreement and without license
20  or royalty fees, to use, copy, modify, and distribute this software and its
21  documentation for any purpose, provided that the above copyright notice and
22  the following two paragraphs appear in all copies of this software.
23
24  IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR
25  DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT
26  OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF
27  CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28
29  THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
30  INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
31  FITNESS FOR A PARTICULAR PURPOSE.  THE SOFTWARE PROVIDED HEREUNDER IS ON AN
32  "AS IS" BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO PROVIDE
33  MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.]
34
35******************************************************************************/
36
37#include "ioInt.h"
38
39/*
40 * The following is a workaround for a bug in bison, which generates code
41 * that uses alloca().  Their lengthy sequence of #ifdefs for defining
42 * alloca() does the wrong thing for HPUX (it should do what is defined below)
43 */
44#ifdef __hpux
45#  include <alloca.h>
46#endif
47 
48static char rcsid[] UNUSED = "$Id: io.y,v 1.11 2010/04/09 23:32:13 fabio Exp $";
49
50/*---------------------------------------------------------------------------*/
51/* Constant declarations                                                     */
52/*---------------------------------------------------------------------------*/
53
54
55/*---------------------------------------------------------------------------*/
56/* Stucture declarations                                                     */
57/*---------------------------------------------------------------------------*/
58
59
60/*---------------------------------------------------------------------------*/
61/* Type declarations                                                         */
62/*---------------------------------------------------------------------------*/
63
64
65/*---------------------------------------------------------------------------*/
66/* Variable declarations                                                     */
67/*---------------------------------------------------------------------------*/
68int globalLineNumber;
69Hrc_Manager_t *globalYaccHmgr;
70Hrc_Model_t *globalModel;
71Hrc_Node_t *globalHnode;
72Hrc_Model_t *globalFirstModel;
73Hrc_Model_t *globalRootModel;
74char *globalRootInstanceName;
75array_t *globalMvNameArray;
76array_t *globalSymValueArray;
77array_t *globalTableInputArray;
78array_t *globalTableOutputArray;
79array_t *globalTableDefaultArray;
80array_t *globalTableSymCubeArray;
81array_t *globalFormalNameArray;
82array_t *globalActualNameArray;
83array_t *globalSubcktArray;
84array_t *globalResetArray;
85st_table *globalParserResetInfo;
86st_table *globalParserSubcktInfo;
87array_t *globalNewModelArray;
88
89/*---------------------------------------------------------------------------*/
90/* Macro declarations                                                        */
91/*---------------------------------------------------------------------------*/
92
93
94/**AutomaticStart*************************************************************/
95
96/*---------------------------------------------------------------------------*/
97/* Static function prototypes                                                */
98/*---------------------------------------------------------------------------*/
99
100/**AutomaticEnd***************************************************************/
101
102
103/*---------------------------------------------------------------------------*/
104/* Definition of exported functions                                          */
105/*---------------------------------------------------------------------------*/
106
107
108/*---------------------------------------------------------------------------*/
109/* Definition of internal functions                                          */
110/*---------------------------------------------------------------------------*/
111
112
113/*---------------------------------------------------------------------------*/
114/* Definition of static functions                                            */
115/*---------------------------------------------------------------------------*/
116
117#include "ioLex.c"
118
119static void
120IoYyerror(char *string)
121{
122  (void)fprintf(vis_stderr,"%s",error_string());
123  (void)fprintf(vis_stderr,"%s in line %d with token %s\n",string,globalLineNumber,IoYytext);
124  fflush(vis_stderr);
125}
126
127%}
128
129/* %token YYERROR_VERBOSE */
130
131%token MODEL END INPUTS OUTPUTS MV LATCH RESET NAMES DEFAULT SUBCKT ROOT
132%token IDENTIFIER ARROW ASSIGN NEWLINE
133
134%union {
135  char *string;
136  int integer;
137  IoSymValue_t *IoSymValue_t_ptr;
138  array_t *array_t_ptr;
139}
140
141%type <string> name;
142%type <integer> range;
143%type <IoSymValue_t_ptr> sym_value sym_value_without_assign basic_sym_value;
144%type <array_t_ptr> sub_sym_value;
145
146%start models
147
148%%
149
150models:
151          model
152        | models model
153        | models error {
154                IoError();
155          }
156        ;
157model:
158          model_start model_content model_end
159        ;
160model_start:
161          MODEL name NEWLINE {
162          if ( Hrc_ManagerFindModelByName(globalYaccHmgr,$2) ){
163            error_append("Model ");
164            error_append($2);
165            error_append(" is multiply-defined\n");
166            FREE($2);
167            IoError();
168          }
169          globalModel = Hrc_ModelAlloc(globalYaccHmgr,$2);
170          globalHnode = Hrc_ModelReadMasterNode(globalModel);
171          if ( globalFirstModel == NIL(Hrc_Model_t) )
172            globalFirstModel = globalModel;
173          FREE($2);
174          array_insert_last(Hrc_Model_t *,globalNewModelArray,globalModel);
175          }
176          option_root
177        ;
178option_root:
179          /* empty */
180        | ROOT NEWLINE {
181          if ( globalRootModel != NIL(Hrc_Model_t) ){
182            error_append("Two models ");
183            error_append(Hrc_ModelReadName(globalRootModel));
184            error_append(" and ");
185            error_append(Hrc_ModelReadName(globalModel));
186            error_append(" are defined as the root model\n");
187            IoError();
188          }
189          globalRootModel = globalModel;
190          }     
191        | ROOT name NEWLINE {
192          if ( globalRootModel != NIL(Hrc_Model_t) ){
193            error_append("Two models ");
194            error_append(Hrc_ModelReadName(globalRootModel));
195            error_append(" and ");
196            error_append(Hrc_ModelReadName(globalModel));
197            error_append(" are defined as the root model\n");
198            IoError();
199          }
200          globalRootModel = globalModel;
201          globalRootInstanceName = $2;
202          }     
203        ;
204model_end:
205          END NEWLINE {
206          if (st_is_member(globalParserResetInfo,(char *)globalModel) == 1){
207            error_append("Model ");
208            error_append(Hrc_ModelReadName(globalModel));
209            error_append(" is multiply-defined.\n");
210            IoError();
211          }
212          /* the following st_insert should return 0 */
213          (void)st_insert(globalParserResetInfo,(char *)globalModel,(char *)globalResetArray);
214          if (st_is_member(globalParserSubcktInfo,(char *)globalModel) == 1){
215            error_append("Model ");
216            error_append(Hrc_ModelReadName(globalModel));
217            error_append(" is multiply-defined.\n");
218            IoError();
219          }
220          /* the following st_insert should return 0 */
221          (void)st_insert(globalParserSubcktInfo,(char *)globalModel,(char *)globalSubcktArray);
222          globalResetArray = NIL(array_t);
223          globalSubcktArray = NIL(array_t);
224          globalModel = NIL(Hrc_Model_t);
225          globalHnode = NIL(Hrc_Node_t);
226          }
227        ;
228model_content:
229          /* empty */
230        | model_content command
231        ;
232command:
233          input
234        | output
235        | mv
236        | latch
237        | table
238        | reset
239        | subckt
240        ;
241input:
242          INPUTS input_names NEWLINE
243        ;
244input_names:
245          /* empty */
246        | input_names input_name
247        ;
248input_name:
249          name {
250          if (IoInputProcess(globalHnode,$1) == 0){
251            error_append("Input ");
252            error_append($1);
253            error_append(" is multiply defined.\n");
254            FREE($1);
255            IoError();
256          }
257          FREE($1);
258          }
259        ;
260output:
261          OUTPUTS output_names NEWLINE
262        ;
263output_names:
264          /* empty */
265        | output_names output_name
266        ;
267output_name:
268          name {
269          if (IoOutputProcess(globalHnode,$1) == 0){
270            error_append("Output ");
271            error_append($1);
272            error_append(" is multiply defined.\n");
273            FREE($1);
274            IoError();
275          }
276          FREE($1);
277          }
278        ;
279mv:
280          MV mv_names range NEWLINE {
281          if (IoMvProcess(globalModel,globalHnode,globalMvNameArray,$3,NIL(array_t)) == 0){
282            IoStringArrayFree(globalMvNameArray);
283            IoError();
284          }
285          IoStringArrayFree(globalMvNameArray);
286          globalMvNameArray = NIL(array_t);
287          }
288        | MV mv_names range val_names NEWLINE {
289          if (IoMvProcess(globalModel,globalHnode,globalMvNameArray,$3,globalSymValueArray) == 0){
290            IoStringArrayFree(globalMvNameArray);
291            IoStringArrayFree(globalSymValueArray);
292            IoError();
293          }
294          IoStringArrayFree(globalMvNameArray);
295          IoStringArrayFree(globalSymValueArray);
296          globalMvNameArray = NIL(array_t);
297          globalSymValueArray = NIL(array_t);
298          }
299        ;
300mv_names:
301          mv_name
302        | mv_names ',' mv_name
303        ;
304mv_name:
305          name {
306          IoNameInsertInArray(&globalMvNameArray,$1);
307          }
308        ;
309range:
310          name {
311          $$ = IoAtoi($1);
312          FREE($1);
313          }
314        ;
315val_names:
316          val_name
317        | val_names val_name
318        ;
319val_name:
320          name {
321          IoNameInsertInArray(&globalSymValueArray,$1);
322          }
323        ;
324latch:
325          LATCH name name NEWLINE {
326          if (IoLatchProcess(globalModel,globalHnode,$2,$3) == 0){
327            IoError();
328            FREE($2);
329            FREE($3);
330          }
331          FREE($2);
332          FREE($3);
333          }
334        ;
335
336
337reset:
338          RESET table_io_names NEWLINE option_default table_content {
339          if (IoResetProcess(&globalResetArray,globalModel,globalHnode,globalTableInputArray,globalTableOutputArray,globalTableDefaultArray,globalTableSymCubeArray) == 0){
340            IoError();
341          }
342          globalTableInputArray = NIL(array_t);
343          globalTableOutputArray = NIL(array_t);
344          globalTableDefaultArray = NIL(array_t);
345          globalTableSymCubeArray = NIL(array_t);
346          }
347        ;
348table:
349          NAMES table_io_names NEWLINE option_default table_content {
350          if (IoTableProcess(globalModel,globalHnode, globalTableInputArray,globalTableOutputArray,globalTableDefaultArray,globalTableSymCubeArray) == 0){
351            IoError();
352          }
353          globalTableInputArray = NIL(array_t);
354          globalTableOutputArray = NIL(array_t);
355          globalTableDefaultArray = NIL(array_t);
356          globalTableSymCubeArray = NIL(array_t);
357          }
358        ;
359table_io_names:
360          table_input_names ARROW table_output_names
361        | table_input_names table_output_name
362        ;
363table_input_names:
364          /* empty */
365        | table_input_names table_input_name
366        ;
367table_input_name:
368          name {
369          IoNameInsertInArray(&globalTableInputArray,$1);
370          }
371        ;
372table_output_names:
373          table_output_name
374        | table_output_names table_output_name
375        ;
376table_output_name:
377          name {
378          IoNameInsertInArray(&globalTableOutputArray,$1);
379          }
380        ;
381option_default:
382          /* empty */
383        | DEFAULT def_values NEWLINE
384        ;
385def_values:
386          def_value
387        | def_values def_value
388        ;
389def_value:
390          sym_value {
391          IoSymValueInsertInArray(&globalTableDefaultArray,$1);
392          }
393        ;
394sym_values:
395          sym_value {
396          IoSymValueInsertInArray(&globalSymValueArray,$1);
397          }
398        | sym_values sym_value {
399          IoSymValueInsertInArray(&globalSymValueArray,$2);
400          }
401        ;
402sym_value:
403          basic_sym_value
404        | ASSIGN name {
405          IoSymValue_t *entry;
406          entry = IoSymValueAlloc();
407          entry->left = (IoSymValue_t *)$2;
408          entry->flag = IoAssign_c;
409          $$ = entry;
410          }
411        | '(' sub_sym_value ')' {
412          IoSymValue_t *entry;
413          entry = IoSymValueAlloc();
414          entry->elements = $2;
415          entry->flag = IoList_c;
416          $$ = entry;
417          }
418        | '!' sym_value_without_assign {
419          IoSymValue_t *entry;
420          entry = IoSymValueAlloc();
421          entry->left = $2;
422          entry->flag = IoComplement_c;
423          $$ = entry;
424          }
425        ;
426sym_value_without_assign:
427          basic_sym_value
428        | '(' sub_sym_value ')' {
429          IoSymValue_t *entry;
430          entry = IoSymValueAlloc();
431          entry->elements = $2;
432          entry->flag = IoList_c;
433          $$ = entry;
434          }
435        | '!' sym_value_without_assign {
436          IoSymValue_t *entry;
437          entry = IoSymValueAlloc();
438          entry->left = $2;
439          entry->flag = IoComplement_c;
440          $$ = entry;
441          }
442        ;
443basic_sym_value:
444          '-' {
445          IoSymValue_t *entry;
446          entry = IoSymValueAlloc();
447          entry->flag = IoUniverse_c;
448          $$ = entry;
449          }
450        | name {
451          IoSymValue_t *entry;
452          entry = IoSymValueAlloc();
453          entry->flag = IoLeaf_c;
454          entry->left = (IoSymValue_t *)$1;
455          $$ = entry;
456          }
457        | '{' name '-' name '}' {
458          IoSymValue_t *entry;
459          entry = IoSymValueAlloc();
460          entry->left = (IoSymValue_t *)$2;
461          entry->right = (IoSymValue_t *)$4;
462          entry->flag = IoRange_c;
463          $$ = entry;
464          }
465        ;
466sub_sym_value:
467          sym_value_without_assign {
468          array_t *array;
469          array = array_alloc(IoSymValue_t *,0);
470          array_insert_last(IoSymValue_t *,array,$1);
471          $$ = array;
472          }
473        | sub_sym_value ',' sym_value_without_assign {
474          array_insert_last(IoSymValue_t *,$1,$3);
475          }
476        ;
477table_content: /* must have at least one row */
478          /* empty */
479        /*
480          sym_values NEWLINE {
481          IoSymCubeInsertInArray(&globalTableSymCubeArray,globalSymValueArray);   
482          globalSymValueArray = NIL(array_t);
483          }
484        */
485        | table_content sym_values NEWLINE {
486          IoSymCubeInsertInArray(&globalTableSymCubeArray,globalSymValueArray);   
487          globalSymValueArray = NIL(array_t);
488          }
489        ;
490
491subckt:
492          SUBCKT name name connections NEWLINE {
493          if (IoSubcktProcess(&globalSubcktArray,globalModel,globalHnode,$2,$3,globalFormalNameArray,globalActualNameArray) == 0 ){
494            IoError();
495          }
496          globalFormalNameArray = NIL(array_t);
497          globalActualNameArray = NIL(array_t);
498          }
499        ;
500connections:
501          connection
502        | connections connection
503        ;
504connection:
505          name ASSIGN name {
506          IoNameInsertInArray(&globalFormalNameArray,$1);
507          IoNameInsertInArray(&globalActualNameArray,$3);
508          }     
509        ; 
510name:
511          IDENTIFIER {
512          $$ = util_strsav(IoYytext);   
513          }
514        ;
515
516%%
517
Note: See TracBrowser for help on using the repository browser.