https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70873
--- Comment #21 from Uroš Bizjak <ubizjak at gmail dot com> --- (In reply to H.J. Lu from comment #12) > I still see: > > vcvtss2sd (%ecx,%eax,4), %xmm5, %xmm5 > > without vxorpd. You are looking in the cold section. This is by design, the splitter is conditioned on optimize_function_for_speed. Nevertheless, I'm cleaning a bit float_extend and float_truncate splitter/peephole2 pattern and will submit the patch soon.