1*b9829059Sjoerg //===-- negdi2_test.c - Test __negdi2 -------------------------------------===//
2*b9829059Sjoerg //
3*b9829059Sjoerg // The LLVM Compiler Infrastructure
4*b9829059Sjoerg //
5*b9829059Sjoerg // This file is dual licensed under the MIT and the University of Illinois Open
6*b9829059Sjoerg // Source Licenses. See LICENSE.TXT for details.
7*b9829059Sjoerg //
8*b9829059Sjoerg //===----------------------------------------------------------------------===//
9*b9829059Sjoerg //
10*b9829059Sjoerg // This file tests __negdi2 for the compiler_rt library.
11*b9829059Sjoerg //
12*b9829059Sjoerg //===----------------------------------------------------------------------===//
13*b9829059Sjoerg
14*b9829059Sjoerg #include "int_lib.h"
15*b9829059Sjoerg #include <stdio.h>
16*b9829059Sjoerg
17*b9829059Sjoerg // Returns: -a
18*b9829059Sjoerg
19*b9829059Sjoerg di_int __negdi2(di_int a);
20*b9829059Sjoerg
test__negdi2(di_int a,di_int expected)21*b9829059Sjoerg int test__negdi2(di_int a, di_int expected)
22*b9829059Sjoerg {
23*b9829059Sjoerg di_int x = __negdi2(a);
24*b9829059Sjoerg if (x != expected)
25*b9829059Sjoerg printf("error in __negdi2: -0x%llX = 0x%llX, expected 0x%llX\n",
26*b9829059Sjoerg a, x, expected);
27*b9829059Sjoerg return x != expected;
28*b9829059Sjoerg }
29*b9829059Sjoerg
30*b9829059Sjoerg char assumption_1[sizeof(di_int) == 2*sizeof(si_int)] = {0};
31*b9829059Sjoerg
main()32*b9829059Sjoerg int main()
33*b9829059Sjoerg {
34*b9829059Sjoerg if (test__negdi2(0, 0))
35*b9829059Sjoerg return 1;
36*b9829059Sjoerg if (test__negdi2(1, -1))
37*b9829059Sjoerg return 1;
38*b9829059Sjoerg if (test__negdi2(-1, 1))
39*b9829059Sjoerg return 1;
40*b9829059Sjoerg if (test__negdi2(2, -2))
41*b9829059Sjoerg return 1;
42*b9829059Sjoerg if (test__negdi2(-2, 2))
43*b9829059Sjoerg return 1;
44*b9829059Sjoerg if (test__negdi2(3, -3))
45*b9829059Sjoerg return 1;
46*b9829059Sjoerg if (test__negdi2(-3, 3))
47*b9829059Sjoerg return 1;
48*b9829059Sjoerg if (test__negdi2(0x00000000FFFFFFFELL, 0xFFFFFFFF00000002LL))
49*b9829059Sjoerg return 1;
50*b9829059Sjoerg if (test__negdi2(0xFFFFFFFF00000002LL, 0x00000000FFFFFFFELL))
51*b9829059Sjoerg return 1;
52*b9829059Sjoerg if (test__negdi2(0x00000000FFFFFFFFLL, 0xFFFFFFFF00000001LL))
53*b9829059Sjoerg return 1;
54*b9829059Sjoerg if (test__negdi2(0xFFFFFFFF00000001LL, 0x00000000FFFFFFFFLL))
55*b9829059Sjoerg return 1;
56*b9829059Sjoerg if (test__negdi2(0x0000000100000000LL, 0xFFFFFFFF00000000LL))
57*b9829059Sjoerg return 1;
58*b9829059Sjoerg if (test__negdi2(0xFFFFFFFF00000000LL, 0x0000000100000000LL))
59*b9829059Sjoerg return 1;
60*b9829059Sjoerg if (test__negdi2(0x0000000200000000LL, 0xFFFFFFFE00000000LL))
61*b9829059Sjoerg return 1;
62*b9829059Sjoerg if (test__negdi2(0xFFFFFFFE00000000LL, 0x0000000200000000LL))
63*b9829059Sjoerg return 1;
64*b9829059Sjoerg if (test__negdi2(0x0000000300000000LL, 0xFFFFFFFD00000000LL))
65*b9829059Sjoerg return 1;
66*b9829059Sjoerg if (test__negdi2(0xFFFFFFFD00000000LL, 0x0000000300000000LL))
67*b9829059Sjoerg return 1;
68*b9829059Sjoerg if (test__negdi2(0x8000000000000000LL, 0x8000000000000000LL))
69*b9829059Sjoerg return 1;
70*b9829059Sjoerg if (test__negdi2(0x8000000000000001LL, 0x7FFFFFFFFFFFFFFFLL))
71*b9829059Sjoerg return 1;
72*b9829059Sjoerg if (test__negdi2(0x7FFFFFFFFFFFFFFFLL, 0x8000000000000001LL))
73*b9829059Sjoerg return 1;
74*b9829059Sjoerg if (test__negdi2(0xFFFFFFFE00000000LL, 0x0000000200000000LL))
75*b9829059Sjoerg return 1;
76*b9829059Sjoerg if (test__negdi2(0x0000000200000000LL, 0xFFFFFFFE00000000LL))
77*b9829059Sjoerg return 1;
78*b9829059Sjoerg if (test__negdi2(0xFFFFFFFF00000000LL, 0x0000000100000000LL))
79*b9829059Sjoerg return 1;
80*b9829059Sjoerg if (test__negdi2(0x0000000100000000LL, 0xFFFFFFFF00000000LL))
81*b9829059Sjoerg return 1;
82*b9829059Sjoerg
83*b9829059Sjoerg return 0;
84*b9829059Sjoerg }
85