177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//===-- mulvsi3_test.c - Test __mulvsi3 -----------------------------------===// 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 __mulvsi3 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 Liaosi_int __mulvsi3(si_int a, si_int b); 2277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 2377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoint test__mulvsi3(si_int a, si_int b, si_int expected) 2477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 2577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao si_int x = __mulvsi3(a, b); 2677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (x != expected) 2777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printf("error in __mulvsi3: %d * %d = %d, expected %d\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__mulvsi3(0, 0, 0)) 3577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 3677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0, 1, 0)) 3777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 3877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(1, 0, 0)) 3977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0, 10, 0)) 4177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(10, 0, 0)) 4377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0, 0x1234567, 0)) 4577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0x1234567, 0, 0)) 4777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 4977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0, -1, 0)) 5077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(-1, 0, 0)) 5277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0, -10, 0)) 5477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(-10, 0, 0)) 5677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0, -0x1234567, 0)) 5877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(-0x1234567, 0, 0)) 6077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 6177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 6277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(1, 1, 1)) 6377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 6477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(1, 10, 10)) 6577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 6677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(10, 1, 10)) 6777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 6877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(1, 0x1234567, 0x1234567)) 6977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 7077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0x1234567, 1, 0x1234567)) 7177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 7277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 7377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(1, -1, -1)) 7477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 7577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(1, -10, -10)) 7677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 7777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(-10, 1, -10)) 7877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 7977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(1, -0x1234567, -0x1234567)) 8077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 8177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(-0x1234567, 1, -0x1234567)) 8277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 8377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 8477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(0x7FFFFFFF, -2, 0x80000001)) // abort 8577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 8677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(-2, 0x7FFFFFFF, 0x80000001)) // abort 8777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 8877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0x7FFFFFFF, -1, 0x80000001)) 8977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 9077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(-1, 0x7FFFFFFF, 0x80000001)) 9177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 9277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0x7FFFFFFF, 0, 0)) 9377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 9477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0, 0x7FFFFFFF, 0)) 9577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 9677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0x7FFFFFFF, 1, 0x7FFFFFFF)) 9777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 9877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(1, 0x7FFFFFFF, 0x7FFFFFFF)) 9977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 10077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(0x7FFFFFFF, 2, 0x80000001)) // abort 10177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 10277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(2, 0x7FFFFFFF, 0x80000001)) // abort 10377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 10477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 10577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(0x80000000, -2, 0x80000000)) // abort 10677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 10777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(-2, 0x80000000, 0x80000000)) // abort 10877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 10977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(0x80000000, -1, 0x80000000)) // abort 11077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 11177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(-1, 0x80000000, 0x80000000)) // abort 11277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 11377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0x80000000, 0, 0)) 11477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 11577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0, 0x80000000, 0)) 11677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 11777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0x80000000, 1, 0x80000000)) 11877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 11977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(1, 0x80000000, 0x80000000)) 12077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 12177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(0x80000000, 2, 0x80000000)) // abort 12277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 12377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(2, 0x80000000, 0x80000000)) // abort 12477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 12577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 12677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(0x80000001, -2, 0x80000001)) // abort 12777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 12877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(-2, 0x80000001, 0x80000001)) // abort 12977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 13077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0x80000001, -1, 0x7FFFFFFF)) 13177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 13277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(-1, 0x80000001, 0x7FFFFFFF)) 13377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 13477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0x80000001, 0, 0)) 13577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 13677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0, 0x80000001, 0)) 13777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 13877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(0x80000001, 1, 0x80000001)) 13977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 14077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__mulvsi3(1, 0x80000001, 0x80000001)) 14177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 14277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(0x80000001, 2, 0x80000000)) // abort 14377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 14477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// if (test__mulvsi3(2, 0x80000001, 0x80000000)) // abort 14577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// return 1; 14677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 14777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 0; 14877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao} 149