GCC Middle and Back End API Reference
tree-vrp.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_TREE_VRP_H
21#define GCC_TREE_VRP_H
22
23#include "value-range.h"
24
25extern int compare_values (tree, tree);
26extern int compare_values_warnv (tree, tree, bool *);
27
29 (enum value_range_kind, wide_int *, wide_int *, const wide_int &, signop);
30
31extern bool find_case_label_range (gswitch *, tree, tree, size_t *, size_t *);
32extern tree find_case_label_range (gswitch *, const irange *vr);
33extern bool find_case_label_index (gswitch *, size_t, tree, size_t *);
35
36#endif /* GCC_TREE_VRP_H */
Definition value-range.h:273
union tree_node * tree
Definition coretypes.h:97
tree_code
Definition genmatch.cc:992
signop
Definition signop.h:28
Definition gimple.h:891
bool find_case_label_index(gswitch *, size_t, tree, size_t *)
Definition tree-vrp.cc:817
int compare_values(tree, tree)
Definition tree-vrp.cc:718
bool overflow_comparison_p(tree_code, tree, tree, tree *)
Definition tree-vrp.cc:795
int compare_values_warnv(tree, tree, bool *)
Definition tree-vrp.cc:553
enum value_range_kind intersect_range_with_nonzero_bits(enum value_range_kind, wide_int *, wide_int *, const wide_int &, signop)
Definition tree-vrp.cc:418
bool find_case_label_range(gswitch *, tree, tree, size_t *, size_t *)
Definition tree-vrp.cc:867
value_range_kind
Definition value-range.h:29