#include #if __ARM_PCS_VFP float fabsf(float x) { __asm__ ("vabs.f32 %0, %1" : "=t"(x) : "t"(x)); return x; } #else #include "../fabsf.c" #endif