Fix ICE in lto_symtab_merge_symbols_1 (PR lto/88004).
[official-gcc.git] / gcc / gimple-ssa-evrp-analyze.h
blob0d2b4188b8c5d1f55bc7185bff518d59d98b5f62
1 /* Support routines for Value Range Propagation (VRP).
2 Copyright (C) 2016-2018 Free Software Foundation, Inc.
4 This file is part of GCC.
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.
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.
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/>. */
20 #ifndef GCC_GIMPLE_SSA_EVRP_ANALYZE_H
21 #define GCC_GIMPLE_SSA_EVRP_ANALYZE_H
23 class evrp_range_analyzer
25 public:
26 evrp_range_analyzer (void);
27 ~evrp_range_analyzer (void)
29 delete vr_values;
30 stack.release ();
33 void enter (basic_block);
34 void push_marker (void);
35 void pop_to_marker (void);
36 void leave (basic_block);
37 void record_ranges_from_stmt (gimple *, bool);
39 /* Main interface to retrieve range information. */
40 value_range *get_value_range (const_tree op)
41 { return vr_values->get_value_range (op); }
43 /* Record a new unwindable range. */
44 void push_value_range (tree var, value_range *vr);
46 /* Dump all the current value ranges. This is primarily
47 a debugging interface. */
48 void dump_all_value_ranges (FILE *fp)
49 { vr_values->dump_all_value_ranges (fp); }
51 /* A bit of a wart. This should ideally go away. */
52 void vrp_visit_cond_stmt (gcond *cond, edge *e)
53 { return vr_values->vrp_visit_cond_stmt (cond, e); }
55 /* Get the underlying vr_values class instance. If TRANSFER is
56 true, then we are transferring ownership. Else we keep ownership.
58 This should be converted to a unique_ptr. */
59 class vr_values *get_vr_values (void) { return vr_values; }
61 private:
62 DISABLE_COPY_AND_ASSIGN (evrp_range_analyzer);
63 class vr_values *vr_values;
65 value_range *pop_value_range (tree var);
66 value_range *try_find_new_range (tree, tree op, tree_code code, tree limit);
67 void record_ranges_from_incoming_edge (basic_block);
68 void record_ranges_from_phis (basic_block);
69 void set_ssa_range_info (tree, value_range *);
71 /* STACK holds the old VR. */
72 auto_vec<std::pair <tree, value_range*> > stack;
75 #endif /* GCC_GIMPLE_SSA_EVRP_ANALYZE_H */