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)
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_TREE_VRP_H
21 #define GCC_TREE_VRP_H
23 /* Type of value ranges. See value_range below for a
24 description of these types. */
25 enum value_range_type
{ VR_UNDEFINED
, VR_RANGE
,
26 VR_ANTI_RANGE
, VR_VARYING
, VR_LAST
};
28 /* Range of values that can be associated with an SSA_NAME after VRP
30 struct GTY((for_user
)) value_range
32 /* Lattice value represented by this range. */
33 enum value_range_type type
;
35 /* Minimum and maximum values represented by this range. These
36 values should be interpreted as follows:
38 - If TYPE is VR_UNDEFINED or VR_VARYING then MIN and MAX must
41 - If TYPE == VR_RANGE then MIN holds the minimum value and
42 MAX holds the maximum value of the range [MIN, MAX].
44 - If TYPE == ANTI_RANGE the variable is known to NOT
45 take any values in the range [MIN, MAX]. */
49 /* Set of SSA names whose value ranges are equivalent to this one.
50 This set is only valid when TYPE is VR_RANGE or VR_ANTI_RANGE. */
53 /* Dump value range to stderr. */
57 extern void vrp_intersect_ranges (value_range
*vr0
, const value_range
*vr1
);
58 extern void vrp_meet (value_range
*vr0
, const value_range
*vr1
);
59 extern void dump_value_range (FILE *, const value_range
*);
60 extern void extract_range_from_unary_expr (value_range
*vr
,
63 const value_range
*vr0_
,
66 extern bool vrp_operand_equal_p (const_tree
, const_tree
);
67 extern enum value_range_type intersect_range_with_nonzero_bits
68 (enum value_range_type
, wide_int
*, wide_int
*, const wide_int
&, signop
);
72 /* Predicate code for the ASSERT_EXPR. Must be COMPARISON_CLASS_P. */
73 enum tree_code comp_code
;
75 /* Name to register the assert for. */
78 /* Value being compared against. */
81 /* Expression to compare. */
85 extern void register_edge_assert_for (tree
, edge
, enum tree_code
,
86 tree
, tree
, vec
<assert_info
> &);
87 extern bool stmt_interesting_for_vrp (gimple
*);
88 extern void set_value_range_to_varying (value_range
*);
89 extern bool range_includes_zero_p (const value_range
*);
90 extern bool infer_value_range (gimple
*, tree
, tree_code
*, tree
*);
92 extern void set_value_range_to_nonnull (value_range
*, tree
);
93 extern void set_value_range (value_range
*, enum value_range_type
, tree
,
95 extern void set_and_canonicalize_value_range (value_range
*,
96 enum value_range_type
,
98 extern bool vrp_bitmap_equal_p (const_bitmap
, const_bitmap
);
99 extern tree
value_range_constant_singleton (const value_range
*);
100 extern bool symbolic_range_p (const value_range
*);
101 extern int compare_values (tree
, tree
);
102 extern int compare_values_warnv (tree
, tree
, bool *);
103 extern bool vrp_val_is_min (const_tree
);
104 extern bool vrp_val_is_max (const_tree
);
105 extern void copy_value_range (value_range
*, const value_range
*);
106 extern void set_value_range_to_value (value_range
*, tree
, bitmap
);
107 extern void extract_range_from_binary_expr_1 (value_range
*, enum tree_code
,
108 tree
, const value_range
*,
109 const value_range
*);
110 extern tree
vrp_val_min (const_tree
);
111 extern tree
vrp_val_max (const_tree
);
112 extern void set_value_range_to_null (value_range
*, tree
);
113 extern bool range_int_cst_p (const value_range
*);
114 extern int operand_less_p (tree
, tree
);
115 extern bool find_case_label_range (gswitch
*, tree
, tree
, size_t *, size_t *);
116 extern bool find_case_label_index (gswitch
*, size_t, tree
, size_t *);
117 extern bool vrp_set_zero_nonzero_bits (const tree
, const value_range
*,
118 wide_int
*, wide_int
*);
119 extern bool overflow_comparison_p (tree_code
, tree
, tree
, bool, tree
*);
120 extern bool range_int_cst_singleton_p (const value_range
*);
121 extern int value_inside_range (tree
, tree
, tree
);
122 extern tree
get_single_symbol (tree
, bool *, tree
*);
123 extern void maybe_set_nonzero_bits (edge
, tree
);
124 extern value_range_type
determine_value_range (tree
, wide_int
*, wide_int
*);
126 struct switch_update
{
131 extern vec
<edge
> to_remove_edges
;
132 extern vec
<switch_update
> to_update_switch_stmts
;
134 #endif /* GCC_TREE_VRP_H */