1*0b57cec5SDimitry Andric //===-- subvdi3.c - Implement __subvdi3 -----------------------------------===// 2*0b57cec5SDimitry Andric // 3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*0b57cec5SDimitry Andric // 7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 8*0b57cec5SDimitry Andric // 9*0b57cec5SDimitry Andric // This file implements __subvdi3 for the compiler_rt library. 10*0b57cec5SDimitry Andric // 11*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 12*0b57cec5SDimitry Andric 13*0b57cec5SDimitry Andric #include "int_lib.h" 14*0b57cec5SDimitry Andric 15*0b57cec5SDimitry Andric // Returns: a - b 16*0b57cec5SDimitry Andric 17*0b57cec5SDimitry Andric // Effects: aborts if a - b overflows 18*0b57cec5SDimitry Andric __subvdi3(di_int a,di_int b)19*0b57cec5SDimitry AndricCOMPILER_RT_ABI di_int __subvdi3(di_int a, di_int b) { 20*0b57cec5SDimitry Andric di_int s = (du_int)a - (du_int)b; 21*0b57cec5SDimitry Andric if (b >= 0) { 22*0b57cec5SDimitry Andric if (s > a) 23*0b57cec5SDimitry Andric compilerrt_abort(); 24*0b57cec5SDimitry Andric } else { 25*0b57cec5SDimitry Andric if (s <= a) 26*0b57cec5SDimitry Andric compilerrt_abort(); 27*0b57cec5SDimitry Andric } 28*0b57cec5SDimitry Andric return s; 29*0b57cec5SDimitry Andric } 30