[Bug target/85216] Performance issue with PHP on ppc64 systems

[wschmidt at gcc dot gnu.org]

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

--- Comment #13 from Bill Schmidt <wschmidt at gcc dot gnu.org> ---
This was prototyped and measured against the firmware fixes with
indistinguishable results.  So the complexity of a software solution, with its
impacts on Linux distributions, was not warranted.  (That is, the firmware
workarounds are already tightly targeted.)