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 09:20:10 UTC 2020


> Webrev: http://cr.openjdk.java.net/~jiefu/8250745/webrev.00/

Looks good.

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.

Best regards,
Vladimir Ivanov


More information about the hotspot-compiler-dev mailing list