That is right, the bad news is that current gcc only knows about softfp. Meaning that it passes all floats (doubles) in ARM registers instead of VFP/NEON register file. So you end up with lots of moves between the two sets of registers and moving stuff back from VFP/NEON is especially very...