invariant_expr_hasher Struct Reference

Inheritance diagram for invariant_expr_hasher:

Collaboration diagram for invariant_expr_hasher:

Public Types
typedef invariant_expr_entry *	value_type
typedef invariant_expr_entry *	compare_type

Static Public Member Functions
static hashval_t	hash (const invariant_expr_entry *)
static bool	equal (const invariant_expr_entry *, const invariant_expr_entry *)
static hashval_t	hash (const value_type &)
static bool	equal (const value_type &existing, const compare_type &candidate)
static void	mark_deleted (invariant_expr_entry *&)
static void	mark_empty (invariant_expr_entry *&)
static bool	is_deleted (invariant_expr_entry *)
static bool	is_empty (invariant_expr_entry *)
static void	remove (invariant_expr_entry *p)

Static Public Attributes
static const bool	empty_zero_p

Member Typedef Documentation

compare_type

invariant_expr_entry* pointer_hash< invariant_expr_entry >::compare_type

inherited

value_type

invariant_expr_entry* pointer_hash< invariant_expr_entry >::value_type

inherited

Member Function Documentation

equal() [1/2]

bool invariant_expr_hasher::equal ( const invariant_expr_entry * entry1, const invariant_expr_entry * entry2 )

inlinestatic

Compares invariant expression entries ENTRY1 and ENTRY2.   

References invariant_expr_entry::expr, invariant::insn, invariant_expr_entry::inv, invariant_expr_equal_p(), and invariant_expr_entry::mode.

equal() [2/2]

bool pointer_hash< invariant_expr_entry >::equal ( const value_type & existing, const compare_type & candidate )

inlinestaticinherited

hash() [1/2]

hashval_t invariant_expr_hasher::hash ( const invariant_expr_entry * entry )

inlinestatic

Returns hash value for invariant expression entry ENTRY.   

References invariant_expr_entry::hash.

hash() [2/2]

hashval_t pointer_hash< invariant_expr_entry >::hash ( const value_type & candidate )

inlinestaticinherited

is_deleted()

bool pointer_hash< invariant_expr_entry >::is_deleted ( invariant_expr_entry * e )

inlinestaticinherited

is_empty()

bool pointer_hash< invariant_expr_entry >::is_empty ( invariant_expr_entry * e )

inlinestaticinherited

mark_deleted()

void pointer_hash< invariant_expr_entry >::mark_deleted ( invariant_expr_entry *& e )

inlinestaticinherited

mark_empty()

void pointer_hash< invariant_expr_entry >::mark_empty ( invariant_expr_entry *& e )

inlinestaticinherited

remove()

void typed_free_remove< invariant_expr_entry >::remove ( invariant_expr_entry * p )

inlinestaticinherited

Remove with free.   

Field Documentation

empty_zero_p

const bool pointer_hash< invariant_expr_entry >::empty_zero_p

staticinherited

---

The documentation for this struct was generated from the following file:

• loop-invariant.cc