[Bug target/103771] [12 Regression] Missed vectorization under -mavx512f -mavx512vl after r12-5489

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103771

--- Comment #26 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Hongtao.liu from comment #25)
> 
> gcc always tries to simplify (convert (cond (cmp a b) c d) ---- > (cond (cmp
> a b) (convert c) (convert d))， exactly the opposite of what this case wants.

Right that is for generic. For the gimple level the function
factor_out_conditional_conversion in phiopt is supposed to undo this but as I
mentioned it does not always.