blob: 71fc70ffa92d70f0f67f4f5ae1e7601fca5df6b1 [file] [log] [blame]
Edward O'Callaghan4856eef2009-08-05 04:02:56 +00001/* ===-- subvdi3.c - Implement __subvdi3 -----------------------------------===
2 *
Anton Korobeynikove63da932011-04-19 17:52:09 +00003 * The LLVM Compiler Infrastructure
Edward O'Callaghan4856eef2009-08-05 04:02:56 +00004 *
Howard Hinnant5b791f62010-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'Callaghan4856eef2009-08-05 04:02:56 +00007 *
8 * ===----------------------------------------------------------------------===
9 *
10 * This file implements __subvdi3 for the compiler_rt library.
11 *
12 * ===----------------------------------------------------------------------===
13 */
Daniel Dunbarfd089992009-06-26 16:47:03 +000014
15#include "int_lib.h"
Daniel Dunbarfd089992009-06-26 16:47:03 +000016
Edward O'Callaghan4856eef2009-08-05 04:02:56 +000017/* Returns: a - b */
Daniel Dunbarfd089992009-06-26 16:47:03 +000018
Edward O'Callaghan4856eef2009-08-05 04:02:56 +000019/* Effects: aborts if a - b overflows */
Daniel Dunbarfd089992009-06-26 16:47:03 +000020
Anton Korobeynikove63da932011-04-19 17:52:09 +000021COMPILER_RT_ABI di_int
Daniel Dunbarfd089992009-06-26 16:47:03 +000022__subvdi3(di_int a, di_int b)
23{
Bob Wilsonec9a8c82014-11-12 23:01:24 +000024 di_int s = (du_int) a - (du_int) b;
Daniel Dunbarfd089992009-06-26 16:47:03 +000025 if (b >= 0)
26 {
27 if (s > a)
Daniel Dunbarf2870082010-03-31 17:00:45 +000028 compilerrt_abort();
Daniel Dunbarfd089992009-06-26 16:47:03 +000029 }
30 else
31 {
32 if (s <= a)
Daniel Dunbarf2870082010-03-31 17:00:45 +000033 compilerrt_abort();
Daniel Dunbarfd089992009-06-26 16:47:03 +000034 }
35 return s;
36}