1// RUN: %clang_builtins %s %librt -o %t && %run %t
2// REQUIRES: librt_has_subvti3
3// REQUIRES: int128
4
5#include "int_lib.h"
6#include <stdio.h>
7#include <stdlib.h>
8
9#ifdef CRT_HAS_128BIT
10
11// Returns: a - b
12
13// Effects: aborts if a - b overflows
14
15COMPILER_RT_ABI ti_int __subvti3(ti_int a, ti_int b);
16
17int test__subvti3(ti_int a, ti_int b)
18{
19 ti_int x = __subvti3(a, b);
20 ti_int expected = a - b;
21 if (x != expected)
22 {
23 twords at;
24 at.all = a;
25 twords bt;
26 bt.all = b;
27 twords xt;
28 xt.all = x;
29 twords expectedt;
30 expectedt.all = expected;
31 printf("error in test__subvsi3(0x%.16llX%.16llX, 0x%.16llX%.16llX) = "
32 "0x%.16llX%.16llX, expected 0x%.16llX%.16llX\n",
33 at.s.high, at.s.low, bt.s.high, bt.s.low, xt.s.high, xt.s.low,
34 expectedt.s.high, expectedt.s.low);
35 }
36 return x != expected;
37}
38
39#endif
40
41int main()
42{
43#ifdef CRT_HAS_128BIT
44// test__subvti3(make_ti(0x8000000000000000LL, 0), 1); // should abort
45// test__subvti3(0, make_ti(0x8000000000000000LL, 0)); // should abort
46// test__subvti3(1, make_ti(0x8000000000000000LL, 0)); // should abort
47// test__subvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), -1); // should abort
48// test__subvti3(-2, make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)); // should abort
49
50 if (test__subvti3(make_ti(0x8000000000000000LL, 0), -1))
51 return 1;
52 if (test__subvti3(make_ti(0x8000000000000000LL, 0), 0))
53 return 1;
54 if (test__subvti3(-1, make_ti(0x8000000000000000LL, 0)))
55 return 1;
56 if (test__subvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 1))
57 return 1;
58 if (test__subvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 0))
59 return 1;
60 if (test__subvti3(1, make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
61 return 1;
62 if (test__subvti3(0, make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
63 return 1;
64 if (test__subvti3(-1, make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
65 return 1;
66
67#else
68 printf("skipped\n");
69#endif
70 return 0;
71}
72