Psi op added
[libfirm] / ir / ir / irop.c
1 /*
2  * Project:     libFIRM
3  * File name:   ir/ir/irop.c
4  * Purpose:     Representation of opcode of intermediate operation.
5  * Author:      Christian Schaefer
6  * Modified by: Goetz Lindenmaier
7  * Created:
8  * CVS-ID:      $Id$
9  * Copyright:   (c) 1998-2003 Universität Karlsruhe
10  * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
11  */
12
13 #ifdef HAVE_CONFIG_H
14 # include "config.h"
15 #endif
16
17 #ifdef HAVE_STRING_H
18 # include <string.h>
19 #endif
20
21 # include "irop_t.h"
22 # include "irnode_t.h"
23 # include "irhooks.h"
24
25 # include "iropt_t.h"             /* for firm_set_default_operations */
26 # include "irvrfy_t.h"
27 # include "reassoc_t.h"
28
29 # include "xmalloc.h"
30
31 /** the available next opcode */
32 static unsigned next_iro = iro_MaxOpcode;
33
34 ir_op *op_Block;       ir_op *get_op_Block     (void) { return op_Block;     }
35
36 ir_op *op_Start;       ir_op *get_op_Start     (void) { return op_Start;     }
37 ir_op *op_End;         ir_op *get_op_End       (void) { return op_End;       }
38 ir_op *op_Jmp;         ir_op *get_op_Jmp       (void) { return op_Jmp;       }
39 ir_op *op_IJmp;        ir_op *get_op_IJmp      (void) { return op_IJmp;      }
40 ir_op *op_Cond;        ir_op *get_op_Cond      (void) { return op_Cond;      }
41 ir_op *op_Return;      ir_op *get_op_Return    (void) { return op_Return;    }
42
43 ir_op *op_Sel;         ir_op *get_op_Sel       (void) { return op_Sel;       }
44 ir_op *op_InstOf;      ir_op *get_op_InstOf    (void) { return op_InstOf;    }
45
46 ir_op *op_Const;       ir_op *get_op_Const     (void) { return op_Const;     }
47 ir_op *op_SymConst;    ir_op *get_op_SymConst  (void) { return op_SymConst;  }
48
49 ir_op *op_Call;        ir_op *get_op_Call      (void) { return op_Call;      }
50 ir_op *op_Add;         ir_op *get_op_Add       (void) { return op_Add;       }
51 ir_op *op_Sub;         ir_op *get_op_Sub       (void) { return op_Sub;       }
52 ir_op *op_Minus;       ir_op *get_op_Minus     (void) { return op_Minus;     }
53 ir_op *op_Mul;         ir_op *get_op_Mul       (void) { return op_Mul;       }
54 ir_op *op_Quot;        ir_op *get_op_Quot      (void) { return op_Quot;      }
55 ir_op *op_DivMod;      ir_op *get_op_DivMod    (void) { return op_DivMod;    }
56 ir_op *op_Div;         ir_op *get_op_Div       (void) { return op_Div;       }
57 ir_op *op_Mod;         ir_op *get_op_Mod       (void) { return op_Mod;       }
58 ir_op *op_Abs;         ir_op *get_op_Abs       (void) { return op_Abs;       }
59 ir_op *op_And;         ir_op *get_op_And       (void) { return op_And;       }
60 ir_op *op_Or;          ir_op *get_op_Or        (void) { return op_Or;        }
61 ir_op *op_Eor;         ir_op *get_op_Eor       (void) { return op_Eor;       }
62 ir_op *op_Not;         ir_op *get_op_Not       (void) { return op_Not;       }
63 ir_op *op_Cmp;         ir_op *get_op_Cmp       (void) { return op_Cmp;       }
64 ir_op *op_Shl;         ir_op *get_op_Shl       (void) { return op_Shl;       }
65 ir_op *op_Shr;         ir_op *get_op_Shr       (void) { return op_Shr;       }
66 ir_op *op_Shrs;        ir_op *get_op_Shrs      (void) { return op_Shrs;      }
67 ir_op *op_Rot;         ir_op *get_op_Rot       (void) { return op_Rot;       }
68 ir_op *op_Conv;        ir_op *get_op_Conv      (void) { return op_Conv;      }
69 ir_op *op_Cast;        ir_op *get_op_Cast      (void) { return op_Cast;      }
70 ir_op *op_Carry;       ir_op *get_op_Carry     (void) { return op_Carry;     }
71 ir_op *op_Borrow;      ir_op *get_op_Borrow    (void) { return op_Borrow;    }
72
73 ir_op *op_Phi;         ir_op *get_op_Phi       (void) { return op_Phi;       }
74
75 ir_op *op_Load;        ir_op *get_op_Load      (void) { return op_Load;      }
76 ir_op *op_Store;       ir_op *get_op_Store     (void) { return op_Store;     }
77 ir_op *op_Alloc;       ir_op *get_op_Alloc     (void) { return op_Alloc;     }
78 ir_op *op_Free;        ir_op *get_op_Free      (void) { return op_Free;      }
79 ir_op *op_Sync;        ir_op *get_op_Sync      (void) { return op_Sync;      }
80
81 ir_op *op_Tuple;       ir_op *get_op_Tuple     (void) { return op_Tuple;     }
82 ir_op *op_Proj;        ir_op *get_op_Proj      (void) { return op_Proj;      }
83 ir_op *op_Id;          ir_op *get_op_Id        (void) { return op_Id;        }
84 ir_op *op_Bad;         ir_op *get_op_Bad       (void) { return op_Bad;       }
85 ir_op *op_Confirm;     ir_op *get_op_Confirm   (void) { return op_Confirm;   }
86
87 ir_op *op_Unknown;     ir_op *get_op_Unknown   (void) { return op_Unknown;   }
88 ir_op *op_Filter;      ir_op *get_op_Filter    (void) { return op_Filter;    }
89 ir_op *op_Break;       ir_op *get_op_Break     (void) { return op_Break;     }
90 ir_op *op_CallBegin;   ir_op *get_op_CallBegin (void) { return op_CallBegin; }
91 ir_op *op_EndReg;      ir_op *get_op_EndReg    (void) { return op_EndReg;    }
92 ir_op *op_EndExcept;   ir_op *get_op_EndExcept (void) { return op_EndExcept; }
93
94 ir_op *op_NoMem;       ir_op *get_op_NoMem     (void) { return op_NoMem;     }
95 ir_op *op_Mux;         ir_op *get_op_Mux       (void) { return op_Mux;       }
96 ir_op *op_Psi;         ir_op *get_op_Psi       (void) { return op_Psi;       }
97 ir_op *op_CopyB;       ir_op *get_op_CopyB     (void) { return op_CopyB;     }
98
99 ir_op *op_Raise;       ir_op *get_op_Raise     (void) { return op_Raise;     }
100 ir_op *op_Bound;       ir_op *get_op_Bound     (void) { return op_Bound;     }
101
102 /*
103  * Copies all attributes stored in the old node to the new node.
104  * Assumes both have the same opcode and sufficient size.
105  */
106 void default_copy_attr(const ir_node *old_node, ir_node *new_node) {
107   unsigned size = firm_add_node_size;
108
109   assert(get_irn_op(old_node) == get_irn_op(new_node));
110   memcpy(&new_node->attr, &old_node->attr, get_op_attr_size(get_irn_op(old_node)));
111
112   if (size > 0) {
113     /* copy additional node data */
114     memcpy(get_irn_data(new_node, void, size), get_irn_data(old_node, void, size), size);
115   }
116 }
117
118 /**
119  * Copies all attributes stored in the old node to the new node.
120  * Assumes both have the same opcode and sufficient size.
121  */
122 static void
123 call_copy_attr(const ir_node *old_node, ir_node *new_node) {
124   default_copy_attr(old_node, new_node);
125
126   remove_Call_callee_arr(new_node);
127 }
128
129 static void
130 block_copy_attr(const ir_node *old_node, ir_node *new_node)
131 {
132   default_copy_attr(old_node, new_node);
133   INIT_LIST_HEAD(&new_node->attr.block.succ_head);
134 }
135
136 /**
137  * Sets the default copy_attr operation for an ir_ops
138  *
139  * @param code   the opcode for the default operation
140  * @param ops    the operations initialized
141  *
142  * @return
143  *    The operations.
144  */
145 static ir_op_ops *firm_set_default_copy_attr(opcode code, ir_op_ops *ops) {
146   if (code == iro_Call)
147     ops->copy_attr = call_copy_attr;
148   else if (code == iro_Block)
149     ops->copy_attr = block_copy_attr;
150   else {
151     /* not allowed to be NULL */
152     if (! ops->copy_attr)
153       ops->copy_attr = default_copy_attr;
154   }
155
156   return ops;
157 }
158
159 /* Creates a new ir operation. */
160 ir_op *
161 new_ir_op(opcode code, const char *name, op_pin_state p,
162           unsigned flags, op_arity opar, int op_index, size_t attr_size,
163           const ir_op_ops *ops)
164 {
165   ir_op *res;
166
167   res = (ir_op *)xmalloc(sizeof(*res));
168   memset(res, 0, sizeof(*res));
169
170   res->code      = code;
171   res->name      = new_id_from_chars(name, strlen(name));
172   res->op_pin_state_pinned = p;
173   res->attr_size = attr_size;
174   res->flags     = flags;
175   res->opar      = opar;
176   res->op_index  = op_index;
177   res->tag       = NULL;
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 }
194
195 void free_ir_op(ir_op *code) {
196   hook_free_ir_op(code);
197
198   remove_irp_opcode(code);
199   free(code);
200 }
201
202 void
203 init_op(void)
204 {
205 #define N   irop_flag_none
206 #define L   irop_flag_labeled
207 #define C   irop_flag_commutative
208 #define X   irop_flag_cfopcode
209 #define I   irop_flag_ip_cfopcode
210 #define F   irop_flag_fragile
211 #define Y   irop_flag_forking
212 #define H   irop_flag_highlevel
213 #define c   irop_flag_constlike
214 #define K   irop_flag_keep
215
216   op_Block     = new_ir_op(iro_Block,     "Block",     op_pin_state_pinned, L,       oparity_variable, -1, sizeof(block_attr), NULL);
217
218   op_Start     = new_ir_op(iro_Start,     "Start",     op_pin_state_pinned, X,       oparity_zero,     -1, sizeof(start_attr), NULL);
219   op_End       = new_ir_op(iro_End,       "End",       op_pin_state_pinned, X,       oparity_dynamic,  -1, 0, NULL);
220   op_Jmp       = new_ir_op(iro_Jmp,       "Jmp",       op_pin_state_pinned, X,       oparity_zero,     -1, 0, NULL);
221   op_IJmp      = new_ir_op(iro_IJmp,      "IJmp",      op_pin_state_pinned, X|K,     oparity_unary,    -1, 0, NULL);
222   op_Cond      = new_ir_op(iro_Cond,      "Cond",      op_pin_state_pinned, X|Y,     oparity_any,      -1, sizeof(cond_attr), NULL);
223   op_Return    = new_ir_op(iro_Return,    "Return",    op_pin_state_pinned, X,       oparity_zero,     -1, 0, NULL);
224
225   op_Const     = new_ir_op(iro_Const,     "Const",     op_pin_state_floats, c,       oparity_zero,     -1, sizeof(const_attr), NULL);
226   op_SymConst  = new_ir_op(iro_SymConst,  "SymConst",  op_pin_state_floats, c,       oparity_zero,     -1, sizeof(symconst_attr), NULL);
227
228   op_Sel       = new_ir_op(iro_Sel,       "Sel",       op_pin_state_floats, H,       oparity_any,      -1, sizeof(sel_attr), NULL);
229
230   op_Call      = new_ir_op(iro_Call,      "Call",      op_pin_state_mem_pinned, F,   oparity_variable, -1, sizeof(call_attr), NULL);
231   op_Add       = new_ir_op(iro_Add,       "Add",       op_pin_state_floats, C,       oparity_binary,    0, 0, NULL);
232   op_Minus     = new_ir_op(iro_Minus,     "Minus",     op_pin_state_floats, N,       oparity_unary,     0, 0, NULL);
233   op_Sub       = new_ir_op(iro_Sub,       "Sub",       op_pin_state_floats, N,       oparity_binary,    0, 0, NULL);
234   op_Mul       = new_ir_op(iro_Mul,       "Mul",       op_pin_state_floats, C,       oparity_binary,    0, 0, NULL);
235   op_Quot      = new_ir_op(iro_Quot,      "Quot",      op_pin_state_exc_pinned, F,   oparity_binary,    1, sizeof(except_attr), NULL);
236   op_DivMod    = new_ir_op(iro_DivMod,    "DivMod",    op_pin_state_exc_pinned, F,   oparity_binary,    1, sizeof(except_attr), NULL);
237   op_Div       = new_ir_op(iro_Div,       "Div",       op_pin_state_exc_pinned, F,   oparity_binary,    1, sizeof(except_attr), NULL);
238   op_Mod       = new_ir_op(iro_Mod,       "Mod",       op_pin_state_exc_pinned, F,   oparity_binary,    1, sizeof(except_attr), NULL);
239   op_Abs       = new_ir_op(iro_Abs,       "Abs",       op_pin_state_floats, N,       oparity_unary,     0, 0, NULL);
240   op_And       = new_ir_op(iro_And,       "And",       op_pin_state_floats, C,       oparity_binary,    0, 0, NULL);
241   op_Or        = new_ir_op(iro_Or,        "Or",        op_pin_state_floats, C,       oparity_binary,    0, 0, NULL);
242   op_Eor       = new_ir_op(iro_Eor,       "Eor",       op_pin_state_floats, C,       oparity_binary,    0, 0, NULL);
243   op_Not       = new_ir_op(iro_Not,       "Not",       op_pin_state_floats, N,       oparity_unary,     0, 0, NULL);
244   op_Cmp       = new_ir_op(iro_Cmp,       "Cmp",       op_pin_state_floats, N,       oparity_binary,    0, 0, NULL);
245   op_Shl       = new_ir_op(iro_Shl,       "Shl",       op_pin_state_floats, N,       oparity_binary,    0, 0, NULL);
246   op_Shr       = new_ir_op(iro_Shr,       "Shr",       op_pin_state_floats, N,       oparity_binary,    0, 0, NULL);
247   op_Shrs      = new_ir_op(iro_Shrs,      "Shrs",      op_pin_state_floats, N,       oparity_binary,    0, 0, NULL);
248   op_Rot       = new_ir_op(iro_Rot,       "Rot",       op_pin_state_floats, N,       oparity_binary,    0, 0, NULL);
249   op_Conv      = new_ir_op(iro_Conv,      "Conv",      op_pin_state_floats, N,       oparity_unary,     0, 0, NULL);
250   op_Cast      = new_ir_op(iro_Cast,      "Cast",      op_pin_state_floats, N|H,     oparity_unary,     0, sizeof(cast_attr), NULL);
251   op_Carry     = new_ir_op(iro_Carry,     "Carry",     op_pin_state_floats, C,       oparity_binary,    0, 0, NULL);
252   op_Borrow    = new_ir_op(iro_Borrow,    "Borrow",    op_pin_state_floats, N,       oparity_binary,    0, 0, NULL);
253
254   op_Phi       = new_ir_op(iro_Phi,       "Phi",       op_pin_state_pinned, N,       oparity_variable, -1, sizeof(int), NULL);
255
256   op_Load      = new_ir_op(iro_Load,      "Load",      op_pin_state_exc_pinned, F,   oparity_any,      -1, sizeof(load_attr), NULL);
257   op_Store     = new_ir_op(iro_Store,     "Store",     op_pin_state_exc_pinned, F,   oparity_any,      -1, sizeof(store_attr), NULL);
258   op_Alloc     = new_ir_op(iro_Alloc,     "Alloc",     op_pin_state_pinned, F,       oparity_any,      -1, sizeof(alloc_attr), NULL);
259   op_Free      = new_ir_op(iro_Free,      "Free",      op_pin_state_pinned, N,       oparity_any,      -1, sizeof(free_attr), NULL);
260   op_Sync      = new_ir_op(iro_Sync,      "Sync",      op_pin_state_pinned, N,       oparity_any,      -1, 0, NULL);
261
262   op_Proj      = new_ir_op(iro_Proj,      "Proj",      op_pin_state_floats, N,       oparity_any,      -1, sizeof(long), NULL);
263   op_Tuple     = new_ir_op(iro_Tuple,     "Tuple",     op_pin_state_floats, L,       oparity_variable, -1, 0, NULL);
264   op_Id        = new_ir_op(iro_Id,        "Id",        op_pin_state_floats, N,       oparity_any,      -1, 0, NULL);
265   op_Bad       = new_ir_op(iro_Bad,       "Bad",       op_pin_state_pinned, X|F,     oparity_zero,     -1, 0, NULL);
266   op_Confirm   = new_ir_op(iro_Confirm,   "Confirm",   op_pin_state_floats, H,       oparity_any,      -1, sizeof(confirm_attr), NULL);
267
268   op_Unknown   = new_ir_op(iro_Unknown,   "Unknown",   op_pin_state_pinned, X|F,     oparity_zero,     -1, 0, NULL);
269   op_Filter    = new_ir_op(iro_Filter,    "Filter",    op_pin_state_pinned, N,       oparity_variable, -1, sizeof(filter_attr), NULL);
270   op_Break     = new_ir_op(iro_Break,     "Break",     op_pin_state_pinned, X,       oparity_zero,     -1, 0, NULL);
271   op_CallBegin = new_ir_op(iro_CallBegin, "CallBegin", op_pin_state_pinned, X|I,     oparity_any,      -1, sizeof(callbegin_attr), NULL);
272   op_EndReg    = new_ir_op(iro_EndReg,    "EndReg",    op_pin_state_pinned, X|I,     oparity_any,      -1, sizeof(end_attr), NULL);
273   op_EndExcept = new_ir_op(iro_EndExcept, "EndExcept", op_pin_state_pinned, X|I,     oparity_any,      -1, sizeof(end_attr), NULL);
274
275   op_NoMem     = new_ir_op(iro_NoMem,     "NoMem",     op_pin_state_pinned, N,       oparity_zero,     -1, 0, NULL);
276   op_Mux       = new_ir_op(iro_Mux,       "Mux",       op_pin_state_floats, N,       oparity_trinary,  -1, 0, NULL);
277   op_Psi       = new_ir_op(iro_Psi,       "Psi",       op_pin_state_floats, N,       oparity_variable, -1, 0, NULL);
278   op_CopyB     = new_ir_op(iro_CopyB,     "CopyB",     op_pin_state_mem_pinned, F|H, oparity_trinary,  -1, sizeof(copyb_attr), NULL);
279
280   op_InstOf    = new_ir_op(iro_InstOf,    "InstOf",    op_pin_state_mem_pinned, H,   oparity_unary,    -1, sizeof(io_attr), NULL);
281   op_Raise     = new_ir_op(iro_Raise,     "Raise",     op_pin_state_pinned,     H|X, oparity_any,      -1, 0, NULL);
282   op_Bound     = new_ir_op(iro_Bound,     "Bound",     op_pin_state_exc_pinned, F|H, oparity_trinary,  -1, sizeof(bound_attr), NULL);
283
284 #undef H
285 #undef Y
286 #undef F
287 #undef I
288 #undef X
289 #undef C
290 #undef L
291 }
292
293
294 /* free memory used by irop module. */
295 void finish_op(void) {
296   free_ir_op (op_Block    ); op_Block     = NULL;
297
298   free_ir_op (op_Start    ); op_Start     = NULL;
299   free_ir_op (op_End      ); op_End       = NULL;
300   free_ir_op (op_Jmp      ); op_Jmp       = NULL;
301   free_ir_op (op_Cond     ); op_Cond      = NULL;
302   free_ir_op (op_Return   ); op_Return    = NULL;
303
304   free_ir_op (op_Const    ); op_Const     = NULL;
305   free_ir_op (op_SymConst ); op_SymConst  = NULL;
306
307   free_ir_op (op_Sel      ); op_Sel       = NULL;
308
309   free_ir_op (op_Call     ); op_Call      = NULL;
310   free_ir_op (op_Add      ); op_Add       = NULL;
311   free_ir_op (op_Minus    ); op_Minus     = NULL;
312   free_ir_op (op_Sub      ); op_Sub       = NULL;
313   free_ir_op (op_Mul      ); op_Mul       = NULL;
314   free_ir_op (op_Quot     ); op_Quot      = NULL;
315   free_ir_op (op_DivMod   ); op_DivMod    = NULL;
316   free_ir_op (op_Div      ); op_Div       = NULL;
317   free_ir_op (op_Mod      ); op_Mod       = NULL;
318   free_ir_op (op_Abs      ); op_Abs       = NULL;
319   free_ir_op (op_And      ); op_And       = NULL;
320   free_ir_op (op_Or       ); op_Or        = NULL;
321   free_ir_op (op_Eor      ); op_Eor       = NULL;
322   free_ir_op (op_Not      ); op_Not       = NULL;
323   free_ir_op (op_Cmp      ); op_Cmp       = NULL;
324   free_ir_op (op_Shl      ); op_Shl       = NULL;
325   free_ir_op (op_Shr      ); op_Shr       = NULL;
326   free_ir_op (op_Shrs     ); op_Shrs      = NULL;
327   free_ir_op (op_Rot      ); op_Rot       = NULL;
328   free_ir_op (op_Conv     ); op_Conv      = NULL;
329   free_ir_op (op_Cast     ); op_Cast      = NULL;
330   free_ir_op (op_Carry    ); op_Carry     = NULL;
331   free_ir_op (op_Borrow   ); op_Borrow    = NULL;
332
333   free_ir_op (op_Phi      ); op_Phi       = NULL;
334
335   free_ir_op (op_Load     ); op_Load      = NULL;
336   free_ir_op (op_Store    ); op_Store     = NULL;
337   free_ir_op (op_Alloc    ); op_Alloc     = NULL;
338   free_ir_op (op_Free     ); op_Free      = NULL;
339   free_ir_op (op_Sync     ); op_Sync      = NULL;
340
341   free_ir_op (op_Proj     ); op_Proj      = NULL;
342   free_ir_op (op_Tuple    ); op_Tuple     = NULL;
343   free_ir_op (op_Id       ); op_Id        = NULL;
344   free_ir_op (op_Bad      ); op_Bad       = NULL;
345   free_ir_op (op_Confirm  ); op_Confirm   = NULL;
346
347   free_ir_op (op_Unknown  ); op_Unknown   = NULL;
348   free_ir_op (op_Filter   ); op_Filter    = NULL;
349   free_ir_op (op_Break    ); op_Break     = NULL;
350   free_ir_op (op_CallBegin); op_CallBegin = NULL;
351   free_ir_op (op_EndReg   ); op_EndReg    = NULL;
352   free_ir_op (op_EndExcept); op_EndExcept = NULL;
353
354   free_ir_op (op_NoMem    ); op_NoMem     = NULL;
355   free_ir_op (op_Psi      ); op_Psi       = NULL;
356   free_ir_op (op_Mux      ); op_Mux       = NULL;
357   free_ir_op (op_CopyB    ); op_CopyB     = NULL;
358
359   free_ir_op (op_InstOf   ); op_InstOf    = NULL;
360   free_ir_op (op_Raise    ); op_Raise     = NULL;
361   free_ir_op (op_Bound    ); op_Bound     = NULL;
362 }
363
364 /* Returns the string for the opcode. */
365 const char *get_op_name (const ir_op *op) {
366   return get_id_str(op->name);
367 }
368
369 opcode (get_op_code)(const ir_op *op){
370   return _get_op_code(op);
371 }
372
373 ident *(get_op_ident)(const ir_op *op){
374   return _get_op_ident(op);
375 }
376
377 const char *get_op_pin_state_name(op_pin_state s) {
378   switch(s) {
379 #define XXX(s) case s: return #s
380   XXX(op_pin_state_floats);
381   XXX(op_pin_state_pinned);
382   XXX(op_pin_state_exc_pinned);
383   XXX(op_pin_state_mem_pinned);
384 #undef XXX
385   }
386         return "<none>";
387 }
388
389 op_pin_state (get_op_pinned)(const ir_op *op) {
390   return _get_op_pinned(op);
391 }
392
393 /* Sets op_pin_state_pinned in the opcode.  Setting it to floating has no effect
394    for Phi, Block and control flow nodes. */
395 void      set_op_pinned(ir_op *op, op_pin_state op_pin_state_pinned) {
396   if (op == op_Block || op == op_Phi || is_cfopcode(op)) return;
397   op->op_pin_state_pinned = op_pin_state_pinned;
398 }
399
400 /* retrieve the next free opcode */
401 unsigned get_next_ir_opcode(void) {
402   return next_iro++;
403 }
404
405 /* Returns the next free n IR opcode number, allows to register a bunch of user ops */
406 unsigned get_next_ir_opcodes(unsigned num) {
407   unsigned base = next_iro;
408   next_iro += num;
409   return base;
410 }
411
412 /* Returns the generic function pointer from an ir operation. */
413 op_func (get_generic_function_ptr)(const ir_op *op) {
414   return _get_generic_function_ptr(op);
415 }
416
417 /* Store a generic function pointer into an ir operation. */
418 void (set_generic_function_ptr)(ir_op *op, op_func func) {
419   _set_generic_function_ptr(op, func);
420 }
421
422 /* Returns the ir_op_ops of an ir_op. */
423 const ir_op_ops *(get_op_ops)(const ir_op *op) {
424   return _get_op_ops(op);
425 }