Line data    Source code

       1              : /* Routines for expanding from SSA form to RTL.
       2              :    Copyright (C) 2009-2026 Free Software Foundation, Inc.
       3              : 
       4              : This file is part of GCC.
       5              : 
       6              : GCC is free software; you can redistribute it and/or modify
       7              : it under the terms of the GNU General Public License as published by
       8              : the Free Software Foundation; either version 3, or (at your option)
       9              : any later version.
      10              : 
      11              : GCC is distributed in the hope that it will be useful,
      12              : but WITHOUT ANY WARRANTY; without even the implied warranty of
      13              : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
      14              : GNU General Public License for more details.
      15              : 
      16              : You should have received a copy of the GNU General Public License
      17              : along with GCC; see the file COPYING3.  If not see
      18              : <http://www.gnu.org/licenses/>.  */
      19              : 
      20              : 
      21              : #ifndef GCC_TREE_OUTOF_SSA_H
      22              : #define GCC_TREE_OUTOF_SSA_H
      23              : 
      24              : 
      25              : /* This structure (of which only a singleton SA exists) is used to
      26              :    pass around information between the outof-SSA functions, cfgexpand
      27              :    and expand itself.  */
      28              : struct ssaexpand
      29              : {
      30              :   /* The computed partitions of SSA names are stored here.  */
      31              :   var_map map;
      32              : 
      33              :   /* For an SSA name version V bit V is set iff TER decided that
      34              :      its definition should be forwarded.  */
      35              :   bitmap values;
      36              : 
      37              :   /* For an SSA name version V bit V is set iff conditional-compare
      38              :      recognition found no explicit comparison that can be folded.  */
      39              :   bitmap ccmp_no_comparison;
      40              : 
      41              :   /* For a partition number I partition_to_pseudo[I] contains the
      42              :      RTL expression of the allocated space of it (either a MEM or
      43              :      a pseudos REG).  */
      44              :   rtx *partition_to_pseudo;
      45              : 
      46              :   /* If partition I contains an SSA name that has a default def for a
      47              :      parameter, bit I will be set in this bitmap.  */
      48              :   bitmap partitions_for_parm_default_defs;
      49              : 
      50              :   /* If partition I contains an SSA name that has an undefined value,
      51              :      bit I will be set in this bitmap.  */
      52              :   bitmap partitions_for_undefined_values;
      53              : };
      54              : 
      55              : /* This is the singleton described above.  */
      56              : extern struct ssaexpand SA;
      57              : 
      58              : /* Returns the RTX expression representing the storage of the outof-SSA
      59              :    partition that the SSA name EXP is a member of.  */
      60              : inline rtx
      61     48561833 : get_rtx_for_ssa_name (tree exp)
      62              : {
      63     48561833 :   int p = partition_find (SA.map->var_partition, SSA_NAME_VERSION (exp));
      64     48561833 :   if (SA.map->partition_to_view)
      65     48561833 :     p = SA.map->partition_to_view[p];
      66     48561833 :   gcc_assert (p != NO_PARTITION);
      67     48561833 :   return SA.partition_to_pseudo[p];
      68              : }
      69              : 
      70              : /* If TER decided to forward the definition of SSA name EXP this function
      71              :    returns the defining statement, otherwise NULL.  */
      72              : inline gimple *
      73    142685321 : get_gimple_for_ssa_name (tree exp)
      74              : {
      75    142685321 :   int v = SSA_NAME_VERSION (exp);
      76    142685321 :   if (SA.values && bitmap_bit_p (SA.values, v))
      77     31424931 :     return SSA_NAME_DEF_STMT (exp);
      78              :   return NULL;
      79              : }
      80              : 
      81              : extern bool ssa_is_replaceable_p (gimple *stmt);
      82              : extern void finish_out_of_ssa (struct ssaexpand *sa);
      83              : extern unsigned int rewrite_out_of_ssa (struct ssaexpand *sa);
      84              : extern void expand_phi_nodes (struct ssaexpand *sa);
      85              : 
      86              : #endif /* GCC_TREE_OUTOF_SSA_H */