Added register requirements transfer function
[libfirm] / ir / be / benode_t.h
1 /**
2  * @file   benode_t.h
3  * @date   17.05.2005
4  * @author Sebastian Hack
5  *
6  * Backend node support.
7  *
8  * Copyright (C) 2005 Universitaet Karlsruhe
9  * Released under the GPL
10  */
11
12 #ifndef _BENODE_T_H
13 #define _BENODE_T_H
14
15 #include "firm_config.h"
16 #include "pmap.h"
17
18 #include "irmode.h"
19 #include "irnode.h"
20 #include "entity_t.h"
21
22 #include "be_t.h"
23 #include "bearch.h"
24
25 typedef enum {
26         beo_NoBeOp = 0,
27         beo_Spill,
28         beo_Reload,
29         beo_Perm,
30         beo_Copy,
31         beo_Keep,
32         beo_Call,
33         beo_AddSP,
34         beo_IncSP,
35         beo_StackParam,
36         beo_Last
37 } be_opcode_t;
38
39 void be_node_init(void);
40
41 const arch_irn_handler_t be_node_irn_handler;
42
43 ir_node *be_new_Spill(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, ir_node *node_to_spill, ir_node *ctx);
44 ir_node *be_new_Reload(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, ir_mode *mode, ir_node *spill_node);
45 ir_node *be_new_Copy(const arch_register_class_t *cls, ir_graph *irg, ir_node *block, ir_node *in);
46 ir_node *be_new_Perm(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, int arity, ir_node *in[]);
47 ir_node *be_new_Keep(const arch_register_class_t *cls, ir_graph *irg, ir_node *bl, int arity, ir_node *in[]);
48
49 ir_node *be_new_AddSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, ir_node *operand);
50 ir_node *be_new_IncSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, int amount);
51 ir_node *be_new_Call(ir_graph *irg, ir_node *bl, ir_node *mem, ir_node *sp, ir_node *ptr, int n, ir_node *in[]);
52 ir_node *be_new_StackParam(ir_graph *irg);
53 ir_node *be_new_RegParams(ir_graph *irg, int n_out);
54
55 ir_node *be_spill(const arch_env_t *arch_env, ir_node *irn,ir_node *spill_ctx);
56 ir_node *be_reload(const arch_env_t *arch_env, const arch_register_class_t *cls, ir_node *irn, int pos, ir_mode *mode, ir_node *spill);
57
58 int be_is_Spill(const ir_node *irn);
59 int be_is_Reload(const ir_node *irn);
60 int be_is_Copy(const ir_node *irn);
61 int be_is_Perm(const ir_node *irn);
62 int be_is_Keep(const ir_node *irn);
63 int be_is_Call(const ir_node *irn);
64 int be_is_AddSP(const ir_node *irn);
65 int be_is_IncSP(const ir_node *irn);
66
67 void be_set_IncSP_offset(ir_node *irn, int offset);
68 int be_get_IncSP_offset(ir_node *irn);
69
70 void   be_set_Spill_entity(ir_node *irn, entity *ent);
71 entity *be_get_spill_entity(ir_node *irn);
72
73 ir_node *be_get_Spill_context(const ir_node *irn);
74
75 /**
76  * Impose a register constraint on a backend node.
77  * @param irn The node.
78  * @param pos The position of the argument/result. Results range from -1..-m and arguments form 0..n
79  * @param reg The register which is admissible for that node, argument/result and position.
80  */
81 void be_set_constr_single_reg(ir_node *irn, int pos, const arch_register_t *reg);
82
83 /**
84  * Impose register constraints on a backend node.
85  * The register subsets given by the limited function in @p req are copied to the backend node.
86  * This requires that the constraint type of the @p req is arch_register_req_type_limited.
87  * @param irn The backend node.
88  * @param pos The position (@see be_set_constr_single_reg()).
89  * @param req The register requirements which shall be transferred.
90  */
91 void be_set_constr_limited(ir_node *irn, int pos, const arch_register_req_t *req);
92
93 /**
94  * Insert a Perm node after a specific node in the schedule.
95  * The Perm permutes over all values live at the given node.
96  * This means that all liveness intervals are cut apart at this
97  * location in the program.
98  */
99 ir_node *insert_Perm_after(const arch_env_t *env,
100                                                    const arch_register_class_t *cls,
101                                                    dom_front_info_t *dom_front,
102                                                    ir_node *pos);
103
104
105 #endif /* _BENODE_T_H */