1b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===-- absvti2_test.c - Test __absvti2 -----------------------------------===// 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 __absvti2 for the compiler_rt library. 11b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// 12b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===----------------------------------------------------------------------===// 13b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 14b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include "int_lib.h" 15b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include <stdio.h> 168973a27a086ecf87536cf16c94c787fe92801a6cShantonu Sen#include <stdlib.h> 17b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 182d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#ifdef CRT_HAS_128BIT 192d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 20b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Returns: absolute value 21b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 22b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Effects: aborts if abs(x) < 0 23b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 24b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarti_int __absvti2(ti_int a); 25b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 26b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint test__absvti2(ti_int a) 27b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 28b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar ti_int x = __absvti2(a); 29b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar ti_int expected = a; 30b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (expected < 0) 31b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar expected = -expected; 32b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (x != expected || expected < 0) 33b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar { 34b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar twords at; 35b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar at.all = a; 36b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar twords xt; 37b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar xt.all = x; 38b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar twords expectedt; 39b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar expectedt.all = expected; 40b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar printf("error in __absvti2(0x%llX%.16llX) = " 41b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar "0x%llX%.16llX, expected positive 0x%llX%.16llX\n", 42cff5248a12a36a7225b707b23ac088f5ba214f8aDaniel Dunbar at.s.high, at.s.low, xt.s.high, xt.s.low, 43cff5248a12a36a7225b707b23ac088f5ba214f8aDaniel Dunbar expectedt.s.high, expectedt.s.low); 44b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar } 45b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return x != expected; 46b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar} 47b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 48b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif 49b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 50b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint main() 51b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 522d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#ifdef CRT_HAS_128BIT 53b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 54b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__absvti2(make_ti(0x8000000000000000LL, 0))) // should abort 55b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 56b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__absvti2(0x0000000000000000LL)) 57b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 58b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__absvti2(0x0000000000000001LL)) 59b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 60b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__absvti2(0x0000000000000002LL)) 61b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 62b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__absvti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFELL))) 63b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 64b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__absvti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL))) 65b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 66b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__absvti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL))) 67b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 68b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__absvti2(make_ti(0x8000000000000000LL, 0x0000000000000002LL))) 69b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 70b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__absvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFELL))) 71b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 72b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__absvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL))) 73b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 74b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 75b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar int i; 76b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar for (i = 0; i < 10000; ++i) 77b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__absvti2(make_ti(((ti_int)rand() << 32) | rand(), 78b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar ((ti_int)rand() << 32) | rand()))) 79b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 807482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger#else 817482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger printf("skipped\n"); 82b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif 83b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 0; 84b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar} 85