nsz Git - libfirm/blob - ir/ir/irop.c

   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   Representation of opcode of intermediate operation.
  23  * @author  Christian Schaefer, Goetz Lindenmaier, Michael Beck
  24  * @version $Id$
  25  */
  26 #include "config.h"
  27
  28 #include <string.h>
  29
  30 #include "irop_t.h"
  31 #include "irnode_t.h"
  32 #include "irhooks.h"
  33 #include "irbackedge_t.h"
  34
  35 #include "iropt_t.h"
  36 #include "irverify_t.h"
  37 #include "reassoc_t.h"
  38
  39 #include "xmalloc.h"
  40
  41 void be_init_op(void);
  42
  43 /** the available next opcode */
  44 static unsigned next_iro = iro_MaxOpcode;
  45
  46 /*
  47  * Copies all attributes stored in the old node to the new node.
  48  * Assumes both have the same opcode and sufficient size.
  49  */
  50 void default_copy_attr(ir_graph *irg, const ir_node *old_node,
  51                        ir_node *new_node)
  52 {
  53         unsigned size = firm_add_node_size;
  54         (void) irg;
  55
  56         assert(get_irn_op(old_node) == get_irn_op(new_node));
  57         memcpy(&new_node->attr, &old_node->attr, get_op_attr_size(get_irn_op(old_node)));
  58
  59         if (size > 0) {
  60                 /* copy additional node data */
  61                 memcpy(get_irn_data(new_node, void, size), get_irn_data(old_node, void, size), size);
  62         }
  63 }
  64
  65 /**
  66  * Copies all Call attributes stored in the old node to the new node.
  67  */
  68 static void call_copy_attr(ir_graph *irg, const ir_node *old_node,
  69                            ir_node *new_node)
  70 {
  71         default_copy_attr(irg, old_node, new_node);
  72         remove_Call_callee_arr(new_node);
  73 }
  74
  75 /**
  76  * Copies all Block attributes stored in the old node to the new node.
  77  */
  78 static void block_copy_attr(ir_graph *irg, const ir_node *old_node,
  79                             ir_node *new_node)
  80 {
  81         default_copy_attr(irg, old_node, new_node);
  82         new_node->attr.block.irg.irg       = irg;
  83         new_node->attr.block.phis          = NULL;
  84         new_node->attr.block.cg_backedge   = NULL;
  85         new_node->attr.block.backedge      = new_backedge_arr(irg->obst, get_irn_arity(new_node));
  86         new_node->attr.block.block_visited = 0;
  87         memset(&new_node->attr.block.dom, 0, sizeof(new_node->attr.block.dom));
  88         memset(&new_node->attr.block.pdom, 0, sizeof(new_node->attr.block.pdom));
  89         /* TODO: we should probably create a new entity. But we somehow have to
  90          * patch the stuff at the same time */
  91         new_node->attr.block.entity            = NULL;
  92         new_node->attr.block.phis              = NULL;
  93         INIT_LIST_HEAD(&new_node->attr.block.succ_head);
  94 }
  95
  96 /**
  97  * Copies all phi attributes stored in old node to the new node
  98  */
  99 static void phi_copy_attr(ir_graph *irg, const ir_node *old_node,
 100                           ir_node *new_node)
 101 {
 102         default_copy_attr(irg, old_node, new_node);
 103         new_node->attr.phi.next       = NULL;
 104         new_node->attr.phi.u.backedge = new_backedge_arr(irg->obst, get_irn_arity(new_node));
 105 }
 106
 107 /**
 108  * Copies all ASM attributes stored in old node to the new node
 109  */
 110 static void ASM_copy_attr(ir_graph *irg, const ir_node *old_node,
 111                           ir_node *new_node)
 112 {
 113         default_copy_attr(irg, old_node, new_node);
 114         new_node->attr.assem.input_constraints  = DUP_ARR_D(ir_asm_constraint, irg->obst, old_node->attr.assem.input_constraints);
 115         new_node->attr.assem.output_constraints = DUP_ARR_D(ir_asm_constraint, irg->obst, old_node->attr.assem.output_constraints);
 116         new_node->attr.assem.clobbers = DUP_ARR_D(ident*, irg->obst, old_node->attr.assem.clobbers);
 117 }
 118
 119 /**
 120  * Sets the default copy_attr operation for an ir_ops
 121  *
 122  * @param code   the opcode for the default operation
 123  * @param ops    the operations initialized
 124  *
 125  * @return
 126  *    The operations.
 127  */
 128 static ir_op_ops *firm_set_default_copy_attr(unsigned code, ir_op_ops *ops)
 129 {
 130         switch (code) {
 131         case iro_Call:
 132                 ops->copy_attr = call_copy_attr;
 133                 break;
 134         case iro_Block:
 135                 ops->copy_attr = block_copy_attr;
 136                 break;
 137         case iro_Phi:
 138                 ops->copy_attr = phi_copy_attr;
 139                 break;
 140         case iro_ASM:
 141                 ops->copy_attr = ASM_copy_attr;
 142                 break;
 143         default:
 144                 /* not allowed to be NULL */
 145                 if (! ops->copy_attr)
 146                         ops->copy_attr = default_copy_attr;
 147         }
 148         return ops;
 149 }  /* firm_set_default_copy_attr */
 150
 151 /* Creates a new ir operation. */
 152 ir_op *new_ir_op(unsigned code, const char *name, op_pin_state p,
 153                  unsigned flags, op_arity opar, int op_index, size_t attr_size,
 154                  const ir_op_ops *ops)
 155 {
 156         ir_op *res = XMALLOCZ(ir_op);
 157
 158         res->code      = code;
 159         res->name      = new_id_from_chars(name, strlen(name));
 160         res->pin_state = p;
 161         res->attr_size = attr_size;
 162         res->flags     = flags;
 163         res->opar      = opar;
 164         res->op_index  = op_index;
 165         res->tag       = 0;
 166
 167         if (ops)
 168                 memcpy(&res->ops, ops, sizeof(res->ops));
 169         else /* no given ops, set all operations to NULL */
 170                 memset(&res->ops, 0, sizeof(res->ops));
 171
 172         firm_set_default_operations(code, &res->ops);
 173         firm_set_default_copy_attr(code, &res->ops);
 174         firm_set_default_verifyer(code, &res->ops);
 175         firm_set_default_reassoc(code, &res->ops);
 176
 177         add_irp_opcode(res);
 178
 179         hook_new_ir_op(res);
 180         return res;
 181 }  /* new_ir_op */
 182
 183 void free_ir_op(ir_op *code)
 184 {
 185         hook_free_ir_op(code);
 186
 187         remove_irp_opcode(code);
 188         free(code);
 189 }  /* free_ir_op */
 190
 191 /* Returns the string for the opcode. */
 192 const char *get_op_name (const ir_op *op)
 193 {
 194         return get_id_str(op->name);
 195 }  /* get_op_name */
 196
 197 unsigned (get_op_code)(const ir_op *op)
 198 {
 199   return _get_op_code(op);
 200 }  /* get_op_code */
 201
 202 ident *(get_op_ident)(const ir_op *op)
 203 {
 204   return _get_op_ident(op);
 205 }  /* get_op_ident */
 206
 207 const char *get_op_pin_state_name(op_pin_state s)
 208 {
 209         switch (s) {
 210 #define XXX(s) case s: return #s
 211         XXX(op_pin_state_floats);
 212         XXX(op_pin_state_pinned);
 213         XXX(op_pin_state_exc_pinned);
 214         XXX(op_pin_state_mem_pinned);
 215 #undef XXX
 216         }
 217         return "<none>";
 218 }  /* get_op_pin_state_name */
 219
 220 op_pin_state (get_op_pinned)(const ir_op *op)
 221 {
 222         return _get_op_pinned(op);
 223 }  /* get_op_pinned */
 224
 225 /* Sets op_pin_state_pinned in the opcode.  Setting it to floating has no effect
 226    for Phi, Block and control flow nodes. */
 227 void set_op_pinned(ir_op *op, op_pin_state pinned)
 228 {
 229         if (op == op_Block || op == op_Phi || is_op_cfopcode(op)) return;
 230         op->pin_state = pinned;
 231 }  /* set_op_pinned */
 232
 233 /* retrieve the next free opcode */
 234 unsigned get_next_ir_opcode(void)
 235 {
 236         return next_iro++;
 237 }  /* get_next_ir_opcode */
 238
 239 /* Returns the next free n IR opcode number, allows to register a bunch of user ops */
 240 unsigned get_next_ir_opcodes(unsigned num)
 241 {
 242         unsigned base = next_iro;
 243         next_iro += num;
 244         return base;
 245 }  /* get_next_ir_opcodes */
 246
 247 /* Returns the generic function pointer from an ir operation. */
 248 op_func (get_generic_function_ptr)(const ir_op *op)
 249 {
 250         return _get_generic_function_ptr(op);
 251 }  /* get_generic_function_ptr */
 252
 253 /* Store a generic function pointer into an ir operation. */
 254 void (set_generic_function_ptr)(ir_op *op, op_func func)
 255 {
 256         _set_generic_function_ptr(op, func);
 257 }  /* set_generic_function_ptr */
 258
 259 /* Returns the ir_op_ops of an ir_op. */
 260 const ir_op_ops *(get_op_ops)(const ir_op *op)
 261 {
 262         return _get_op_ops(op);
 263 }  /* get_op_ops */
 264
 265 irop_flags get_op_flags(const ir_op *op)
 266 {
 267         return (irop_flags)op->flags;
 268 }
 269
 270 #include "gen_irop.c.inl"