GCC 4.6.3 O3 miscompiles on ARM