Some benchmarks on ARM

[Russell King - ARM Linux]

On Mon, Jul 05, 2010 at 02:24:03PM +0200, Marc Kleine-Budde wrote:
> We used a compiler generating hardware floating point instruction by
> default:
> 
> gcc was configured with:
> "--with-float=softfp --with-fpu=vfp --with-cpu=arm1136jf-s"

This is unclear that it's generating hardware floating point instructions.
The --with-float=softfp suggests its using soft-fp.

Please check whether the resulting binaries are using hard-fp or soft-fp
by looking for VFP instructions.