Definition genmatch.cc:845
Definition value-query.h:100
bool range_of_expr(vrange &r, tree expr, gimple *=NULL) override
Definition value-query.cc:431
Definition value-query.h:55
virtual tree value_of_expr(tree expr, gimple *=NULL)
Definition value-query.cc:73
virtual bool range_on_edge(vrange &r, edge, tree expr)
Definition value-query.cc:39
virtual bool range_on_entry(vrange &r, basic_block bb, tree expr)
Definition value-query.cc:45
virtual ~range_query()
Definition value-query.cc:186
bool get_arith_expr_range(vrange &r, tree expr, gimple *stmt)
relation_oracle * oracle() const
Definition value-query.h:84
virtual bool range_of_expr(vrange &r, tree expr, gimple *=NULL)=0
range_query()
Definition value-query.cc:181
virtual bool range_of_stmt(vrange &r, gimple *, tree name=NULL)
Definition value-query.cc:57
virtual tree value_on_edge(edge, tree expr)
Definition value-query.cc:98
virtual tree value_on_entry(basic_block, tree expr)
Definition value-query.cc:142
relation_oracle * m_oracle
Definition value-query.h:94
virtual bool range_on_exit(vrange &r, basic_block bb, tree expr)
Definition value-query.cc:51
virtual tree value_on_exit(basic_block, tree expr)
Definition value-query.cc:161
bool invoke_range_of_expr(vrange &v, tree expr, gimple *stmt, basic_block bbentry, basic_block bbexit)
Definition value-query.cc:196
relation_kind query_relation(gimple *s, tree ssa1, tree ssa2, bool get_range=true)
Definition value-query.cc:446
virtual void dump(FILE *)
Definition value-query.cc:177
bool get_tree_range(vrange &v, tree expr, gimple *stmt, basic_block bbentry=NULL, basic_block bbexit=NULL)
Definition value-query.cc:218
virtual tree value_of_stmt(gimple *, tree name=NULL)
Definition value-query.cc:121
Definition value-relation.h:98
Definition value-range.h:78
class edge_def * edge
Definition coretypes.h:342
union tree_node * tree
Definition coretypes.h:97
#define cfun
Definition function.h:475
T * ggc_alloc(ALONE_CXX_MEM_STAT_INFO)
Definition ggc.h:184
poly_int< N, C > r
Definition poly-int.h:770
Definition basic-block.h:117
Definition function.h:249
range_query * x_range_query
Definition function.h:314
#define NULL
Definition system.h:50
tree get_range(tree val, gimple *stmt, wide_int minmax[2], range_query *rvals)
Definition tree-ssa-strlen.cc:205
void gimple_range_global(vrange &v, tree name, struct function *f=cfun)
Definition value-query.cc:374
range_query * get_global_range_query()
Definition value-query.h:108
ATTRIBUTE_RETURNS_NONNULL range_query * get_range_query(const struct function *fun)
Definition value-query.h:117
global_range_query global_ranges
Definition value-query.cc:428
enum relation_kind_t relation_kind