RFR: 8327381: Refactor type-improving transformations in BoolNode::Ideal to BoolNode::Value [v4]

Wed May 1 08:57:54 UTC 2024

On Tue, 30 Apr 2024 21:20:19 GMT, Martin Balao <mbalao at openjdk.org> wrote:

>> `(x & m) u< m + 1` is false for `m = -1`, right?
>> 
>> Edit: Yep, filed [JDK-8328315](https://bugs.openjdk.org/projects/JDK/issues/JDK-8328315).
>
>> `(x & m) u< m + 1` is false for `m = -1`, right?
>> 
> 
> This bug should be handled separately. I'll do that.

@martinuy [JDK-8328315](https://bugs.openjdk.org/browse/JDK-8328315) @chhagedorn is already working on that.

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

PR Comment: https://git.openjdk.org/jdk/pull/18198#issuecomment-2088173851