Bug when using DIV

[John Rose]

On Apr 20, 2020, at 12:57 PM, Viswanathan, Sandhya <sandhya.viswanathan at intel.com> wrote:
> 
> Yes, the DIV operator is supported for floating point (float/double) only. 
> That's how we have documented it in the Java doc also.
> http://cr.openjdk.java.net/~psandoz/panama/vector-api-review/docs/api/jdk.incubator.vector/jdk/incubator/vector/VectorOperators.html#DIV <http://cr.openjdk.java.net/~psandoz/panama/vector-api-review/docs/api/jdk.incubator.vector/jdk/incubator/vector/VectorOperators.html#DIV>
> 
> I think we should verify and update the implementation accordingly, if that is not already so.

At one point I promoted it to “full service” status because I
thought there was support available for the integer versions also.
It’s a little surprising to have add, sub, and mul, but not div,
but even more surprising if div isn’t implemented.

(BTW, does ARM implement integer divide on vectors?)

I hope we can fill that gap before the API is fully mature,
but I agree with taking away div for now.

— John