diff options
Diffstat (limited to 'gcc/tree-vrp.h')
| -rw-r--r-- | gcc/tree-vrp.h | 68 |
1 files changed, 67 insertions, 1 deletions
diff --git a/gcc/tree-vrp.h b/gcc/tree-vrp.h index f84403a0f83..a0f72db2627 100644 --- a/gcc/tree-vrp.h +++ b/gcc/tree-vrp.h @@ -20,7 +20,7 @@ along with GCC; see the file COPYING3. If not see #ifndef GCC_TREE_VRP_H #define GCC_TREE_VRP_H -/* Type of value ranges. See value_range_d In tree-vrp.c for a +/* Type of value ranges. See value_range below for a description of these types. */ enum value_range_type { VR_UNDEFINED, VR_RANGE, VR_ANTI_RANGE, VR_VARYING, VR_LAST }; @@ -60,4 +60,70 @@ 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 *); + +extern void set_value_range_to_nonnull (value_range *, tree); +extern void set_value_range (value_range *, enum value_range_type, tree, + tree, bitmap); +extern void set_and_canonicalize_value_range (value_range *, + enum value_range_type, + tree, tree, bitmap); +extern bool vrp_bitmap_equal_p (const_bitmap, const_bitmap); +extern bool range_is_nonnull (value_range *); +extern tree value_range_constant_singleton (value_range *); +extern bool symbolic_range_p (value_range *); +extern int compare_values (tree, tree); +extern int compare_values_warnv (tree, tree, bool *); +extern bool vrp_val_is_min (const_tree); +extern bool vrp_val_is_max (const_tree); +extern void copy_value_range (value_range *, value_range *); +extern void set_value_range_to_value (value_range *, tree, bitmap); +extern void extract_range_from_binary_expr_1 (value_range *, enum tree_code, + tree, value_range *, + value_range *); +extern tree vrp_val_min (const_tree); +extern tree vrp_val_max (const_tree); +extern void set_value_range_to_null (value_range *, tree); +extern bool range_int_cst_p (value_range *); +extern int operand_less_p (tree, tree); +extern bool find_case_label_range (gswitch *, tree, tree, size_t *, size_t *); +extern bool find_case_label_index (gswitch *, size_t, tree, size_t *); +extern bool zero_nonzero_bits_from_vr (const tree, value_range *, + wide_int *, wide_int *); +extern bool overflow_comparison_p (tree_code, tree, tree, bool, tree *); +extern bool range_int_cst_singleton_p (value_range *); +extern int value_inside_range (tree, tree, tree); +extern tree get_single_symbol (tree, bool *, tree *); + + +struct switch_update { + gswitch *stmt; + tree vec; +}; + +extern vec<edge> to_remove_edges; +extern vec<switch_update> to_update_switch_stmts; + #endif /* GCC_TREE_VRP_H */ |