RFR (XS): 7181658 CTW: assert(t->meet(t0) == t) failed: Not monotonic

Vladimir Ivanov vladimir.x.ivanov at oracle.com
Thu Jul 5 15:21:58 PDT 2012


http://cr.openjdk.java.net/~vlivanov/7181658/webrev.00

7181658 CTW: assert(t->meet(t0) == t) failed: Not monotonic

One of node equivalence checks in CmpUNode::sub doesn't respect 
ConstraintCast nodes, which could lead to missed optimization 
opportunities. In this particular case it also breaks monotonicity 
assumption of CCP analysis due to a discrepancy in logic between 2 cases.

I haven't been able to come up with a reduced regression test due to 
some tricky symbol resolution orderings which provoke the bug - even 
when the method bytecode is effectively the same! :-)

Testing: failing test, CTW (full testlist)

Best regards,
Vladimir Ivanov



More information about the hotspot-compiler-dev mailing list