1*7c3d14c8STreehugger Robot //===-- negti2_test.c - Test __negti2 -------------------------------------===//
2*7c3d14c8STreehugger Robot //
3*7c3d14c8STreehugger Robot // The LLVM Compiler Infrastructure
4*7c3d14c8STreehugger Robot //
5*7c3d14c8STreehugger Robot // This file is dual licensed under the MIT and the University of Illinois Open
6*7c3d14c8STreehugger Robot // Source Licenses. See LICENSE.TXT for details.
7*7c3d14c8STreehugger Robot //
8*7c3d14c8STreehugger Robot //===----------------------------------------------------------------------===//
9*7c3d14c8STreehugger Robot //
10*7c3d14c8STreehugger Robot // This file tests __negti2 for the compiler_rt library.
11*7c3d14c8STreehugger Robot //
12*7c3d14c8STreehugger Robot //===----------------------------------------------------------------------===//
13*7c3d14c8STreehugger Robot
14*7c3d14c8STreehugger Robot #include "int_lib.h"
15*7c3d14c8STreehugger Robot #include <stdio.h>
16*7c3d14c8STreehugger Robot
17*7c3d14c8STreehugger Robot #ifdef CRT_HAS_128BIT
18*7c3d14c8STreehugger Robot
19*7c3d14c8STreehugger Robot // Returns: -a
20*7c3d14c8STreehugger Robot
21*7c3d14c8STreehugger Robot COMPILER_RT_ABI ti_int __negti2(ti_int a);
22*7c3d14c8STreehugger Robot
test__negti2(ti_int a,ti_int expected)23*7c3d14c8STreehugger Robot int test__negti2(ti_int a, ti_int expected)
24*7c3d14c8STreehugger Robot {
25*7c3d14c8STreehugger Robot ti_int x = __negti2(a);
26*7c3d14c8STreehugger Robot if (x != expected)
27*7c3d14c8STreehugger Robot {
28*7c3d14c8STreehugger Robot twords at;
29*7c3d14c8STreehugger Robot at.all = a;
30*7c3d14c8STreehugger Robot twords xt;
31*7c3d14c8STreehugger Robot xt.all = x;
32*7c3d14c8STreehugger Robot twords expectedt;
33*7c3d14c8STreehugger Robot expectedt.all = expected;
34*7c3d14c8STreehugger Robot printf("error in __negti2: -0x%.16llX%.16llX = 0x%.16llX%.16llX, "
35*7c3d14c8STreehugger Robot "expected 0x%.16llX%.16llX\n",
36*7c3d14c8STreehugger Robot at.s.high, at.s.low, xt.s.high, xt.s.low, expectedt.s.high, expectedt.s.low);
37*7c3d14c8STreehugger Robot }
38*7c3d14c8STreehugger Robot return x != expected;
39*7c3d14c8STreehugger Robot }
40*7c3d14c8STreehugger Robot
41*7c3d14c8STreehugger Robot char assumption_1[sizeof(ti_int) == 2*sizeof(di_int)] = {0};
42*7c3d14c8STreehugger Robot
43*7c3d14c8STreehugger Robot #endif
44*7c3d14c8STreehugger Robot
main()45*7c3d14c8STreehugger Robot int main()
46*7c3d14c8STreehugger Robot {
47*7c3d14c8STreehugger Robot #ifdef CRT_HAS_128BIT
48*7c3d14c8STreehugger Robot if (test__negti2(0, 0))
49*7c3d14c8STreehugger Robot return 1;
50*7c3d14c8STreehugger Robot if (test__negti2(1, -1))
51*7c3d14c8STreehugger Robot return 1;
52*7c3d14c8STreehugger Robot if (test__negti2(-1, 1))
53*7c3d14c8STreehugger Robot return 1;
54*7c3d14c8STreehugger Robot if (test__negti2(2, -2))
55*7c3d14c8STreehugger Robot return 1;
56*7c3d14c8STreehugger Robot if (test__negti2(-2, 2))
57*7c3d14c8STreehugger Robot return 1;
58*7c3d14c8STreehugger Robot if (test__negti2(3, -3))
59*7c3d14c8STreehugger Robot return 1;
60*7c3d14c8STreehugger Robot if (test__negti2(-3, 3))
61*7c3d14c8STreehugger Robot return 1;
62*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL),
63*7c3d14c8STreehugger Robot make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL)))
64*7c3d14c8STreehugger Robot return 1;
65*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL),
66*7c3d14c8STreehugger Robot make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL)))
67*7c3d14c8STreehugger Robot return 1;
68*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL),
69*7c3d14c8STreehugger Robot make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL)))
70*7c3d14c8STreehugger Robot return 1;
71*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL),
72*7c3d14c8STreehugger Robot make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL)))
73*7c3d14c8STreehugger Robot return 1;
74*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL),
75*7c3d14c8STreehugger Robot make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
76*7c3d14c8STreehugger Robot return 1;
77*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL),
78*7c3d14c8STreehugger Robot make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
79*7c3d14c8STreehugger Robot return 1;
80*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL),
81*7c3d14c8STreehugger Robot make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
82*7c3d14c8STreehugger Robot return 1;
83*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL),
84*7c3d14c8STreehugger Robot make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
85*7c3d14c8STreehugger Robot return 1;
86*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000300000000LL),
87*7c3d14c8STreehugger Robot make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL)))
88*7c3d14c8STreehugger Robot return 1;
89*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL),
90*7c3d14c8STreehugger Robot make_ti(0x0000000000000000LL, 0x0000000300000000LL)))
91*7c3d14c8STreehugger Robot return 1;
92*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL),
93*7c3d14c8STreehugger Robot make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))
94*7c3d14c8STreehugger Robot return 1;
95*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL),
96*7c3d14c8STreehugger Robot make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL)))
97*7c3d14c8STreehugger Robot return 1;
98*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL),
99*7c3d14c8STreehugger Robot make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))
100*7c3d14c8STreehugger Robot return 1;
101*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL),
102*7c3d14c8STreehugger Robot make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
103*7c3d14c8STreehugger Robot return 1;
104*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL),
105*7c3d14c8STreehugger Robot make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
106*7c3d14c8STreehugger Robot return 1;
107*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL),
108*7c3d14c8STreehugger Robot make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
109*7c3d14c8STreehugger Robot return 1;
110*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL),
111*7c3d14c8STreehugger Robot make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
112*7c3d14c8STreehugger Robot return 1;
113*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0x8000000000000000LL, 0x0000000000000000LL),
114*7c3d14c8STreehugger Robot make_ti(0x8000000000000000LL, 0x0000000000000000LL)))
115*7c3d14c8STreehugger Robot return 1;
116*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL),
117*7c3d14c8STreehugger Robot make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
118*7c3d14c8STreehugger Robot return 1;
119*7c3d14c8STreehugger Robot if (test__negti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
120*7c3d14c8STreehugger Robot make_ti(0x8000000000000000LL, 0x0000000000000001LL)))
121*7c3d14c8STreehugger Robot return 1;
122*7c3d14c8STreehugger Robot
123*7c3d14c8STreehugger Robot #else
124*7c3d14c8STreehugger Robot printf("skipped\n");
125*7c3d14c8STreehugger Robot #endif
126*7c3d14c8STreehugger Robot return 0;
127*7c3d14c8STreehugger Robot }
128