We already do this for SSE1/SSE2 intrinsics, but are missing the AVX1/AVX512F intrinsics:
_mm256_add_pd / _mm256_add_ps
_mm256_sub_pd / _mm256_sub_ps
_mm256_mul_pd / _mm256_mul_ps
_mm256_div_pd / _mm256_div_ps
_mm256_unpackhi_pd / _mm256_unpackhi_ps
_mm256_unpacklo_pd / _mm256_unpacklo_ps
_mm512_add_pd / _mm512_add_ps
_mm512_sub_pd / _mm512_sub_ps
_mm512_mul_pd / _mm512_mul_ps
_mm512_div_pd / _mm512_div_ps
_mm512_unpackhi_pd / _mm512_unpackhi_ps
_mm512_unpacklo_pd / _mm512_unpacklo_ps
(ignore the AVX512 mask/maskz variants for now)
You can use #152305 as reference.