[15] RFR (S): 8242491: C2: assert(v2->bottom_type() == vt) failed: mismatch when creating MacroLogicV

[Vladimir Kozlov]

Good.

Thanks,
Vladimir K

On 4/10/20 7:07 AM, Vladimir Ivanov wrote:
> http://cr.openjdk.java.net/~vlivanov/8242491/webrev.00/
> https://bugs.openjdk.java.net/browse/JDK-8242491
> 
> Asserts on input types for MacroLogicV are too strong.
> SuperWord pass can mix vectors of distinct subword types (byte and boolean or short and char).
> 
> Though it's possible to explicitly check for such particular cases, the fix relaxes the assert even more and only 
> verifies that inputs are of the same size (in bytes), so bitwise reinterpretation of vector values is safe.
> 
> Testing: hs-precheckin-comp,hs-tier1,hs-tier2
> 
> Thanks!
> 
> Best regards,
> Vladimir Ivanov