]> git.saurik.com Git - bison.git/blame - src/main.c
Use ASCII for Sebastien Fricker's name.
[bison.git] / src / main.c
CommitLineData
a54a1bdc
PE
1/* Top level entry point of Bison.
2
3b2942e6 3 Copyright (C) 1984, 1986, 1989, 1992, 1995, 2000, 2001, 2002, 2004,
279cabb6 4 2005, 2006, 2007 Free Software Foundation, Inc.
54bd0db4 5
e87b5700 6 This file is part of Bison, the GNU Compiler Compiler.
54bd0db4 7
e87b5700
AD
8 Bison is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
11 any later version.
54bd0db4 12
e87b5700
AD
13 Bison is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
54bd0db4 17
e87b5700
AD
18 You should have received a copy of the GNU General Public License
19 along with Bison; see the file COPYING. If not, write to
0fb669f9
PE
20 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
21 Boston, MA 02110-1301, USA. */
54bd0db4 22
2cec9080 23#include <config.h>
54bd0db4 24#include "system.h"
17ee7397
PE
25
26#include <bitset_stats.h>
27#include <bitset.h>
3b2942e6 28#include <configmake.h>
eb095650 29#include <quotearg.h>
17ee7397
PE
30#include <timevar.h>
31
32#include "LR0.h"
a0f6b076 33#include "complain.h"
17ee7397 34#include "conflicts.h"
cc84fd5d 35#include "derives.h"
17ee7397
PE
36#include "files.h"
37#include "getargs.h"
38#include "gram.h"
a70083a3 39#include "lalr.h"
17ee7397 40#include "muscle_tab.h"
3519ec76 41#include "nullable.h"
17ee7397 42#include "output.h"
07a58c13 43#include "print.h"
c4b66126 44#include "print_graph.h"
17ee7397
PE
45#include "reader.h"
46#include "reduce.h"
eb095650 47#include "scan-code.h"
0c8e079f 48#include "scan-gram.h"
08af01c2 49#include "scan-skel.h"
17ee7397
PE
50#include "symtab.h"
51#include "tables.h"
52#include "uniqstr.h"
54bd0db4 53
caf23d24 54
caf23d24 55
54bd0db4 56int
d2729d44 57main (int argc, char *argv[])
54bd0db4
RS
58{
59 program_name = argv[0];
29340571 60 setlocale (LC_ALL, "");
04098407
PE
61 (void) bindtextdomain (PACKAGE, LOCALEDIR);
62 (void) bindtextdomain ("bison-runtime", LOCALEDIR);
63 (void) textdomain (PACKAGE);
29340571 64
17ee7397 65 uniqstrs_new ();
95612cfa 66
cc84fd5d 67 getargs (argc, argv);
a0f6b076 68
17ee7397 69 timevar_report = trace_flag & trace_time;
1509d42f
AD
70 init_timevar ();
71 timevar_start (TV_TOTAL);
72
273a74fa 73 if (trace_flag & trace_bitsets)
613f5e1a
AD
74 bitset_stats_enable ();
75
11d82f03 76 muscle_init ();
54bd0db4 77
cc84fd5d
AD
78 /* Read the input. Copy some parts of it to FGUARD, FACTION, FTABLE
79 and FATTRS. In file reader.c. The other parts are recorded in
80 the grammar; see gram.h. */
640748ee 81
1509d42f
AD
82 timevar_push (TV_READER);
83 reader ();
84 timevar_pop (TV_READER);
640748ee 85
5ca3209b 86 if (complaint_issued)
f6d0c239 87 goto finish;
54bd0db4 88
00238958 89 /* Find useless nonterminals and productions and reduce the grammar. */
1509d42f 90 timevar_push (TV_REDUCE);
cc84fd5d 91 reduce_grammar ();
1509d42f 92 timevar_pop (TV_REDUCE);
640748ee 93
7da99ede
AD
94 /* Record other info about the grammar. In files derives and
95 nullable. */
1509d42f 96 timevar_push (TV_SETS);
bb0027a9
AD
97 derives_compute ();
98 nullable_compute ();
1509d42f 99 timevar_pop (TV_SETS);
54bd0db4 100
7da99ede 101 /* Convert to nondeterministic finite state machine. In file LR0.
54bd0db4 102 See state.h for more info. */
1509d42f 103 timevar_push (TV_LR0);
cc84fd5d 104 generate_states ();
1509d42f 105 timevar_pop (TV_LR0);
54bd0db4
RS
106
107 /* make it deterministic. In file lalr. */
1509d42f 108 timevar_push (TV_LALR);
cc84fd5d 109 lalr ();
1509d42f 110 timevar_pop (TV_LALR);
54bd0db4 111
cc84fd5d 112 /* Find and record any conflicts: places where one token of
742e4900 113 lookahead is not enough to disambiguate the parsing. In file
cc84fd5d
AD
114 conflicts. Also resolve s/r conflicts based on precedence
115 declarations. */
1509d42f 116 timevar_push (TV_CONFLICTS);
b408954b 117 conflicts_solve ();
0df87bb6 118 conflicts_print ();
1509d42f 119 timevar_pop (TV_CONFLICTS);
342b8b6e 120
c8f002c7
AD
121 /* Compute the parser tables. */
122 timevar_push (TV_ACTIONS);
123 tables_generate ();
124 timevar_pop (TV_ACTIONS);
125
126 grammar_rules_never_reduced_report
127 (_("rule never reduced because of conflicts"));
128
342b8b6e
AD
129 /* Output file names. */
130 compute_output_file_names ();
131
b7c49edf 132 /* Output the detailed report on the grammar. */
ec3bc396 133 if (report_flag)
1509d42f
AD
134 {
135 timevar_push (TV_REPORT);
136 print_results ();
137 timevar_pop (TV_REPORT);
138 }
b7c49edf 139
35fe0834 140 /* Output the graph. */
64d15509 141 if (graph_flag)
1509d42f
AD
142 {
143 timevar_push (TV_GRAPH);
144 print_graph ();
145 timevar_pop (TV_GRAPH);
146 }
c4b66126 147
c8f002c7
AD
148 /* Stop if there were errors, to avoid trashing previous output
149 files. */
5ca3209b 150 if (complaint_issued)
f6d0c239 151 goto finish;
c6f1a33c 152
742e4900 153 /* Lookahead tokens are no longer needed. */
3325ddc4
AD
154 timevar_push (TV_FREE);
155 lalr_free ();
156 timevar_pop (TV_FREE);
157
cc84fd5d 158 /* Output the tables and the parser to ftable. In file output. */
1509d42f 159 timevar_push (TV_PARSER);
cc84fd5d 160 output ();
1509d42f 161 timevar_pop (TV_PARSER);
a0f6b076 162
1509d42f 163 timevar_push (TV_FREE);
cd08e51e
AD
164 nullable_free ();
165 derives_free ();
c6f1a33c 166 tables_free ();
c7ca99d4 167 states_free ();
337c5bd1 168 reduce_free ();
b408954b 169 conflicts_free ();
76514394 170 grammar_free ();
eb095650 171 output_file_names_free ();
4515534c
AD
172
173 /* The scanner memory cannot be released right after parsing, as it
174 contains things such as user actions, prologue, epilogue etc. */
e9071366 175 gram_scanner_free ();
592e8d4d 176 muscle_free ();
17ee7397 177 uniqstrs_free ();
eb095650 178 code_scanner_free ();
08af01c2 179 skel_scanner_free ();
eb095650 180 quotearg_free ();
1509d42f 181 timevar_pop (TV_FREE);
722c4bfe 182
273a74fa 183 if (trace_flag & trace_bitsets)
640748ee 184 bitset_stats_dump (stderr);
613f5e1a 185
f6d0c239
PE
186 finish:
187
1509d42f
AD
188 /* Stop timing and print the times. */
189 timevar_stop (TV_TOTAL);
190 timevar_print (stderr);
191
e95aed63 192 return complaint_issued ? EXIT_FAILURE : EXIT_SUCCESS;
54bd0db4 193}