- split array.h into array.h/array_t.h and make array.h independent of
[libfirm] / ir / common / firm.c
1 /*
2  * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
3  *
4  * This file is part of libFirm.
5  *
6  * This file may be distributed and/or modified under the terms of the
7  * GNU General Public License version 2 as published by the Free Software
8  * Foundation and appearing in the file LICENSE.GPL included in the
9  * packaging of this file.
10  *
11  * Licensees holding valid libFirm Professional Edition licenses may use
12  * this file in accordance with the libFirm Commercial License.
13  * Agreement provided with the Software.
14  *
15  * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16  * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
17  * PURPOSE.
18  */
19
20 /**
21  * @file
22  * @brief     Central firm functionality.
23  * @author    Martin Trapp, Christian Schaefer, Goetz Lindenmaier
24  * @version   $Id$
25  */
26 #ifdef HAVE_CONFIG_H
27 # include "config.h"
28 #endif
29
30 #ifdef HAVE_FIRM_REVISION_H
31 # include "firm_revision.h"
32 #endif
33
34 #include "firm_config.h"
35
36 #ifdef HAVE_STRING_H
37 # include <string.h>
38 #endif
39 #ifdef HAVE_STDIO_H
40 # include <stdio.h>
41 #endif
42
43 #include "lc_opts.h"
44
45 #include "ident_t.h"
46 #include "firm.h"
47 #include "irflag_t.h"
48 /* init functions are not public */
49 #include "tv_t.h"
50 #include "tpop_t.h"
51 #include "irprog_t.h"
52 #include "irnode_t.h"
53 #include "irmode_t.h"
54 #include "ircons_t.h"
55 #include "irgraph_t.h"
56 #include "type_t.h"
57 #include "entity_t.h"
58 #include "opt_inline_t.h"
59 #include "scalar_replace.h"
60 #include "firmstat.h"
61 #include "irarch.h"
62 #include "reassoc_t.h"
63 #include "funccall_t.h"
64 #include "irhooks.h"
65 #include "iredges_t.h"
66 #include "irmemory_t.h"
67 #include "tropt.h"
68 #include "debugger.h"
69 #include "be_t.h"
70
71 /* returns the firm root */
72 lc_opt_entry_t *firm_opt_get_root(void) {
73         static lc_opt_entry_t *grp = NULL;
74         if (!grp)
75                 grp = lc_opt_get_grp(lc_opt_root_grp(), "firm");
76         return grp;
77 }
78
79 void firm_init_options(const char *arg_prefix, int argc, const char **argv) {
80         /* parse any init files for firm */
81         lc_opts_init("firm", firm_opt_get_root(), arg_prefix, argc, argv);
82 }
83
84 void init_firm(const firm_parameter_t *param)
85 {
86         firm_parameter_t def_params;
87         unsigned int     size;
88
89         /* for historical reasons be_init must be run first */
90         firm_be_init();
91
92         memset(&def_params, 0, sizeof(def_params));
93
94         if (param) {
95                 /* check for reasonable size */
96                 assert(param->size <= sizeof(def_params) && (param->size & 3) == 0 &&
97                                 "parameter struct not initialized ???");
98                 size = sizeof(def_params);
99                 if (param->size < size)
100                         size = param->size;
101
102                 memcpy(&def_params, param, size);
103         }
104
105         /* initialize firm flags */
106         firm_init_flags();
107         /* initialize all ident stuff */
108         init_ident(def_params.id_if, 1024);
109         /* initialize Firm hooks */
110         firm_init_hooks();
111         /* enhanced statistics, need idents and hooks */
112         firm_init_stat(def_params.enable_statistics);
113         /* Edges need hooks. */
114         init_edges();
115         /* create the type kinds. */
116         init_tpop();
117         /* create an obstack and put all tarvals in a pdeq */
118         init_tarval_1(0l, /* support_quad_precision */0);
119         /* Builds a basic program representation, so modes can be added. */
120         init_irprog_1();
121         /* initialize all modes an ir node can consist of */
122         init_mode();
123         /* initialize tarvals, and floating point arithmetic */
124         init_tarval_2();
125         /* init graph construction */
126         firm_init_irgraph();
127         /* kind of obstack initialization */
128         firm_init_mangle();
129         /* initialize all op codes an irnode can consist of */
130         init_op();
131         /* called once for each run of this library */
132         firm_init_cons(def_params.initialize_local_func);
133         /* initialize reassociation */
134         firm_init_reassociation();
135         /* initialize function call optimization */
136         firm_init_funccalls();
137         /* initialize function inlining */
138         firm_init_inline();
139         /* initialize scalar replacement */
140         firm_init_scalar_replace();
141         /* Builds a construct allowing to access all information to be constructed
142            later. */
143         init_irprog_2();
144         /* Initialize the type module and construct some idents needed. */
145         firm_init_type(def_params.builtin_dbg, def_params.cc_mask);
146         /* initialize the entity module */
147         firm_init_entity();
148         /* allocate a hash table. */
149         init_type_identify(def_params.ti_if);
150         /* class cast optimization */
151         firm_init_class_casts_opt();
152         /* memory disambiguation */
153         firm_init_memory_disambiguator();
154
155         /* Init architecture dependent optimizations. */
156         arch_dep_init(arch_dep_default_factory);
157         arch_dep_set_opts(0);
158
159         firm_archops_init(def_params.arch_op_settings);
160
161 #ifdef DEBUG_libfirm
162         /* integrated debugger extension */
163         firm_init_debugger();
164 #endif
165 }
166
167 void free_firm(void) {
168         int i;
169
170         for (i = get_irp_n_irgs() - 1; i >= 0; --i)
171                 free_ir_graph(get_irp_irg(i));
172
173         free_type_entities(get_glob_type());
174         for (i = get_irp_n_types() - 1; i >= 0; --i)
175                 free_type_entities(get_irp_type(i));
176
177         for (i = get_irp_n_types() - 1; i >= 0; --i)
178                 free_type(get_irp_type(i));
179
180         free_ir_prog();
181
182         finish_tarval();
183         finish_mode();
184         finish_tpop();
185         finish_ident();
186
187         firm_be_finish();
188 }
189
190 /* Returns the libFirm version number. */
191 void firm_get_version(firm_version_t *version) {
192         version->major    = libfirm_VERSION_MAJOR;
193         version->minor    = libfirm_VERSION_MINOR;
194 #ifdef libfirm_VERSION_REVISION
195         version->revision = libfirm_VERSION_REVISION;
196 #else
197         version->revision = "";
198 #endif
199         version->build    = "";
200 }