Commit 04f0b867 authored by yb9976's avatar yb9976
Browse files

Consider only possible relations of Confirm nodes.

parent 998d570b
......@@ -481,12 +481,17 @@ static ir_tarval *computed_value_Mux(const ir_node *n)
*/
static ir_tarval *computed_value_Confirm(const ir_node *n)
{
if (get_Confirm_relation(n) == ir_relation_equal) {
ir_tarval *tv = value_of(get_Confirm_bound(n));
ir_node *bound = get_Confirm_bound(n);
ir_node *value = get_Confirm_value(n);
ir_relation possible = ir_get_possible_cmp_relations(value, bound);
ir_relation relation = get_Confirm_relation(n);
if ((possible & relation) == ir_relation_equal) {
ir_tarval *tv = value_of(bound);
if (tv != tarval_bad)
return tv;
}
return value_of(get_Confirm_value(n));
return value_of(value);
}
/**
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment