1b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===-- absvti2_test.c - Test __absvti2 -----------------------------------===//
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 __absvti2 for the compiler_rt library.
11b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//
12b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===----------------------------------------------------------------------===//
13b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
14b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include "int_lib.h"
15b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include <stdio.h>
168973a27a086ecf87536cf16c94c787fe92801a6cShantonu Sen#include <stdlib.h>
17b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
182d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#ifdef CRT_HAS_128BIT
192d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines
20b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Returns: absolute value
21b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
22b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Effects: aborts if abs(x) < 0
23b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
24b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarti_int __absvti2(ti_int a);
25b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
26b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint test__absvti2(ti_int a)
27b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{
28b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    ti_int x = __absvti2(a);
29b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    ti_int expected = a;
30b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (expected < 0)
31b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        expected = -expected;
32b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (x != expected || expected < 0)
33b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    {
34b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        twords at;
35b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        at.all = a;
36b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        twords xt;
37b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        xt.all = x;
38b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        twords expectedt;
39b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        expectedt.all = expected;
40b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        printf("error in __absvti2(0x%llX%.16llX) = "
41b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar               "0x%llX%.16llX, expected positive 0x%llX%.16llX\n",
42cff5248a12a36a7225b707b23ac088f5ba214f8aDaniel Dunbar               at.s.high, at.s.low, xt.s.high, xt.s.low,
43cff5248a12a36a7225b707b23ac088f5ba214f8aDaniel Dunbar               expectedt.s.high, expectedt.s.low);
44b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    }
45b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    return x != expected;
46b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar}
47b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
48b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif
49b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
50b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint main()
51b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{
522d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#ifdef CRT_HAS_128BIT
53b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
54b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//     if (test__absvti2(make_ti(0x8000000000000000LL, 0)))  // should abort
55b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//         return 1;
56b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__absvti2(0x0000000000000000LL))
57b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
58b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__absvti2(0x0000000000000001LL))
59b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
60b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__absvti2(0x0000000000000002LL))
61b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
62b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__absvti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFELL)))
63b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
64b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__absvti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
65b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
66b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__absvti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL)))
67b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
68b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__absvti2(make_ti(0x8000000000000000LL, 0x0000000000000002LL)))
69b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
70b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__absvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFELL)))
71b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
72b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (test__absvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
73b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        return 1;
74b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
75b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    int i;
76b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    for (i = 0; i < 10000; ++i)
77b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        if (test__absvti2(make_ti(((ti_int)rand() << 32) | rand(),
78b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar                                  ((ti_int)rand() << 32) | rand())))
79b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar            return 1;
807482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger#else
817482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger    printf("skipped\n");
82b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif
83b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    return 0;
84b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar}
85