Integrated: 8350896: Integer/Long.compress gets wrong type from CompressBitsNode::Value

[Jatin Bhateja]

On Fri, 7 Mar 2025 17:37:36 GMT, Jatin Bhateja <jbhateja at openjdk.org> wrote:

> Hi All,
> 
> This bugfix patch fixes incorrect value computation for Integer/Long. compress APIs.
> 
> Problems occur with a constant input and variable mask where the input's value is equal to the lower bound of the mask value., In this case, an erroneous value range estimation results in a constant value. Existing value routine first attempts to constant fold the compression operation if both input and compression mask are constant values; otherwise, it attempts to constrain the value range of result based on the upper and lower bounds of mask type.
> 
> New IR test covers the issue reported in the bug report along with a case for value range based logic pruning.
> 
> Kindly review and share your feedback.
> 
> Best Regards,
> Jatin

This pull request has now been integrated.

Changeset: b02c1256
Author:    Jatin Bhateja <jbhateja at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/b02c1256768bc9983d4dba899cd19219e11a380a
Stats:     849 lines in 3 files changed: 812 ins; 16 del; 21 mod

8350896: Integer/Long.compress gets wrong type from CompressBitsNode::Value

Co-authored-by: Emanuel Peter <epeter at openjdk.org>
Reviewed-by: thartmann

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

PR: https://git.openjdk.org/jdk/pull/23947