blob: bcbee0bbb6d107b20f4a1f6266875c03d3685a8d [file] [log] [blame]
Edward O'Callaghan2bf62722009-08-05 04:02:56 +00001/* ===-- subvdi3.c - Implement __subvdi3 -----------------------------------===
2 *
Anton Korobeynikov1c5f89b2011-04-19 17:52:09 +00003 * The LLVM Compiler Infrastructure
Edward O'Callaghan2bf62722009-08-05 04:02:56 +00004 *
Howard Hinnant9ad441f2010-11-16 22:13:33 +00005 * This file is dual licensed under the MIT and the University of Illinois Open
6 * Source Licenses. See LICENSE.TXT for details.
Edward O'Callaghan2bf62722009-08-05 04:02:56 +00007 *
8 * ===----------------------------------------------------------------------===
9 *
10 * This file implements __subvdi3 for the compiler_rt library.
11 *
12 * ===----------------------------------------------------------------------===
13 */
Daniel Dunbarb3a69012009-06-26 16:47:03 +000014
15#include "int_lib.h"
16#include <stdlib.h>
17
Edward O'Callaghan2bf62722009-08-05 04:02:56 +000018/* Returns: a - b */
Daniel Dunbarb3a69012009-06-26 16:47:03 +000019
Edward O'Callaghan2bf62722009-08-05 04:02:56 +000020/* Effects: aborts if a - b overflows */
Daniel Dunbarb3a69012009-06-26 16:47:03 +000021
Anton Korobeynikov1c5f89b2011-04-19 17:52:09 +000022COMPILER_RT_ABI di_int
Daniel Dunbarb3a69012009-06-26 16:47:03 +000023__subvdi3(di_int a, di_int b)
24{
25 di_int s = a - b;
26 if (b >= 0)
27 {
28 if (s > a)
Daniel Dunbar48f46ac2010-03-31 17:00:45 +000029 compilerrt_abort();
Daniel Dunbarb3a69012009-06-26 16:47:03 +000030 }
31 else
32 {
33 if (s <= a)
Daniel Dunbar48f46ac2010-03-31 17:00:45 +000034 compilerrt_abort();
Daniel Dunbarb3a69012009-06-26 16:47:03 +000035 }
36 return s;
37}