1*b9829059Sjoerg //===-- negvti2_test.c - Test __negvti2 -----------------------------------===//
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 __negvti2 for the compiler_rt library.
11*b9829059Sjoerg //
12*b9829059Sjoerg //===----------------------------------------------------------------------===//
13*b9829059Sjoerg
14*b9829059Sjoerg #if __x86_64
15*b9829059Sjoerg
16*b9829059Sjoerg #include "int_lib.h"
17*b9829059Sjoerg #include <stdio.h>
18*b9829059Sjoerg
19*b9829059Sjoerg // Returns: -a
20*b9829059Sjoerg
21*b9829059Sjoerg // Effects: aborts if -a overflows
22*b9829059Sjoerg
23*b9829059Sjoerg ti_int __negvti2(ti_int a);
24*b9829059Sjoerg ti_int __negti2(ti_int a);
25*b9829059Sjoerg
test__negvti2(ti_int a)26*b9829059Sjoerg int test__negvti2(ti_int a)
27*b9829059Sjoerg {
28*b9829059Sjoerg ti_int x = __negvti2(a);
29*b9829059Sjoerg ti_int expected = __negti2(a);
30*b9829059Sjoerg if (x != expected)
31*b9829059Sjoerg {
32*b9829059Sjoerg twords at;
33*b9829059Sjoerg at.all = a;
34*b9829059Sjoerg twords xt;
35*b9829059Sjoerg xt.all = x;
36*b9829059Sjoerg twords expectedt;
37*b9829059Sjoerg expectedt.all = expected;
38*b9829059Sjoerg printf("error in __negvti2(0x%.16llX%.16llX) = 0x%.16llX%.16llX, "
39*b9829059Sjoerg "expected 0x%.16llX%.16llX\n",
40*b9829059Sjoerg at.s.high, at.s.low, xt.s.high, xt.s.low, expectedt.s.high, expectedt.s.low);
41*b9829059Sjoerg }
42*b9829059Sjoerg return x != expected;
43*b9829059Sjoerg }
44*b9829059Sjoerg
45*b9829059Sjoerg #endif
46*b9829059Sjoerg
main()47*b9829059Sjoerg int main()
48*b9829059Sjoerg {
49*b9829059Sjoerg #if __x86_64
50*b9829059Sjoerg if (test__negvti2(0))
51*b9829059Sjoerg return 1;
52*b9829059Sjoerg if (test__negvti2(1))
53*b9829059Sjoerg return 1;
54*b9829059Sjoerg if (test__negvti2(-1))
55*b9829059Sjoerg return 1;
56*b9829059Sjoerg if (test__negvti2(2))
57*b9829059Sjoerg return 1;
58*b9829059Sjoerg if (test__negvti2(-2))
59*b9829059Sjoerg return 1;
60*b9829059Sjoerg if (test__negvti2(3))
61*b9829059Sjoerg return 1;
62*b9829059Sjoerg if (test__negvti2(-3))
63*b9829059Sjoerg return 1;
64*b9829059Sjoerg if (test__negvti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL)))
65*b9829059Sjoerg return 1;
66*b9829059Sjoerg if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL)))
67*b9829059Sjoerg return 1;
68*b9829059Sjoerg if (test__negvti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL)))
69*b9829059Sjoerg return 1;
70*b9829059Sjoerg if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL)))
71*b9829059Sjoerg return 1;
72*b9829059Sjoerg if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
73*b9829059Sjoerg return 1;
74*b9829059Sjoerg if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
75*b9829059Sjoerg return 1;
76*b9829059Sjoerg if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
77*b9829059Sjoerg return 1;
78*b9829059Sjoerg if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
79*b9829059Sjoerg return 1;
80*b9829059Sjoerg if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000300000000LL)))
81*b9829059Sjoerg return 1;
82*b9829059Sjoerg if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL)))
83*b9829059Sjoerg return 1;
84*b9829059Sjoerg if (test__negvti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL)))
85*b9829059Sjoerg return 1;
86*b9829059Sjoerg if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))
87*b9829059Sjoerg return 1;
88*b9829059Sjoerg if (test__negvti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL)))
89*b9829059Sjoerg return 1;
90*b9829059Sjoerg if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
91*b9829059Sjoerg return 1;
92*b9829059Sjoerg if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
93*b9829059Sjoerg return 1;
94*b9829059Sjoerg if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
95*b9829059Sjoerg return 1;
96*b9829059Sjoerg if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
97*b9829059Sjoerg return 1;
98*b9829059Sjoerg // if (test__negvti2(make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort
99*b9829059Sjoerg // return 1;
100*b9829059Sjoerg if (test__negvti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL)))
101*b9829059Sjoerg return 1;
102*b9829059Sjoerg if (test__negvti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
103*b9829059Sjoerg return 1;
104*b9829059Sjoerg
105*b9829059Sjoerg #else
106*b9829059Sjoerg printf("skipped\n");
107*b9829059Sjoerg #endif
108*b9829059Sjoerg return 0;
109*b9829059Sjoerg }
110