Integrated: 8276162: Optimise unsigned comparison pattern

[Mai Đặng Quân Anh]

On Mon, 25 Oct 2021 10:15:42 GMT, Mai Đặng Quân Anh <duke at openjdk.java.net> wrote:

> This patch changes operations in the form `x +- Integer.MIN_VALUE <=> y +- Integer.MIN_VALUE`, which is a pattern used to do unsigned comparisons, into `x u<=> y`.
> 
> In addition to being basic operations, they may be utilised to implement range checks such as the methods in `jdk.internal.util.Preconditions`, or in places where the compiler cannot deduce the non-negativeness of the bound as in `java.util.ArrayList`.
> 
> Thank you very much.

This pull request has now been integrated.

Changeset: f3eb5014
Author:    MeryKitty <anhmdq99 at gmail.com>
Committer: Tobias Hartmann <thartmann at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/f3eb5014aa75af4463308f52f2bc6e9fcd2da36c
Stats:     523 lines in 3 files changed: 518 ins; 2 del; 3 mod

8276162: Optimise unsigned comparison pattern

Reviewed-by: thartmann, kvn

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

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