[Bug tree-optimization/59644] [4.9 Regression] r206243 miscompiles Linux kernel

[trippels at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59644

--- Comment #20 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
(In reply to Jakub Jelinek from comment #19)
> (In reply to Markus Trippelsdorf from comment #17)
> > If I add "pushq   %r10" and "popq    %r10" by hand, the kernel boots fine.
> 
> Thanks.  Now, can you please try to use pushq %r9 and popq %r9 instead?

Adding "pushq %r9" and "popq %r9" also results in a bootable kernel...