RFR: 8250745: Fix a potential bug on AVX512 machines with assert(eval_map.contains(n)) failed: absent
Vladimir Ivanov
vladimir.x.ivanov at oracle.com
Wed Jul 29 16:18:39 UTC 2020
>> FTR the bug was introduced by JDK-8241040, but I don't see a way it
>> can be hit by auto-vectorizer: before it kicks in, scalar code is
>> strongly normalized and constants are pushed to the right. It leads to
>> the shape where (Replicate -1) is always the second input of bitwise
>> NOT shape (XorV v (Replicate -1)). Since there are no GVN
>> transformations happening for vector nodes, both left-hand and
>> right-hand variants become possible with Vector API.
>
> So it is difficult to write a test?
IMO there's no way to hit the bug without using Vector API.
Best regards,
Vladimir Ivanov
More information about the hotspot-compiler-dev
mailing list