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

[Vladimir Ivanov]

Thanks for the reviews, Vladimir, Sandhya, and Jatin.

Best regards,
Vladimir Ivanov

On 16.04.2020 02:29, Vladimir Kozlov wrote:
> 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