Commit 44d2b5e4 authored by Christoph Mallon's avatar Christoph Mallon
Browse files

Use the bound of ==-Confirms in fixpoint vrp.

parent eb47aca3
......@@ -321,6 +321,11 @@ undefined:
/* TODO Use bound and relation. */
z = b->z;
o = b->o;
if ((get_Confirm_relation(irn) & ~ir_relation_unordered) == ir_relation_equal) {
bitinfo* const bound_b = get_bitinfo(get_Confirm_bound(irn));
z = tarval_and(z, bound_b->z);
z = tarval_or( o, bound_b->o);
}
break;
}
......
Supports Markdown
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