1b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===-- negvti2_test.c - Test __negvti2 -----------------------------------===// 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 __negvti2 for the compiler_rt library. 11b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// 12b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===----------------------------------------------------------------------===// 13b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 14b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#if __x86_64 15b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 16b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include "int_lib.h" 17b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include <stdio.h> 18b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 19b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Returns: -a 20b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 21b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Effects: aborts if -a overflows 22b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 23b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarti_int __negvti2(ti_int a); 24b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarti_int __negti2(ti_int a); 25b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 26b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint test__negvti2(ti_int a) 27b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 28b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar ti_int x = __negvti2(a); 29b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar ti_int expected = __negti2(a); 30b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (x != expected) 31b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar { 32b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar twords at; 33b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar at.all = a; 34b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar twords xt; 35b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar xt.all = x; 36b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar twords expectedt; 37b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar expectedt.all = expected; 38b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar printf("error in __negvti2(0x%.16llX%.16llX) = 0x%.16llX%.16llX, " 39b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar "expected 0x%.16llX%.16llX\n", 40cff5248a12a36a7225b707b23ac088f5ba214f8aDaniel Dunbar at.s.high, at.s.low, xt.s.high, xt.s.low, expectedt.s.high, expectedt.s.low); 41b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar } 42b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return x != expected; 43b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar} 44b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 45b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif 46b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 47b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint main() 48b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 49b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#if __x86_64 50b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(0)) 51b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 52b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(1)) 53b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 54b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(-1)) 55b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 56b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(2)) 57b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 58b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(-2)) 59b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 60b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(3)) 61b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 62b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(-3)) 63b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 64b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL))) 65b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 66b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL))) 67b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 68b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL))) 69b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 70b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL))) 71b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 72b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL))) 73b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 74b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL))) 75b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 76b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL))) 77b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 78b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL))) 79b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 80b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000300000000LL))) 81b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 82b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL))) 83b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 84b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL))) 85b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 86b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL))) 87b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 88b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL))) 89b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 90b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL))) 91b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 92b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL))) 93b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 94b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL))) 95b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 96b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL))) 97b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 98b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__negvti2(make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 99b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 100b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL))) 101b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 102b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negvti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL))) 103b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 104b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 1057482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger#else 1067482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger printf("skipped\n"); 107b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif 108b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 0; 109b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar} 110