#include <limits.h>
#include "firm_types.h"
-#include "irnode.h"
+#include "irnode_t.h"
#include "bearch.h"
#define BE_OUT_POS(p) (-((p) + 1))
extern ir_op *op_be_Barrier;
extern ir_op *op_be_Unwind;
-typedef enum {
- beo_NoBeOp = -1,
- beo_Spill,
- beo_Reload,
- beo_Perm,
- beo_MemPerm,
- beo_Copy,
- beo_Keep,
- beo_CopyKeep,
- beo_Call,
- beo_Return,
- beo_AddSP,
- beo_SubSP,
- beo_IncSP,
- beo_RegParams,
- beo_FrameAddr,
- beo_Barrier,
- beo_Unwind,
- beo_Last
-} be_opcode_t;
-
/** Not used yet. */
typedef enum {
be_frame_flag_spill = 1,
* @return A new stack pointer increment/decrement node.
* @note This node sets a register constraint to the @p sp register on its output.
*/
-ir_node *be_new_IncSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, int offset);
+ir_node *be_new_IncSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl,
+ ir_node *old_sp, int offset, int align);
/** Returns the previous node that computes the stack pointer. */
ir_node *be_get_IncSP_pred(ir_node *incsp);
/** Gets the offset from a IncSP node. */
int be_get_IncSP_offset(const ir_node *irn);
+int be_get_IncSP_align(const ir_node *irn);
/** Gets the call entity or NULL if this is no static call. */
ir_entity *be_Call_get_entity(const ir_node *call);
*/
unsigned be_Return_get_pop(const ir_node *ret);
+/**
+ * Return non-zero, if number of popped bytes must be always emitted.
+ *
+ * @param ret the be_Return node
+ */
+int be_Return_get_emit_pop(const ir_node *ret);
+
+/**
+ * Set the emit_pop flag.
+ *
+ * @param ret the be_Return node
+ */
+void be_Return_set_emit_pop(ir_node *ret, int emit_pop);
+
/** appends a node to the return node, returns the position of the node */
int be_Return_append_node(ir_node *ret, ir_node *node);
*/
ir_node *be_Barrier_append_node(ir_node *barrier, ir_node *node);
-/**
- * Appends a register out requirement to a RegParams node
- *
- * @returns the proj node for the new register
- */
-ir_node *be_RegParams_append_out_reg(ir_node *regparams,
- const arch_env_t *arch_env,
- const arch_register_t *reg);
-
/**
* Make a spill node.
*
- * @param arch_env The architecture environment.
* @param irn The node to be spilled.
* @param spill_ctx The context in which the spill is introduced (This is mostly == irn up to the case of Phis).
* @return The new spill node.
*/
-ir_node *be_spill(const arch_env_t *arch_env, ir_node *block, ir_node *irn);
+ir_node *be_spill(ir_node *block, ir_node *irn);
/**
* Make a reload and insert it into the schedule.
*
- * @param arch_env The architecture environment.
* @param cls The register class of the reloaded value.
* @param insert The node in the schedule in front of which the reload is inserted.
* @param mode The mode of the original (spilled) value.
* @param spill The spill node corresponding to this reload.
* @return A freshly made reload.
*/
-ir_node *be_reload(const arch_env_t *arch_env, const arch_register_class_t *cls, ir_node *insert, ir_mode *mode, ir_node *spill);
+ir_node *be_reload(const arch_register_class_t *cls, ir_node *insert, ir_mode *mode, ir_node *spill);
enum {
be_pos_CopyKeep_op = 0
* @param irn The node.
* @return The backend opcode.
*/
-be_opcode_t be_get_irn_opcode(const ir_node *irn);
-
-int be_is_Spill(const ir_node *irn);
-int be_is_Reload(const ir_node *irn);
-int be_is_Copy(const ir_node *irn);
-int be_is_Perm(const ir_node *irn);
-int be_is_MemPerm(const ir_node *irn);
-int be_is_Keep(const ir_node *irn);
-int be_is_CopyKeep(const ir_node *irn);
-int be_is_Call(const ir_node *irn);
-int be_is_Return(const ir_node *irn);
-int be_is_IncSP(const ir_node *irn);
-int be_is_AddSP(const ir_node *irn);
-int be_is_SubSP(const ir_node *irn);
-int be_is_RegParams(const ir_node *irn);
-int be_is_FrameAddr(const ir_node *irn);
-int be_is_Barrier(const ir_node *irn);
-int be_is_Unwind(const ir_node *irn);
+#define be_get_irn_opcode(irn) get_irn_opcode(irn)
/**
* Returns the frame entity of a be node.
/**
* Impose a register constraint on a backend node.
* @param irn The node.
- * @param pos The position of the argument/result. Results range from -1..-m and arguments form 0..n
+ * @param pos The position of the argument.
* @param reg The register which is admissible for that node, argument/result and position.
*/
-void be_set_constr_single_reg(ir_node *irn, int pos, const arch_register_t *reg);
+void be_set_constr_single_reg_in(ir_node *irn, int pos,
+ const arch_register_t *reg, arch_register_req_type_t additional_flags);
+void be_set_constr_single_reg_out(ir_node *irn, int pos,
+ const arch_register_t *reg, arch_register_req_type_t additional_flags);
/**
* Impose register constraints on a backend node.
*/
void be_set_constr_limited(ir_node *irn, int pos, const arch_register_req_t *req);
-/**
- * Set the flags of a node.
- * @param irn The node itself.
- * @param pos The position (0..n) for arguments, (-1..-m) for results.
- * @param flags The flags to set for that node and position.
- */
-void be_node_set_flags(ir_node *irn, int pos, arch_irn_flags_t flags);
-
-void be_node_add_flags(ir_node *irn, int pos, arch_irn_flags_t flags);
-
/**
* Set the register class of a node.
* @param irn The node itself.
- * @param pos The position (0..n) for arguments, (-1..-m) for results.
+ * @param pos The position (0..n) for arguments
* @param flags The register class to set for that node and position.
*/
-void be_node_set_reg_class(ir_node *irn, int pos, const arch_register_class_t *cls);
+void be_node_set_reg_class_in(ir_node *irn, int pos, const arch_register_class_t *cls);
+void be_node_set_reg_class_out(ir_node *irn, int pos, const arch_register_class_t *cls);
/**
* Set the register requirement type of a node.
void be_node_set_req_type(ir_node *irn, int pos, arch_register_req_type_t type);
/**
- * Make a new phi handler.
- * @param env The architecture environment.
- * @return A new phi handler.
+ * Initialize the Phi handler.
*/
-arch_irn_handler_t *be_phi_handler_new(const arch_env_t *arch_env);
+void be_phi_handler_new(void);
/**
- * Free a phi handler.
- * @param handler The handler to free.
+ * Destroy the Phi handler.
*/
-void be_phi_handler_free(arch_irn_handler_t *handler);
+void be_phi_handler_free(void);
/**
- * Reset the register data in the phi handler.
+ * Reset the register data in the Phi handler.
* This should be called on each new graph and deletes the register information of the current graph.
*/
-void be_phi_handler_reset(arch_irn_handler_t *handler);
+void be_phi_handler_reset(void);
/**
* Set the register requirements for a phi node.
*/
-void be_set_phi_reg_req(const arch_env_t *arch_env, ir_node *phi,
- const arch_register_req_t *req);
-
-/*
- * Set flags for a phi node
- */
-void be_set_phi_flags(const arch_env_t *arch_env, ir_node *phi,
- arch_irn_flags_t flags);
-
-/**
- * irn handler for common be nodes.
- */
-extern const arch_irn_handler_t be_node_irn_handler;
+void be_set_phi_reg_req(ir_node *phi, const arch_register_req_t *req,
+ arch_register_req_type_t additional_types);
+
+/**
+ * irn handler for common be nodes and Phi's.
+ */
+const void *be_node_get_irn_ops(const ir_node *irn);
+
+static inline int be_is_Spill (const ir_node *irn) { return get_irn_opcode(irn) == beo_Spill ; }
+static inline int be_is_Reload (const ir_node *irn) { return get_irn_opcode(irn) == beo_Reload ; }
+static inline int be_is_Copy (const ir_node *irn) { return get_irn_opcode(irn) == beo_Copy ; }
+static inline int be_is_CopyKeep (const ir_node *irn) { return get_irn_opcode(irn) == beo_CopyKeep ; }
+static inline int be_is_Perm (const ir_node *irn) { return get_irn_opcode(irn) == beo_Perm ; }
+static inline int be_is_MemPerm (const ir_node *irn) { return get_irn_opcode(irn) == beo_MemPerm ; }
+static inline int be_is_Keep (const ir_node *irn) { return get_irn_opcode(irn) == beo_Keep ; }
+static inline int be_is_Call (const ir_node *irn) { return get_irn_opcode(irn) == beo_Call ; }
+static inline int be_is_Return (const ir_node *irn) { return get_irn_opcode(irn) == beo_Return ; }
+static inline int be_is_IncSP (const ir_node *irn) { return get_irn_opcode(irn) == beo_IncSP ; }
+static inline int be_is_AddSP (const ir_node *irn) { return get_irn_opcode(irn) == beo_AddSP ; }
+static inline int be_is_SubSP (const ir_node *irn) { return get_irn_opcode(irn) == beo_SubSP ; }
+static inline int be_is_RegParams(const ir_node *irn) { return get_irn_opcode(irn) == beo_RegParams; }
+static inline int be_is_FrameAddr(const ir_node *irn) { return get_irn_opcode(irn) == beo_FrameAddr; }
+static inline int be_is_Barrier (const ir_node *irn) { return get_irn_opcode(irn) == beo_Barrier ; }
+static inline int be_is_Unwind (const ir_node *irn) { return get_irn_opcode(irn) == beo_Unwind ; }
#endif /* FIRM_BE_BENODE_T_H */
projects / libfirm / blobdiff