Michael found a nice trick to implement sets for float compares
[libfirm] / ir / be / ia32 / ia32_common_transform.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       This file implements the common parts of IR transformation from
23  *              firm into ia32-Firm.
24  * @author      Matthias Braun, Sebastian Buchwald
25  * @version     $Id: ia32_common_transform.h 20999 2008-08-05 16:48:29Z beck $
26  */
27 #ifndef FIRM_BE_IA32_IA32_COMMON_TRANSFORM_H
28 #define FIRM_BE_IA32_IA32_COMMON_TRANSFORM_H
29
30 #include "bearch_ia32_t.h"
31 #include "height.h"
32
33 /**
34  * An assembler constraint.
35  */
36 typedef struct constraint_t constraint_t;
37 struct constraint_t {
38         const arch_register_class_t *cls;
39         unsigned                     allowed_registers;
40         char                         all_registers_allowed;
41         char                         memory_possible;
42         char                         immediate_type;
43         int                          same_as;
44 };
45
46 extern ia32_code_gen_t *env_cg;
47 extern heights_t *heights;
48 extern int        no_pic_adjust;
49
50 /**
51  * Get an atomic entity that is initialized with a tarval forming
52  * a given constant.
53  *
54  * @param cnst             the node representing the constant
55  */
56 ir_entity *create_float_const_entity(ir_node *cnst);
57
58 /**
59  * Creates an immediate.
60  *
61  * @param symconst       if set, create a SymConst immediate
62  * @param symconst_sign  sign for the symconst
63  * @param val            integer value for the immediate
64  */
65 ir_node *ia32_create_Immediate(ir_entity *symconst, int symconst_sign, long val);
66
67 /**
68  * returns register by name (used for determining clobber specifications in
69  * asm instructions)
70  */
71 const arch_register_t *ia32_get_clobber_register(const char *clobber);
72
73 /**
74  * Return true if a mode can be stored in the GP register set.
75  */
76 int ia32_mode_needs_gp_reg(ir_mode *mode);
77
78 /**
79  * generates code for a ASM node
80  */
81 ir_node *gen_ASM(ir_node *node);
82
83 /**
84  * Transforms a CopyB node.
85  *
86  * @return The transformed node.
87  */
88 ir_node *gen_CopyB(ir_node *node);
89
90 /**
91  * Transform the Thread Local Storage Proj.
92  */
93 ir_node *gen_Proj_tls(ir_node *node);
94
95 /**
96  * This function just sets the register for the Unknown node
97  * as this is not done during register allocation because Unknown
98  * is an "ignore" node.
99  */
100 ir_node *gen_Unknown(ir_node *node);
101
102 const arch_register_req_t *make_register_req(const constraint_t *constraint,
103                 int n_outs, const arch_register_req_t **out_reqs, int pos);
104
105 const arch_register_req_t *parse_clobber(const char *clobber);
106
107 /**
108  * Checks whether other node inputs depend on the am_candidate (via mem-proj).
109  */
110 int prevents_AM(ir_node *const block, ir_node *const am_candidate,
111                        ir_node *const other);
112
113 ir_node *try_create_Immediate(ir_node *node, char immediate_constraint_type);
114
115 /**
116  * creates a unique ident by adding a number to a tag
117  *
118  * @param tag   the tag string, must contain a %d if a number
119  *              should be added
120  */
121 ident *ia32_unique_id(const char *tag);
122
123 #endif /* FIRM_BE_IA32_IA32_COMMON_TRANSFORM_H */