I don't think it's that crucial. The 3.2 is pretty good (it's the 2.4s that were a bit under-specced IIRC). To be honest if you compile with -Os then the newer the compiler the better - it's just when compiling with -O3 that codesourcery-2013.05-23-arm-none-eabi seemed to do a better job.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
I don't think it's that crucial. The 3.2 is pretty good (it's the 2.4s that were a bit under-specced IIRC). To be honest if you compile with
-Os
then the newer the compiler the better - it's just when compiling with-O3
that codesourcery-2013.05-23-arm-none-eabi seemed to do a better job.