1 1.1 joerg //===-- mulvsi3_test.c - Test __mulvsi3 -----------------------------------===// 2 1.1 joerg // 3 1.1 joerg // The LLVM Compiler Infrastructure 4 1.1 joerg // 5 1.1 joerg // This file is dual licensed under the MIT and the University of Illinois Open 6 1.1 joerg // Source Licenses. See LICENSE.TXT for details. 7 1.1 joerg // 8 1.1 joerg //===----------------------------------------------------------------------===// 9 1.1 joerg // 10 1.1 joerg // This file tests __mulvsi3 for the compiler_rt library. 11 1.1 joerg // 12 1.1 joerg //===----------------------------------------------------------------------===// 13 1.1 joerg 14 1.1 joerg #include "int_lib.h" 15 1.1 joerg #include <stdio.h> 16 1.1 joerg 17 1.1 joerg // Returns: a * b 18 1.1 joerg 19 1.1 joerg // Effects: aborts if a * b overflows 20 1.1 joerg 21 1.1 joerg si_int __mulvsi3(si_int a, si_int b); 22 1.1 joerg 23 1.1 joerg int test__mulvsi3(si_int a, si_int b, si_int expected) 24 1.1 joerg { 25 1.1 joerg si_int x = __mulvsi3(a, b); 26 1.1 joerg if (x != expected) 27 1.1 joerg printf("error in __mulvsi3: %d * %d = %d, expected %d\n", 28 1.1 joerg a, b, x, expected); 29 1.1 joerg return x != expected; 30 1.1 joerg } 31 1.1 joerg 32 1.1 joerg int main() 33 1.1 joerg { 34 1.1 joerg if (test__mulvsi3(0, 0, 0)) 35 1.1 joerg return 1; 36 1.1 joerg if (test__mulvsi3(0, 1, 0)) 37 1.1 joerg return 1; 38 1.1 joerg if (test__mulvsi3(1, 0, 0)) 39 1.1 joerg return 1; 40 1.1 joerg if (test__mulvsi3(0, 10, 0)) 41 1.1 joerg return 1; 42 1.1 joerg if (test__mulvsi3(10, 0, 0)) 43 1.1 joerg return 1; 44 1.1 joerg if (test__mulvsi3(0, 0x1234567, 0)) 45 1.1 joerg return 1; 46 1.1 joerg if (test__mulvsi3(0x1234567, 0, 0)) 47 1.1 joerg return 1; 48 1.1 joerg 49 1.1 joerg if (test__mulvsi3(0, -1, 0)) 50 1.1 joerg return 1; 51 1.1 joerg if (test__mulvsi3(-1, 0, 0)) 52 1.1 joerg return 1; 53 1.1 joerg if (test__mulvsi3(0, -10, 0)) 54 1.1 joerg return 1; 55 1.1 joerg if (test__mulvsi3(-10, 0, 0)) 56 1.1 joerg return 1; 57 1.1 joerg if (test__mulvsi3(0, -0x1234567, 0)) 58 1.1 joerg return 1; 59 1.1 joerg if (test__mulvsi3(-0x1234567, 0, 0)) 60 1.1 joerg return 1; 61 1.1 joerg 62 1.1 joerg if (test__mulvsi3(1, 1, 1)) 63 1.1 joerg return 1; 64 1.1 joerg if (test__mulvsi3(1, 10, 10)) 65 1.1 joerg return 1; 66 1.1 joerg if (test__mulvsi3(10, 1, 10)) 67 1.1 joerg return 1; 68 1.1 joerg if (test__mulvsi3(1, 0x1234567, 0x1234567)) 69 1.1 joerg return 1; 70 1.1 joerg if (test__mulvsi3(0x1234567, 1, 0x1234567)) 71 1.1 joerg return 1; 72 1.1 joerg 73 1.1 joerg if (test__mulvsi3(1, -1, -1)) 74 1.1 joerg return 1; 75 1.1 joerg if (test__mulvsi3(1, -10, -10)) 76 1.1 joerg return 1; 77 1.1 joerg if (test__mulvsi3(-10, 1, -10)) 78 1.1 joerg return 1; 79 1.1 joerg if (test__mulvsi3(1, -0x1234567, -0x1234567)) 80 1.1 joerg return 1; 81 1.1 joerg if (test__mulvsi3(-0x1234567, 1, -0x1234567)) 82 1.1 joerg return 1; 83 1.1 joerg 84 1.1 joerg // if (test__mulvsi3(0x7FFFFFFF, -2, 0x80000001)) // abort 85 1.1 joerg // return 1; 86 1.1 joerg // if (test__mulvsi3(-2, 0x7FFFFFFF, 0x80000001)) // abort 87 1.1 joerg // return 1; 88 1.1 joerg if (test__mulvsi3(0x7FFFFFFF, -1, 0x80000001)) 89 1.1 joerg return 1; 90 1.1 joerg if (test__mulvsi3(-1, 0x7FFFFFFF, 0x80000001)) 91 1.1 joerg return 1; 92 1.1 joerg if (test__mulvsi3(0x7FFFFFFF, 0, 0)) 93 1.1 joerg return 1; 94 1.1 joerg if (test__mulvsi3(0, 0x7FFFFFFF, 0)) 95 1.1 joerg return 1; 96 1.1 joerg if (test__mulvsi3(0x7FFFFFFF, 1, 0x7FFFFFFF)) 97 1.1 joerg return 1; 98 1.1 joerg if (test__mulvsi3(1, 0x7FFFFFFF, 0x7FFFFFFF)) 99 1.1 joerg return 1; 100 1.1 joerg // if (test__mulvsi3(0x7FFFFFFF, 2, 0x80000001)) // abort 101 1.1 joerg // return 1; 102 1.1 joerg // if (test__mulvsi3(2, 0x7FFFFFFF, 0x80000001)) // abort 103 1.1 joerg // return 1; 104 1.1 joerg 105 1.1 joerg // if (test__mulvsi3(0x80000000, -2, 0x80000000)) // abort 106 1.1 joerg // return 1; 107 1.1 joerg // if (test__mulvsi3(-2, 0x80000000, 0x80000000)) // abort 108 1.1 joerg // return 1; 109 1.1 joerg // if (test__mulvsi3(0x80000000, -1, 0x80000000)) // abort 110 1.1 joerg // return 1; 111 1.1 joerg // if (test__mulvsi3(-1, 0x80000000, 0x80000000)) // abort 112 1.1 joerg // return 1; 113 1.1 joerg if (test__mulvsi3(0x80000000, 0, 0)) 114 1.1 joerg return 1; 115 1.1 joerg if (test__mulvsi3(0, 0x80000000, 0)) 116 1.1 joerg return 1; 117 1.1 joerg if (test__mulvsi3(0x80000000, 1, 0x80000000)) 118 1.1 joerg return 1; 119 1.1 joerg if (test__mulvsi3(1, 0x80000000, 0x80000000)) 120 1.1 joerg return 1; 121 1.1 joerg // if (test__mulvsi3(0x80000000, 2, 0x80000000)) // abort 122 1.1 joerg // return 1; 123 1.1 joerg // if (test__mulvsi3(2, 0x80000000, 0x80000000)) // abort 124 1.1 joerg // return 1; 125 1.1 joerg 126 1.1 joerg // if (test__mulvsi3(0x80000001, -2, 0x80000001)) // abort 127 1.1 joerg // return 1; 128 1.1 joerg // if (test__mulvsi3(-2, 0x80000001, 0x80000001)) // abort 129 1.1 joerg // return 1; 130 1.1 joerg if (test__mulvsi3(0x80000001, -1, 0x7FFFFFFF)) 131 1.1 joerg return 1; 132 1.1 joerg if (test__mulvsi3(-1, 0x80000001, 0x7FFFFFFF)) 133 1.1 joerg return 1; 134 1.1 joerg if (test__mulvsi3(0x80000001, 0, 0)) 135 1.1 joerg return 1; 136 1.1 joerg if (test__mulvsi3(0, 0x80000001, 0)) 137 1.1 joerg return 1; 138 1.1 joerg if (test__mulvsi3(0x80000001, 1, 0x80000001)) 139 1.1 joerg return 1; 140 1.1 joerg if (test__mulvsi3(1, 0x80000001, 0x80000001)) 141 1.1 joerg return 1; 142 1.1 joerg // if (test__mulvsi3(0x80000001, 2, 0x80000000)) // abort 143 1.1 joerg // return 1; 144 1.1 joerg // if (test__mulvsi3(2, 0x80000001, 0x80000000)) // abort 145 1.1 joerg // return 1; 146 1.1 joerg 147 1.1 joerg return 0; 148 1.1 joerg } 149