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