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