Searched refs:sat_entry (Results 1 – 4 of 4) sorted by relevance
2281 struct GTY((for_user)) sat_entry struct2288 struct sat_hasher : ggc_ptr_hash<sat_entry> argument2290 static hashval_t hash (sat_entry *e) in hash()2296 static bool equal (sat_entry *e1, sat_entry *e2) in equal()2315 sat_entry elt = { constr, args, NULL_TREE }; in get_satisfaction()2316 sat_entry* found = sat_cache->find (&elt); in get_satisfaction()2328 sat_entry elt = {constr, args, result}; in save_satisfaction()2329 sat_entry** slot = sat_cache->find_slot (&elt, INSERT); in save_satisfaction()2330 sat_entry* entry = ggc_alloc<sat_entry> (); in save_satisfaction()
2429 struct GTY((for_user)) sat_entry struct2464 struct sat_hasher : ggc_ptr_hash<sat_entry> argument2466 static hashval_t hash (sat_entry *e) in hash()2500 static bool equal (sat_entry *e1, sat_entry *e2) in equal()2549 sat_entry *entry;2585 sat_entry elt; in satisfaction_cache()2588 sat_entry **slot = sat_cache->find_slot (&elt, INSERT); in satisfaction_cache()2593 entry = ggc_alloc<sat_entry> (); in satisfaction_cache()
99 (sat_entry::maybe_unstable): Replace with ...100 (sat_entry::ftc_begin, sat_entry::ftc_end): ... these.115 * constraint.cc (sat_entry::evaluating): New member.127 (sat_entry::constr): Rename to ...128 (sat_entry::atom): ... this.129 (sat_entry::location): New member.130 (sat_entry::maybe_unstable): New member.131 (sat_entry::diagnose_instability): New member.
1885 (sat_entry): New class for hashing satisfaction results.