1/* Support routines for Value Range Propagation (VRP).
2 Copyright (C) 2016-2017 Free Software Foundation, Inc.
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify
7it under the terms of the GNU General Public License as published by
8the Free Software Foundation; either version 3, or (at your option)
9any later version.
10
11GCC is distributed in the hope that it will be useful,
12but WITHOUT ANY WARRANTY; without even the implied warranty of
13MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14GNU General Public License for more details.
15
16You should have received a copy of the GNU General Public License
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
19
20#ifndef GCC_GIMPLE_SSA_EVRP_ANALYZE_H
21#define GCC_GIMPLE_SSA_EVRP_ANALYZE_H
22
23class evrp_range_analyzer
24{
25 public:
26 evrp_range_analyzer (void);
27 ~evrp_range_analyzer (void)
28 {
29 delete vr_values;
30 stack.release ();
31 }
32
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);
38
39 /* Main interface to retrieve range information. */
40 value_range *get_value_range (const_tree op)
41 { return vr_values->get_value_range (op); }
42
43 /* Record a new unwindable range. */
44 void push_value_range (tree var, value_range *vr);
45
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); }
50
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); }
54
55 /* Get the underlying vr_values class instance. If TRANSFER is
56 true, then we are transferring ownership. Else we keep ownership.
57
58 This should be converted to a unique_ptr. */
59 class vr_values *get_vr_values (void) { return vr_values; }
60
61 private:
62 DISABLE_COPY_AND_ASSIGN (evrp_range_analyzer);
63 class vr_values *vr_values;
64
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 *);
70
71 /* STACK holds the old VR. */
72 auto_vec<std::pair <tree, value_range*> > stack;
73};
74
75#endif /* GCC_GIMPLE_SSA_EVRP_ANALYZE_H */
76