The v8.1-m ARMARM uses the "vrinta.f16.f16" names, as opposed to "vrinta.f16". This adds an alias for it in the same way that we have for f32 and f64.
Just checking because you mentioned:
The v8.1-m ARMARM uses the "vrinta.f16.f16" names,
But I guess that's also true for v8a, so say in general when FP16 is supported? (that's why the tests are added to -triple armv8a-none-eabi tests)
No... The v8-a ARMARM seems to use "vrinta.f16" names. For both Neon and VFP.
8.1-m seems to use "vrinta.f16.f16" for VFP but "vrinta.f16" for MVE.
I'm guessing that's where the alias came from, an attempt to cover both bases.