gcc/tree-flow-inline.h

   1 /* Inline functions for tree-flow.h
   2    Copyright (C) 2001, 2003 Free Software Foundation, Inc.
   3    Contributed by Diego Novillo <dnovillo@redhat.com>
   4
   5 This file is part of GCC.
   6
   7 GCC is free software; you can redistribute it and/or modify
   8 it under the terms of the GNU General Public License as published by
   9 the Free Software Foundation; either version 2, or (at your option)
  10 any later version.
  11
  12 GCC is distributed in the hope that it will be useful,
  13 but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 GNU General Public License for more details.
  16
  17 You should have received a copy of the GNU General Public License
  18 along with GCC; see the file COPYING.  If not, write to
  19 the Free Software Foundation, 59 Temple Place - Suite 330,
  20 Boston, MA 02111-1307, USA.  */
  21
  22 #ifndef _TREE_FLOW_INLINE_H
  23 #define _TREE_FLOW_INLINE_H 1
  24
  25 /* Inline functions for manipulating various data structures defined in
  26    tree-flow.h.  See tree-flow.h for documentation.  */
  27
  28 /* Return the variable annotation for T, which must be a _DECL node.
  29    Return NULL if the variable annotation doesn't already exist.  */
  30 static inline var_ann_t
  31 var_ann (tree t)
  32 {
  33 #if defined ENABLE_CHECKING
  34   if (t == NULL_TREE
  35       || !DECL_P (t)
  36       || (t->common.ann
  37           && t->common.ann->common.type != VAR_ANN))
  38     abort ();
  39 #endif
  40
  41   return (var_ann_t) t->common.ann;
  42 }
  43
  44 /* Return the variable annotation for T, which must be a _DECL node.
  45    Create the variable annotation if it doesn't exist.  */
  46 static inline var_ann_t
  47 get_var_ann (tree var)
  48 {
  49   var_ann_t ann = var_ann (var);
  50   return (ann) ? ann : create_var_ann (var);
  51 }
  52
  53 /* Return the statement annotation for T, which must be a statement
  54    node.  Return NULL if the statement annotation doesn't exist.  */
  55 static inline stmt_ann_t
  56 stmt_ann (tree t)
  57 {
  58 #if defined ENABLE_CHECKING
  59   if (!is_gimple_stmt (t))
  60     abort ();
  61 #endif
  62
  63   return (stmt_ann_t) t->common.ann;
  64 }
  65
  66 /* Return the statement annotation for T, which must be a statement
  67    node.  Create the statement annotation if it doesn't exist.  */
  68 static inline stmt_ann_t
  69 get_stmt_ann (tree stmt)
  70 {
  71   stmt_ann_t ann = stmt_ann (stmt);
  72   return (ann) ? ann : create_stmt_ann (stmt);
  73 }
  74
  75
  76 /* Return the annotation type for annotation ANN.  */
  77 static inline enum tree_ann_type
  78 ann_type (tree_ann_t ann)
  79 {
  80   return ann->common.type;
  81 }
  82
  83 /* Return the basic block for statement T.  */
  84 static inline basic_block
  85 bb_for_stmt (tree t)
  86 {
  87   stmt_ann_t ann = stmt_ann (t);
  88   return ann ? ann->bb : NULL;
  89 }
  90
  91 /* Return the may_aliases varray for variable VAR, or NULL if it has
  92    no may aliases.  */
  93 static inline varray_type
  94 may_aliases (tree var)
  95 {
  96   var_ann_t ann = var_ann (var);
  97   return ann ? ann->may_aliases : NULL;
  98 }
  99
 100 /* Return the line number for EXPR, or return -1 if we have no line
 101    number information for it.  */
 102 static inline int
 103 get_lineno (tree expr)
 104 {
 105   if (expr == NULL_TREE)
 106     return -1;
 107
 108   if (TREE_CODE (expr) == COMPOUND_EXPR)
 109     expr = TREE_OPERAND (expr, 0);
 110
 111   if (! EXPR_HAS_LOCATION (expr))
 112     return -1;
 113
 114   return EXPR_LINENO (expr);
 115 }
 116
 117 /* Return the file name for EXPR, or return "???" if we have no
 118    filename information.  */
 119 static inline const char *
 120 get_filename (tree expr)
 121 {
 122   const char *filename;
 123   if (expr == NULL_TREE)
 124     return "???";
 125
 126   if (TREE_CODE (expr) == COMPOUND_EXPR)
 127     expr = TREE_OPERAND (expr, 0);
 128
 129   if (EXPR_HAS_LOCATION (expr) && (filename = EXPR_FILENAME (expr)))
 130     return filename;
 131   else
 132     return "???";
 133 }
 134
 135 /* Mark statement T as modified.  */
 136 static inline void
 137 modify_stmt (tree t)
 138 {
 139   stmt_ann_t ann = stmt_ann (t);
 140   if (ann == NULL)
 141     ann = create_stmt_ann (t);
 142   ann->modified = 1;
 143 }
 144
 145 /* Mark statement T as unmodified.  */
 146 static inline void
 147 unmodify_stmt (tree t)
 148 {
 149   stmt_ann_t ann = stmt_ann (t);
 150   if (ann == NULL)
 151     ann = create_stmt_ann (t);
 152   ann->modified = 0;
 153 }
 154
 155 /* Return true if T is marked as modified, false otherwise.  */
 156 static inline bool
 157 stmt_modified_p (tree t)
 158 {
 159   stmt_ann_t ann = stmt_ann (t);
 160
 161   /* Note that if the statement doesn't yet have an annotation, we consider it
 162      modified.  This will force the next call to get_stmt_operands to scan the
 163      statement.  */
 164   return ann ? ann->modified : true;
 165 }
 166
 167 /* Return the definitions present in ANN, a statement annotation.
 168    Return NULL if this annotation contains no definitions.  */
 169 static inline def_optype
 170 get_def_ops (stmt_ann_t ann)
 171 {
 172   return ann ? ann->def_ops : NULL;
 173 }
 174
 175 /* Return the uses present in ANN, a statement annotation.
 176    Return NULL if this annotation contains no uses.  */
 177 static inline use_optype
 178 get_use_ops (stmt_ann_t ann)
 179 {
 180   return ann ? ann->use_ops : NULL;
 181 }
 182
 183 /* Return the virtual may-defs present in ANN, a statement
 184    annotation.
 185    Return NULL if this annotation contains no virtual may-defs.  */
 186 static inline v_may_def_optype
 187 get_v_may_def_ops (stmt_ann_t ann)
 188 {
 189   return ann ? ann->v_may_def_ops : NULL;
 190 }
 191
 192 /* Return the virtual uses present in ANN, a statement annotation.
 193    Return NULL if this annotation contains no virtual uses.  */
 194 static inline vuse_optype
 195 get_vuse_ops (stmt_ann_t ann)
 196 {
 197   return ann ? ann->vuse_ops : NULL;
 198 }
 199
 200 /* Return the virtual must-defs present in ANN, a statement
 201    annotation.  Return NULL if this annotation contains no must-defs.*/
 202 static inline v_must_def_optype
 203 get_v_must_def_ops (stmt_ann_t ann)
 204 {
 205   return ann ? ann->v_must_def_ops : NULL;
 206 }
 207
 208 /* Return the tree pointer to by USE.  */
 209 static inline tree
 210 get_use_from_ptr (use_operand_p use)
 211 {
 212   return *(use.use);
 213 }
 214
 215 /* Return the tree pointer to by DEF.  */
 216 static inline tree
 217 get_def_from_ptr (def_operand_p def)
 218 {
 219   return *(def.def);
 220 }
 221
 222 /* Return a pointer to the tree that is at INDEX in the USES array.  */
 223 static inline use_operand_p
 224 get_use_op_ptr (use_optype uses, unsigned int index)
 225 {
 226 #ifdef ENABLE_CHECKING
 227   if (index >= uses->num_uses)
 228     abort();
 229 #endif
 230   return uses->uses[index];
 231 }
 232
 233 /* Return a def_operand_p pointer for element INDEX of DEFS.  */
 234 static inline def_operand_p
 235 get_def_op_ptr (def_optype defs, unsigned int index)
 236 {
 237 #ifdef ENABLE_CHECKING
 238   if (index >= defs->num_defs)
 239     abort();
 240 #endif
 241   return defs->defs[index];
 242 }
 243
 244
 245 /* Return the def_operand_p that is the V_MAY_DEF_RESULT for the V_MAY_DEF
 246    at INDEX in the V_MAY_DEFS array.  */
 247 static inline def_operand_p
 248 get_v_may_def_result_ptr(v_may_def_optype v_may_defs, unsigned int index)
 249 {
 250   def_operand_p op;
 251 #ifdef ENABLE_CHECKING
 252   if (index >= v_may_defs->num_v_may_defs)
 253     abort();
 254 #endif
 255   op.def = &(v_may_defs->v_may_defs[index * 2]);
 256   return op;
 257 }
 258
 259 /* Return a use_operand_p that is the V_MAY_DEF_OP for the V_MAY_DEF at
 260    INDEX in the V_MAY_DEFS array.  */
 261 static inline use_operand_p
 262 get_v_may_def_op_ptr(v_may_def_optype v_may_defs, unsigned int index)
 263 {
 264   use_operand_p op;
 265 #ifdef ENABLE_CHECKING
 266   if (index >= v_may_defs->num_v_may_defs)
 267     abort();
 268 #endif
 269   op.use = &(v_may_defs->v_may_defs[index * 2 + 1]);
 270   return op;
 271 }
 272
 273 /* Return a use_operand_p that is at INDEX in the VUSES array.  */
 274 static inline use_operand_p
 275 get_vuse_op_ptr(vuse_optype vuses, unsigned int index)
 276 {
 277   use_operand_p op;
 278 #ifdef ENABLE_CHECKING
 279   if (index >= vuses->num_vuses)
 280     abort();
 281 #endif
 282   op.use = &(vuses->vuses[index]);
 283   return op;
 284 }
 285
 286 /* Return a def_operand_p that is the V_MUST_DEF_OP for the
 287    V_MUST_DEF at INDEX in the V_MUST_DEFS array.  */
 288 static inline def_operand_p
 289 get_v_must_def_op_ptr (v_must_def_optype v_must_defs, unsigned int index)
 290 {
 291   def_operand_p op;
 292 #ifdef ENABLE_CHECKING
 293   if (index >= v_must_defs->num_v_must_defs)
 294     abort();
 295 #endif
 296   op.def = &(v_must_defs->v_must_defs[index]);
 297   return op;
 298 }
 299
 300 /* Return a def_operand_p pointer for the result of PHI.  */
 301 static inline def_operand_p
 302 get_phi_result_ptr (tree phi)
 303 {
 304   def_operand_p op;
 305   op.def = &(PHI_RESULT_TREE (phi));
 306   return op;
 307 }
 308
 309 /* Return a use_operand_p pointer for argument I of phinode PHI.  */
 310 static inline use_operand_p
 311 get_phi_arg_def_ptr (tree phi, int i)
 312 {
 313   use_operand_p op;
 314   op.use = &(PHI_ARG_DEF_TREE (phi, i));
 315   return op;
 316 }
 317
 318 /* Mark the beginning of changes to the SSA operands for STMT.  */
 319 static inline void
 320 start_ssa_stmt_operands (tree stmt ATTRIBUTE_UNUSED)
 321 {
 322 #ifdef ENABLE_CHECKING
 323   verify_start_operands (stmt);
 324 #endif
 325 }
 326
 327 /* Return the bitmap of addresses taken by STMT, or NULL if it takes
 328    no addresses.  */
 329 static inline bitmap
 330 addresses_taken (tree stmt)
 331 {
 332   stmt_ann_t ann = stmt_ann (stmt);
 333   return ann ? ann->addresses_taken : NULL;
 334 }
 335
 336 /* Return the immediate uses of STMT, or NULL if this information is
 337    not computed.  */
 338 static dataflow_t
 339 get_immediate_uses (tree stmt)
 340 {
 341   stmt_ann_t ann = stmt_ann (stmt);
 342   return ann ? ann->df : NULL;
 343 }
 344
 345 /* Return the number of immediate uses present in the dataflow
 346    information at DF.  */
 347 static inline int
 348 num_immediate_uses (dataflow_t df)
 349 {
 350   varray_type imm;
 351
 352   if (!df)
 353     return 0;
 354
 355   imm = df->immediate_uses;
 356   if (!imm)
 357     return df->uses[1] ? 2 : 1;
 358
 359   return VARRAY_ACTIVE_SIZE (imm) + 2;
 360 }
 361
 362 /* Return the tree that is at NUM in the immediate use DF array.  */
 363 static inline tree
 364 immediate_use (dataflow_t df, int num)
 365 {
 366   if (!df)
 367     return NULL_TREE;
 368
 369 #ifdef ENABLE_CHECKING
 370   if (num >= num_immediate_uses (df))
 371     abort ();
 372 #endif
 373   if (num < 2)
 374     return df->uses[num];
 375   return VARRAY_TREE (df->immediate_uses, num - 2);
 376 }
 377
 378 /* Return the basic_block annotation for BB.  */
 379 static inline bb_ann_t
 380 bb_ann (basic_block bb)
 381 {
 382   return (bb_ann_t)bb->tree_annotations;
 383 }
 384
 385 /* Return the PHI nodes for basic block BB, or NULL if there are no
 386    PHI nodes.  */
 387 static inline tree
 388 phi_nodes (basic_block bb)
 389 {
 390   if (bb->index < 0)
 391     return NULL;
 392   return bb_ann (bb)->phi_nodes;
 393 }
 394
 395 /* Set list of phi nodes of a basic block BB to L.  */
 396
 397 static inline void
 398 set_phi_nodes (basic_block bb, tree l)
 399 {
 400   tree phi;
 401
 402   bb_ann (bb)->phi_nodes = l;
 403   for (phi = l; phi; phi = PHI_CHAIN (phi))
 404     set_bb_for_stmt (phi, bb);
 405 }
 406
 407 /* Return the phi index number for an edge.  */
 408 static inline int
 409 phi_arg_from_edge (tree phi, edge e)
 410 {
 411   int i;
 412 #if defined ENABLE_CHECKING
 413   if (!phi || TREE_CODE (phi) != PHI_NODE)
 414     abort();
 415 #endif
 416
 417   for (i = 0; i < PHI_NUM_ARGS (phi); i++)
 418     if (PHI_ARG_EDGE (phi, i) == e)
 419       return i;
 420
 421   return -1;
 422 }
 423
 424 /*  -----------------------------------------------------------------------  */
 425
 426 /* Return true if T is an executable statement.  */
 427 static inline bool
 428 is_exec_stmt (tree t)
 429 {
 430   return (t && !IS_EMPTY_STMT (t) && t != error_mark_node);
 431 }
 432
 433
 434 /* Return true if this stmt can be the target of a control transfer stmt such
 435    as a goto.  */
 436 static inline bool
 437 is_label_stmt (tree t)
 438 {
 439   if (t)
 440     switch (TREE_CODE (t))
 441       {
 442         case LABEL_DECL:
 443         case LABEL_EXPR:
 444         case CASE_LABEL_EXPR:
 445           return true;
 446         default:
 447           return false;
 448       }
 449   return false;
 450 }
 451
 452 /* Set the default definition for VAR to DEF.  */
 453 static inline void
 454 set_default_def (tree var, tree def)
 455 {
 456   var_ann_t ann = var_ann (var);
 457   if (ann == NULL)
 458     ann = create_var_ann (var);
 459   ann->default_def = def;
 460 }
 461
 462 /* Return the default definition for variable VAR, or NULL if none
 463    exists.  */
 464 static inline tree
 465 default_def (tree var)
 466 {
 467   var_ann_t ann = var_ann (var);
 468   return ann ? ann->default_def : NULL_TREE;
 469 }
 470
 471 /* PHI nodes should contain only ssa_names and invariants.  A test
 472    for ssa_name is definitely simpler; don't let invalid contents
 473    slip in in the meantime.  */
 474
 475 static inline bool
 476 phi_ssa_name_p (tree t)
 477 {
 478   if (TREE_CODE (t) == SSA_NAME)
 479     return true;
 480 #ifdef ENABLE_CHECKING
 481   if (!is_gimple_min_invariant (t))
 482     abort ();
 483 #endif
 484   return false;
 485 }
 486
 487 /*  -----------------------------------------------------------------------  */
 488
 489 /* Return a block_stmt_iterator that points to beginning of basic
 490    block BB.  */
 491 static inline block_stmt_iterator
 492 bsi_start (basic_block bb)
 493 {
 494   block_stmt_iterator bsi;
 495   if (bb->stmt_list)
 496     bsi.tsi = tsi_start (bb->stmt_list);
 497   else
 498     {
 499 #ifdef ENABLE_CHECKING
 500       if (bb->index >= 0)
 501         abort ();
 502 #endif
 503       bsi.tsi.ptr = NULL;
 504       bsi.tsi.container = NULL;
 505     }
 506   bsi.bb = bb;
 507   return bsi;
 508 }
 509
 510 /* Return a block statement iterator that points to the last label in
 511    block BB.  */
 512
 513 static inline block_stmt_iterator
 514 bsi_after_labels (basic_block bb)
 515 {
 516   block_stmt_iterator bsi;
 517   tree_stmt_iterator next;
 518
 519   bsi.bb = bb;
 520
 521   if (!bb->stmt_list)
 522     {
 523 #ifdef ENABLE_CHECKING
 524       if (bb->index >= 0)
 525         abort ();
 526 #endif
 527       bsi.tsi.ptr = NULL;
 528       bsi.tsi.container = NULL;
 529       return bsi;
 530     }
 531
 532   bsi.tsi = tsi_start (bb->stmt_list);
 533   if (tsi_end_p (bsi.tsi))
 534     return bsi;
 535
 536   /* Ensure that there are some labels.  The rationale is that we want
 537      to insert after the bsi that is returned, and these insertions should
 538      be placed at the start of the basic block.  This would not work if the
 539      first statement was not label; rather fail here than enable the user
 540      proceed in wrong way.  */
 541   if (TREE_CODE (tsi_stmt (bsi.tsi)) != LABEL_EXPR)
 542     abort ();
 543
 544   next = bsi.tsi;
 545   tsi_next (&next);
 546
 547   while (!tsi_end_p (next)
 548          && TREE_CODE (tsi_stmt (next)) == LABEL_EXPR)
 549     {
 550       bsi.tsi = next;
 551       tsi_next (&next);
 552     }
 553
 554   return bsi;
 555 }
 556
 557 /* Return a block statement iterator that points to the end of basic
 558    block BB.  */
 559 static inline block_stmt_iterator
 560 bsi_last (basic_block bb)
 561 {
 562   block_stmt_iterator bsi;
 563   if (bb->stmt_list)
 564     bsi.tsi = tsi_last (bb->stmt_list);
 565   else
 566     {
 567 #ifdef ENABLE_CHECKING
 568       if (bb->index >= 0)
 569         abort ();
 570 #endif
 571       bsi.tsi.ptr = NULL;
 572       bsi.tsi.container = NULL;
 573     }
 574   bsi.bb = bb;
 575   return bsi;
 576 }
 577
 578 /* Return true if block statement iterator I has reached the end of
 579    the basic block.  */
 580 static inline bool
 581 bsi_end_p (block_stmt_iterator i)
 582 {
 583   return tsi_end_p (i.tsi);
 584 }
 585
 586 /* Modify block statement iterator I so that it is at the next
 587    statement in the basic block.  */
 588 static inline void
 589 bsi_next (block_stmt_iterator *i)
 590 {
 591   tsi_next (&i->tsi);
 592 }
 593
 594 /* Modify block statement iterator I so that it is at the previous
 595    statement in the basic block.  */
 596 static inline void
 597 bsi_prev (block_stmt_iterator *i)
 598 {
 599   tsi_prev (&i->tsi);
 600 }
 601
 602 /* Return the statement that block statement iterator I is currently
 603    at.  */
 604 static inline tree
 605 bsi_stmt (block_stmt_iterator i)
 606 {
 607   return tsi_stmt (i.tsi);
 608 }
 609
 610 /* Return a pointer to the statement that block statement iterator I
 611    is currently at.  */
 612 static inline tree *
 613 bsi_stmt_ptr (block_stmt_iterator i)
 614 {
 615   return tsi_stmt_ptr (i.tsi);
 616 }
 617
 618 /* Returns the loop of the statement STMT.  */
 619
 620 static inline struct loop *
 621 loop_containing_stmt (tree stmt)
 622 {
 623   basic_block bb = bb_for_stmt (stmt);
 624   if (!bb)
 625     return NULL;
 626
 627   return bb->loop_father;
 628 }
 629
 630 /* Return true if VAR may be aliased.  */
 631 static inline bool
 632 may_be_aliased (tree var)
 633 {
 634   return (TREE_ADDRESSABLE (var)
 635           || decl_function_context (var) != current_function_decl);
 636 }
 637
 638 /* Return true if VAR is a clobbered by function calls.  */
 639 static inline bool
 640 is_call_clobbered (tree var)
 641 {
 642   return needs_to_live_in_memory (var)
 643          || bitmap_bit_p (call_clobbered_vars, var_ann (var)->uid);
 644 }
 645
 646 /* Mark variable VAR as being clobbered by function calls.  */
 647 static inline void
 648 mark_call_clobbered (tree var)
 649 {
 650   var_ann_t ann = var_ann (var);
 651   /* Call-clobbered variables need to live in memory.  */
 652   DECL_NEEDS_TO_LIVE_IN_MEMORY_INTERNAL (var) = 1;
 653   bitmap_set_bit (call_clobbered_vars, ann->uid);
 654 }
 655
 656 /* Mark variable VAR as being non-addressable.  */
 657 static inline void
 658 mark_non_addressable (tree var)
 659 {
 660   bitmap_clear_bit (call_clobbered_vars, var_ann (var)->uid);
 661   DECL_NEEDS_TO_LIVE_IN_MEMORY_INTERNAL (var) = 0;
 662   TREE_ADDRESSABLE (var) = 0;
 663 }
 664
 665 /* Return the common annotation for T.  Return NULL if the annotation
 666    doesn't already exist.  */
 667 static inline tree_ann_t
 668 tree_ann (tree t)
 669 {
 670   return t->common.ann;
 671 }
 672
 673 /* Return a common annotation for T.  Create the constant annotation if it
 674    doesn't exist.  */
 675 static inline tree_ann_t
 676 get_tree_ann (tree t)
 677 {
 678   tree_ann_t ann = tree_ann (t);
 679   return (ann) ? ann : create_tree_ann (t);
 680 }
 681
 682 #endif /* _TREE_FLOW_INLINE_H  */