c++: new-expression is potentially constant in C++20
[official-gcc.git] / gcc / gimple-range-cache.h
blob1e4b5b30565c3749fe6833d4b8d6f44777e393f7
1 /* Header file for gimple ranger SSA cache.
2 Copyright (C) 2017-2022 Free Software Foundation, Inc.
3 Contributed by Andrew MacLeod <amacleod@redhat.com>.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
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/>. */
21 #ifndef GCC_SSA_RANGE_CACHE_H
22 #define GCC_SSA_RANGE_CACHE_H
24 #include "gimple-range-gori.h"
25 #include "gimple-range-infer.h"
27 // This class manages a vector of pointers to ssa_block ranges. It
28 // provides the basis for the "range on entry" cache for all
29 // SSA names.
31 class block_range_cache
33 public:
34 block_range_cache ();
35 ~block_range_cache ();
37 bool set_bb_range (tree name, const_basic_block bb, const vrange &v);
38 bool get_bb_range (vrange &v, tree name, const_basic_block bb);
39 bool bb_range_p (tree name, const_basic_block bb);
41 void dump (FILE *f);
42 void dump (FILE *f, basic_block bb, bool print_varying = true);
43 private:
44 vec<class ssa_block_ranges *> m_ssa_ranges;
45 ssa_block_ranges &get_block_ranges (tree name);
46 ssa_block_ranges *query_block_ranges (tree name);
47 vrange_allocator *m_range_allocator;
48 bitmap_obstack m_bitmaps;
51 // This global cache is used with the range engine as markers for what
52 // has been visited during this incarnation. Once the ranger evaluates
53 // a name, it is typically not re-evaluated again.
55 class ssa_global_cache
57 public:
58 ssa_global_cache ();
59 ~ssa_global_cache ();
60 bool get_global_range (vrange &r, tree name) const;
61 bool set_global_range (tree name, const vrange &r);
62 void clear_global_range (tree name);
63 void clear ();
64 void dump (FILE *f = stderr);
65 private:
66 vec<vrange *> m_tab;
67 vrange_allocator *m_range_allocator;
70 // This class provides all the caches a global ranger may need, and makes
71 // them available for gori-computes to query so outgoing edges can be
72 // properly calculated.
74 class ranger_cache : public range_query
76 public:
77 ranger_cache (int not_executable_flag, bool use_imm_uses);
78 ~ranger_cache ();
80 virtual bool range_of_expr (vrange &r, tree name, gimple *stmt);
81 virtual bool range_on_edge (vrange &r, edge e, tree expr);
82 bool block_range (vrange &r, basic_block bb, tree name, bool calc = true);
84 bool get_global_range (vrange &r, tree name) const;
85 bool get_global_range (vrange &r, tree name, bool &current_p);
86 void set_global_range (tree name, const vrange &r);
88 void propagate_updated_value (tree name, basic_block bb);
90 void apply_inferred_ranges (gimple *s);
91 gori_compute m_gori;
92 infer_range_manager m_exit;
94 void dump_bb (FILE *f, basic_block bb);
95 virtual void dump (FILE *f) override;
96 private:
97 ssa_global_cache m_globals;
98 block_range_cache m_on_entry;
99 class temporal_cache *m_temporal;
100 void fill_block_cache (tree name, basic_block bb, basic_block def_bb);
101 void propagate_cache (tree name);
103 enum rfd_mode
105 RFD_NONE, // Only look at current block cache.
106 RFD_READ_ONLY, // Scan DOM tree, do not write to cache.
107 RFD_FILL // Scan DOM tree, updating important nodes.
109 bool range_from_dom (vrange &r, tree name, basic_block bb, enum rfd_mode);
110 void range_of_def (vrange &r, tree name, basic_block bb = NULL);
111 void entry_range (vrange &r, tree expr, basic_block bb, enum rfd_mode);
112 void exit_range (vrange &r, tree expr, basic_block bb, enum rfd_mode);
113 bool edge_range (vrange &r, edge e, tree name, enum rfd_mode);
115 vec<basic_block> m_workback;
116 class update_list *m_update;
119 #endif // GCC_SSA_RANGE_CACHE_H