1b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===-- negti2_test.c - Test __negti2 -------------------------------------===//
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 __negti2 for the compiler_rt library.
11b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//
12b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===----------------------------------------------------------------------===//
13b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
14b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include "int_lib.h"
15b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include <stdio.h>
16b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
172d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#ifdef CRT_HAS_128BIT
182d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines
19b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Returns: -a
20b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
21b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarti_int __negti2(ti_int a);
22b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
23b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint test__negti2(ti_int a, ti_int expected)
24b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{
25b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    ti_int x = __negti2(a);
26b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (x != expected)
27b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    {
28b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        twords at;
29b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        at.all = a;
30b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        twords xt;
31b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        xt.all = x;
32b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        twords expectedt;
33b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        expectedt.all = expected;
34b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        printf("error in __negti2: -0x%.16llX%.16llX = 0x%.16llX%.16llX, "
35b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar               "expected 0x%.16llX%.16llX\n",
36cff5248a12a36a7225b707b23ac088f5ba214f8aDaniel Dunbar               at.s.high, at.s.low, xt.s.high, xt.s.low, expectedt.s.high, expectedt.s.low);
37b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    }
38b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    return x != expected;
39b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar}
40b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
41b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarchar assumption_1[sizeof(ti_int) == 2*sizeof(di_int)] = {0};
42b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
43b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif
44b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
45b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint main()
46b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{
472d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#ifdef CRT_HAS_128BIT
48b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(0, 0))
49b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
50b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(1, -1))
51b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
52b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(-1, 1))
53b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
54b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(2, -2))
55b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
56b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(-2, 2))
57b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
58b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(3, -3))
59b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
60b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(-3, 3))
61b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
62b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL),
63b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL)))
64b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
65b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL),
66b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL)))
67b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
68b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL),
69b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL)))
70b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
71b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL),
72b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL)))
73b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
74b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL),
75b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
76b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
77b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL),
78b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
79b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
80b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL),
81b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
82b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
83b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL),
84b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
85b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
86b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000300000000LL),
87b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL)))
88b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
89b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL),
90b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0x0000000000000000LL, 0x0000000300000000LL)))
91b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
92b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL),
93b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))
94b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
95b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL),
96b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL)))
97b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
98b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL),
99b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))
100b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
101b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL),
102b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
103b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
104b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL),
105b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
106b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
107b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL),
108b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
109b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
110b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL),
111b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
112b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
113b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0x8000000000000000LL, 0x0000000000000000LL),
114b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0x8000000000000000LL, 0x0000000000000000LL)))
115b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
116b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL),
117b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
118b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
119b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__negti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
120b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                     make_ti(0x8000000000000000LL, 0x0000000000000001LL)))
121b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
122b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
1237482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger#else
1247482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger    printf("skipped\n");
125b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif
126b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar   return 0;
127b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar}
128