Refactoring the fpu code generator for the ARM port