The -mfloat-abi= option controls both the ABI, and whether floating point instructions may be used. The available options are:
soft : Full software floating point.
softfp : Use the FPU, but remain compatible with soft-float code.
hard : Full hardware floating point.
In addition, the -mfpu= option can be used to select a VFP/NEON (or FPA or Maverick) variant. This has no effect when -mfloat-abi=soft is specified. The combination of -mfpu=vfp and -mfloat-abi=hard is not available in FSF GCC 4.4; see TODO section below for options.