RFR: 8370691: Add new HalffloatVector type and enable intrinsification of float16 vector operations

[Joe Darcy]

On Mon, 10 Nov 2025 23:58:57 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:

> Some quick comments.
> 
> We should be consistent in the naming, and rename `Halfloat*` to `Float16*`.
>

I concur, especially since there are multiple 16-bit floating-point formats in use including the IEEE 754 float16 as well as bfloat16.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/28002#issuecomment-3514526479