blob: 88d446e9017de5bde49aa2403b48b02747401a52 [file] [log] [blame]
Edward O'Callaghan2bf62722009-08-05 04:02:56 +00001/* ===-- subvsi3.c - Implement __subvsi3 -----------------------------------===
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 __subvsi3 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 si_int
Daniel Dunbarb3a69012009-06-26 16:47:03 +000023__subvsi3(si_int a, si_int b)
24{
25 si_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}