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