RFR: 8256054: C2: Floating-point min/max operations on vectors intermittently produce wrong results for NaN values

[Vladimir Ivanov]

On Mon, 9 Nov 2020 21:12:39 GMT, Dean Long <dlong at openjdk.org> wrote:

>> Floating-point min/max operations on vectors intermittently produce wrong results for NaN values.
>> 
>> The problem boils down to a missing "TEMP dst" declaration on AVX512-related AD instruction. Without it`dst` vector register may match one of the input registers and it breaks the computation since it assumes all the used registers are different.
>> 
>> The fix adds missing effect and also introduces additional asserts to catch similar problems in the future.  
>> 
>> Testing:
>> - [x] jdk/incubator/vector w/ -XX:+DeoptimizeALot on AVX512-capable hardware
>> - [x] hs-precheckin-comp, hs-tier1, hs-tier2
>> 
>> Thanks!
>
> Marked as reviewed by dlong (Reviewer).

Thanks for the reviews, Claes, Paul, Sandhya, and Dean.

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

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