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
109
110
111

  res->kind = k_ir_node;
  res->op = op;
  res->mode = mode;
112
  res->visited = 0;
Christian Schäfer's avatar
Christian Schäfer committed
113
114
  res->link = NULL;
  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
int
159
160
(get_irn_arity)(const ir_node *node) {
  return __get_irn_arity(node);
161
162
}

163
164
165
166
167
168
/* 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. */
169
ir_node **
170
get_irn_in (const ir_node *node) {
171
172
173
174
175
176
177
178
179
180
181
  assert(node);
  if (interprocedural_view) { /* handle Filter and Block specially */
    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
182
183
}

184
void
185
set_irn_in (ir_node *node, int arity, ir_node **in) {
186
  ir_node *** arr;
187
  assert(node);
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
  if (interprocedural_view) { /* handle Filter and Block specially */
    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;
204
  }
205
  fix_backedges(current_ir_graph->obst, node);
206
  memcpy((*arr) + 1, in, sizeof(ir_node *) * arity);
207
208
}

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

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

219
ir_node *
220
221
(get_irn_n)(ir_node *node, int n) {
  return __get_irn_n (node, n);
Christian Schäfer's avatar
Christian Schäfer committed
222
223
}

224
void
225
set_irn_n (ir_node *node, int n, ir_node *in) {
Götz Lindenmaier's avatar
Götz Lindenmaier committed
226
227
  assert(node && node->kind == k_ir_node && -1 <= n && n < get_irn_arity(node));
  assert(in && in->kind == k_ir_node);
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
  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;
  }
  if (interprocedural_view) { /* handle Filter and Block specially */
    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
247
248
}

249
ir_mode *
250
251
(get_irn_mode)(const ir_node *node) {
  return __get_irn_mode(node);
Christian Schäfer's avatar
Christian Schäfer committed
252
253
}

254
void
255
(set_irn_mode)(ir_node *node, ir_mode *mode)
Till Riedel's avatar
Till Riedel committed
256
{
257
  __set_irn_mode(node, mode);
Till Riedel's avatar
Till Riedel committed
258
259
}

260
modecode
261
get_irn_modecode (const ir_node *node)
Christian Schäfer's avatar
Christian Schäfer committed
262
263
264
265
266
{
  assert (node);
  return node->mode->code;
}

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

275
ident *
276
get_irn_modeident (const ir_node *node)
Götz Lindenmaier's avatar
Götz Lindenmaier committed
277
278
{
  assert(node);
279
  return get_mode_ident(node->mode);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
280
281
}

282
ir_op *
283
(get_irn_op)(const ir_node *node)
Christian Schäfer's avatar
Christian Schäfer committed
284
{
285
  return __get_irn_op(node);
Christian Schäfer's avatar
Christian Schäfer committed
286
287
288
}

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

296
opcode
297
(get_irn_opcode)(const ir_node *node)
298
{
299
  return __get_irn_opcode(node);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
300
301
}

302
const char *
303
get_irn_opname (const ir_node *node)
Götz Lindenmaier's avatar
Götz Lindenmaier committed
304
305
{
  assert(node);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
306
307
308
  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";
309
  return get_id_str(node->op->name);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
310
311
}

312
ident *
313
get_irn_opident (const ir_node *node)
Götz Lindenmaier's avatar
Götz Lindenmaier committed
314
315
316
{
  assert(node);
  return node->op->name;
317
318
}

319
unsigned long
320
(get_irn_visited)(const ir_node *node)
321
{
322
  return __get_irn_visited(node);
323
324
}

325
void
326
(set_irn_visited)(ir_node *node, unsigned long visited)
Christian Schäfer's avatar
Christian Schäfer committed
327
{
328
  __set_irn_visited(node, visited);
Christian Schäfer's avatar
Christian Schäfer committed
329
}
330

331
void
332
333
(mark_irn_visited)(ir_node *node) {
  __mark_irn_visited(node);
334
335
}

336
int
337
338
(irn_not_visited)(const ir_node *node) {
  return __irn_not_visited(node);
Götz Lindenmaier's avatar
Götz Lindenmaier committed
339
340
}

341
int
342
343
(irn_visited)(const ir_node *node) {
  return __irn_visited(node);
344
345
}

346
void
347
348
(set_irn_link)(ir_node *node, void *link) {
  __set_irn_link(node, link);
Christian Schäfer's avatar
Christian Schäfer committed
349
350
}

351
void *
352
353
(get_irn_link)(const ir_node *node) {
  return __get_irn_link(node);
Christian Schäfer's avatar
Christian Schäfer committed
354
355
}

356
357
op_pin_state
(get_irn_pinned)(const ir_node *node) {
358
  return __get_irn_pinned(node);
359
360
}

Michael Beck's avatar
Michael Beck committed
361
362
363
364
365
366
367
368
369
370
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
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390

#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
391
/* Outputs a unique number for this node */
392
long
393
get_irn_node_nr(const ir_node *node) {
Götz Lindenmaier's avatar
Götz Lindenmaier committed
394
  assert(node);
395
#ifdef DEBUG_libfirm
Götz Lindenmaier's avatar
Götz Lindenmaier committed
396
  return node->node_nr;
397
#else
398
  return (long)node;
Götz Lindenmaier's avatar
Götz Lindenmaier committed
399
#endif
400
}
Götz Lindenmaier's avatar
Götz Lindenmaier committed
401

402
const_attr
Christian Schäfer's avatar
Christian Schäfer committed
403
404
405
406
407
408
get_irn_const_attr (ir_node *node)
{
  assert (node->op == op_Const);
  return node->attr.con;
}

409
long
Christian Schäfer's avatar
Christian Schäfer committed
410
411
412
413
414
415
get_irn_proj_attr (ir_node *node)
{
  assert (node->op == op_Proj);
  return node->attr.proj;
}

416
alloc_attr
Christian Schäfer's avatar
Christian Schäfer committed
417
418
419
420
421
422
get_irn_alloc_attr (ir_node *node)
{
  assert (node->op == op_Alloc);
  return node->attr.a;
}

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

430
symconst_attr
Christian Schäfer's avatar
Christian Schäfer committed
431
432
433
434
435
436
get_irn_symconst_attr (ir_node *node)
{
  assert (node->op == op_SymConst);
  return node->attr.i;
}

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

444
type *
Michael Beck's avatar
Michael Beck committed
445
446
447
448
449
450
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);
}

451
sel_attr
Christian Schäfer's avatar
Christian Schäfer committed
452
453
454
455
456
457
get_irn_sel_attr (ir_node *node)
{
  assert (node->op == op_Sel);
  return node->attr.s;
}

458
int
Christian Schäfer's avatar
Christian Schäfer committed
459
460
461
462
463
464
get_irn_phi_attr (ir_node *node)
{
  assert (node->op == op_Phi);
  return node->attr.phi0_pos;
}

465
block_attr
Christian Schäfer's avatar
Christian Schäfer committed
466
467
468
469
470
471
get_irn_block_attr (ir_node *node)
{
  assert (node->op == op_Block);
  return node->attr.block;
}

472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
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
494
495
496
497
/** manipulate fields of individual nodes **/

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

503
void
504
set_nodes_block (ir_node *node, ir_node *block) {
Christian Schäfer's avatar
Christian Schäfer committed
505
506
507
508
  assert (!(node->op == op_Block));
  set_irn_n(node, -1, block);
}

509
510
511
512
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
/* 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;
}

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


557
int
Christian Schäfer's avatar
Christian Schäfer committed
558
559
get_Block_n_cfgpreds (ir_node *node) {
  assert ((node->op == op_Block));
560
  return get_irn_arity(node);
Christian Schäfer's avatar
Christian Schäfer committed
561
562
}

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

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

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

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

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

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

607
int
608
Block_not_block_visited(ir_node *node) {
609
610
611
  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
612

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

619
void
Christian Schäfer's avatar
Christian Schäfer committed
620
621
622
623
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;
}
624

625
626
627
628
629
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;
630
    node->attr.block.cg_backedge = new_backedge_arr(current_ir_graph->obst, arity);
631
632
    {
      /* Fix backedge array.  fix_backedges operates depending on
Florian Liekweg's avatar
Florian Liekweg committed
633
     interprocedural_view. */
634
635
636
637
638
      bool ipv = interprocedural_view;
      interprocedural_view = true;
      fix_backedges(current_ir_graph->obst, node);
      interprocedural_view = ipv;
    }
639
640
641
642
643
  }
  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
644
  assert(node->op == op_Block &&
Florian Liekweg's avatar
Florian Liekweg committed
645
646
     node->attr.block.in_cg &&
     0 <= pos && pos < ARR_LEN(node->attr.block.in_cg) - 1);
647
648
649
650
651
652
653
654
655
  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) {
656
657
  assert(node->op == op_Block);
  return node->attr.block.in_cg == NULL ? 0 : ARR_LEN(node->attr.block.in_cg) - 1;
658
659
}

660
661
662
663
664
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];
}

665
666
667
668
669
void remove_Block_cg_cfgpred_arr(ir_node * node) {
  assert(node->op == op_Block);
  node->attr.block.in_cg = NULL;
}

670
void
671
672
673
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
674
  assert(0 && " Why set irg? -- use set_irn_irg");
675
676
}

677
int
678
679
680
681
682
get_End_n_keepalives(ir_node *end) {
  assert (end->op == op_End);
  return (get_irn_arity(end) - END_KEEPALIVE_OFFSET);
}

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

689
void
690
691
692
693
694
add_End_keepalive (ir_node *end, ir_node *ka) {
  assert (end->op == op_End);
  ARR_APP1 (ir_node *, end->in, ka);
}

695
void
696
697
698
699
700
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);
}

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

710

Götz Lindenmaier's avatar
Götz Lindenmaier committed
711
712
713
714
715
716
717
718
719
/*
> 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
720
 - determining the biggest case constant to know the proj number for
Götz Lindenmaier's avatar
Götz Lindenmaier committed
721
722
723
724
725
726
727
728
729
730
731
732
   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.,
733
libFIRM can implement a routine that transforms between the two
Götz Lindenmaier's avatar
Götz Lindenmaier committed
734
735
736
737
738
739
740
741
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).
*/
742
ir_node *
Christian Schäfer's avatar
Christian Schäfer committed
743
744
745
746
747
get_Cond_selector (ir_node *node) {
  assert (node->op == op_Cond);
  return get_irn_n(node, 0);
}

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

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

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

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

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

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

784
int
785
get_Return_n_ress (ir_node *node) {
786
787
788
789
  assert (node->op == op_Return);
  return (get_irn_arity(node) - RETURN_RESULT_OFFSET);
}

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

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

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

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

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

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

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

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

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

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

855
856
857
858

/* 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. */
859
type *
860
861
862
863
864
get_Const_type (ir_node *node) {
  assert (node->op == op_Const);
  return node->attr.con.tp;
}

865
void
866
867
868
869
870
871
872
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));
  }

Götz Lindenmaier's avatar
Götz Lindenmaier committed
873
874
875
876
  if ((get_irn_node_nr(node) == 259216) && (tp == unknown_type))
    assert(0);


877
878
879
880
  node->attr.con.tp = tp;
}


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

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

893
type *
Christian Schäfer's avatar
Christian Schäfer committed
894
895
get_SymConst_type (ir_node *node) {
  assert (   (node->op == op_SymConst)
Beyhan's avatar
Beyhan committed
896
897
898
          && (   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
899
900
}

901
void
902
set_SymConst_type (ir_node *node, type *tp) {
Christian Schäfer's avatar
Christian Schäfer committed
903
  assert (   (node->op == op_SymConst)
Beyhan's avatar
Beyhan committed
904
905
906
          && (   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
907
908
}

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

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

Beyhan's avatar
Beyhan committed
923
924
925
926

/* 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
927
          && (get_SymConst_kind (node) == symconst_addr_ent));
Beyhan's avatar
Beyhan committed
928
929
930
931
932
933
934
935
936
  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
937
938
union symconst_symbol
get_SymConst_symbol (ir_node *node) {
Götz Lindenmaier's avatar
Götz Lindenmaier committed
939
  assert (node->op == op_SymConst);
Beyhan's avatar
Beyhan committed
940
  return node->attr.i.sym;
Götz Lindenmaier's avatar
Götz Lindenmaier committed
941
942
}

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

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

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

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

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

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

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

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

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

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

1008
void
Christian Schäfer's avatar
Christian Schäfer committed
1009
1010
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
1011
  set_irn_n(node, pos + SEL_INDEX_OFFSET, index);
Christian Schäfer's avatar
Christian Schäfer committed
1012
1013
}

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

1020
void
Christian Schäfer's avatar
Christian Schäfer committed
1021
1022
1023
1024
1025
set_Sel_entity (ir_node *node, entity *ent) {
  assert (node->op == op_Sel);
  node->attr.s.ent = ent;
}

1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
type *
get_InstOf_ent (ir_node *node) {
  assert (node->op = op_InstOf);
  return (node->attr.io.ent);
}

void
set_InstOf_ent (ir_node *node, type *ent) {
  assert (node->op = op_InstOf);
  node->attr.io.ent = ent;
}

ir_node *
get_InstOf_store (ir_node *node) {
  assert (node->op = op_InstOf);
  return (get_irn_n (node, 0));
}

void
set_InstOf_store (ir_node *node, ir_node *obj) {
  assert (node->op = op_InstOf);
  set_irn_n (node, 0, obj);
}

ir_node *
get_InstOf_obj (ir_node *node) {
  assert (node->op = op_InstOf);
  return (get_irn_n (node, 1));
}

void
set_InstOf_obj (ir_node *node, ir_node *obj) {
  assert (node->op = op_InstOf);
  set_irn_n (node, 1, obj);
}

1062
1063
1064
1065

/* For unary and binary arithmetic operations the access to the
   operands can be factored out.  Left is the first, right the
   second arithmetic value  as listed in tech report 0999-33.