xref: /llvm-project/compiler-rt/lib/builtins/subvdi3.c (revision 0ba22f51d128bee9d69756c56c4678097270e10b)
1*0ba22f51SPetr Hosek //===-- subvdi3.c - Implement __subvdi3 -----------------------------------===//
2*0ba22f51SPetr Hosek //
3*0ba22f51SPetr Hosek // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0ba22f51SPetr Hosek // See https://llvm.org/LICENSE.txt for license information.
5*0ba22f51SPetr Hosek // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0ba22f51SPetr Hosek //
7*0ba22f51SPetr Hosek //===----------------------------------------------------------------------===//
8*0ba22f51SPetr Hosek //
9*0ba22f51SPetr Hosek // This file implements __subvdi3 for the compiler_rt library.
10*0ba22f51SPetr Hosek //
11*0ba22f51SPetr Hosek //===----------------------------------------------------------------------===//
12a6b264b5SAlexey Samsonov 
13a6b264b5SAlexey Samsonov #include "int_lib.h"
14a6b264b5SAlexey Samsonov 
15*0ba22f51SPetr Hosek // Returns: a - b
16a6b264b5SAlexey Samsonov 
17*0ba22f51SPetr Hosek // Effects: aborts if a - b overflows
18a6b264b5SAlexey Samsonov 
__subvdi3(di_int a,di_int b)19082b89b2SPetr Hosek COMPILER_RT_ABI di_int __subvdi3(di_int a, di_int b) {
20ec9a8c8bSBob Wilson   di_int s = (du_int)a - (du_int)b;
21082b89b2SPetr Hosek   if (b >= 0) {
22a6b264b5SAlexey Samsonov     if (s > a)
23a6b264b5SAlexey Samsonov       compilerrt_abort();
24082b89b2SPetr Hosek   } else {
25a6b264b5SAlexey Samsonov     if (s <= a)
26a6b264b5SAlexey Samsonov       compilerrt_abort();
27a6b264b5SAlexey Samsonov   }
28a6b264b5SAlexey Samsonov   return s;
29a6b264b5SAlexey Samsonov }
30