1b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===-- negti2_test.c - Test __negti2 -------------------------------------===// 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 __negti2 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 Dunbarti_int __negti2(ti_int a); 22b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 23b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint test__negti2(ti_int a, ti_int expected) 24b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 25b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar ti_int x = __negti2(a); 26b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (x != expected) 27b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar { 28b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar twords at; 29b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar at.all = a; 30b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar twords xt; 31b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar xt.all = x; 32b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar twords expectedt; 33b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar expectedt.all = expected; 34b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar printf("error in __negti2: -0x%.16llX%.16llX = 0x%.16llX%.16llX, " 35b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar "expected 0x%.16llX%.16llX\n", 36cff5248a12a36a7225b707b23ac088f5ba214f8aDaniel Dunbar at.s.high, at.s.low, xt.s.high, xt.s.low, expectedt.s.high, expectedt.s.low); 37b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar } 38b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return x != expected; 39b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar} 40b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 41b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarchar assumption_1[sizeof(ti_int) == 2*sizeof(di_int)] = {0}; 42b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 43b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif 44b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 45b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint main() 46b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 47b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#if __x86_64 48b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(0, 0)) 49b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 50b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(1, -1)) 51b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 52b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(-1, 1)) 53b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 54b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(2, -2)) 55b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 56b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(-2, 2)) 57b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 58b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(3, -3)) 59b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 60b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(-3, 3)) 61b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 62b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL), 63b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL))) 64b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 65b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL), 66b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL))) 67b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 68b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL), 69b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL))) 70b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 71b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL), 72b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL))) 73b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 74b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL), 75b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL))) 76b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 77b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL), 78b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x0000000000000000LL, 0x0000000100000000LL))) 79b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 80b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL), 81b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL))) 82b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 83b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL), 84b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x0000000000000000LL, 0x0000000200000000LL))) 85b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 86b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000300000000LL), 87b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL))) 88b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 89b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL), 90b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x0000000000000000LL, 0x0000000300000000LL))) 91b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 92b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL), 93b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL))) 94b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 95b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL), 96b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL))) 97b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 98b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL), 99b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL))) 100b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 101b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL), 102b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x0000000000000000LL, 0x0000000200000000LL))) 103b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 104b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL), 105b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL))) 106b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 107b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL), 108b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x0000000000000000LL, 0x0000000100000000LL))) 109b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 110b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL), 111b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL))) 112b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 113b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0x8000000000000000LL, 0x0000000000000000LL), 114b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x8000000000000000LL, 0x0000000000000000LL))) 115b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 116b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL), 117b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL))) 118b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 119b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__negti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 120b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x8000000000000000LL, 0x0000000000000001LL))) 121b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 122b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 1237482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger#else 1247482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger printf("skipped\n"); 125b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif 126b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 0; 127b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar} 128