https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79964
--- Comment #7 from PeteVine <tulipawn at gmail dot com> --- Thanks for pointing that out! I was using my bash history to change the CFLAGS and when I was flipping the crc switch I didn't notice I'd picked a version without -frename-registers, hence this wrong conclusion :) Definitely then, -frename-registers it is! http://openbenchmarking.org/result/1707307-RI-CORTEXA5313
