21#ifndef GCC_VALUE_RELATION_H
22#define GCC_VALUE_RELATION_H
113 virtual void dump (FILE *)
const { }
140 void dump (FILE *f)
const;
170 void dump (FILE *f)
const override;
230 void dump (FILE *f)
const final override;
276 void dump (FILE *)
const final override;
292 bool full =
true,
bool partial =
false);
304#define FOR_EACH_EQUIVALENCE(oracle, bb, name, equiv_name) \
305 for (equiv_relation_iterator iter (oracle, bb, name, true, false); \
306 ((equiv_name) = iter.get_name ()); \
309#define FOR_EACH_PARTIAL_EQUIV(oracle, bb, name, equiv_name, equiv_rel) \
310 for (equiv_relation_iterator iter (oracle, bb, name, false, true); \
311 ((equiv_name) = iter.get_name (&equiv_rel)); \
314#define FOR_EACH_PARTIAL_AND_FULL_EQUIV(oracle, bb, name, equiv_name, \
316 for (equiv_relation_iterator iter (oracle, bb, name, true, true); \
317 ((equiv_name) = iter.get_name (&equiv_rel)); \
348#define TRIO_VARYING relation_trio ()
351#define TRIO_MASK 0x000F
437 void dump (FILE *f)
const;
void record(basic_block bb, relation_kind k, tree op1, tree op2) final override
Definition value-relation.cc:1079
bitmap m_tmp2
Definition value-relation.h:233
relation_chain * set_one_relation(basic_block bb, relation_kind k, tree op1, tree op2)
Definition value-relation.cc:1108
relation_kind find_relation_dom(basic_block bb, unsigned v1, unsigned v2) const
Definition value-relation.cc:1377
~dom_oracle()
Definition value-relation.cc:998
void register_transitives(basic_block, const class value_relation &)
Definition value-relation.cc:1187
bool m_do_trans_p
Definition value-relation.h:232
void dump(FILE *f, basic_block bb) const final override
Definition value-relation.cc:1435
bitmap m_relation_set
Definition value-relation.h:234
relation_kind query(basic_block bb, tree ssa1, tree ssa2) final override
Definition value-relation.cc:1398
relation_kind find_relation_block(unsigned bb, const_bitmap b1, const_bitmap b2) const
Definition value-relation.cc:1298
dom_oracle(bool do_trans_p=true)
Definition value-relation.cc:986
bitmap m_tmp
Definition value-relation.h:233
vec< relation_chain_head > m_relations
Definition value-relation.h:235
Definition value-relation.h:135
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:139
bitmap m_names
Definition value-relation.h:137
basic_block m_bb
Definition value-relation.h:138
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:175
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:182
bitmap m_equiv_set
Definition value-relation.h:179
bitmap_obstack m_bitmaps
Definition value-relation.h:176
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:177
vec< bitmap > m_self_equiv
Definition value-relation.h:181
~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:180
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:298
tree get_name(relation_kind *rel=NULL)
Definition value-relation.cc:1746
tree m_name
Definition value-relation.h:301
relation_oracle * m_oracle
Definition value-relation.h:296
unsigned m_y
Definition value-relation.h:300
bitmap_iterator m_bi
Definition value-relation.h:299
const_bitmap m_bm
Definition value-relation.h:297
void next()
Definition value-relation.cc:1737
equiv_relation_iterator(relation_oracle *oracle, basic_block bb, tree name, bool full=true, bool partial=false)
Definition value-relation.cc:1718
equiv_chain m_equiv
Definition value-relation.h:279
relation_kind query(basic_block, tree, tree) final override
Definition value-relation.cc:1653
relation_oracle * m_root
Definition value-relation.h:281
void reset_path(relation_oracle *oracle=NULL)
Definition value-relation.cc:1673
void dump(FILE *, basic_block) const final override
Definition value-relation.cc:1686
void record(basic_block, relation_kind, tree, tree) final override
Definition value-relation.cc:1592
void killing_def(tree)
Definition value-relation.cc:1545
struct obstack m_chain_obstack
Definition value-relation.h:285
bitmap_obstack m_bitmaps
Definition value-relation.h:284
path_oracle(relation_oracle *oracle=NULL)
Definition value-relation.cc:1473
bitmap m_killed_defs
Definition value-relation.h:282
void set_root_oracle(relation_oracle *oracle)
Definition value-relation.h:274
~path_oracle()
Definition value-relation.cc:1488
void register_equiv(basic_block bb, tree ssa1, tree ssa2)
Definition value-relation.cc:1519
const_bitmap equiv_set(tree, basic_block) final override
Definition value-relation.cc:1498
relation_chain_head m_relations
Definition value-relation.h:280
Definition value-relation.h:145
tree ssa_base
Definition value-relation.h:147
relation_kind code
Definition value-relation.h:148
bitmap members
Definition value-relation.h:149
Definition value-relation.h:198
relation_kind find_relation(const_bitmap b1, const_bitmap b2) const
Definition value-relation.cc:960
bitmap m_names
Definition value-relation.h:200
int m_num_relations
Definition value-relation.h:202
class relation_chain * m_head
Definition value-relation.h:201
Definition value-relation.cc:949
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:125
virtual void dump(FILE *) const
Definition value-relation.h:113
void debug() const
Definition value-relation.cc:1468
virtual const class pe_slice * partial_equiv_set(tree)
Definition value-relation.h:120
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:1006
virtual relation_kind query(basic_block, const_bitmap, const_bitmap)
Definition value-relation.h:123
virtual const_bitmap equiv_set(tree, basic_block)
Definition value-relation.h:118
friend class equiv_relation_iterator
Definition value-relation.h:116
Definition value-relation.h:329
relation_kind op1_op2()
Definition value-relation.h:403
relation_kind lhs_op2()
Definition value-relation.h:397
unsigned m_val
Definition value-relation.h:344
relation_trio swap_op1_op2()
Definition value-relation.h:409
relation_trio()
Definition value-relation.h:357
relation_kind lhs_op1()
Definition value-relation.h:391
Definition value-relation.h:421
tree name1
Definition value-relation.h:440
void negate()
Definition value-relation.cc:786
relation_trio create_trio(tree lhs, tree op1, tree op2)
Definition value-relation.cc:898
tree name2
Definition value-relation.h:440
bool union_(value_relation &p)
Definition value-relation.cc:812
void set_relation(relation_kind kind, tree n1, tree n2)
Definition value-relation.h:446
void dump(FILE *f) const
Definition value-relation.cc:932
value_relation()
Definition value-relation.h:458
relation_kind kind() const
Definition value-relation.h:427
relation_kind related
Definition value-relation.h:439
bool apply_transitive(const value_relation &rel)
Definition value-relation.cc:831
tree op1() const
Definition value-relation.h:428
tree op2() const
Definition value-relation.h:429
bool intersect(value_relation &p)
Definition value-relation.cc:794
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:361
#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:351
enum relation_kind_t relation_kind
#define TRIO_SHIFT
Definition value-relation.h:350
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:477
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:518
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:498
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