Well, maybe not all admittedly, and I didn't look at AVX2/512, but it looks like `_mm_div_ps` and `_mm_div_pd` are identical for divide, at the 4-wide level for

Well, maybe not all admittedly, and I didn't look at AVX2/512, but it looks like `_mm_div_ps` and `_mm_div_pd` are identical for divide, at the 4-wide level for the basics. Obviously, the wider you go, the more constrained you are on infrastructure and how many ports there are. My point was more it's very often the expensive transcendentals where the performance difference is felt between f32 and f64.