diff options
| author | Jeff Law <law@redhat.com> | 2017-11-10 15:01:53 -0700 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2017-11-10 15:01:53 -0700 |
| commit | 16207ddd2ebdc9379a8ff8b274e4d8bb35d485f5 (patch) | |
| tree | 3fcc1f25c5712068aedb4fa4f8da50ef59b400e9 /gcc/tree-vrp.h | |
| parent | 54df58853072de7f16cb4a30c3c04c3302ea534d (diff) | |
| download | gcc-16207ddd2ebdc9379a8ff8b274e4d8bb35d485f5.zip gcc-16207ddd2ebdc9379a8ff8b274e4d8bb35d485f5.tar.gz gcc-16207ddd2ebdc9379a8ff8b274e4d8bb35d485f5.tar.bz2 | |
vr-values.h (VR_INITIALIZER): Move #define here.
* vr-values.h (VR_INITIALIZER): Move #define here.
* gimple-ssa-evrp.c: New file with contents extracted from tree-vrp.c
* Makefile.in (OBJS): Add tree-evrp.o
* tree-vrp.h (assert_info): Move structure definition here.
(set_value_range_to_varying): Prototype.
(vrp_operand_equal_p, range_includes_zero_p): Likewise.
(infer_value_range, register_edge_assert_for): Likewise.
(stmt_interesting_for_vrp): Likewise.
* tree-vrp.c: Move all methods for evrp class into tree-evrp.c.
(set_value_range_to_varying): No longer static.
(vrp_operand_equal_p, range_includes_zero_p): Likewise.
(infer_value_range, register_edge_assert_for): Likewise.
From-SVN: r254639
Diffstat (limited to 'gcc/tree-vrp.h')
| -rw-r--r-- | gcc/tree-vrp.h | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gcc/tree-vrp.h b/gcc/tree-vrp.h index 1b68956..455a9ac 100644 --- a/gcc/tree-vrp.h +++ b/gcc/tree-vrp.h @@ -60,4 +60,28 @@ extern void extract_range_from_unary_expr (value_range *vr, value_range *vr0_, tree op0_type); +extern bool vrp_operand_equal_p (const_tree, const_tree); + +struct assert_info +{ + /* Predicate code for the ASSERT_EXPR. Must be COMPARISON_CLASS_P. */ + enum tree_code comp_code; + + /* Name to register the assert for. */ + tree name; + + /* Value being compared against. */ + tree val; + + /* Expression to compare. */ + tree expr; +}; + +extern void register_edge_assert_for (tree, edge, enum tree_code, + tree, tree, vec<assert_info> &); +extern bool stmt_interesting_for_vrp (gimple *); +extern void set_value_range_to_varying (value_range *); +extern int range_includes_zero_p (tree, tree); +extern bool infer_value_range (gimple *, tree, tree_code *, tree *); + #endif /* GCC_TREE_VRP_H */ |