The final version of the 'Building at -O3' writeup is at: https://wiki.linaro.org/Internal/ToolChain/BuildingAtO3
This updates the SPEC 2000 results to show that there is a net win which is held back by a bad (but understood) regression in one benchmark.
Thank you all for your work on this,
-- Michael