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