https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118328
--- Comment #15 from Diego Russo <Diego.Russo at arm dot com> --- Folks, I think I've botched the performance measurement. Need to retake the measurement. Give me some time and I'll come back with the right results.