177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//===-- mulvdi3_test.c - Test __mulvdi3 -----------------------------------===// 277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// 377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// The LLVM Compiler Infrastructure 477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// 577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// This file is distributed under the University of Illinois Open Source 677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// License. See LICENSE.TXT for details. 777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// 877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//===----------------------------------------------------------------------===// 977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// 1077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// This file tests __mulvdi3 for the compiler_rt library. 1177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// 1277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//===----------------------------------------------------------------------===// 1377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 1477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#include "int_lib.h" 1577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#include <stdio.h> 1677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 1777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// Returns: a * b 1877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 1977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// Effects: aborts if a * b overflows 2077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 2177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaodi_int __mulvdi3(di_int a, di_int b); 2277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 2377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoint test__mulvdi3(di_int a, di_int b, di_int expected) 2477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 2577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao di_int x = __mulvdi3(a, b); 2677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (x != expected) 2777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printf("error in __mulvdi3: %lld * %lld = %lld, expected %lld\n", 2877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao a, b, x, expected); 2977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return x != expected; 3077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao} 3177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 3277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoint main() 3377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 3477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0, 0, 0)) 3577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 3677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0, 1, 0)) 3777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 3877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(1, 0, 0)) 3977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0, 10, 0)) 4177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(10, 0, 0)) 4377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0, 81985529216486895LL, 0)) 4577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(81985529216486895LL, 0, 0)) 4777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 4977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0, -1, 0)) 5077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(-1, 0, 0)) 5277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0, -10, 0)) 5477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(-10, 0, 0)) 5677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0, -81985529216486895LL, 0)) 5877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(-81985529216486895LL, 0, 0)) 6077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 6177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 6277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(1, 1, 1)) 6377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 6477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(1, 10, 10)) 6577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 6677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(10, 1, 10)) 6777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 6877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(1, 81985529216486895LL, 81985529216486895LL)) 6977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 7077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(81985529216486895LL, 1, 81985529216486895LL)) 7177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 7277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 7377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(1, -1, -1)) 7477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 7577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(1, -10, -10)) 7677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 7777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(-10, 1, -10)) 7877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 7977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(1, -81985529216486895LL, -81985529216486895LL)) 8077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 8177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(-81985529216486895LL, 1, -81985529216486895LL)) 8277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 8377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 8477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(3037000499LL, 3037000499LL, 9223372030926249001LL)) 8577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 8677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(-3037000499LL, 3037000499LL, -9223372030926249001LL)) 8777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 8877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(3037000499LL, -3037000499LL, -9223372030926249001LL)) 8977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 9077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(-3037000499LL, -3037000499LL, 9223372030926249001LL)) 9177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 9277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 9377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(4398046511103LL, 2097152LL, 9223372036852678656LL)) 9477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 9577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(-4398046511103LL, 2097152LL, -9223372036852678656LL)) 9677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 9777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(4398046511103LL, -2097152LL, -9223372036852678656LL)) 9877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 9977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(-4398046511103LL, -2097152LL, 9223372036852678656LL)) 10077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 10177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 10277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(2097152LL, 4398046511103LL, 9223372036852678656LL)) 10377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 10477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(-2097152LL, 4398046511103LL, -9223372036852678656LL)) 10577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 10677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(2097152LL, -4398046511103LL, -9223372036852678656LL)) 10777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 10877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(-2097152LL, -4398046511103LL, 9223372036852678656LL)) 10977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 11077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 11177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(0x7FFFFFFFFFFFFFFFLL, -2, 0x8000000000000001LL)) // abort 11277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 11377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(-2, 0x7FFFFFFFFFFFFFFFLL, 0x8000000000000001LL)) // abort 11477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 11577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0x7FFFFFFFFFFFFFFFLL, -1, 0x8000000000000001LL)) 11677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 11777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(-1, 0x7FFFFFFFFFFFFFFFLL, 0x8000000000000001LL)) 11877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 11977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0x7FFFFFFFFFFFFFFFLL, 0, 0)) 12077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 12177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0, 0x7FFFFFFFFFFFFFFFLL, 0)) 12277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 12377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0x7FFFFFFFFFFFFFFFLL, 1, 0x7FFFFFFFFFFFFFFFLL)) 12477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 12577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(1, 0x7FFFFFFFFFFFFFFFLL, 0x7FFFFFFFFFFFFFFFLL)) 12677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 12777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(0x7FFFFFFFFFFFFFFFLL, 2, 0x8000000000000001LL)) // abort 12877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 12977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(2, 0x7FFFFFFFFFFFFFFFLL, 0x8000000000000001LL)) // abort 13077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 13177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 13277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(0x8000000000000000LL, -2, 0x8000000000000000LL)) // abort 13377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 13477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(-2, 0x8000000000000000LL, 0x8000000000000000LL)) // abort 13577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 13677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(0x8000000000000000LL, -1, 0x8000000000000000LL)) // abort 13777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 13877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(-1, 0x8000000000000000LL, 0x8000000000000000LL)) // abort 13977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 14077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0x8000000000000000LL, 0, 0)) 14177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 14277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0, 0x8000000000000000LL, 0)) 14377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 14477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0x8000000000000000LL, 1, 0x8000000000000000LL)) 14577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 14677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(1, 0x8000000000000000LL, 0x8000000000000000LL)) 14777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 14877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(0x8000000000000000LL, 2, 0x8000000000000000LL)) // abort 14977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 15077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(2, 0x8000000000000000LL, 0x8000000000000000LL)) // abort 15177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 15277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 15377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(0x8000000000000001LL, -2, 0x8000000000000001LL)) // abort 15477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 15577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(-2, 0x8000000000000001LL, 0x8000000000000001LL)) // abort 15677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 15777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0x8000000000000001LL, -1, 0x7FFFFFFFFFFFFFFFLL)) 15877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 15977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(-1, 0x8000000000000001LL, 0x7FFFFFFFFFFFFFFFLL)) 16077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 16177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0x8000000000000001LL, 0, 0)) 16277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 16377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0, 0x8000000000000001LL, 0)) 16477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 16577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(0x8000000000000001LL, 1, 0x8000000000000001LL)) 16677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 16777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvdi3(1, 0x8000000000000001LL, 0x8000000000000001LL)) 16877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 16977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(0x8000000000000001LL, 2, 0x8000000000000000LL)) // abort 17077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 17177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvdi3(2, 0x8000000000000001LL, 0x8000000000000000LL)) // abort 17277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 17377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 17477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 0; 17577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao} 176