1b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===-- negvti2_test.c - Test __negvti2 -----------------------------------===//
2b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//
3b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//                     The LLVM Compiler Infrastructure
4b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//
59ad441ffec97db647fee3725b3424284fb913e14Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
69ad441ffec97db647fee3725b3424284fb913e14Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//
8b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===----------------------------------------------------------------------===//
9b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//
10b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// This file tests __negvti2 for the compiler_rt library.
11b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//
12b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===----------------------------------------------------------------------===//
13b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
14b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#if __x86_64
15b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
16b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include "int_lib.h"
17b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include <stdio.h>
18b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
19b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Returns: -a
20b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
21b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Effects: aborts if -a overflows
22b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
23b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarti_int __negvti2(ti_int a);
24b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarti_int __negti2(ti_int a);
25b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
26b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint test__negvti2(ti_int a)
27b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{
28b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    ti_int x = __negvti2(a);
29b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    ti_int expected = __negti2(a);
30b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (x != expected)
31b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    {
32b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        twords at;
33b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        at.all = a;
34b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        twords xt;
35b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        xt.all = x;
36b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        twords expectedt;
37b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        expectedt.all = expected;
38b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        printf("error in __negvti2(0x%.16llX%.16llX) = 0x%.16llX%.16llX, "
39b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar               "expected 0x%.16llX%.16llX\n",
40cff5248a12a36a7225b707b23ac088f5ba214f8aDaniel Dunbar               at.s.high, at.s.low, xt.s.high, xt.s.low, expectedt.s.high, expectedt.s.low);
41b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    }
42b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    return x != expected;
43b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar}
44b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
45b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif
46b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
47b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint main()
48b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{
49b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#if __x86_64
50b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(0))
51b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
52b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(1))
53b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
54b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(-1))
55b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
56b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(2))
57b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
58b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(-2))
59b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
60b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(3))
61b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
62b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(-3))
63b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
64b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL)))
65b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
66b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL)))
67b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
68b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL)))
69b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
70b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL)))
71b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
72b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
73b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
74b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
75b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
76b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
77b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
78b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
79b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
80b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000300000000LL)))
81b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
82b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL)))
83b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
84b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL)))
85b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
86b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))
87b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
88b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL)))
89b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
90b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
91b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
92b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
93b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
94b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
95b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
96b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
97b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
98b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//     if (test__negvti2(make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort
99b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//         return 1;
100b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL)))
101b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
102b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negvti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
103b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
104b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
1057482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger#else
1067482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger    printf("skipped\n");
107b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif
108b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar   return 0;
109b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar}
110