10b57cec5SDimitry Andric //===-- addvdi3.c - Implement __addvdi3 -----------------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This file implements __addvdi3 for the compiler_rt library.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
130b57cec5SDimitry Andric #include "int_lib.h"
140b57cec5SDimitry Andric 
150b57cec5SDimitry Andric // Returns: a + b
160b57cec5SDimitry Andric 
170b57cec5SDimitry Andric // Effects: aborts if a + b overflows
180b57cec5SDimitry Andric 
__addvdi3(di_int a,di_int b)190b57cec5SDimitry Andric COMPILER_RT_ABI di_int __addvdi3(di_int a, di_int b) {
200b57cec5SDimitry Andric   di_int s = (du_int)a + (du_int)b;
210b57cec5SDimitry Andric   if (b >= 0) {
220b57cec5SDimitry Andric     if (s < a)
230b57cec5SDimitry Andric       compilerrt_abort();
240b57cec5SDimitry Andric   } else {
250b57cec5SDimitry Andric     if (s >= a)
260b57cec5SDimitry Andric       compilerrt_abort();
270b57cec5SDimitry Andric   }
280b57cec5SDimitry Andric   return s;
290b57cec5SDimitry Andric }
30