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 #if __x86_64
15 
16 #include "int_lib.h"
17 #include <stdio.h>
18 
19 // Returns: a + b
20 
21 // Effects: aborts if a + b overflows
22 
23 ti_int __addvti3(ti_int a, ti_int b);
24 
25 int 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 
49 int main()
50 {
51 #if __x86_64
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