177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//===-- absvti2_test.c - Test __absvti2 -----------------------------------===//
277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//
377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//                     The LLVM Compiler Infrastructure
477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//
577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// This file is distributed under the University of Illinois Open Source
677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// License. See LICENSE.TXT for details.
777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//
877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//===----------------------------------------------------------------------===//
977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//
1077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// This file tests __absvti2 for the compiler_rt library.
1177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//
1277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//===----------------------------------------------------------------------===//
1377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
1477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#if __x86_64
1577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
1677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#include "int_lib.h"
1777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#include <stdio.h>
1877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#include <stdlib.h>
1977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
2077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// Returns: absolute value
2177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
2277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// Effects: aborts if abs(x) < 0
2377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
2477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoti_int __absvti2(ti_int a);
2577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
2677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoint test__absvti2(ti_int a)
2777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{
2877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    ti_int x = __absvti2(a);
2977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    ti_int expected = a;
3077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (expected < 0)
3177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        expected = -expected;
3277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (x != expected || expected < 0)
3377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    {
3477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        twords at;
3577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        at.all = a;
3677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        twords xt;
3777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        xt.all = x;
3877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        twords expectedt;
3977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        expectedt.all = expected;
4077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        printf("error in __absvti2(0x%llX%.16llX) = "
4177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao               "0x%llX%.16llX, expected positive 0x%llX%.16llX\n",
4277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao               at.s.high, at.s.low, xt.s.high, xt.s.low,
4377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao               expectedt.s.high, expectedt.s.low);
4477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    }
4577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    return x != expected;
4677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao}
4777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
4877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#endif
4977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
5077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoint main()
5177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{
5277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#if __x86_64
5377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
5477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//     if (test__absvti2(make_ti(0x8000000000000000LL, 0)))  // should abort
5577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//         return 1;
5677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__absvti2(0x0000000000000000LL))
5777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
5877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__absvti2(0x0000000000000001LL))
5977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
6077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__absvti2(0x0000000000000002LL))
6177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
6277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__absvti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFELL)))
6377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
6477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__absvti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
6577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
6677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__absvti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL)))
6777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
6877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__absvti2(make_ti(0x8000000000000000LL, 0x0000000000000002LL)))
6977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
7077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__absvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFELL)))
7177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
7277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__absvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
7377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
7477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
7577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    int i;
7677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    for (i = 0; i < 10000; ++i)
7777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        if (test__absvti2(make_ti(((ti_int)rand() << 32) | rand(),
7877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                                  ((ti_int)rand() << 32) | rand())))
7977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao            return 1;
8077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#endif
8177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    return 0;
8277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao}
83