1 //===-- lib/adddf3.c - Double-precision subtraction ---------------*- C -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file implements double-precision soft-float subtraction with the
11 // IEEE-754 default rounding (to nearest, ties to even).
13 //===----------------------------------------------------------------------===//
15 #define DOUBLE_PRECISION
18 // Subtraction; flip the sign bit of b and add.
20 __subdf3(fp_t a, fp_t b) {
21 return __adddf3(a, fromRep(toRep(b) ^ signBit));
24 #if defined(__ARM_EABI__)
25 #if defined(COMPILER_RT_ARMHF_TARGET)
26 AEABI_RTABI fp_t __aeabi_dsub(fp_t a, fp_t b) {
27 return __subdf3(a, b);
30 AEABI_RTABI fp_t __aeabi_dsub(fp_t a, fp_t b) COMPILER_RT_ALIAS(__subdf3);