gcc/ipa-modref.h

   1 /* Search for references that a functions loads or stores.
   2    Copyright (C) 2019-2021 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 it under
   7 the terms of the GNU General Public License as published by the Free
   8 Software Foundation; either version 3, or (at your option) any later
   9 version.
  10
  11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  13 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  14 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 #ifndef IPA_MODREF_H
  21 #define IPA_MODREF_H
  22
  23 typedef modref_tree <alias_set_type> modref_records;
  24 typedef unsigned char eaf_flags_t;
  25
  26 /* Single function summary.  */
  27
  28 struct GTY(()) modref_summary
  29 {
  30   /* Load and stores in function (transitively closed to all callees)  */
  31   modref_records *loads;
  32   modref_records *stores;
  33   auto_vec<eaf_flags_t> GTY((skip)) arg_flags;
  34   bool writes_errno;
  35
  36   modref_summary ();
  37   ~modref_summary ();
  38   void dump (FILE *);
  39   bool useful_p (int ecf_flags, bool check_flags = true);
  40   bool global_memory_read_p ();
  41   bool global_memory_written_p ();
  42 };
  43
  44 modref_summary *get_modref_function_summary (cgraph_node *func);
  45 void ipa_modref_c_finalize ();
  46 void ipa_merge_modref_summary_after_inlining (cgraph_edge *e);
  47
  48 /* All flags that are implied by the ECF_CONST functions.  */
  49 static const int implicit_const_eaf_flags = EAF_DIRECT | EAF_NOCLOBBER | EAF_NOESCAPE
  50                                      | EAF_NODIRECTESCAPE | EAF_NOREAD;
  51 /* All flags that are implied by the ECF_PURE function.  */
  52 static const int implicit_pure_eaf_flags = EAF_NOCLOBBER | EAF_NOESCAPE
  53                                     | EAF_NODIRECTESCAPE;
  54 /* All flags implied when we know we can ignore stores (i.e. when handling
  55    call to noreturn).  */
  56 static const int ignore_stores_eaf_flags = EAF_DIRECT | EAF_NOCLOBBER | EAF_NOESCAPE
  57                                     | EAF_NODIRECTESCAPE;
  58
  59 #endif