RFR: 8267376: C2: Deduce the result bound of ModXNode

[Yi Yang]

On Wed, 2 Jun 2021 08:03:12 GMT, Nils Eliasson <neliasso at openjdk.org> wrote:

> Can you add a test that exercises this code path?

Hmm... I have no ideas on how to exercise this code path since idealization checks whether y is a constant value and transforms ModINode to other nodes in that case. Also, there are no such flags to be able to disable IGVN optimization as far as I see. It's unlikely to fall into the branch that y is a type of constant value in ModINode::Value. Do you have any suggestions or ideas? Thanks!

-------------

PR: https://git.openjdk.java.net/jdk/pull/4179