GCC Middle and Back End API Reference
vr-values.h
Go to the documentation of this file.
1/* Support routines for Value Range Propagation (VRP).
2 Copyright (C) 2016-2024 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_VR_VALUES_H
21#define GCC_VR_VALUES_H
22
23#include "value-query.h"
24
25// Abstract class to return a range for a given SSA.
26
27// Class to simplify a statement using range information.
28
30{
31public:
33 int not_executable_flag = 0);
36 bool fold_cond (gcond *);
37private:
38 void legacy_fold_cond (gcond *, edge *);
41 bool simplify_casted_compare (tree_code &cond_code, tree &op0, tree &op1);
52 gimple *);
54
59
60 /* Vectors of edges that need removing and switch statements that
61 need updating. It is expected that a pass using the simplification
62 routines will, at the end of the pass, clean up the edges and
63 switch statements. The class dtor will try to detect cases
64 that do not follow that expectation. */
69
73 int m_not_executable_flag; // Non zero if not_executable flag exists.
74 vec<edge> m_flag_set_edges; // List of edges with flag to be cleared.
75};
76
77extern bool range_fits_type_p (const irange *vr,
78 unsigned dest_precision, signop dest_sgn);
79extern bool range_of_var_in_loop (vrange &, tree var, class loop *, gimple *,
80 range_query *);
81
82#endif /* GCC_VR_VALUES_H */
Definition value-range.h:273
Definition cfgloop.h:120
Definition value-query.h:55
Definition vr-values.h:30
vec< edge > m_flag_set_edges
Definition vr-values.h:74
bool simplify_float_conversion_using_ranges(gimple_stmt_iterator *, gimple *)
Definition vr-values.cc:1642
bool simplify_div_or_mod_using_ranges(gimple_stmt_iterator *, gimple *)
Definition vr-values.cc:640
bool simplify_min_or_max_using_ranges(gimple_stmt_iterator *, gimple *)
Definition vr-values.cc:753
bool op_with_boolean_value_range_p(tree, gimple *)
Definition vr-values.cc:58
bool simplify_internal_call_using_ranges(gimple_stmt_iterator *, gimple *)
Definition vr-values.cc:1712
bool simplify_bit_ops_using_ranges(gimple_stmt_iterator *, gimple *)
Definition vr-values.cc:839
void cleanup_edges_and_switches(void)
Definition vr-values.cc:1514
bool simplify_compare_using_ranges_1(tree_code &, tree &, tree &, gimple *)
Definition vr-values.cc:1220
bool simplify_cond_using_ranges_1(gcond *)
Definition vr-values.cc:1133
vec< edge > to_remove_edges
Definition vr-values.h:70
bool simplify_truth_ops_using_ranges(gimple_stmt_iterator *, gimple *)
Definition vr-values.cc:559
class range_query * query
Definition vr-values.h:72
simplify_using_ranges(range_query *query=NULL, int not_executable_flag=0)
Definition vr-values.cc:1835
bool two_valued_val_range_p(tree, tree *, tree *, gimple *)
Definition vr-values.cc:1814
bool simplify_compare_assign_using_ranges_1(gimple_stmt_iterator *, gimple *)
Definition vr-values.cc:1172
bool fold_cond(gcond *)
Definition vr-values.cc:1061
bool simplify_casted_compare(tree_code &cond_code, tree &op0, tree &op1)
Definition vr-values.cc:1271
int m_not_executable_flag
Definition vr-values.h:73
void set_and_propagate_unexecutable(edge e)
Definition vr-values.cc:1033
~simplify_using_ranges()
Definition vr-values.cc:1845
bool simplify_switch_using_ranges(gswitch *)
Definition vr-values.cc:1334
void legacy_fold_cond(gcond *, edge *)
Definition vr-values.cc:434
bool simplify(gimple_stmt_iterator *)
Definition vr-values.cc:1854
bool simplify_abs_using_ranges(gimple_stmt_iterator *, gimple *)
Definition vr-values.cc:782
vec< switch_update > to_update_switch_stmts
Definition vr-values.h:71
tree fold_cond_with_ops(tree_code, tree, tree, gimple *s)
Definition vr-values.cc:310
tree legacy_fold_cond_overflow(gimple *stmt)
Definition vr-values.cc:334
Definition value-range.h:78
class edge_def * edge
Definition coretypes.h:352
union tree_node * tree
Definition coretypes.h:97
tree_code
Definition genmatch.cc:334
signop
Definition signop.h:28
Definition gimple.h:854
Definition gimple-iterator.h:26
Definition gimple.h:221
Definition gimple.h:891
Definition vr-values.h:65
gswitch * stmt
Definition vr-values.h:66
tree vec
Definition vr-values.h:67
Definition vec.h:450
#define NULL
Definition system.h:50
bool range_of_var_in_loop(vrange &, tree var, class loop *, gimple *, range_query *)
Definition vr-values.cc:266
bool range_fits_type_p(const irange *vr, unsigned dest_precision, signop dest_sgn)
Definition vr-values.cc:978