dist/gcc/tree-outof-ssa.h

1.1  mrg /* Routines for expanding from SSA form to RTL.
1.5  mrg    Copyright (C) 2009-2019 Free Software Foundation, Inc.
1.1  mrg
1.1  mrg This file is part of GCC.
1.1  mrg
1.1  mrg GCC is free software; you can redistribute it and/or modify
1.1  mrg it under the terms of the GNU General Public License as published by
1.1  mrg the Free Software Foundation; either version 3, or (at your option)
1.1  mrg any later version.
1.1  mrg
1.1  mrg GCC is distributed in the hope that it will be useful,
1.1  mrg but WITHOUT ANY WARRANTY; without even the implied warranty of
1.1  mrg MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
1.1  mrg GNU General Public License for more details.
1.1  mrg
1.1  mrg You should have received a copy of the GNU General Public License
1.1  mrg along with GCC; see the file COPYING3.  If not see
1.1  mrg <http://www.gnu.org/licenses/>.  */
1.1  mrg
1.1  mrg
1.1  mrg #ifndef GCC_TREE_OUTOF_SSA_H
1.1  mrg #define GCC_TREE_OUTOF_SSA_H
1.1  mrg
1.1  mrg
1.1  mrg /* This structure (of which only a singleton SA exists) is used to
1.1  mrg    pass around information between the outof-SSA functions, cfgexpand
1.1  mrg    and expand itself.  */
1.1  mrg struct ssaexpand
1.1  mrg {
1.1  mrg   /* The computed partitions of SSA names are stored here.  */
1.1  mrg   var_map map;
1.1  mrg
1.1  mrg   /* For an SSA name version V bit V is set iff TER decided that
1.1  mrg      its definition should be forwarded.  */
1.1  mrg   bitmap values;
1.1  mrg
1.1  mrg   /* For a partition number I partition_to_pseudo[I] contains the
1.1  mrg      RTL expression of the allocated space of it (either a MEM or
1.1  mrg      a pseudos REG).  */
1.1  mrg   rtx *partition_to_pseudo;
1.1  mrg
1.3  mrg   /* If partition I contains an SSA name that has a default def for a
1.3  mrg      parameter, bit I will be set in this bitmap.  */
1.3  mrg   bitmap partitions_for_parm_default_defs;
1.4  mrg
1.4  mrg   /* If partition I contains an SSA name that has an undefined value,
1.4  mrg      bit I will be set in this bitmap.  */
1.4  mrg   bitmap partitions_for_undefined_values;
1.1  mrg };
1.1  mrg
1.1  mrg /* This is the singleton described above.  */
1.1  mrg extern struct ssaexpand SA;
1.1  mrg
1.1  mrg /* Returns the RTX expression representing the storage of the outof-SSA
1.1  mrg    partition that the SSA name EXP is a member of.  */
1.1  mrg static inline rtx
1.1  mrg get_rtx_for_ssa_name (tree exp)
1.1  mrg {
1.1  mrg   int p = partition_find (SA.map->var_partition, SSA_NAME_VERSION (exp));
1.1  mrg   if (SA.map->partition_to_view)
1.1  mrg     p = SA.map->partition_to_view[p];
1.1  mrg   gcc_assert (p != NO_PARTITION);
1.1  mrg   return SA.partition_to_pseudo[p];
1.1  mrg }
1.1  mrg
1.1  mrg /* If TER decided to forward the definition of SSA name EXP this function
1.1  mrg    returns the defining statement, otherwise NULL.  */
1.3  mrg static inline gimple *
1.1  mrg get_gimple_for_ssa_name (tree exp)
1.1  mrg {
1.1  mrg   int v = SSA_NAME_VERSION (exp);
1.1  mrg   if (SA.values && bitmap_bit_p (SA.values, v))
1.1  mrg     return SSA_NAME_DEF_STMT (exp);
1.1  mrg   return NULL;
1.1  mrg }
1.1  mrg
1.3  mrg extern bool ssa_is_replaceable_p (gimple *stmt);
1.1  mrg extern void finish_out_of_ssa (struct ssaexpand *sa);
1.1  mrg extern unsigned int rewrite_out_of_ssa (struct ssaexpand *sa);
1.1  mrg extern void expand_phi_nodes (struct ssaexpand *sa);
1.1  mrg
1.1  mrg #endif /* GCC_TREE_OUTOF_SSA_H */