On Mon, 15 Jun 2026 12:36:27 GMT, Andrew Dinn <[email protected]> wrote:
>> This intrinsic is for such a subtype that has a limb count of 5, so 0 is not
>> possible here.
>
> I believe the method being intrinsified here is the one on the generic class
> i.e. `IntegerPolynomial::conditionalAssign(int set, long[] a, long[] b)`. So,
> in theory, it could be called from any subclass of `IntegerPolynomial`, not
> just for `IntegerPolynomialP256`. Can you provide a more detailed explanation
> of why it won't be called from other subtypes, including types where the
> number of limbs may be 0?
It is true that IntegerPolynomial::conditionalAssign() is not only for the
IntegerPolynomialP256 subclass, but it has a fixed set of permitted subclasses,
with the number of limbs in the set {5, 10, 14, 16, 19} as one can infer from
the comment at the beginning of this function. So the 0-check is not necessary.
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/30941#discussion_r3424035171
