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
23 COMPILER_RT_ABI ti_int __addvti3(ti_int a, ti_int b);
24
test__addvti3(ti_int a,ti_int b)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
main()49 int 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