RFR: 8356813: Improve Mod(I|L)Node::Value

[Quan Anh Mai]

On Thu, 15 May 2025 15:13:18 GMT, Hannes Greule <hgreule at openjdk.org> wrote:

> Using `Type(Int|Long)::ZERO` instead (zero is always in the resulting value if we cover a range).

Can we return `Type::TOP` instead?

Besides, #17508 should be merged right after JDK-25 folk, do you want to wait for it first?

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

PR Comment: https://git.openjdk.org/jdk/pull/25254#issuecomment-2884613438