21#ifndef GCC_VALUE_RELATION_H
22#define GCC_VALUE_RELATION_H
113 virtual void dump (FILE *)
const { }
145 void dump (FILE *f)
const;
175 void dump (FILE *f)
const override;
235 void dump (FILE *f)
const final override;
283 void dump (FILE *)
const final override;
299 bool full =
true,
bool partial =
false);
311#define FOR_EACH_EQUIVALENCE(oracle, bb, name, equiv_name) \
312 for (equiv_relation_iterator iter (oracle, bb, name, true, false); \
313 ((equiv_name) = iter.get_name ()); \
311#define FOR_EACH_EQUIVALENCE(oracle, bb, name, equiv_name) \ …
316#define FOR_EACH_PARTIAL_EQUIV(oracle, bb, name, equiv_name, equiv_rel) \
317 for (equiv_relation_iterator iter (oracle, bb, name, false, true); \
318 ((equiv_name) = iter.get_name (&equiv_rel)); \
316#define FOR_EACH_PARTIAL_EQUIV(oracle, bb, name, equiv_name, equiv_rel) \ …
321#define FOR_EACH_PARTIAL_AND_FULL_EQUIV(oracle, bb, name, equiv_name, \
323 for (equiv_relation_iterator iter (oracle, bb, name, true, true); \
324 ((equiv_name) = iter.get_name (&equiv_rel)); \
355#define TRIO_VARYING relation_trio ()
358#define TRIO_MASK 0x000F
444 void dump (FILE *f)
const;
493#define FOR_EACH_RELATION_BB(oracle, bb, vr) \
494 for (block_relation_iterator iter (oracle, bb, vr); \
496 iter.get_next_relation (vr))
493#define FOR_EACH_RELATION_BB(oracle, bb, vr) \ …
498#define FOR_EACH_RELATION_NAME(oracle, bb, name, vr) \
499 for (block_relation_iterator iter (oracle, bb, vr, name); \
501 iter.get_next_relation (vr))
498#define FOR_EACH_RELATION_NAME(oracle, bb, name, vr) \ …
const relation_oracle * m_oracle
Definition value-relation.h:486
basic_block m_bb
Definition value-relation.h:487
void get_next_relation(value_relation &vr)
Definition value-relation.cc:1013
block_relation_iterator(const relation_oracle *oracle, basic_block bb, value_relation &, tree name=NULL)
Definition value-relation.cc:992
bool m_done
Definition value-relation.h:489
tree m_name
Definition value-relation.h:490
relation_chain * m_ptr
Definition value-relation.h:488
void record(basic_block bb, relation_kind k, tree op1, tree op2) final override
Definition value-relation.cc:1157
bitmap m_tmp2
Definition value-relation.h:240
relation_chain * set_one_relation(basic_block bb, relation_kind k, tree op1, tree op2)
Definition value-relation.cc:1186
relation_kind find_relation_dom(basic_block bb, unsigned v1, unsigned v2) const
Definition value-relation.cc:1455
~dom_oracle()
Definition value-relation.cc:1076
void register_transitives(basic_block, const class value_relation &)
Definition value-relation.cc:1265
bool m_do_trans_p
Definition value-relation.h:239
void dump(FILE *f, basic_block bb) const final override
Definition value-relation.cc:1513
bitmap m_relation_set
Definition value-relation.h:241
relation_kind query(basic_block bb, tree ssa1, tree ssa2) final override
Definition value-relation.cc:1476
relation_kind find_relation_block(unsigned bb, const_bitmap b1, const_bitmap b2) const
Definition value-relation.cc:1376
dom_oracle(bool do_trans_p=true)
Definition value-relation.cc:1064
bitmap m_tmp
Definition value-relation.h:240
virtual relation_chain * next_relation(basic_block, relation_chain *, tree) const
Definition value-relation.cc:965
vec< relation_chain_head > m_relations
Definition value-relation.h:242
Definition value-relation.h:140
void dump(FILE *f) const
Definition value-relation.cc:295
equiv_chain * find(unsigned ssa)
Definition value-relation.cc:278
equiv_chain * m_next
Definition value-relation.h:144
bitmap m_names
Definition value-relation.h:142
basic_block m_bb
Definition value-relation.h:143
relation_kind partial_equiv(tree ssa1, tree ssa2, tree *base=NULL) const
Definition value-relation.cc:435
bool has_equiv_p(unsigned v)
Definition value-relation.h:180
equiv_chain * find_equiv_dom(tree name, basic_block bb) const
Definition value-relation.cc:520
const_bitmap equiv_set(tree ssa, basic_block bb) final override
Definition value-relation.cc:459
vec< pe_slice > m_partial
Definition value-relation.h:187
bitmap m_equiv_set
Definition value-relation.h:184
bitmap_obstack m_bitmaps
Definition value-relation.h:181
void record(basic_block bb, relation_kind k, tree ssa1, tree ssa2) override
Definition value-relation.cc:632
void limit_check(basic_block bb=NULL)
Definition value-relation.cc:723
struct obstack m_chain_obstack
Definition value-relation.h:182
vec< bitmap > m_self_equiv
Definition value-relation.h:186
~equiv_oracle()
Definition value-relation.cc:334
equiv_oracle()
Definition value-relation.cc:318
void add_partial_equiv(relation_kind, tree, tree)
Definition value-relation.cc:346
void dump(FILE *f, basic_block bb) const override
Definition value-relation.cc:733
relation_kind query(basic_block, tree, tree) override
Definition value-relation.cc:482
equiv_chain * find_equiv_block(unsigned ssa, int bb) const
Definition value-relation.cc:508
vec< equiv_chain * > m_equiv
Definition value-relation.h:185
const pe_slice * partial_equiv_set(tree name) final override
Definition value-relation.cc:422
void add_equiv_to_block(basic_block bb, bitmap equiv)
Definition value-relation.cc:692
void register_initial_def(tree ssa)
Definition value-relation.cc:606
bitmap register_equiv(basic_block bb, unsigned v, equiv_chain *equiv_1)
Definition value-relation.cc:542
const pe_slice * m_pe
Definition value-relation.h:305
tree get_name(relation_kind *rel=NULL)
Definition value-relation.cc:1824
tree m_name
Definition value-relation.h:308
relation_oracle * m_oracle
Definition value-relation.h:303
unsigned m_y
Definition value-relation.h:307
bitmap_iterator m_bi
Definition value-relation.h:306
const_bitmap m_bm
Definition value-relation.h:304
void next()
Definition value-relation.cc:1815
equiv_relation_iterator(relation_oracle *oracle, basic_block bb, tree name, bool full=true, bool partial=false)
Definition value-relation.cc:1796
equiv_chain m_equiv
Definition value-relation.h:286
relation_kind query(basic_block, tree, tree) final override
Definition value-relation.cc:1731
relation_oracle * m_root
Definition value-relation.h:288
void reset_path(relation_oracle *oracle=NULL)
Definition value-relation.cc:1751
void dump(FILE *, basic_block) const final override
Definition value-relation.cc:1764
void record(basic_block, relation_kind, tree, tree) final override
Definition value-relation.cc:1670
void killing_def(tree)
Definition value-relation.cc:1623
struct obstack m_chain_obstack
Definition value-relation.h:292
bitmap_obstack m_bitmaps
Definition value-relation.h:291
path_oracle(relation_oracle *oracle=NULL)
Definition value-relation.cc:1551
bitmap m_killed_defs
Definition value-relation.h:289
void set_root_oracle(relation_oracle *oracle)
Definition value-relation.h:281
~path_oracle()
Definition value-relation.cc:1566
void register_equiv(basic_block bb, tree ssa1, tree ssa2)
Definition value-relation.cc:1597
const_bitmap equiv_set(tree, basic_block) final override
Definition value-relation.cc:1576
relation_chain_head m_relations
Definition value-relation.h:287
Definition value-relation.h:150
tree ssa_base
Definition value-relation.h:152
relation_kind code
Definition value-relation.h:153
bitmap members
Definition value-relation.h:154
Definition value-relation.h:203
relation_kind find_relation(const_bitmap b1, const_bitmap b2) const
Definition value-relation.cc:1038
bitmap m_names
Definition value-relation.h:205
int m_num_relations
Definition value-relation.h:207
class relation_chain * m_head
Definition value-relation.h:206
Definition value-relation.cc:954
Definition value-relation.h:98
relation_kind query(gimple *s, tree ssa1, tree ssa2)
Definition value-relation.cc:236
virtual void dump(FILE *, basic_block) const
Definition value-relation.h:112
virtual ~relation_oracle()
Definition value-relation.h:100
virtual relation_kind query(basic_block, tree, tree)
Definition value-relation.h:110
friend class path_oracle
Definition value-relation.h:130
virtual void dump(FILE *) const
Definition value-relation.h:113
void debug() const
Definition value-relation.cc:1546
virtual const class pe_slice * partial_equiv_set(tree)
Definition value-relation.h:125
virtual void record(basic_block, relation_kind, tree, tree)
Definition value-relation.h:105
void valid_equivs(bitmap b, const_bitmap equivs, basic_block bb)
Definition value-relation.cc:215
void record(gimple *, relation_kind, tree, tree)
Definition value-relation.cc:1084
virtual relation_kind query(basic_block, const_bitmap, const_bitmap)
Definition value-relation.h:128
friend class block_relation_iterator
Definition value-relation.h:117
virtual const_bitmap equiv_set(tree, basic_block)
Definition value-relation.h:123
virtual class relation_chain * next_relation(basic_block, relation_chain *, tree) const
Definition value-relation.h:118
friend class equiv_relation_iterator
Definition value-relation.h:116
Definition value-relation.h:336
relation_kind op1_op2()
Definition value-relation.h:410
relation_kind lhs_op2()
Definition value-relation.h:404
unsigned m_val
Definition value-relation.h:351
relation_trio swap_op1_op2()
Definition value-relation.h:416
relation_trio()
Definition value-relation.h:364
relation_kind lhs_op1()
Definition value-relation.h:398
Definition value-relation.h:428
tree name1
Definition value-relation.h:447
relation_trio create_trio(tree lhs, tree op1, tree op2)
Definition value-relation.cc:903
tree name2
Definition value-relation.h:447
bool union_(value_relation &p)
Definition value-relation.cc:817
void set_relation(relation_kind kind, tree n1, tree n2)
Definition value-relation.h:453
void dump(FILE *f) const
Definition value-relation.cc:937
value_relation()
Definition value-relation.h:465
relation_kind kind() const
Definition value-relation.h:434
relation_kind related
Definition value-relation.h:446
bool apply_transitive(const value_relation &rel)
Definition value-relation.cc:836
tree op1() const
Definition value-relation.h:435
void swap()
Definition value-relation.cc:787
tree op2() const
Definition value-relation.h:436
bool intersect(value_relation &p)
Definition value-relation.cc:799
Definition value-range.h:78
struct basic_block_def * basic_block
Definition coretypes.h:355
class edge_def * edge
Definition coretypes.h:352
const class bitmap_head * const_bitmap
Definition coretypes.h:52
class bitmap_head * bitmap
Definition coretypes.h:51
union tree_node * tree
Definition coretypes.h:97
int i2
Definition fp-test.cc:66
int i1
Definition fp-test.cc:66
static struct obstack obstack
Definition gcc.cc:364
#define bitmap_bit_p(bitstring, bitno)
Definition genautomata.cc:3429
poly_int< N, C > r
Definition poly-int.h:774
Ca const poly_int< N, Cb > & b
Definition poly-int.h:771
#define NULL
Definition system.h:50
#define MIN(X, Y)
Definition system.h:396
#define STATIC_ASSERT(X)
Definition system.h:864
#define gcc_checking_assert(EXPR)
Definition system.h:821
#define TREE_CODE(NODE)
Definition tree.h:324
#define NULL_TREE
Definition tree.h:317
relation_oracle default_relation_oracle
Definition value-query.cc:183
void adjust_equivalence_range(vrange &range)
Definition value-relation.cc:191
#define TRIO_MASK
Definition value-relation.h:358
enum relation_kind_t relation_kind
#define TRIO_SHIFT
Definition value-relation.h:357
relation_kind relation_intersect(relation_kind r1, relation_kind r2)
Definition value-relation.cc:105
int pe_to_bits(relation_kind t)
Definition value-relation.h:508
relation_kind_t
Definition value-relation.h:64
@ VREL_PE8
Definition value-relation.h:73
@ VREL_PE16
Definition value-relation.h:74
@ VREL_GT
Definition value-relation.h:69
@ VREL_LT
Definition value-relation.h:67
@ VREL_LE
Definition value-relation.h:68
@ VREL_LAST
Definition value-relation.h:77
@ VREL_NE
Definition value-relation.h:72
@ VREL_EQ
Definition value-relation.h:71
@ VREL_PE32
Definition value-relation.h:75
@ VREL_VARYING
Definition value-relation.h:65
@ VREL_UNDEFINED
Definition value-relation.h:66
@ VREL_GE
Definition value-relation.h:70
@ VREL_PE64
Definition value-relation.h:76
relation_kind relation_union(relation_kind r1, relation_kind r2)
Definition value-relation.cc:142
relation_kind pe_min(relation_kind t1, relation_kind t2)
Definition value-relation.h:549
void print_relation(FILE *f, relation_kind rel)
Definition value-relation.cc:42
bool relation_partial_equiv_p(relation_kind r)
Definition value-relation.h:87
relation_kind bits_to_pe(int bits)
Definition value-relation.h:529
bool relation_equiv_p(relation_kind r)
Definition value-relation.h:89
relation_kind relation_swap(relation_kind r)
Definition value-relation.cc:68
relation_kind relation_negate(relation_kind r)
Definition value-relation.cc:55
bool relation_lt_le_gt_ge_p(relation_kind r)
Definition value-relation.h:85