xref: /llvm-project/compiler-rt/lib/builtins/addvdi3.c (revision 0ba22f51d128bee9d69756c56c4678097270e10b)
1*0ba22f51SPetr Hosek //===-- addvdi3.c - Implement __addvdi3 -----------------------------------===//
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 __addvdi3 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 
__addvdi3(di_int a,di_int b)19082b89b2SPetr Hosek COMPILER_RT_ABI di_int __addvdi3(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