177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//===-- negti2_test.c - Test __negti2 -------------------------------------===//
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 __negti2 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
1977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// Returns: -a
2077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
2177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoti_int __negti2(ti_int a);
2277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
2377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoint test__negti2(ti_int a, ti_int expected)
2477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{
2577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    ti_int x = __negti2(a);
2677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (x != expected)
2777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    {
2877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        twords at;
2977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        at.all = a;
3077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        twords xt;
3177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        xt.all = x;
3277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        twords expectedt;
3377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        expectedt.all = expected;
3477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        printf("error in __negti2: -0x%.16llX%.16llX = 0x%.16llX%.16llX, "
3577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao               "expected 0x%.16llX%.16llX\n",
3677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao               at.s.high, at.s.low, xt.s.high, xt.s.low, expectedt.s.high, expectedt.s.low);
3777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    }
3877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    return x != expected;
3977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao}
4077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
4177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaochar assumption_1[sizeof(ti_int) == 2*sizeof(di_int)] = {0};
4277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
4377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#endif
4477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
4577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoint main()
4677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{
4777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#if __x86_64
4877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(0, 0))
4977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
5077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(1, -1))
5177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
5277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(-1, 1))
5377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
5477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(2, -2))
5577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
5677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(-2, 2))
5777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
5877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(3, -3))
5977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
6077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(-3, 3))
6177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
6277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL),
6377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL)))
6477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
6577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL),
6677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL)))
6777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
6877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL),
6977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL)))
7077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
7177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL),
7277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL)))
7377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
7477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL),
7577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
7677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
7777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL),
7877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
7977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
8077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL),
8177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
8277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
8377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL),
8477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
8577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
8677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000300000000LL),
8777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL)))
8877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
8977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL),
9077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0x0000000000000000LL, 0x0000000300000000LL)))
9177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
9277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL),
9377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))
9477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
9577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL),
9677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL)))
9777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
9877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL),
9977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))
10077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
10177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL),
10277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0x0000000000000000LL, 0x0000000200000000LL)))
10377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
10477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL),
10577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))
10677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
10777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL),
10877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0x0000000000000000LL, 0x0000000100000000LL)))
10977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
11077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL),
11177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))
11277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
11377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0x8000000000000000LL, 0x0000000000000000LL),
11477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0x8000000000000000LL, 0x0000000000000000LL)))
11577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
11677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL),
11777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
11877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
11977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao    if (test__negti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
12077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao                     make_ti(0x8000000000000000LL, 0x0000000000000001LL)))
12177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao        return 1;
12277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao
12377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#endif
12477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao   return 0;
12577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao}
126