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