1//===-- lib/adddf3.c - Double-precision subtraction ---------------*- C -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file implements double-precision soft-float subtraction.
10//
11//===----------------------------------------------------------------------===//
12
13#define DOUBLE_PRECISION
14#include "fp_lib.h"
15
16// Subtraction; flip the sign bit of b and add.
17COMPILER_RT_ABI fp_t __subdf3(fp_t a, fp_t b) {
18 return __adddf3(a, b: fromRep(x: toRep(x: b) ^ signBit));
19}
20
21#if defined(__ARM_EABI__)
22#if defined(COMPILER_RT_ARMHF_TARGET)
23AEABI_RTABI fp_t __aeabi_dsub(fp_t a, fp_t b) { return __subdf3(a, b); }
24#else
25COMPILER_RT_ALIAS(__subdf3, __aeabi_dsub)
26#endif
27#endif
28

source code of compiler-rt/lib/builtins/subdf3.c