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

[Vladimir Ivanov]

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