[Bug tree-optimization/22326] promotions (from float to double) are not removed when they should be able to

[segher at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #18 from Segher Boessenkool <segher at gcc dot gnu.org> ---
Why is it correct to convert the double x to single precision here?!