blob: ec4594c9f0e95483d26598b87faa9f0ea5018a52 [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"
Daniel Dunbarb3a69012009-06-26 16:47:03 +000016
Edward O'Callaghan2bf62722009-08-05 04:02:56 +000017/* Returns: a - b */
Daniel Dunbarb3a69012009-06-26 16:47:03 +000018
Edward O'Callaghan2bf62722009-08-05 04:02:56 +000019/* Effects: aborts if a - b overflows */
Daniel Dunbarb3a69012009-06-26 16:47:03 +000020
Anton Korobeynikov1c5f89b2011-04-19 17:52:09 +000021COMPILER_RT_ABI si_int
Daniel Dunbarb3a69012009-06-26 16:47:03 +000022__subvsi3(si_int a, si_int b)
23{
24 si_int s = a - b;
25 if (b >= 0)
26 {
27 if (s > a)
Daniel Dunbar48f46ac2010-03-31 17:00:45 +000028 compilerrt_abort();
Daniel Dunbarb3a69012009-06-26 16:47:03 +000029 }
30 else
31 {
32 if (s <= a)
Daniel Dunbar48f46ac2010-03-31 17:00:45 +000033 compilerrt_abort();
Daniel Dunbarb3a69012009-06-26 16:47:03 +000034 }
35 return s;
36}