summaryrefslogtreecommitdiffhomepage
path: root/ir/be/beverify.c
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2014-07-16 13:49:57 +0200
committerMatthias Braun <matze@braunis.de>2014-07-18 10:04:10 +0200
commit8f1ba92ac594742f9b73902256cdb3a60b29b730 (patch)
tree40ae7273a730fa77019743913be5b5fb9c7b23eb /ir/be/beverify.c
parent772df9793f70bae91b5bd75e3f5f4d3295000f9f (diff)
cleanup beintlive_t
- Remove value_dominates_intrablock()/value_strictly_dominates_intrablock() and use sched_comes_before() instead - Use bool instead of int return types. - Assert that we don't check if a node interferes with itself as that is nearly always a bug in the code.
Diffstat (limited to 'ir/be/beverify.c')
-rw-r--r--ir/be/beverify.c7
1 files changed, 4 insertions, 3 deletions
diff --git a/ir/be/beverify.c b/ir/be/beverify.c
index 36f92a6..1e20659 100644
--- a/ir/be/beverify.c
+++ b/ir/be/beverify.c
@@ -523,8 +523,9 @@ bool be_verify_spillslots(ir_graph *irg)
*/
static bool my_values_interfere(const ir_node *a, const ir_node *b)
{
- int a2b = value_dominates(a, b);
- int b2a = value_dominates(b, a);
+ assert(a != b);
+ int a2b = value_strictly_dominates(a, b);
+ int b2a = value_strictly_dominates(b, a);
/* If there is no dominance relation, they do not interfere. */
if (!a2b && !b2a)
@@ -569,7 +570,7 @@ static bool my_values_interfere(const ir_node *a, const ir_node *b)
user = get_irn_n(phiblock, get_edge_src_pos(edge));
}
- if (value_dominates(b, user))
+ if (value_strictly_dominates(b, user))
return true;
}