LCOV - code coverage report
Current view: top level - gcc - tree-ssa-alias.h (source / functions) Hit Total Coverage
Test: gcc.info Lines: 11 11 100.0 %
Date: 2020-04-04 11:58:09 Functions: 0 0 -
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 0 0 -

           Branch data     Line data    Source code
       1                 :            : /* Tree based alias analysis and alias oracle.
       2                 :            :    Copyright (C) 2008-2020 Free Software Foundation, Inc.
       3                 :            :    Contributed by Richard Guenther  <rguenther@suse.de>
       4                 :            : 
       5                 :            :    This file is part of GCC.
       6                 :            : 
       7                 :            :    GCC is free software; you can redistribute it and/or modify
       8                 :            :    under the terms of the GNU General Public License as published by
       9                 :            :    the Free Software Foundation; either version 3 of the License, or
      10                 :            :    (at your option) 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 COPYING3.  If not see
      19                 :            :    <http://www.gnu.org/licenses/>.  */
      20                 :            : 
      21                 :            : #ifndef TREE_SSA_ALIAS_H
      22                 :            : #define TREE_SSA_ALIAS_H
      23                 :            : 
      24                 :            : /* The points-to solution.
      25                 :            : 
      26                 :            :    The points-to solution is a union of pt_vars and the abstract
      27                 :            :    sets specified by the flags.  */
      28                 :            : struct GTY(()) pt_solution
      29                 :            : {
      30                 :            :   /* Nonzero if points-to analysis couldn't determine where this pointer
      31                 :            :      is pointing to.  */
      32                 :            :   unsigned int anything : 1;
      33                 :            : 
      34                 :            :   /* Nonzero if the points-to set includes any global memory.  Note that
      35                 :            :      even if this is zero pt_vars can still include global variables.  */
      36                 :            :   unsigned int nonlocal : 1;
      37                 :            : 
      38                 :            :   /* Nonzero if the points-to set includes the local escaped solution by
      39                 :            :      reference.  */
      40                 :            :   unsigned int escaped : 1;
      41                 :            : 
      42                 :            :   /* Nonzero if the points-to set includes the IPA escaped solution by
      43                 :            :      reference.  */
      44                 :            :   unsigned int ipa_escaped : 1;
      45                 :            : 
      46                 :            :   /* Nonzero if the points-to set includes 'nothing', the points-to set
      47                 :            :      includes memory at address NULL.  */
      48                 :            :   unsigned int null : 1;
      49                 :            : 
      50                 :            :   /* Nonzero if the vars bitmap includes a variable included in 'nonlocal'.  */
      51                 :            :   unsigned int vars_contains_nonlocal : 1;
      52                 :            :   /* Nonzero if the vars bitmap includes a variable included in 'escaped'.  */
      53                 :            :   unsigned int vars_contains_escaped : 1;
      54                 :            :   /* Nonzero if the vars bitmap includes a anonymous heap variable that
      55                 :            :      escaped the function and thus became global.  */
      56                 :            :   unsigned int vars_contains_escaped_heap : 1;
      57                 :            :   /* Nonzero if the vars bitmap includes a anonymous variable used to
      58                 :            :      represent storage pointed to by a restrict qualified pointer.  */
      59                 :            :   unsigned int vars_contains_restrict : 1;
      60                 :            :   /* Nonzero if the vars bitmap includes an interposable variable.  */
      61                 :            :   unsigned int vars_contains_interposable : 1;
      62                 :            : 
      63                 :            :   /* Set of variables that this pointer may point to.  */
      64                 :            :   bitmap vars;
      65                 :            : };
      66                 :            : 
      67                 :            : 
      68                 :            : /* Simplified and cached information about a memory reference tree.
      69                 :            :    Used by the alias-oracle internally and externally in alternate
      70                 :            :    interfaces.  */
      71                 : 1844030702 : class ao_ref
      72                 :            : {
      73                 :            : public:
      74                 :            :   /* The original full memory reference tree or NULL_TREE if that is
      75                 :            :      not available.  */
      76                 :            :   tree ref;
      77                 :            : 
      78                 :            :   /* The following fields are the decomposed reference as returned
      79                 :            :      by get_ref_base_and_extent.  */
      80                 :            :   /* The base object of the memory reference or NULL_TREE if all of
      81                 :            :      the following fields are not yet computed.  */
      82                 :            :   tree base;
      83                 :            :   /* The offset relative to the base.  */
      84                 :            :   poly_int64 offset;
      85                 :            :   /* The size of the access.  */
      86                 :            :   poly_int64 size;
      87                 :            :   /* The maximum possible extent of the access or -1 if unconstrained.  */
      88                 :            :   poly_int64 max_size;
      89                 :            : 
      90                 :            :   /* The alias set of the access or -1 if not yet computed.  */
      91                 :            :   alias_set_type ref_alias_set;
      92                 :            : 
      93                 :            :   /* The alias set of the base object or -1 if not yet computed.  */
      94                 :            :   alias_set_type base_alias_set;
      95                 :            : 
      96                 :            :   /* Whether the memory is considered a volatile access.  */
      97                 :            :   bool volatile_p;
      98                 :            : 
      99                 :            :   bool max_size_known_p () const;
     100                 :            : };
     101                 :            : 
     102                 :            : /* Return true if the maximum size is known, rather than the special -1
     103                 :            :    marker.  */
     104                 :            : 
     105                 :            : inline bool
     106                 :  922604000 : ao_ref::max_size_known_p () const
     107                 :            : {
     108                 :  922604000 :   return known_size_p (max_size);
     109                 :            : }
     110                 :            : 
     111                 :            : /* In tree-ssa-alias.c  */
     112                 :            : extern void ao_ref_init (ao_ref *, tree);
     113                 :            : extern void ao_ref_init_from_ptr_and_size (ao_ref *, tree, tree);
     114                 :            : extern tree ao_ref_base (ao_ref *);
     115                 :            : extern alias_set_type ao_ref_alias_set (ao_ref *);
     116                 :            : extern alias_set_type ao_ref_base_alias_set (ao_ref *);
     117                 :            : extern bool ptr_deref_may_alias_global_p (tree);
     118                 :            : extern bool ptr_derefs_may_alias_p (tree, tree);
     119                 :            : extern bool ptrs_compare_unequal (tree, tree);
     120                 :            : extern bool ref_may_alias_global_p (tree);
     121                 :            : extern bool ref_may_alias_global_p (ao_ref *);
     122                 :            : extern bool refs_may_alias_p (tree, tree, bool = true);
     123                 :            : extern bool refs_may_alias_p_1 (ao_ref *, ao_ref *, bool);
     124                 :            : extern bool refs_anti_dependent_p (tree, tree);
     125                 :            : extern bool refs_output_dependent_p (tree, tree);
     126                 :            : extern bool ref_maybe_used_by_stmt_p (gimple *, tree, bool = true);
     127                 :            : extern bool ref_maybe_used_by_stmt_p (gimple *, ao_ref *, bool = true);
     128                 :            : extern bool stmt_may_clobber_global_p (gimple *);
     129                 :            : extern bool stmt_may_clobber_ref_p (gimple *, tree, bool = true);
     130                 :            : extern bool stmt_may_clobber_ref_p_1 (gimple *, ao_ref *, bool = true);
     131                 :            : extern bool call_may_clobber_ref_p (gcall *, tree);
     132                 :            : extern bool call_may_clobber_ref_p_1 (gcall *, ao_ref *);
     133                 :            : extern bool stmt_kills_ref_p (gimple *, tree);
     134                 :            : extern bool stmt_kills_ref_p (gimple *, ao_ref *);
     135                 :            : enum translate_flags
     136                 :            :   { TR_TRANSLATE, TR_VALUEIZE_AND_DISAMBIGUATE, TR_DISAMBIGUATE };
     137                 :            : extern tree get_continuation_for_phi (gimple *, ao_ref *, bool,
     138                 :            :                                       unsigned int &, bitmap *, bool,
     139                 :            :                                       void *(*)(ao_ref *, tree, void *,
     140                 :            :                                                 translate_flags *),
     141                 :            :                                       void *, translate_flags
     142                 :            :                                         = TR_VALUEIZE_AND_DISAMBIGUATE);
     143                 :            : extern void *walk_non_aliased_vuses (ao_ref *, tree, bool,
     144                 :            :                                      void *(*)(ao_ref *, tree, void *),
     145                 :            :                                      void *(*)(ao_ref *, tree, void *,
     146                 :            :                                                translate_flags *),
     147                 :            :                                      tree (*)(tree), unsigned &, void *);
     148                 :            : extern int walk_aliased_vdefs (ao_ref *, tree,
     149                 :            :                                bool (*)(ao_ref *, tree, void *),
     150                 :            :                                void *, bitmap *,
     151                 :            :                                bool *function_entry_reached = NULL,
     152                 :            :                                unsigned int limit = 0);
     153                 :            : extern void dump_alias_info (FILE *);
     154                 :            : extern void debug_alias_info (void);
     155                 :            : extern void dump_points_to_solution (FILE *, struct pt_solution *);
     156                 :            : extern void debug (pt_solution &ref);
     157                 :            : extern void debug (pt_solution *ptr);
     158                 :            : extern void dump_points_to_info_for (FILE *, tree);
     159                 :            : extern void debug_points_to_info_for (tree);
     160                 :            : extern void dump_alias_stats (FILE *);
     161                 :            : 
     162                 :            : 
     163                 :            : /* In tree-ssa-structalias.c  */
     164                 :            : extern unsigned int compute_may_aliases (void);
     165                 :            : extern bool pt_solution_empty_p (const pt_solution *);
     166                 :            : extern bool pt_solution_singleton_or_null_p (struct pt_solution *, unsigned *);
     167                 :            : extern bool pt_solution_includes_global (struct pt_solution *);
     168                 :            : extern bool pt_solution_includes (struct pt_solution *, const_tree);
     169                 :            : extern bool pt_solutions_intersect (struct pt_solution *, struct pt_solution *);
     170                 :            : extern void pt_solution_reset (struct pt_solution *);
     171                 :            : extern void pt_solution_set (struct pt_solution *, bitmap, bool);
     172                 :            : extern void pt_solution_set_var (struct pt_solution *, tree);
     173                 :            : 
     174                 :            : extern void dump_pta_stats (FILE *);
     175                 :            : 
     176                 :            : extern GTY(()) struct pt_solution ipa_escaped_pt;
     177                 :            : 
     178                 :            : /* Return true, if the two ranges [POS1, SIZE1] and [POS2, SIZE2]
     179                 :            :    overlap.  SIZE1 and/or SIZE2 can be (unsigned)-1 in which case the
     180                 :            :    range is open-ended.  Otherwise return false.  */
     181                 :            : 
     182                 :            : static inline bool
     183                 :    2242560 : ranges_overlap_p (HOST_WIDE_INT pos1,
     184                 :            :                   unsigned HOST_WIDE_INT size1,
     185                 :            :                   HOST_WIDE_INT pos2,
     186                 :            :                   unsigned HOST_WIDE_INT size2)
     187                 :            : {
     188                 :    2242560 :   if (size1 == 0 || size2 == 0)
     189                 :            :     return false;
     190                 :    2242530 :   if (pos1 >= pos2
     191                 :    2240880 :       && (size2 == (unsigned HOST_WIDE_INT)-1
     192                 :    2240880 :           || pos1 < (pos2 + (HOST_WIDE_INT) size2)))
     193                 :            :     return true;
     194                 :     849855 :   if (pos2 >= pos1
     195                 :       1653 :       && (size1 == (unsigned HOST_WIDE_INT)-1
     196                 :       1653 :           || pos2 < (pos1 + (HOST_WIDE_INT) size1)))
     197                 :            :     return true;
     198                 :            : 
     199                 :            :   return false;
     200                 :            : }
     201                 :            : 
     202                 :            : 
     203                 :            : 
     204                 :            : #endif /* TREE_SSA_ALIAS_H  */

Generated by: LCOV version 1.0

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto --enable-host-shared. GCC test suite is run with the built compiler.