https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79593
--- Comment #16 from Katsunori Kumatani <katsunori.kumatani at gmail dot com> --- I see! It was more a side note than anything when I inspected GCC 7's output, I am not even sure if it affects x87 only (not sure if I should have opened another bug for it, but I guess it doesn't matter now). Either way thanks for looking into it.
