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

   1 /* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
   2 ** All rights reserved.
   3 **
   4 ** Authors: Christian Schaefer
   5 **
   6 */
   7
   8 /* $Id$ */
   9
  10 #ifdef HAVE_CONFIG_H
  11 # include <config.h>
  12 #endif
  13
  14 # include <string.h>
  15
  16 # include "irop_t.h"
  17 # include "irnode_t.h"
  18 # include "misc.h"
  19
  20 ir_op *op_Block;
  21
  22 ir_op *op_Start;
  23 ir_op *op_End;
  24 ir_op *op_Jmp;
  25 ir_op *op_Cond;
  26 ir_op *op_Return;
  27 ir_op *op_Raise;
  28
  29 ir_op *op_Sel;
  30 ir_op *op_InstOf;
  31
  32 ir_op *op_Const;
  33 ir_op *op_SymConst;
  34
  35 ir_op *op_Call;
  36 ir_op *op_Add;
  37 ir_op *op_Sub;
  38 ir_op *op_Minus;
  39 ir_op *op_Mul;
  40 ir_op *op_Quot;
  41 ir_op *op_DivMod;
  42 ir_op *op_Div;
  43 ir_op *op_Mod;
  44 ir_op *op_Abs;
  45 ir_op *op_And;
  46 ir_op *op_Or;
  47 ir_op *op_Eor;
  48 ir_op *op_Not;
  49 ir_op *op_Cmp;
  50 ir_op *op_Shl;
  51 ir_op *op_Shr;
  52 ir_op *op_Shrs;
  53 ir_op *op_Rot;
  54 ir_op *op_Conv;
  55
  56 ir_op *op_Phi;
  57
  58 ir_op *op_Load;
  59 ir_op *op_Store;
  60 ir_op *op_Alloc;
  61 ir_op *op_Free;
  62 ir_op *op_Sync;
  63
  64 ir_op *op_Tuple;
  65 ir_op *op_Proj;
  66 ir_op *op_Id;
  67 ir_op *op_Bad;
  68
  69 ir_op *op_Unknown;
  70 ir_op *op_Filter;
  71 ir_op *op_Break;
  72 ir_op *op_CallBegin;
  73 ir_op *op_EndReg;
  74 ir_op *op_EndExcept;
  75
  76
  77 ir_op *
  78 new_ir_op (opcode code, char *name, op_pinned p, int labeled, size_t attr_size)
  79 {
  80   ir_op *res;
  81
  82   res = (ir_op *) xmalloc (sizeof (ir_op));
  83   res->code = code;
  84   res->name = id_from_str(name, strlen(name));
  85   res->pinned = p;
  86   res->attr_size = attr_size;
  87   res->labeled = labeled;   /* For vcg dumping.
  88                                Set labeled = 1 if the edges should be
  89                                enumarated in vcg output, otherwise set
  90                                labeled = 0. */
  91   return res;
  92 }
  93
  94
  95 void
  96 init_op(void)
  97 {
  98   op_Block = new_ir_op (iro_Block, "Block",  pinned, 1, sizeof (block_attr));
  99
 100   op_Start = new_ir_op (iro_Start, "Start",  pinned, 0, 0);
 101   op_End   = new_ir_op (iro_End,   "End",    pinned, 0, 0);
 102   op_Jmp   = new_ir_op (iro_Jmp,   "Jmp",    pinned, 0, 0);
 103   op_Cond  = new_ir_op (iro_Cond,  "Cond",   pinned, 1, sizeof(cond_attr));
 104   op_Return= new_ir_op (iro_Return,"Return", pinned, 1, 0);
 105   op_Raise = new_ir_op (iro_Raise, "Raise",  pinned, 1, 0);
 106
 107   op_Const = new_ir_op (iro_Const, "Const",  floats, 0, sizeof (struct tarval *));
 108   op_SymConst = new_ir_op (iro_SymConst, "SymConst",
 109                                              floats, 0, sizeof (symconst_attr));
 110
 111   op_Sel   = new_ir_op (iro_Sel,   "Sel",    floats, 1, sizeof (sel_attr));
 112   op_InstOf= new_ir_op (iro_InstOf,"InstOf", floats, 1, sizeof (sel_attr));
 113
 114   op_Call  = new_ir_op (iro_Call,  "Call",   pinned, 1, sizeof (call_attr));
 115   op_Add   = new_ir_op (iro_Add,   "Add",    floats, 0, 0);
 116   op_Minus = new_ir_op (iro_Minus, "Minus",  floats, 0, 0);
 117   op_Sub   = new_ir_op (iro_Sub,   "Sub",    floats, 1, 0);
 118   op_Mul   = new_ir_op (iro_Mul,   "Mul",    floats, 0, 0);
 119   op_Quot  = new_ir_op (iro_Quot,  "Quot",   pinned, 1, sizeof(struct irnode **));
 120   op_DivMod= new_ir_op (iro_DivMod,"DivMod", pinned, 1, sizeof(struct irnode **));
 121   op_Div   = new_ir_op (iro_Div,   "Div",    pinned, 1, sizeof(struct irnode **));
 122   op_Mod   = new_ir_op (iro_Mod,   "Mod",    pinned, 1, sizeof(struct irnode **));
 123   op_Abs   = new_ir_op (iro_Abs,   "Abs",    floats, 0, 0);
 124   op_And   = new_ir_op (iro_And,   "And",    floats, 0, 0);
 125   op_Or    = new_ir_op (iro_Or,    "Or",     floats, 0, 0);
 126   op_Eor   = new_ir_op (iro_Eor,   "Eor",    floats, 0, 0);
 127   op_Not   = new_ir_op (iro_Not,   "Not",    floats, 0, 0);
 128   op_Cmp   = new_ir_op (iro_Cmp,   "Cmp",    floats, 1, 0);
 129   op_Shl   = new_ir_op (iro_Shl,   "Shl",    floats, 1, 0);
 130   op_Shr   = new_ir_op (iro_Shr,   "Shr",    floats, 1, 0);
 131   op_Shrs  = new_ir_op (iro_Shrs,  "Shrs",   floats, 1, 0);
 132   op_Rot   = new_ir_op (iro_Rot,   "Rot",    floats, 1, 0);
 133   op_Conv  = new_ir_op (iro_Conv,  "Conv",   floats, 0, 0);
 134
 135   op_Phi   = new_ir_op (iro_Phi,   "Phi",    pinned, 1, sizeof (int));
 136
 137   op_Load  = new_ir_op (iro_Load,  "Load",   pinned, 1, sizeof(struct irnode **));
 138   op_Store = new_ir_op (iro_Store, "Store",  pinned, 1, sizeof(struct irnode **));
 139   op_Alloc = new_ir_op (iro_Alloc, "Alloc",  pinned, 1, sizeof (alloc_attr));
 140   op_Free  = new_ir_op (iro_Free,  "Free",   pinned, 1, sizeof (type *));
 141   op_Sync  = new_ir_op (iro_Sync,  "Sync",   pinned, 0, 0);
 142
 143   op_Proj  = new_ir_op (iro_Proj,  "Proj",   floats, 0, sizeof (long));
 144   op_Tuple = new_ir_op (iro_Tuple, "Tuple",  floats, 1, 0);
 145   op_Id    = new_ir_op (iro_Id,    "Id",     floats, 0, 0);
 146   op_Bad   = new_ir_op (iro_Bad,   "Bad",    floats, 0, 0);
 147
 148   op_Unknown   = new_ir_op (iro_Unknown,   "Unknown",   floats, 0, 0);
 149   op_Filter    = new_ir_op (iro_Filter,    "Filter",    pinned, 0, sizeof(filter_attr));
 150   op_Break     = new_ir_op (iro_Break,     "Break",     pinned, 0, 0);
 151   op_CallBegin = new_ir_op (iro_CallBegin, "CallBegin", pinned, 0, sizeof(callbegin_attr));
 152   op_EndReg    = new_ir_op (iro_EndReg,    "EndReg",    pinned, 0, sizeof(end_attr));
 153   op_EndExcept = new_ir_op (iro_EndExcept, "EndExcept", pinned, 0, sizeof(end_attr));
 154 }
 155
 156 /* Returns the string for the opcode. */
 157 const char  *get_op_name      (ir_op *op) {
 158   return id_to_str(op->name);
 159 }
 160
 161 opcode get_op_code (ir_op *op){
 162   return op->code;
 163 }
 164
 165 ident *get_op_ident(ir_op *op){
 166   return op->name;
 167 }
 168
 169 op_pinned get_op_pinned (ir_op *op){
 170   return op->pinned;
 171 }
 172
 173 /* Sets pinned in the opcode.  Setting it to floating has no effect
 174    for Phi, Block and control flow nodes. */
 175 void      set_op_pinned(ir_op *op, op_pinned pinned) {
 176   if (op == op_Block || op == op_Phi || is_cfopcode(op)) return;
 177   op->pinned = pinned;
 178 }
 179
 180
 181 /* returns the attribute size of the operator. */
 182 int get_op_attr_size (ir_op *op) {
 183   return op->attr_size;
 184 }
 185
 186 int is_cfopcode(ir_op *op) {
 187   return ((op == op_Start)
 188           || (op == op_Jmp)
 189           || (op == op_Cond)
 190           || (op == op_Return)
 191           || (op == op_Raise)
 192           || (op == op_Bad)
 193           || (op == op_End)
 194           || (op == op_Unknown)
 195           || (op == op_Break)
 196           || (op == op_CallBegin)
 197           || (op == op_EndReg)
 198           || (op == op_EndExcept));
 199 }
 200
 201 /* Returns true if the operation manipulates interprocedural control flow:
 202    CallBegin, EndReg, EndExcept */
 203 int is_ip_cfopcode(ir_op *op) {
 204   return ((op == op_CallBegin)
 205           || (op == op_EndReg)
 206           || (op == op_EndExcept));
 207
 208 }