irnode.c 49 KB
Newer Older
Götz Lindenmaier's avatar
Götz Lindenmaier committed
1
2
3
4
5
6
7
8
9
10
11
/*
 * Project:     libFIRM
 * File name:   ir/ir/irnode.c
 * Purpose:     Representation of an intermediate operation.
 * Author:      Martin Trapp, Christian Schaefer
 * Modified by: Goetz Lindenmaier
 * Created:
 * CVS-ID:      $Id$
 * Copyright:   (c) 1998-2003 Universitt Karlsruhe
 * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
 */
Boris Boesler's avatar
Boris Boesler committed
12

Boris Boesler's avatar
added    
Boris Boesler committed
13
14
15
#ifdef HAVE_CONFIG_H
# include <config.h>
#endif
16
#include <string.h>
Boris Boesler's avatar
added    
Boris Boesler committed
17

18
#include "ident.h"
Götz Lindenmaier's avatar
Götz Lindenmaier committed
19
#include "irnode_t.h"
Götz Lindenmaier's avatar
Götz Lindenmaier committed
20
#include "irgraph_t.h"
Götz Lindenmaier's avatar
Götz Lindenmaier committed
21
#include "irmode_t.h"
22
#include "typegmod.h"
23
#include "irbackedge_t.h"
24
#include "irdump.h"
25
#include "irop_t.h"
26
#include "irprog_t.h"
Götz Lindenmaier's avatar
Götz Lindenmaier committed
27

Michael Beck's avatar
Michael Beck committed
28
29
#include "firmstat.h"

Götz Lindenmaier's avatar
Götz Lindenmaier committed
30
31
/* some constants fixing the positions of nodes predecessors
   in the in array */
Michael Beck's avatar
Michael Beck committed
32
33
34
35
36
#define CALL_PARAM_OFFSET     2
#define FUNCCALL_PARAM_OFFSET 1
#define SEL_INDEX_OFFSET      2
#define RETURN_RESULT_OFFSET  1  /* mem is not a result */
#define END_KEEPALIVE_OFFSET  0
Götz Lindenmaier's avatar
Götz Lindenmaier committed
37

38
39
40
41
42
43
static const char *pnc_name_arr [] = {
  "False", "Eq", "Lt", "Le",
  "Gt", "Ge", "Lg", "Leg", "Uo",
  "Ue", "Ul", "Ule", "Ug", "Uge",
  "Ne", "True"
};
Christian Schäfer's avatar
Christian Schäfer committed
44

Michael Beck's avatar
Michael Beck committed
45
46
47
/**
 * returns the pnc name from an pnc constant
 */
48
const char *get_pnc_string(int pnc) {
Christian Schäfer's avatar
Christian Schäfer committed
49
50
51
  return pnc_name_arr[pnc];
}

Michael Beck's avatar
Michael Beck committed
52
53
54
/**
 * Calculates the negated pnc condition.
 */
Christian Schäfer's avatar
Christian Schäfer committed
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
int
get_negated_pnc(int pnc) {
  switch (pnc) {
  case False: return True;  break;
  case Eq:    return Ne;    break;
  case Lt:    return Uge;   break;
  case Le:    return Ug;    break;
  case Gt:    return Ule;   break;
  case Ge:    return Ul;    break;
  case Lg:    return Ue;    break;
  case Leg:   return Uo;    break;
  case Uo:    return Leg;   break;
  case Ue:    return Lg;    break;
  case Ul:    return Ge;    break;
  case Ule:   return Gt;    break;
  case Ug:    return Le;    break;
  case Uge:   return Lt;    break;
  case Ne:    return Eq;    break;
  case True:  return False; break;
  }
  return 99; /* to shut up gcc */
}

78
const char *pns_name_arr [] = {
79
80
81
  "initial_exec", "global_store",
  "frame_base", "globals", "args"
};
Christian Schäfer's avatar
Christian Schäfer committed
82

83
const char *symconst_name_arr [] = {
Beyhan's avatar
Beyhan committed
84
  "type_tag", "size", "addr_name", "addr_ent"
85
};
Christian Schäfer's avatar
Christian Schäfer committed
86
87
88
89
90
91

void
init_irnode (void)
{
}

92
93
94
95
96
97
/*
 * irnode constructor.
 * Create a new irnode in irg, with an op, mode, arity and
 * some incoming irnodes.
 * If arity is negative, a node with a dynamic array is created.
 */
98
ir_node *
Götz Lindenmaier's avatar
Götz Lindenmaier committed
99
new_ir_node (dbg_info *db, ir_graph *irg, ir_node *block, ir_op *op, ir_mode *mode,
Florian Liekweg's avatar
Florian Liekweg committed
100
         int arity, ir_node **in)
Christian Schäfer's avatar
Christian Schäfer committed
101
102
103
104
{
  ir_node *res;
  int node_size = offsetof (ir_node, attr) +  op->attr_size;

105
  assert(irg && op && mode);
Christian Schäfer's avatar
Christian Schäfer committed
106
  res = (ir_node *) obstack_alloc (irg->obst, node_size);
107
  memset((void *)res, 0, node_size);
Christian Schäfer's avatar
Christian Schäfer committed
108

Michael Beck's avatar
Michael Beck committed
109
110
111
  res->kind    = k_ir_node;
  res->op      = op;
  res->mode    = mode;
112
  res->visited = 0;
Michael Beck's avatar
Michael Beck committed
113
  res->link    = NULL;
Christian Schäfer's avatar
Christian Schäfer committed
114
  if (arity < 0) {
115
    res->in = NEW_ARR_F (ir_node *, 1);  /* 1: space for block */
Christian Schäfer's avatar
Christian Schäfer committed
116
117
118
119
120
  } else {
    res->in = NEW_ARR_D (ir_node *, irg->obst, (arity+1));
    memcpy (&res->in[1], in, sizeof (ir_node *) * arity);
  }
  res->in[0] = block;
Götz Lindenmaier's avatar
Götz Lindenmaier committed
121
  set_irn_dbg_info(res, db);
122
  res->out = NULL;
Götz Lindenmaier's avatar
Götz Lindenmaier committed
123
124
125
126
127

#ifdef DEBUG_libfirm
  res->node_nr = get_irp_new_node_nr();
#endif

Michael Beck's avatar
Michael Beck committed
128
129
  stat_new_node(res);

Christian Schäfer's avatar
Christian Schäfer committed
130
131
132
  return res;
}

Götz Lindenmaier's avatar
Götz Lindenmaier committed
133
134
135
/* Copies all attributes stored in the old node to the new node.
   Assumes both have the same opcode and sufficient size. */
void
136
137
138
copy_attrs (const ir_node *old_node, ir_node *new_node) {
  assert(get_irn_op(old_node) == get_irn_op(new_node));
  memcpy(&new_node->attr, &old_node->attr, get_op_attr_size(get_irn_op(old_node)));
Götz Lindenmaier's avatar
Götz Lindenmaier committed
139
}
Christian Schäfer's avatar
Christian Schäfer committed
140

Michael Beck's avatar
Michael Beck committed
141
/*-- getting some parameters from ir_nodes --*/
Christian Schäfer's avatar
Christian Schäfer committed
142

Sebastian Felis's avatar
Sebastian Felis committed
143
int
144
145
(is_ir_node)(const void *thing) {
  return __is_ir_node(thing);
Sebastian Felis's avatar
Sebastian Felis committed
146
147
}

148
int
149
150
(get_irn_intra_arity)(const ir_node *node) {
  return __get_irn_intra_arity(node);
Christian Schäfer's avatar
Christian Schäfer committed
151
152
}

153
int
154
155
(get_irn_inter_arity)(const ir_node *node) {
  return __get_irn_inter_arity(node);
156
157
}

158
159
int (*__get_irn_arity)(const ir_node *node) = __get_irn_intra_arity;

160
int
161
162
(get_irn_arity)(const ir_node *node) {
  return __get_irn_arity(node);
163
164
}

165
166
167
168
169
170
/* Returns the array with ins. This array is shifted with respect to the
   array accessed by get_irn_n: The block operand is at position 0 not -1.
   (@@@ This should be changed.)
   The order of the predecessors in this array is not guaranteed, except that
   lists of operands as predecessors of Block or arguments of a Call are
   consecutive. */
171
ir_node **
172
get_irn_in (const ir_node *node) {
173
  assert(node);
174
  if (get_interprocedural_view()) { /* handle Filter and Block specially */
175
176
177
178
179
180
181
182
183
    if (get_irn_opcode(node) == iro_Filter) {
      assert(node->attr.filter.in_cg);
      return node->attr.filter.in_cg;
    } else if (get_irn_opcode(node) == iro_Block && node->attr.block.in_cg) {
      return node->attr.block.in_cg;
    }
    /* else fall through */
  }
  return node->in;
Christian Schäfer's avatar
Christian Schäfer committed
184
185
}

186
void
187
set_irn_in (ir_node *node, int arity, ir_node **in) {
188
  ir_node *** arr;
189
  assert(node);
190
  if (get_interprocedural_view()) { /* handle Filter and Block specially */
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
    if (get_irn_opcode(node) == iro_Filter) {
      assert(node->attr.filter.in_cg);
      arr = &node->attr.filter.in_cg;
    } else if (get_irn_opcode(node) == iro_Block && node->attr.block.in_cg) {
      arr = &node->attr.block.in_cg;
    } else {
      arr = &node->in;
    }
  } else {
    arr = &node->in;
  }
  if (arity != ARR_LEN(*arr) - 1) {
    ir_node * block = (*arr)[0];
    *arr = NEW_ARR_D(ir_node *, current_ir_graph->obst, arity + 1);
    (*arr)[0] = block;
206
  }
207
  fix_backedges(current_ir_graph->obst, node);
208
  memcpy((*arr) + 1, in, sizeof(ir_node *) * arity);
209
210
}

211
ir_node *
212
213
(get_irn_intra_n)(ir_node *node, int n) {
  return __get_irn_intra_n (node, n);
214
215
}

216
ir_node *
217
218
(get_irn_inter_n)(ir_node *node, int n) {
  return __get_irn_inter_n (node, n);
219
220
}

221
222
ir_node *(*__get_irn_n)(ir_node *node, int n) = __get_irn_intra_n;

223
ir_node *
224
(get_irn_n)(ir_node *node, int n) {
225
  return __get_irn_n(node, n);
Christian Schäfer's avatar
Christian Schäfer committed
226
227
}

228
void
229
set_irn_n (ir_node *node, int n, ir_node *in) {
Götz Lindenmaier's avatar
Götz Lindenmaier committed
230
231
  assert(node && node->kind == k_ir_node && -1 <= n && n < get_irn_arity(node));
  assert(in && in->kind == k_ir_node);
232
233
234
235
236
237
238
  if ((n == -1) && (get_irn_opcode(node) == iro_Filter)) {
    /* Change block pred in both views! */
    node->in[n + 1] = in;
    assert(node->attr.filter.in_cg);
    node->attr.filter.in_cg[n + 1] = in;
    return;
  }
239
  if (get_interprocedural_view()) { /* handle Filter and Block specially */
240
241
242
243
244
245
246
247
248
249
250
    if (get_irn_opcode(node) == iro_Filter) {
      assert(node->attr.filter.in_cg);
      node->attr.filter.in_cg[n + 1] = in;
      return;
    } else if (get_irn_opcode(node) == iro_Block && node->attr.block.in_cg) {
      node->attr.block.in_cg[n + 1] = in;
      return;
    }
    /* else fall through */
  }
  node->in[n + 1] = in;
Christian Schäfer's avatar
Christian Schäfer committed
251
252
}

253
ir_mode *
254
255
(get_irn_mode)(const ir_node *node) {
  return __get_irn_mode(node);
Christian Schäfer's avatar
Christian Schäfer committed
256
257
}

258
void
259
(set_irn_mode)(ir_node *node, ir_mode *mode)
Till Riedel's avatar
Till Riedel committed
260
{
261
  __set_irn_mode(node, mode);
Till Riedel's avatar
Till Riedel committed
262
263
}

264
modecode
265
get_irn_modecode (const ir_node *node)
Christian Schäfer's avatar
Christian Schäfer committed
266
267
268
269
270
{
  assert (node);
  return node->mode->code;
}

271
/** Gets the string representation of the mode .*/
272
const char *
273
274
275
276
277
get_irn_modename (const ir_node *node)
{
  assert(node);
  return get_mode_name(node->mode);
}
Götz Lindenmaier's avatar
Götz Lindenmaier committed
278

279
ident *
280
get_irn_modeident (const ir_node *node)
Götz Lindenmaier's avatar
Götz Lindenmaier committed
281
282
{
  assert(node);
283
  return get_mode_ident(node->mode);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
284
285
}

286
ir_op *
287
(get_irn_op)(const ir_node *node)
Christian Schäfer's avatar
Christian Schäfer committed
288
{
289
  return __get_irn_op(node);
Christian Schäfer's avatar
Christian Schäfer committed
290
291
292
}

/* should be private to the library: */
293
void
Christian Schäfer's avatar
Christian Schäfer committed
294
295
296
297
298
299
set_irn_op (ir_node *node, ir_op *op)
{
  assert (node);
  node->op = op;
}

300
opcode
301
(get_irn_opcode)(const ir_node *node)
302
{
303
  return __get_irn_opcode(node);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
304
305
}

306
const char *
307
get_irn_opname (const ir_node *node)
Götz Lindenmaier's avatar
Götz Lindenmaier committed
308
309
{
  assert(node);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
310
311
312
  if ((get_irn_op((ir_node *)node) == op_Phi) &&
      (get_irg_phase_state(get_irn_irg((ir_node *)node)) == phase_building) &&
      (get_irn_arity((ir_node *)node) == 0)) return "Phi0";
313
  return get_id_str(node->op->name);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
314
315
}

316
ident *
317
get_irn_opident (const ir_node *node)
Götz Lindenmaier's avatar
Götz Lindenmaier committed
318
319
320
{
  assert(node);
  return node->op->name;
321
322
}

323
unsigned long
324
(get_irn_visited)(const ir_node *node)
325
{
326
  return __get_irn_visited(node);
327
328
}

329
void
330
(set_irn_visited)(ir_node *node, unsigned long visited)
Christian Schäfer's avatar
Christian Schäfer committed
331
{
332
  __set_irn_visited(node, visited);
Christian Schäfer's avatar
Christian Schäfer committed
333
}
334

335
void
336
337
(mark_irn_visited)(ir_node *node) {
  __mark_irn_visited(node);
338
339
}

340
int
341
342
(irn_not_visited)(const ir_node *node) {
  return __irn_not_visited(node);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
343
344
}

345
int
346
347
(irn_visited)(const ir_node *node) {
  return __irn_visited(node);
348
349
}

350
void
351
352
(set_irn_link)(ir_node *node, void *link) {
  __set_irn_link(node, link);
Christian Schäfer's avatar
Christian Schäfer committed
353
354
}

355
void *
356
357
(get_irn_link)(const ir_node *node) {
  return __get_irn_link(node);
Christian Schäfer's avatar
Christian Schäfer committed
358
359
}

360
361
op_pin_state
(get_irn_pinned)(const ir_node *node) {
362
  return __get_irn_pinned(node);
363
364
}

Michael Beck's avatar
Michael Beck committed
365
366
367
368
369
370
371
372
373
374
void set_irn_pinned(ir_node *node, op_pin_state state) {
  /* due to optimization an opt may be turned into a Tuple */
  if (get_irn_op(node) == op_Tuple)
    return;

  assert(node && get_op_pinned(get_irn_op(node)) == op_pin_state_exc_pinned);
  assert(state == op_pin_state_pinned || state == op_pin_state_floats);

  node->attr.except.pin_state = state;
}
Götz Lindenmaier's avatar
Götz Lindenmaier committed
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394

#ifdef DO_HEAPANALYSIS
/* Access the abstract interpretation information of a node.
   Returns NULL if no such information is available. */
struct abstval *get_irn_abst_value(ir_node *n) {
  return n->av;
}
/* Set the abstract interpretation information of a node. */
void set_irn_abst_value(ir_node *n, struct abstval *os) {
  n->av = os;
}
struct section *firm_get_irn_section(ir_node *n) {
  return n->sec;
}
void firm_set_irn_section(ir_node *n, struct section *s) {
  n->sec = s;
}
#endif /* DO_HEAPANALYSIS */


Götz Lindenmaier's avatar
Götz Lindenmaier committed
395
/* Outputs a unique number for this node */
396
long
397
get_irn_node_nr(const ir_node *node) {
Götz Lindenmaier's avatar
Götz Lindenmaier committed
398
  assert(node);
399
#ifdef DEBUG_libfirm
Götz Lindenmaier's avatar
Götz Lindenmaier committed
400
  return node->node_nr;
401
#else
402
  return (long)node;
Götz Lindenmaier's avatar
Götz Lindenmaier committed
403
#endif
404
}
Götz Lindenmaier's avatar
Götz Lindenmaier committed
405

406
const_attr
Christian Schäfer's avatar
Christian Schäfer committed
407
408
409
410
411
412
get_irn_const_attr (ir_node *node)
{
  assert (node->op == op_Const);
  return node->attr.con;
}

413
long
Christian Schäfer's avatar
Christian Schäfer committed
414
415
416
417
418
419
get_irn_proj_attr (ir_node *node)
{
  assert (node->op == op_Proj);
  return node->attr.proj;
}

420
alloc_attr
Christian Schäfer's avatar
Christian Schäfer committed
421
422
423
424
425
426
get_irn_alloc_attr (ir_node *node)
{
  assert (node->op == op_Alloc);
  return node->attr.a;
}

427
type *
Christian Schäfer's avatar
Christian Schäfer committed
428
429
430
get_irn_free_attr     (ir_node *node)
{
  assert (node->op == op_Free);
431
  return node->attr.f = skip_tid(node->attr.f);
Christian Schäfer's avatar
Christian Schäfer committed
432
433
}

434
symconst_attr
Christian Schäfer's avatar
Christian Schäfer committed
435
436
437
438
439
440
get_irn_symconst_attr (ir_node *node)
{
  assert (node->op == op_SymConst);
  return node->attr.i;
}

441
type *
Christian Schäfer's avatar
Christian Schäfer committed
442
443
444
get_irn_call_attr (ir_node *node)
{
  assert (node->op == op_Call);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
445
  return node->attr.call.cld_tp = skip_tid(node->attr.call.cld_tp);
Christian Schäfer's avatar
Christian Schäfer committed
446
447
}

448
type *
Michael Beck's avatar
Michael Beck committed
449
450
451
452
453
454
get_irn_funccall_attr (ir_node *node)
{
  assert (node->op == op_FuncCall);
  return node->attr.call.cld_tp = skip_tid(node->attr.call.cld_tp);
}

455
sel_attr
Christian Schäfer's avatar
Christian Schäfer committed
456
457
458
459
460
461
get_irn_sel_attr (ir_node *node)
{
  assert (node->op == op_Sel);
  return node->attr.s;
}

462
int
Christian Schäfer's avatar
Christian Schäfer committed
463
464
465
466
467
468
get_irn_phi_attr (ir_node *node)
{
  assert (node->op == op_Phi);
  return node->attr.phi0_pos;
}

469
block_attr
Christian Schäfer's avatar
Christian Schäfer committed
470
471
472
473
474
475
get_irn_block_attr (ir_node *node)
{
  assert (node->op == op_Block);
  return node->attr.block;
}

476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
load_attr
get_irn_load_attr (ir_node *node)
{
  assert (node->op == op_Load);
  return node->attr.load;
}

store_attr
get_irn_store_attr (ir_node *node)
{
  assert (node->op == op_Store);
  return node->attr.store;
}

except_attr
get_irn_except_attr (ir_node *node)
{
  assert (node->op == op_Div || node->op == op_Quot ||
          node->op == op_DivMod || node->op == op_Mod);
  return node->attr.except;
}

Christian Schäfer's avatar
Christian Schäfer committed
498
499
500
501
/** manipulate fields of individual nodes **/

/* this works for all except Block */
ir_node *
502
get_nodes_block (ir_node *node) {
Christian Schäfer's avatar
Christian Schäfer committed
503
504
505
506
  assert (!(node->op == op_Block));
  return get_irn_n(node, -1);
}

507
void
508
set_nodes_block (ir_node *node, ir_node *block) {
Christian Schäfer's avatar
Christian Schäfer committed
509
510
511
512
  assert (!(node->op == op_Block));
  set_irn_n(node, -1, block);
}

513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
/* Test whether arbitrary node is frame pointer, i.e. Proj(pn_Start_P_frame_base)
 * from Start.  If so returns frame type, else Null. */
type *is_frame_pointer(ir_node *n) {
  if ((get_irn_op(n) == op_Proj) &&
      (get_Proj_proj(n) == pn_Start_P_frame_base)) {
    ir_node *start = get_Proj_pred(n);
    if (get_irn_op(start) == op_Start) {
      return get_irg_frame_type(get_irn_irg(start));
    }
  }
  return NULL;
}

/* Test whether arbitrary node is globals pointer, i.e. Proj(pn_Start_P_globals)
 * from Start.  If so returns global type, else Null. */
type *is_globals_pointer(ir_node *n) {
  if ((get_irn_op(n) == op_Proj) &&
      (get_Proj_proj(n) == pn_Start_P_globals)) {
    ir_node *start = get_Proj_pred(n);
    if (get_irn_op(start) == op_Start) {
      return get_glob_type();
    }
  }
  return NULL;
}

/* Test whether arbitrary node is value arg base, i.e. Proj(pn_Start_P_value_arg_base)
 * from Start.  If so returns 1, else 0. */
int is_value_arg_pointer(ir_node *n) {
  if ((get_irn_op(n) == op_Proj) &&
      (get_Proj_proj(n) == pn_Start_P_value_arg_base) &&
      (get_irn_op(get_Proj_pred(n)) == op_Start))
    return 1;
  return 0;
}

549
/* Returns an array with the predecessors of the Block. Depending on
550
   the implementation of the graph data structure this can be a copy of
551
552
   the internal representation of predecessors as well as the internal
   array itself. Therefore writing to this array might obstruct the ir. */
553
ir_node **
554
555
556
get_Block_cfgpred_arr (ir_node *node)
{
  assert ((node->op == op_Block));
Götz Lindenmaier's avatar
Götz Lindenmaier committed
557
  return (ir_node **)&(get_irn_in(node)[1]);
558
559
560
}


561
int
Christian Schäfer's avatar
Christian Schäfer committed
562
563
get_Block_n_cfgpreds (ir_node *node) {
  assert ((node->op == op_Block));
564
  return get_irn_arity(node);
Christian Schäfer's avatar
Christian Schäfer committed
565
566
}

567
ir_node *
Christian Schäfer's avatar
Christian Schäfer committed
568
get_Block_cfgpred (ir_node *node, int pos) {
569
  assert(-1 <= pos && pos < get_irn_arity(node));
570
  assert(node->op == op_Block);
Christian Schäfer's avatar
Christian Schäfer committed
571
572
573
  return get_irn_n(node, pos);
}

574
void
Christian Schäfer's avatar
Christian Schäfer committed
575
576
577
578
579
set_Block_cfgpred (ir_node *node, int pos, ir_node *pred) {
  assert (node->op == op_Block);
  set_irn_n(node, pos, pred);
}

580
bool
Christian Schäfer's avatar
Christian Schäfer committed
581
582
583
584
585
get_Block_matured (ir_node *node) {
  assert (node->op == op_Block);
  return node->attr.block.matured;
}

586
void
Christian Schäfer's avatar
Christian Schäfer committed
587
588
589
590
set_Block_matured (ir_node *node, bool matured) {
  assert (node->op == op_Block);
  node->attr.block.matured = matured;
}
591
unsigned long
592
get_Block_block_visited (ir_node *node) {
Christian Schäfer's avatar
Christian Schäfer committed
593
  assert (node->op == op_Block);
594
  return node->attr.block.block_visited;
Christian Schäfer's avatar
Christian Schäfer committed
595
596
}

597
void
598
set_Block_block_visited (ir_node *node, unsigned long visit) {
Christian Schäfer's avatar
Christian Schäfer committed
599
  assert (node->op == op_Block);
600
  node->attr.block.block_visited = visit;
Christian Schäfer's avatar
Christian Schäfer committed
601
602
}

Götz Lindenmaier's avatar
Götz Lindenmaier committed
603
/* For this current_ir_graph must be set. */
604
void
605
mark_Block_block_visited (ir_node *node) {
Götz Lindenmaier's avatar
Götz Lindenmaier committed
606
607
608
609
  assert (node->op == op_Block);
  node->attr.block.block_visited = get_irg_block_visited(current_ir_graph);
}

610
int
611
Block_not_block_visited(ir_node *node) {
612
613
614
  assert (node->op == op_Block);
  return (node->attr.block.block_visited < get_irg_block_visited(current_ir_graph));
}
Götz Lindenmaier's avatar
Götz Lindenmaier committed
615

616
ir_node *
Christian Schäfer's avatar
Christian Schäfer committed
617
618
619
620
621
get_Block_graph_arr (ir_node *node, int pos) {
  assert (node->op == op_Block);
  return node->attr.block.graph_arr[pos+1];
}

622
void
Christian Schäfer's avatar
Christian Schäfer committed
623
624
625
626
set_Block_graph_arr (ir_node *node, int pos, ir_node *value) {
  assert (node->op == op_Block);
  node->attr.block.graph_arr[pos+1] = value;
}
627

628
629
630
631
632
void set_Block_cg_cfgpred_arr(ir_node * node, int arity, ir_node ** in) {
  assert(node->op == op_Block);
  if (node->attr.block.in_cg == NULL || arity != ARR_LEN(node->attr.block.in_cg) - 1) {
    node->attr.block.in_cg = NEW_ARR_D(ir_node *, current_ir_graph->obst, arity + 1);
    node->attr.block.in_cg[0] = NULL;
633
    node->attr.block.cg_backedge = new_backedge_arr(current_ir_graph->obst, arity);
634
635
    {
      /* Fix backedge array.  fix_backedges operates depending on
Florian Liekweg's avatar
Florian Liekweg committed
636
     interprocedural_view. */
637
638
      int ipv = get_interprocedural_view();
      set_interprocedural_view(true);
639
      fix_backedges(current_ir_graph->obst, node);
640
      set_interprocedural_view(ipv);
641
    }
642
643
644
645
646
  }
  memcpy(node->attr.block.in_cg + 1, in, sizeof(ir_node *) * arity);
}

void set_Block_cg_cfgpred(ir_node * node, int pos, ir_node * pred) {
Götz Lindenmaier's avatar
Götz Lindenmaier committed
647
  assert(node->op == op_Block &&
Florian Liekweg's avatar
Florian Liekweg committed
648
649
     node->attr.block.in_cg &&
     0 <= pos && pos < ARR_LEN(node->attr.block.in_cg) - 1);
650
651
652
653
654
655
656
657
658
  node->attr.block.in_cg[pos + 1] = pred;
}

ir_node ** get_Block_cg_cfgpred_arr(ir_node * node) {
  assert(node->op == op_Block);
  return node->attr.block.in_cg == NULL ? NULL : node->attr.block.in_cg  + 1;
}

int get_Block_cg_n_cfgpreds(ir_node * node) {
659
660
  assert(node->op == op_Block);
  return node->attr.block.in_cg == NULL ? 0 : ARR_LEN(node->attr.block.in_cg) - 1;
661
662
}

663
664
665
666
667
ir_node * get_Block_cg_cfgpred(ir_node * node, int pos) {
  assert(node->op == op_Block && node->attr.block.in_cg);
  return node->attr.block.in_cg[pos + 1];
}

668
669
670
671
672
void remove_Block_cg_cfgpred_arr(ir_node * node) {
  assert(node->op == op_Block);
  node->attr.block.in_cg = NULL;
}

673
void
674
675
676
set_Start_irg(ir_node *node, ir_graph *irg) {
  assert(node->op == op_Start);
  assert(is_ir_graph(irg));
Götz Lindenmaier's avatar
Götz Lindenmaier committed
677
  assert(0 && " Why set irg? -- use set_irn_irg");
678
679
}

680
int
681
682
683
684
685
get_End_n_keepalives(ir_node *end) {
  assert (end->op == op_End);
  return (get_irn_arity(end) - END_KEEPALIVE_OFFSET);
}

686
ir_node *
687
688
689
690
691
get_End_keepalive(ir_node *end, int pos) {
  assert (end->op == op_End);
  return get_irn_n(end, pos + END_KEEPALIVE_OFFSET);
}

692
void
693
694
695
696
697
add_End_keepalive (ir_node *end, ir_node *ka) {
  assert (end->op == op_End);
  ARR_APP1 (ir_node *, end->in, ka);
}

698
void
699
700
701
702
703
set_End_keepalive(ir_node *end, int pos, ir_node *ka) {
  assert (end->op == op_End);
  set_irn_n(end, pos + END_KEEPALIVE_OFFSET, ka);
}

704
void
705
free_End (ir_node *end) {
706
  assert (end->op == op_End);
707
  end->kind = k_BAD;
708
  DEL_ARR_F(end->in);  /* GL @@@ tut nicht ! */
709
  end->in = NULL;   /* @@@ make sure we get an error if we use the
Florian Liekweg's avatar
Florian Liekweg committed
710
               in array afterwards ... */
711
712
}

713

Götz Lindenmaier's avatar
Götz Lindenmaier committed
714
715
716
717
718
719
720
721
722
/*
> Implementing the case construct (which is where the constant Proj node is
> important) involves far more than simply determining the constant values.
> We could argue that this is more properly a function of the translator from
> Firm to the target machine.  That could be done if there was some way of
> projecting "default" out of the Cond node.
I know it's complicated.
Basically there are two proglems:
 - determining the gaps between the projs
723
 - determining the biggest case constant to know the proj number for
Götz Lindenmaier's avatar
Götz Lindenmaier committed
724
725
726
727
728
729
730
731
732
733
734
735
   the default node.
I see several solutions:
1. Introduce a ProjDefault node.  Solves both problems.
   This means to extend all optimizations executed during construction.
2. Give the Cond node for switch two flavors:
   a) there are no gaps in the projs  (existing flavor)
   b) gaps may exist, default proj is still the Proj with the largest
      projection number.  This covers also the gaps.
3. Fix the semantic of the Cond to that of 2b)

Solution 2 seems to be the best:
Computing the gaps in the Firm representation is not too hard, i.e.,
736
libFIRM can implement a routine that transforms between the two
Götz Lindenmaier's avatar
Götz Lindenmaier committed
737
738
739
740
741
742
743
744
flavours.  This is also possible for 1) but 2) does not require to
change any existing optimization.
Further it should be far simpler to determine the biggest constant than
to compute all gaps.
I don't want to choose 3) as 2a) seems to have advantages for
dataflow analysis and 3) does not allow to convert the representation to
2a).
*/
745
ir_node *
Christian Schäfer's avatar
Christian Schäfer committed
746
747
748
749
750
get_Cond_selector (ir_node *node) {
  assert (node->op == op_Cond);
  return get_irn_n(node, 0);
}

751
void
Christian Schäfer's avatar
Christian Schäfer committed
752
753
754
755
756
set_Cond_selector (ir_node *node, ir_node *selector) {
  assert (node->op == op_Cond);
  set_irn_n(node, 0, selector);
}

757
cond_kind
758
759
get_Cond_kind (ir_node *node) {
  assert (node->op == op_Cond);
760
  return node->attr.c.kind;
761
762
}

763
void
764
765
set_Cond_kind (ir_node *node, cond_kind kind) {
  assert (node->op == op_Cond);
766
  node->attr.c.kind = kind;
767
768
}

769
770
771
772
773
774
long
get_Cond_defaultProj (ir_node *node) {
  assert (node->op == op_Cond);
  return node->attr.c.default_proj;
}

775
ir_node *
Christian Schäfer's avatar
Christian Schäfer committed
776
get_Return_mem (ir_node *node) {
777
  assert (node->op == op_Return);
Christian Schäfer's avatar
Christian Schäfer committed
778
779
780
  return get_irn_n(node, 0);
}

781
void
Christian Schäfer's avatar
Christian Schäfer committed
782
783
784
785
786
set_Return_mem (ir_node *node, ir_node *mem) {
  assert (node->op == op_Return);
  set_irn_n(node, 0, mem);
}

787
int
788
get_Return_n_ress (ir_node *node) {
789
790
791
792
  assert (node->op == op_Return);
  return (get_irn_arity(node) - RETURN_RESULT_OFFSET);
}

793
ir_node **
794
795
796
get_Return_res_arr (ir_node *node)
{
  assert ((node->op == op_Return));
797
  if (get_Return_n_ress(node) > 0)
Götz Lindenmaier's avatar
Götz Lindenmaier committed
798
    return (ir_node **)&(get_irn_in(node)[1 + RETURN_RESULT_OFFSET]);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
799
800
  else
    return NULL;
801
802
}

Christian Schäfer's avatar
Christian Schäfer committed
803
/*
804
void
Christian Schäfer's avatar
Christian Schäfer committed
805
806
807
808
809
set_Return_n_res (ir_node *node, int results) {
  assert (node->op == op_Return);
}
*/

810
ir_node *
Christian Schäfer's avatar
Christian Schäfer committed
811
812
get_Return_res (ir_node *node, int pos) {
  assert (node->op == op_Return);
813
  assert (get_Return_n_ress(node) > pos);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
814
  return get_irn_n(node, pos + RETURN_RESULT_OFFSET);
Christian Schäfer's avatar
Christian Schäfer committed
815
816
}

817
void
Christian Schäfer's avatar
Christian Schäfer committed
818
set_Return_res (ir_node *node, int pos, ir_node *res){
819
  assert (node->op == op_Return);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
820
  set_irn_n(node, pos + RETURN_RESULT_OFFSET, res);
Christian Schäfer's avatar
Christian Schäfer committed
821
822
}

823
ir_node *
Christian Schäfer's avatar
Christian Schäfer committed
824
get_Raise_mem (ir_node *node) {
Till Riedel's avatar
Till Riedel committed
825
  assert (node->op == op_Raise);
Christian Schäfer's avatar
Christian Schäfer committed
826
827
828
  return get_irn_n(node, 0);
}

829
void
Christian Schäfer's avatar
Christian Schäfer committed
830
831
832
833
834
set_Raise_mem (ir_node *node, ir_node *mem) {
  assert (node->op == op_Raise);
  set_irn_n(node, 0, mem);
}

835
ir_node *
Christian Schäfer's avatar
Christian Schäfer committed
836
837
838
839
840
get_Raise_exo_ptr (ir_node *node) {
  assert (node->op == op_Raise);
  return get_irn_n(node, 1);
}

841
void
Christian Schäfer's avatar
Christian Schäfer committed
842
843
844
845
846
set_Raise_exo_ptr (ir_node *node, ir_node *exo_ptr) {
  assert (node->op == op_Raise);
  set_irn_n(node, 1, exo_ptr);
}

847
tarval *get_Const_tarval (ir_node *node) {
Christian Schäfer's avatar
Christian Schäfer committed
848
  assert (node->op == op_Const);
849
  return node->attr.con.tv;
Christian Schäfer's avatar
Christian Schäfer committed
850
851
}

852
void
Christian Schäfer's avatar
Christian Schäfer committed
853
854
set_Const_tarval (ir_node *node, tarval *con) {
  assert (node->op == op_Const);
855
  node->attr.con.tv = con;
Christian Schäfer's avatar
Christian Schäfer committed
856
857
}

858
859
860
861

/* The source language type.  Must be an atomic type.  Mode of type must
   be mode of node. For tarvals from entities type must be pointer to
   entity type. */
862
type *
863
864
865
866
867
get_Const_type (ir_node *node) {
  assert (node->op == op_Const);
  return node->attr.con.tp;
}

868
void
869
870
871
872
873
874
875
876
877
878
set_Const_type (ir_node *node, type *tp) {
  assert (node->op == op_Const);
  if (tp != unknown_type) {
    assert (is_atomic_type(tp));
    assert (get_type_mode(tp) == get_irn_mode(node));
  }
  node->attr.con.tp = tp;
}


879
symconst_kind
880
get_SymConst_kind (const ir_node *node) {
Christian Schäfer's avatar
Christian Schäfer committed
881
882
883
884
  assert (node->op == op_SymConst);
  return node->attr.i.num;
}

885
void
Christian Schäfer's avatar
Christian Schäfer committed
886
887
888
889
890
set_SymConst_kind (ir_node *node, symconst_kind num) {
  assert (node->op == op_SymConst);
  node->attr.i.num = num;
}

891
type *
Christian Schäfer's avatar
Christian Schäfer committed
892
893
get_SymConst_type (ir_node *node) {
  assert (   (node->op == op_SymConst)
Beyhan's avatar
Beyhan committed
894
895
896
          && (   get_SymConst_kind(node) == symconst_type_tag
              || get_SymConst_kind(node) == symconst_size));
  return node->attr.i.sym.type_p = skip_tid(node->attr.i.sym.type_p);
Christian Schäfer's avatar
Christian Schäfer committed
897
898
}

899
void
900
set_SymConst_type (ir_node *node, type *tp) {
Christian Schäfer's avatar
Christian Schäfer committed
901
  assert (   (node->op == op_SymConst)
Beyhan's avatar
Beyhan committed
902
903
904
          && (   get_SymConst_kind(node) == symconst_type_tag
              || get_SymConst_kind(node) == symconst_size));
  node->attr.i.sym.type_p = tp;
Christian Schäfer's avatar
Christian Schäfer committed
905
906
}

907
ident *
Beyhan's avatar
Beyhan committed
908
get_SymConst_name (ir_node *node) {
Christian Schäfer's avatar
Christian Schäfer committed
909
  assert (   (node->op == op_SymConst)
Beyhan's avatar
Beyhan committed
910
911
          && (get_SymConst_kind(node) == symconst_addr_name));
  return node->attr.i.sym.ident_p;
Christian Schäfer's avatar
Christian Schäfer committed
912
913
}

914
void
Beyhan's avatar
Beyhan committed
915
set_SymConst_name (ir_node *node, ident *name) {
Christian Schäfer's avatar
Christian Schäfer committed
916
  assert (   (node->op == op_SymConst)
Beyhan's avatar
Beyhan committed
917
918
          && (get_SymConst_kind(node) == symconst_addr_name));
  node->attr.i.sym.ident_p = name;
Christian Schäfer's avatar
Christian Schäfer committed
919
920
}

Beyhan's avatar
Beyhan committed
921
922
923
924

/* Only to access SymConst of kind symconst_addr_ent.  Else assertion: */
entity   *get_SymConst_entity (ir_node *node) {
  assert (   (node->op == op_SymConst)
Florian Liekweg's avatar
Florian Liekweg committed
925
          && (get_SymConst_kind (node) == symconst_addr_ent));
Beyhan's avatar
Beyhan committed
926
927
928
929
930
931
932
933
934
  return node->attr.i.sym.entity_p;
}

void     set_SymConst_entity (ir_node *node, entity *ent) {
  assert (   (node->op == op_SymConst)
          && (get_SymConst_kind(node) == symconst_addr_ent));
  node->attr.i.sym.entity_p  = ent;
}

Michael Beck's avatar
Michael Beck committed
935
936
union symconst_symbol
get_SymConst_symbol (ir_node *node) {
Götz Lindenmaier's avatar
Götz Lindenmaier committed
937
  assert (node->op == op_SymConst);
Beyhan's avatar
Beyhan committed
938
  return node->attr.i.sym;
Götz Lindenmaier's avatar
Götz Lindenmaier committed
939
940
}

941
void
Michael Beck's avatar
Michael Beck committed
942
set_SymConst_symbol (ir_node *node, union symconst_symbol sym) {
Götz Lindenmaier's avatar
Götz Lindenmaier committed
943
  assert (node->op == op_SymConst);
Beyhan's avatar
Beyhan committed
944
945
  //memcpy (&(node->attr.i.sym), sym, sizeof(type_or_id));
  node->attr.i.sym = sym;
Götz Lindenmaier's avatar
Götz Lindenmaier committed
946
947
}

Götz Lindenmaier's avatar
Götz Lindenmaier committed
948
949
950
type *
get_SymConst_value_type (ir_node *node) {
  assert (node->op == op_SymConst);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
951
952
  if (node->attr.i.tp) node->attr.i.tp = skip_tid(node->attr.i.tp);
  return node->attr.i.tp;
Götz Lindenmaier's avatar
Götz Lindenmaier committed
953
954
955
956
957
958
959
960
}

void
set_SymConst_value_type (ir_node *node, type *tp) {
  assert (node->op == op_SymConst);
  node->attr.i.tp = tp;
}

961
ir_node *
Christian Schäfer's avatar
Christian Schäfer committed
962
963
964
965
966
get_Sel_mem (ir_node *node) {
  assert (node->op == op_Sel);
  return get_irn_n(node, 0);
}

967
void
Christian Schäfer's avatar
Christian Schäfer committed
968
969
970
971
972
set_Sel_mem (ir_node *node, ir_node *mem) {
  assert (node->op == op_Sel);
  set_irn_n(node, 0, mem);
}

973
ir_node *
Christian Schäfer's avatar
Christian Schäfer committed
974
975
976
977
978
get_Sel_ptr (ir_node *node) {
  assert (node->op == op_Sel);
  return get_irn_n(node, 1);
}

979
void
Christian Schäfer's avatar
Christian Schäfer committed
980
981
982
983
984
set_Sel_ptr (ir_node *node, ir_node *ptr) {
  assert (node->op == op_Sel);
  set_irn_n(node, 1, ptr);
}

985
int
986
get_Sel_n_indexs (ir_node *node) {
987
988
989
990
  assert (node->op == op_Sel);
  return (get_irn_arity(node) - SEL_INDEX_OFFSET);
}

991
ir_node **
992
993
994
get_Sel_index_arr (ir_node *node)
{
  assert ((node->op == op_Sel));
995
  if (get_Sel_n_indexs(node) > 0)
Götz Lindenmaier's avatar
Götz Lindenmaier committed
996
    return (ir_node **)& get_irn_in(node)[SEL_INDEX_OFFSET + 1];
Götz Lindenmaier's avatar
Götz Lindenmaier committed
997
998
  else
    return NULL;
999
1000
}

1001
ir_node *
Christian Schäfer's avatar
Christian Schäfer committed
1002
1003
get_Sel_index (ir_node *node, int pos) {
  assert (node->op == op_Sel);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
1004
  return get_irn_n(node, pos + SEL_INDEX_OFFSET);
Christian Schäfer's avatar
Christian Schäfer committed
1005
1006
}

1007
void
Christian Schäfer's avatar
Christian Schäfer committed
1008
1009
set_Sel_index (ir_node *node, int pos, ir_node *index) {
  assert (node->op == op_Sel);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
1010
  set_irn_n(node, pos + SEL_INDEX_OFFSET, index);
Christian Schäfer's avatar
Christian Schäfer committed
1011
1012
}

1013
entity *
Christian Schäfer's avatar
Christian Schäfer committed
1014
1015
1016
1017
1018
get_Sel_entity (ir_node *node) {
  assert (node->op == op_Sel);
  return node->attr.s.ent;
}

1019
void
Christian Schäfer's avatar