blob: a6804d2d7b95c09eb939b3195d09f8d2e55137c5 [file] [log] [blame]
Edward O'Callaghan2bf62722009-08-05 04:02:56 +00001/* ===-- subvti3.c - Implement __subvti3 -----------------------------------===
2 *
3 * The LLVM Compiler Infrastructure
4 *
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 __subvti3 for the compiler_rt library.
11 *
12 * ===----------------------------------------------------------------------===
13 */
Daniel Dunbarb3a69012009-06-26 16:47:03 +000014
Daniel Dunbarb3a69012009-06-26 16:47:03 +000015#include "int_lib.h"
Daniel Dunbarb3a69012009-06-26 16:47:03 +000016
Joerg Sonnenberger4733cca2014-02-21 23:53:03 +000017#ifdef CRT_HAS_128BIT
Chandler Carruth7f2d7c72012-06-22 21:09:22 +000018
Edward O'Callaghan2bf62722009-08-05 04:02:56 +000019/* Returns: a - b */
Daniel Dunbarb3a69012009-06-26 16:47:03 +000020
Edward O'Callaghan2bf62722009-08-05 04:02:56 +000021/* Effects: aborts if a - b overflows */
Daniel Dunbarb3a69012009-06-26 16:47:03 +000022
Joerg Sonnenbergerbfbb8bb2014-03-01 15:30:50 +000023COMPILER_RT_ABI ti_int
Daniel Dunbarb3a69012009-06-26 16:47:03 +000024__subvti3(ti_int a, ti_int b)
25{
Bob Wilsonb90f66b2014-11-12 23:01:24 +000026 ti_int s = (tu_int) a - (tu_int) b;
Daniel Dunbarb3a69012009-06-26 16:47:03 +000027 if (b >= 0)
28 {
29 if (s > a)
Daniel Dunbar48f46ac2010-03-31 17:00:45 +000030 compilerrt_abort();
Daniel Dunbarb3a69012009-06-26 16:47:03 +000031 }
32 else
33 {
34 if (s <= a)
Daniel Dunbar48f46ac2010-03-31 17:00:45 +000035 compilerrt_abort();
Daniel Dunbarb3a69012009-06-26 16:47:03 +000036 }
37 return s;
38}
39
Joerg Sonnenberger4733cca2014-02-21 23:53:03 +000040#endif /* CRT_HAS_128BIT */