https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124349
--- Comment #5 from Zdenek Sojka <zsojka at seznam dot cz> ---
I observe the same issue with vcvthf82ph:
a.s:16: Error: operand size mismatch for `vcvthf82ph'
vcvthf82ph xmm0{k1}, XMMWORD PTR [rsp+8] # tmp125, tmp130,
tmp125, v128s8_0 # 25 [c=18 l=16] vcvthf82phv8hf_mask
(generated due to __builtin_ia32_vcvthf82ph128_mask)
I will open a full separate PR if needed, later.
