Re: gcc 4.3.x: Bug in ieee754-{df,sf}.S

2012-05-14 Thread Sven Köhler
Am 14.05.2012 23:01, schrieb James Dennett: > On Mon, May 14, 2012 at 1:36 PM, Sven Köhler wrote: >> 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

gcc 4.3.x: Bug in ieee754-{df,sf}.S

2012-05-14 Thread Sven Köhler
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