Hi, currently, our software (www.lejos.org, build with a gcc 4.3.x based arm-elf toolchain) manages to compare floats correctly most of the time. But sometimes, the comparisons don't have the expected result. Basically, comparisons behave non-deterministically.
We believe, that this is the result of a Bug in ieee754-{df,sf}.S. A fix that seems to be related has been committed on June 5th, 2009, SVN revision 148210. The commit comment was: gcc/ * config/arm/ieee754-df.S (cmpdf2): Avoid writing below SP. * config/arm/ieee754-sf.S (cmpsf2): Likewise. Is gcc 4.3 still supported? Will there be release of gcc 4.3.7? If yes, may I ask that you backport the fix to 4.3.x? I didn't check the other branches (4.4, 4.5, or 4.6), but if it's missing there then it should definitely be backported to these branches as well. Kind Regards, Sven