1b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===-- mulvdi3_test.c - Test __mulvdi3 -----------------------------------===// 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 __mulvdi3 for the compiler_rt library. 11b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// 12b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===----------------------------------------------------------------------===// 13b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 14b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include "int_lib.h" 15b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include <stdio.h> 16b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 17b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Returns: a * b 18b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 19b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Effects: aborts if a * b overflows 20b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 21cdce50bda3603770cc4ef80cbb613c78b8e47a17Pirama Arumuga NainarCOMPILER_RT_ABI di_int __mulvdi3(di_int a, di_int b); 22b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 23b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint test__mulvdi3(di_int a, di_int b, di_int expected) 24b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 25b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar di_int x = __mulvdi3(a, b); 26b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (x != expected) 27b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar printf("error in __mulvdi3: %lld * %lld = %lld, expected %lld\n", 28b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar a, b, x, expected); 29b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return x != expected; 30b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar} 31b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 32b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint main() 33b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 34b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0, 0, 0)) 35b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 36b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0, 1, 0)) 37b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 38b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(1, 0, 0)) 39b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 40b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0, 10, 0)) 41b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 42b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(10, 0, 0)) 43b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 44b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0, 81985529216486895LL, 0)) 45b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 46b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(81985529216486895LL, 0, 0)) 47b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 48b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 49b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0, -1, 0)) 50b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 51b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(-1, 0, 0)) 52b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 53b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0, -10, 0)) 54b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 55b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(-10, 0, 0)) 56b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 57b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0, -81985529216486895LL, 0)) 58b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 59b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(-81985529216486895LL, 0, 0)) 60b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 61b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 62b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(1, 1, 1)) 63b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 64b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(1, 10, 10)) 65b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 66b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(10, 1, 10)) 67b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 68b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(1, 81985529216486895LL, 81985529216486895LL)) 69b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 70b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(81985529216486895LL, 1, 81985529216486895LL)) 71b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 72b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 73b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(1, -1, -1)) 74b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 75b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(1, -10, -10)) 76b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 77b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(-10, 1, -10)) 78b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 79b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(1, -81985529216486895LL, -81985529216486895LL)) 80b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 81b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(-81985529216486895LL, 1, -81985529216486895LL)) 82b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 83b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 84b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(3037000499LL, 3037000499LL, 9223372030926249001LL)) 85b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 86b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(-3037000499LL, 3037000499LL, -9223372030926249001LL)) 87b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 88b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(3037000499LL, -3037000499LL, -9223372030926249001LL)) 89b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 90b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(-3037000499LL, -3037000499LL, 9223372030926249001LL)) 91b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 92b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 93b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(4398046511103LL, 2097152LL, 9223372036852678656LL)) 94b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 95b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(-4398046511103LL, 2097152LL, -9223372036852678656LL)) 96b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 97b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(4398046511103LL, -2097152LL, -9223372036852678656LL)) 98b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 99b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(-4398046511103LL, -2097152LL, 9223372036852678656LL)) 100b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 101b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 102b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(2097152LL, 4398046511103LL, 9223372036852678656LL)) 103b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 104b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(-2097152LL, 4398046511103LL, -9223372036852678656LL)) 105b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 106b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(2097152LL, -4398046511103LL, -9223372036852678656LL)) 107b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 108b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(-2097152LL, -4398046511103LL, 9223372036852678656LL)) 109b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 110b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 111b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(0x7FFFFFFFFFFFFFFFLL, -2, 0x8000000000000001LL)) // abort 112b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 113b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(-2, 0x7FFFFFFFFFFFFFFFLL, 0x8000000000000001LL)) // abort 114b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 115b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0x7FFFFFFFFFFFFFFFLL, -1, 0x8000000000000001LL)) 116b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 117b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(-1, 0x7FFFFFFFFFFFFFFFLL, 0x8000000000000001LL)) 118b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 119b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0x7FFFFFFFFFFFFFFFLL, 0, 0)) 120b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 121b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0, 0x7FFFFFFFFFFFFFFFLL, 0)) 122b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 123b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0x7FFFFFFFFFFFFFFFLL, 1, 0x7FFFFFFFFFFFFFFFLL)) 124b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 125b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(1, 0x7FFFFFFFFFFFFFFFLL, 0x7FFFFFFFFFFFFFFFLL)) 126b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 127b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(0x7FFFFFFFFFFFFFFFLL, 2, 0x8000000000000001LL)) // abort 128b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 129b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(2, 0x7FFFFFFFFFFFFFFFLL, 0x8000000000000001LL)) // abort 130b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 131b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 132b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(0x8000000000000000LL, -2, 0x8000000000000000LL)) // abort 133b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 134b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(-2, 0x8000000000000000LL, 0x8000000000000000LL)) // abort 135b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 136b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(0x8000000000000000LL, -1, 0x8000000000000000LL)) // abort 137b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 138b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(-1, 0x8000000000000000LL, 0x8000000000000000LL)) // abort 139b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 140b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0x8000000000000000LL, 0, 0)) 141b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 142b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0, 0x8000000000000000LL, 0)) 143b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 144b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0x8000000000000000LL, 1, 0x8000000000000000LL)) 145b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 146b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(1, 0x8000000000000000LL, 0x8000000000000000LL)) 147b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 148b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(0x8000000000000000LL, 2, 0x8000000000000000LL)) // abort 149b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 150b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(2, 0x8000000000000000LL, 0x8000000000000000LL)) // abort 151b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 152b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 153b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(0x8000000000000001LL, -2, 0x8000000000000001LL)) // abort 154b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 155b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(-2, 0x8000000000000001LL, 0x8000000000000001LL)) // abort 156b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 157b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0x8000000000000001LL, -1, 0x7FFFFFFFFFFFFFFFLL)) 158b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 159b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(-1, 0x8000000000000001LL, 0x7FFFFFFFFFFFFFFFLL)) 160b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 161b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0x8000000000000001LL, 0, 0)) 162b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 163b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0, 0x8000000000000001LL, 0)) 164b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 165b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(0x8000000000000001LL, 1, 0x8000000000000001LL)) 166b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 167b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__mulvdi3(1, 0x8000000000000001LL, 0x8000000000000001LL)) 168b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 169b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(0x8000000000000001LL, 2, 0x8000000000000000LL)) // abort 170b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 171b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// if (test__mulvdi3(2, 0x8000000000000001LL, 0x8000000000000000LL)) // abort 172b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// return 1; 173b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 174b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 0; 175b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar} 176