diff options
Diffstat (limited to 'gcc/tree-ssa-propagate.h')
| -rw-r--r-- | gcc/tree-ssa-propagate.h | 35 |
1 files changed, 34 insertions, 1 deletions
diff --git a/gcc/tree-ssa-propagate.h b/gcc/tree-ssa-propagate.h index f0124f4..f7265fe 100644 --- a/gcc/tree-ssa-propagate.h +++ b/gcc/tree-ssa-propagate.h @@ -73,6 +73,39 @@ struct prop_value_d { typedef struct prop_value_d prop_value_t; +/* Type of value ranges. See value_range_d for a description of these + types. */ +enum value_range_type { VR_UNDEFINED, VR_RANGE, VR_ANTI_RANGE, VR_VARYING }; + +/* Range of values that can be associated with an SSA_NAME after VRP + has executed. */ +struct value_range_d +{ + /* Lattice value represented by this range. */ + enum value_range_type type; + + /* Minimum and maximum values represented by this range. These + values should be interpreted as follows: + + - If TYPE is VR_UNDEFINED or VR_VARYING then MIN and MAX must + be NULL. + + - If TYPE == VR_RANGE then MIN holds the minimum value and + MAX holds the maximum value of the range [MIN, MAX]. + + - If TYPE == ANTI_RANGE the variable is known to NOT + take any values in the range [MIN, MAX]. */ + tree min; + tree max; + + /* Set of SSA names whose value ranges are equivalent to this one. + This set is only valid when TYPE is VR_RANGE or VR_ANTI_RANGE. */ + bitmap equiv; +}; + +typedef struct value_range_d value_range_t; + + /* Call-back functions used by the value propagation engine. */ typedef enum ssa_prop_result (*ssa_prop_visit_stmt_fn) (tree, edge *, tree *); typedef enum ssa_prop_result (*ssa_prop_visit_phi_fn) (tree); @@ -87,6 +120,6 @@ bool stmt_makes_single_load (tree); bool stmt_makes_single_store (tree); prop_value_t *get_value_loaded_by (tree, prop_value_t *); bool replace_uses_in (tree, bool *, prop_value_t *); -void substitute_and_fold (prop_value_t *); +void substitute_and_fold (prop_value_t *, bool); #endif /* _TREE_SSA_PROPAGATE_H */ |