/*
- * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
*
* This file is part of libFirm.
*
#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_IncSP;
extern ir_op *op_be_AddSP;
extern ir_op *op_be_SubSP;
-extern ir_op *op_be_SetSP;
extern ir_op *op_be_RegParams;
extern ir_op *op_be_FrameAddr;
extern ir_op *op_be_Barrier;
-
-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_SetSP,
- beo_RegParams,
- beo_FrameAddr,
- beo_Barrier,
- beo_Last
-} be_opcode_t;
+extern ir_op *op_be_Unwind;
/** Not used yet. */
typedef enum {
*/
ir_node *be_new_SubSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, ir_node *sz);
-ir_node *be_new_SetSP(const arch_register_t *sp, ir_graph *irg, ir_node *bl, ir_node *old_sp, ir_node *operand, ir_node *mem);
-
/**
* Make a stack pointer increase/decrease node.
* @param sp The stack pointer register.
* @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);
/** Sets the call type. */
void be_Call_set_type(ir_node *call, ir_type *call_tp);
+void be_Call_set_pop(ir_node *call, unsigned pop);
+
+unsigned be_Call_get_pop(const ir_node *call);
+
/**
* Position numbers for the be_Call inputs.
*/
*/
typedef enum {
pn_be_Call_M_regular = pn_Call_M_regular, /**< The memory result of a be_Call. */
- pn_be_Call_first_res = pn_Call_max /**< The first result proj number of a be_Call. */
+ pn_be_Call_sp = pn_Call_max,
+ pn_be_Call_first_res /**< The first result proj number of a be_Call. */
} pn_be_Call;
/**
/**
* Construct a new be_Return.
+ *
+ * @param dbg debug info
* @param irg the graph where the new node will be placed
* @param bl the block where the new node will be placed
* @param n_res number of "real" results
* @param n number of inputs
+ * @param pop pop number of bytes on return
* @param in input array
*/
-ir_node *be_new_Return(dbg_info *dbg, ir_graph *irg, ir_node *bl, int n_res, int n, ir_node *in[]);
+ir_node *be_new_Return(dbg_info *dbg, ir_graph *irg, ir_node *bl, int n_res, unsigned pop, int n, ir_node *in[]);
/** Returns the number of real returns values */
-int be_Return_get_n_rets(ir_node *ret);
+int be_Return_get_n_rets(const ir_node *ret);
+
+/**
+ * Return the number of bytes that should be popped from stack when executing the Return.
+ *
+ * @param ret the be_Return node
+ */
+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);
* @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 *irn);
+ir_node *be_spill(const arch_env_t *arch_env, ir_node *block, ir_node *irn);
/**
* Make a reload and insert it into the schedule.
ir_node *be_get_CopyKeep_op(const ir_node *cpy);
void be_set_CopyKeep_op(ir_node *cpy, ir_node *op);
+/**
+ * Position numbers for the be_Unwind inputs.
+ */
+enum {
+ be_pos_Unwind_mem = 0, /**< memory input of a be_Unwind node */
+ be_pos_Unwind_sp = 1, /**< stack pointer input of a be_Unwind node */
+};
+
+/**
+ * Construct a new be_Unwind.
+ *
+ * @param dbg debug info
+ * @param irg the graph where the new node will be placed
+ * @param bl the block where the new node will be placed
+ * @param mem the memory input
+ * @param sp the stack pointer input
+ */
+ir_node *be_new_Unwind(dbg_info *dbg, ir_graph *irg, ir_node *bl, ir_node *mem, ir_node *sp);
+
+ir_node *be_get_Unwind_mem(const ir_node *irn);
+ir_node *be_get_Unwind_sp(const ir_node *irn);
+
/**
* Get the backend opcode of a backend node.
* @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_SetSP(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);
+#define be_get_irn_opcode(irn) get_irn_opcode(irn)
/**
+ * Returns the frame entity of a be node.
* Try to avoid this function and better call arch_get_frame_entity!
*
- * Returns the frame entity used by the be node
+ * @return the frame entity used by the be node
*/
ir_entity *be_get_frame_entity(const ir_node *irn);
*/
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.
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.
+ * @param env The be_main environment.
*/
-arch_irn_handler_t *be_phi_handler_new(const arch_env_t *arch_env);
+void be_phi_handler_new(be_main_env_t *env);
/**
- * 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.
arch_irn_flags_t flags);
/**
- * irn handler for common be nodes.
- */
-extern const arch_irn_handler_t be_node_irn_handler;
+ * 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 */