1//===-- addvti3_test.c - Test __addvti3 -----------------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file tests __addvti3 for the compiler_rt library.
11//
12//===----------------------------------------------------------------------===//
13
14#include "int_lib.h"
15#include <stdio.h>
16
17#ifdef CRT_HAS_128BIT
18
19// Returns: a + b
20
21// Effects: aborts if a + b overflows
22
23ti_int __addvti3(ti_int a, ti_int b);
24
25int test__addvti3(ti_int a, ti_int b)
26{
27    ti_int x = __addvti3(a, b);
28    ti_int expected = a + b;
29    if (x != expected)
30    {
31        twords at;
32        at.all = a;
33        twords bt;
34        bt.all = b;
35        twords xt;
36        xt.all = x;
37        twords expectedt;
38        expectedt.all = expected;
39        printf("error in test__addvti3(0x%llX%.16llX, 0x%llX%.16llX) = "
40               "0x%llX%.16llX, expected 0x%llX%.16llX\n",
41                at.s.high, at.s.low, bt.s.high, bt.s.low, xt.s.high, xt.s.low,
42                expectedt.s.high, expectedt.s.low);
43    }
44    return x != expected;
45}
46
47#endif
48
49int main()
50{
51#ifdef CRT_HAS_128BIT
52// should abort
53//     test__addvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL),
54//                   make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL));
55// should abort
56//     test__addvti3(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
57//                   make_ti(0x8000000000000000LL, 0x0000000000000000LL));
58// should abort
59//     test__addvti3(make_ti(0x0000000000000000LL, 0x0000000000000001LL),
60//                   make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL));
61// should abort
62//     test__addvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
63//                   make_ti(0x0000000000000000LL, 0x0000000000000001LL));
64
65    if (test__addvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL),
66                      make_ti(0x0000000000000000LL, 0x0000000000000001LL)))
67        return 1;
68    if (test__addvti3(make_ti(0x0000000000000000LL, 0x0000000000000001LL),
69                      make_ti(0x8000000000000000LL, 0x0000000000000000LL)))
70        return 1;
71    if (test__addvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL),
72                      make_ti(0x0000000000000000LL, 0x0000000000000000LL)))
73        return 1;
74    if (test__addvti3(make_ti(0x0000000000000000LL, 0x0000000000000000LL),
75                      make_ti(0x8000000000000000LL, 0x0000000000000000LL)))
76        return 1;
77    if (test__addvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
78                      make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
79        return 1;
80    if (test__addvti3(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
81                      make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
82        return 1;
83    if (test__addvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
84                      make_ti(0x0000000000000000LL, 0x0000000000000000LL)))
85        return 1;
86    if (test__addvti3(make_ti(0x0000000000000000LL, 0x0000000000000000LL),
87                      make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
88        return 1;
89
90#else
91    printf("skipped\n");
92#endif
93    return 0;
94}
95