1b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===-- mulvti3_test.c - Test __mulvti3 -----------------------------------===// 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 __mulvti3 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 * b 20b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 21b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Effects: aborts if a * b overflows 22b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 23b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarti_int __mulvti3(ti_int a, ti_int b); 24b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 25b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint test__mulvti3(ti_int a, ti_int b, ti_int expected) 26b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 27b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar ti_int x = __mulvti3(a, b); 28b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (x != expected) 29b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar { 30b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar twords at; 31b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar at.all = a; 32b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar twords bt; 33b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar bt.all = b; 34b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar twords xt; 35b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar xt.all = x; 36b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar twords expectedt; 37b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar expectedt.all = expected; 38b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar printf("error in __mulvti3: 0x%.16llX%.16llX * 0x%.16llX%.16llX = " 39b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar "0x%.16llX%.16llX, expected 0x%.16llX%.16llX\n", 40cff5248a12a36a7225b707b23ac088f5ba214f8aDaniel Dunbar at.s.high, at.s.low, bt.s.high, bt.s.low, xt.s.high, xt.s.low, 41cff5248a12a36a7225b707b23ac088f5ba214f8aDaniel Dunbar expectedt.s.high, expectedt.s.low); 42b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar } 43b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return x != expected; 44b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar} 45b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 46b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif 47b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 48b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint main() 49b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 50b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#if __x86_64 51b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(0, 0, 0)) 52b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 53b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(0, 1, 0)) 54b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 55b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(1, 0, 0)) 56b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 57b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(0, 10, 0)) 58b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 59b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(10, 0, 0)) 60b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 61b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(0, 81985529216486895LL, 0)) 62b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 63b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(81985529216486895LL, 0, 0)) 64b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 65b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 66b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(0, -1, 0)) 67b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 68b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(-1, 0, 0)) 69b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 70b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(0, -10, 0)) 71b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 72b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(-10, 0, 0)) 73b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 74b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(0, -81985529216486895LL, 0)) 75b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 76b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(-81985529216486895LL, 0, 0)) 77b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 78b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 79b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(1, 1, 1)) 80b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 81b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(1, 10, 10)) 82b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 83b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(10, 1, 10)) 84b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 85b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(1, 81985529216486895LL, 81985529216486895LL)) 86b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 87b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(81985529216486895LL, 1, 81985529216486895LL)) 88b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 89b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 90b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(1, -1, -1)) 91b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 92b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(1, -10, -10)) 93b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 94b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(-10, 1, -10)) 95b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 96b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(1, -81985529216486895LL, -81985529216486895LL)) 97b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 98b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(-81985529216486895LL, 1, -81985529216486895LL)) 99b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 100b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 101b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(3037000499LL, 3037000499LL, 9223372030926249001LL)) 102b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 103b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(-3037000499LL, 3037000499LL, -9223372030926249001LL)) 104b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 105b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(3037000499LL, -3037000499LL, -9223372030926249001LL)) 106b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 107b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(-3037000499LL, -3037000499LL, 9223372030926249001LL)) 108b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 109b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 110b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(4398046511103LL, 2097152LL, 9223372036852678656LL)) 111b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 112b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(-4398046511103LL, 2097152LL, -9223372036852678656LL)) 113b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 114b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(4398046511103LL, -2097152LL, -9223372036852678656LL)) 115b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 116b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(-4398046511103LL, -2097152LL, 9223372036852678656LL)) 117b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 118b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 119b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(2097152LL, 4398046511103LL, 9223372036852678656LL)) 120b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 121b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(-2097152LL, 4398046511103LL, -9223372036852678656LL)) 122b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 123b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(2097152LL, -4398046511103LL, -9223372036852678656LL)) 124b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 125b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(-2097152LL, -4398046511103LL, 9223372036852678656LL)) 126b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 127b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 128b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(make_ti(0x00000000000000B5LL, 0x04F333F9DE5BE000LL), 129b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x0000000000000000LL, 0x00B504F333F9DE5BLL), 130b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x7FFFFFFFFFFFF328LL, 0xDF915DA296E8A000LL))) 131b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 132b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 133b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 134b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// -2, 135b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000001LL))) // abort 136b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 137b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(-2, 138b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 139b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000001LL))) // abort 140b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 141b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 142b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar -1, 143b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x8000000000000000LL, 0x0000000000000001LL))) 144b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 145b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(-1, 146b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 147b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x8000000000000000LL, 0x0000000000000001LL))) 148b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 149b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 150b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 0, 151b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 0)) 152b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 153b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(0, 154b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 155b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 0)) 156b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 157b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 158b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 1, 159b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL))) 160b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 161b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(1, 162b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 163b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL))) 164b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 165b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 166b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// 2, 167b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000001LL))) // abort 168b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 169b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(2, 170b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 171b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000001LL))) // abort 172b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 173b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 174b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL), 175b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// -2, 176b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 177b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 178b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(-2, 179b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000000LL), 180b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 181b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 182b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL), 183b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// -1, 184b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 185b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 186b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(-1, 187b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000000LL), 188b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 189b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 190b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL), 191b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 0, 192b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 0)) 193b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 194b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(0, 195b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x8000000000000000LL, 0x0000000000000000LL), 196b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 0)) 197b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 198b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL), 199b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 1, 200b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x8000000000000000LL, 0x0000000000000000LL))) 201b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 202b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(1, 203b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x8000000000000000LL, 0x0000000000000000LL), 204b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x8000000000000000LL, 0x0000000000000000LL))) 205b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 206b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL), 207b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// 2, 208b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 209b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 210b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(2, 211b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000000LL), 212b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 213b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 214b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 215b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000001LL), 216b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// -2, 217b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000001LL))) // abort 218b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 219b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(-2, 220b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000001LL), 221b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000001LL))) // abort 222b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 223b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000001LL), 224b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar -1, 225b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL))) 226b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 227b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(-1, 228b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x8000000000000000LL, 0x0000000000000001LL), 229b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL))) 230b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 231b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000001LL), 232b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 0, 233b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 0)) 234b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 235b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(0, 236b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x8000000000000000LL, 0x0000000000000001LL), 237b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 0)) 238b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 239b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000001LL), 240b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 1, 241b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x8000000000000000LL, 0x0000000000000001LL))) 242b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 243b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvti3(1, 244b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x8000000000000000LL, 0x0000000000000001LL), 245b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar make_ti(0x8000000000000000LL, 0x0000000000000001LL))) 246b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 247b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000001LL), 248b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// 2, 249b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 250b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 251b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvti3(2, 252b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000001LL), 253b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 254b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 255b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 2567482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger#else 2577482815716cd9b87931d82dca7298fc3c707229fJoerg Sonnenberger printf("skipped\n"); 258b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#endif 259b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 0; 260b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar} 261