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;           ir_op *get_op_Block     () { return op_Block;     }
  21
  22 ir_op *op_Start;           ir_op *get_op_Start     () { return op_Start;     }
  23 ir_op *op_End;             ir_op *get_op_End       () { return op_End;       }
  24 ir_op *op_Jmp;             ir_op *get_op_Jmp       () { return op_Jmp;       }
  25 ir_op *op_Cond;            ir_op *get_op_Cond      () { return op_Cond;      }
  26 ir_op *op_Return;          ir_op *get_op_Return    () { return op_Return;    }
  27 ir_op *op_Raise;           ir_op *get_op_Raise     () { return op_Raise;     }
  28
  29 ir_op *op_Sel;             ir_op *get_op_Sel       () { return op_Sel;       }
  30 ir_op *op_InstOf;          ir_op *get_op_InstOf    () { return op_InstOf;    }
  31
  32 ir_op *op_Const;           ir_op *get_op_Const     () { return op_Const;     }
  33 ir_op *op_SymConst;        ir_op *get_op_SymConst  () { return op_SymConst;  }
  34
  35 ir_op *op_Call;            ir_op *get_op_Call      () { return op_Call;      }
  36 ir_op *op_Add;             ir_op *get_op_Add       () { return op_Add;       }
  37 ir_op *op_Sub;             ir_op *get_op_Sub       () { return op_Sub;       }
  38 ir_op *op_Minus;           ir_op *get_op_Minus     () { return op_Minus;     }
  39 ir_op *op_Mul;             ir_op *get_op_Mul       () { return op_Mul;       }
  40 ir_op *op_Quot;            ir_op *get_op_Quot      () { return op_Quot;      }
  41 ir_op *op_DivMod;          ir_op *get_op_DivMod    () { return op_DivMod;    }
  42 ir_op *op_Div;             ir_op *get_op_Div       () { return op_Div;       }
  43 ir_op *op_Mod;             ir_op *get_op_Mod       () { return op_Mod;       }
  44 ir_op *op_Abs;             ir_op *get_op_Abs       () { return op_Abs;       }
  45 ir_op *op_And;             ir_op *get_op_And       () { return op_And;       }
  46 ir_op *op_Or;              ir_op *get_op_Or        () { return op_Or;        }
  47 ir_op *op_Eor;             ir_op *get_op_Eor       () { return op_Eor;       }
  48 ir_op *op_Not;             ir_op *get_op_Not       () { return op_Not;       }
  49 ir_op *op_Cmp;             ir_op *get_op_Cmp       () { return op_Cmp;       }
  50 ir_op *op_Shl;             ir_op *get_op_Shl       () { return op_Shl;       }
  51 ir_op *op_Shr;             ir_op *get_op_Shr       () { return op_Shr;       }
  52 ir_op *op_Shrs;            ir_op *get_op_Shrs      () { return op_Shrs;      }
  53 ir_op *op_Rot;             ir_op *get_op_Rot       () { return op_Rot;       }
  54 ir_op *op_Conv;            ir_op *get_op_Conv      () { return op_Conv;      }
  55
  56 ir_op *op_Phi;             ir_op *get_op_Phi       () { return op_Phi;       }
  57
  58 ir_op *op_Load;            ir_op *get_op_Load      () { return op_Load;      }
  59 ir_op *op_Store;           ir_op *get_op_Store     () { return op_Store;     }
  60 ir_op *op_Alloc;           ir_op *get_op_Alloc     () { return op_Alloc;     }
  61 ir_op *op_Free;            ir_op *get_op_Free      () { return op_Free;      }
  62 ir_op *op_Sync;            ir_op *get_op_Sync      () { return op_Sync;      }
  63
  64 ir_op *op_Tuple;           ir_op *get_op_Tuple     () { return op_Tuple;     }
  65 ir_op *op_Proj;            ir_op *get_op_Proj      () { return op_Proj;      }
  66 ir_op *op_Id;              ir_op *get_op_Id        () { return op_Id;        }
  67 ir_op *op_Bad;             ir_op *get_op_Bad       () { return op_Bad;       }
  68
  69 ir_op *op_Unknown;         ir_op *get_op_Unknown   () { return op_Unknown;   }
  70 ir_op *op_Filter;          ir_op *get_op_Filter    () { return op_Filter;    }
  71 ir_op *op_Break;           ir_op *get_op_Break     () { return op_Break;     }
  72 ir_op *op_CallBegin;       ir_op *get_op_CallBegin () { return op_CallBegin; }
  73 ir_op *op_EndReg;          ir_op *get_op_EndReg    () { return op_EndReg;    }
  74 ir_op *op_EndExcept;       ir_op *get_op_EndExcept () { return 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 }