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

[Emanuel Peter]

On Thu, 11 Sep 2025 17:39:45 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?
>
> @merykitty thanks, I hopefully addressed your comments :)
> 
> @eme64 do you want to re-run the tests once again?

@SirYwell Launching tests 🚀

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

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