The diff below moves armv7 to the so-called softfp float ABI. This is
the same ABI as we have now, except that it allows the compiler to
generate hardware floating-point instructions. Floating-point
function arguments and return values are still passed in the integer
This is unlikely to have any significant performance impact. Some
code may even run slower since floating-point arguments have to be
moved into floating-point registers before hardware floating-point
instructions can be used. But it is a useful step towards switching
to the hardfp float ABI.
This probably should wait a little bit until the dust on the clang6
switch has settled. But don't hesitate to test this or give me ok's.