irverify: remove load/store from entity verification
[libfirm] / include / libfirm / firm_common.h
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    common firm declarations
23  * @author   Martin Trapp, Christian Schaefer, Goetz Lindenmaier
24  */
25 #ifndef FIRM_COMMON_FIRM_COMMON_H
26 #define FIRM_COMMON_FIRM_COMMON_H
27
28 #include "firm_types.h"
29 #include "begin.h"
30
31 /**
32  * Initializes the firm library.  Allocates default data structures.
33  */
34 FIRM_API void ir_init(void);
35
36 /**
37  * Frees all memory occupied by the firm library.
38  */
39 FIRM_API void ir_finish(void);
40
41 /** returns the libFirm major version number */
42 FIRM_API unsigned ir_get_version_major(void);
43 /** returns libFirm minor version number */
44 FIRM_API unsigned ir_get_version_minor(void);
45 /** returns string describing libFirm revision */
46 FIRM_API const char *ir_get_version_revision(void);
47 /** returns string describing libFirm build */
48 FIRM_API const char *ir_get_version_build(void);
49
50 /**
51  * a list of firm kinds
52  * Most important datastructures in firm contain a firm_kind field at the
53  * beginning so given void* pointer you can usually still guess the kind
54  * of thing the pointer points to.
55  * This is used in debug helper functions and printers.
56  */
57 typedef enum {
58         k_BAD = 0,                /**< An invalid firm node. */
59         k_entity,                 /**< An entity. */
60         k_type,                   /**< A type. */
61         k_ir_graph,               /**< An IR graph. */
62         k_ir_node,                /**< An IR node. */
63         k_ir_mode,                /**< An IR mode. */
64         k_ir_op,                  /**< An IR opcode. */
65         k_tarval,                 /**< A tarval. */
66         k_ir_loop,                /**< A loop. */
67         k_ir_prog,                /**< A program representation (irp). */
68         k_ir_graph_pass,          /**< An ir_graph pass. */
69         k_ir_prog_pass,           /**< An ir_prog pass. */
70         k_ir_graph_pass_mgr,      /**< An ir_graph pass manager. */
71         k_ir_prog_pass_mgr,       /**< An ir_prog pass manager. */
72         k_ir_max                  /**< maximum value -- illegal for firm nodes. */
73 } firm_kind;
74
75 /**
76  * Returns the kind of a thing.
77  *
78  * @param firm_thing  pointer representing a firm object
79  */
80 FIRM_API firm_kind get_kind(const void *firm_thing);
81
82 #include "end.h"
83
84 #endif