RFR: 8264104: Eliminate unnecessary vector mask conversion during VectorUnbox for floating point VectorMask [v4]
xgong at openjdk.java.net
Thu Apr 15 04:02:04 UTC 2021
On Wed, 14 Apr 2021 17:22:41 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote:
>> I'v added the type assertion in the constructor of the `"VectorMaskCastNode"`. See :
>> assert(in_vt->length() == vt->length(), "vector length must match");
>> assert(type2aelembytes(in_vt->element_basic_type()) == type2aelembytes(vt->element_basic_type()), "element size must match");
>> That's why I didn't add the check in predicate. So do you think it's enough?
> IMO AD instructions should also be accompanied either by predicates or asserts which stress the conditions for the no-op implementation.
OK, thanks! I will add the type restrict in the predicate.
More information about the hotspot-compiler-dev