1 1.1 joerg //===-- mulvti3_test.c - Test __mulvti3 -----------------------------------===// 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 __mulvti3 for the compiler_rt library. 11 1.1 joerg // 12 1.1 joerg //===----------------------------------------------------------------------===// 13 1.1 joerg 14 1.1 joerg #if __x86_64 15 1.1 joerg 16 1.1 joerg #include "int_lib.h" 17 1.1 joerg #include <stdio.h> 18 1.1 joerg 19 1.1 joerg // Returns: a * b 20 1.1 joerg 21 1.1 joerg // Effects: aborts if a * b overflows 22 1.1 joerg 23 1.1 joerg ti_int __mulvti3(ti_int a, ti_int b); 24 1.1 joerg 25 1.1 joerg int test__mulvti3(ti_int a, ti_int b, ti_int expected) 26 1.1 joerg { 27 1.1 joerg ti_int x = __mulvti3(a, b); 28 1.1 joerg if (x != expected) 29 1.1 joerg { 30 1.1 joerg twords at; 31 1.1 joerg at.all = a; 32 1.1 joerg twords bt; 33 1.1 joerg bt.all = b; 34 1.1 joerg twords xt; 35 1.1 joerg xt.all = x; 36 1.1 joerg twords expectedt; 37 1.1 joerg expectedt.all = expected; 38 1.1 joerg printf("error in __mulvti3: 0x%.16llX%.16llX * 0x%.16llX%.16llX = " 39 1.1 joerg "0x%.16llX%.16llX, expected 0x%.16llX%.16llX\n", 40 1.1 joerg at.s.high, at.s.low, bt.s.high, bt.s.low, xt.s.high, xt.s.low, 41 1.1 joerg expectedt.s.high, expectedt.s.low); 42 1.1 joerg } 43 1.1 joerg return x != expected; 44 1.1 joerg } 45 1.1 joerg 46 1.1 joerg #endif 47 1.1 joerg 48 1.1 joerg int main() 49 1.1 joerg { 50 1.1 joerg #if __x86_64 51 1.1 joerg if (test__mulvti3(0, 0, 0)) 52 1.1 joerg return 1; 53 1.1 joerg if (test__mulvti3(0, 1, 0)) 54 1.1 joerg return 1; 55 1.1 joerg if (test__mulvti3(1, 0, 0)) 56 1.1 joerg return 1; 57 1.1 joerg if (test__mulvti3(0, 10, 0)) 58 1.1 joerg return 1; 59 1.1 joerg if (test__mulvti3(10, 0, 0)) 60 1.1 joerg return 1; 61 1.1 joerg if (test__mulvti3(0, 81985529216486895LL, 0)) 62 1.1 joerg return 1; 63 1.1 joerg if (test__mulvti3(81985529216486895LL, 0, 0)) 64 1.1 joerg return 1; 65 1.1 joerg 66 1.1 joerg if (test__mulvti3(0, -1, 0)) 67 1.1 joerg return 1; 68 1.1 joerg if (test__mulvti3(-1, 0, 0)) 69 1.1 joerg return 1; 70 1.1 joerg if (test__mulvti3(0, -10, 0)) 71 1.1 joerg return 1; 72 1.1 joerg if (test__mulvti3(-10, 0, 0)) 73 1.1 joerg return 1; 74 1.1 joerg if (test__mulvti3(0, -81985529216486895LL, 0)) 75 1.1 joerg return 1; 76 1.1 joerg if (test__mulvti3(-81985529216486895LL, 0, 0)) 77 1.1 joerg return 1; 78 1.1 joerg 79 1.1 joerg if (test__mulvti3(1, 1, 1)) 80 1.1 joerg return 1; 81 1.1 joerg if (test__mulvti3(1, 10, 10)) 82 1.1 joerg return 1; 83 1.1 joerg if (test__mulvti3(10, 1, 10)) 84 1.1 joerg return 1; 85 1.1 joerg if (test__mulvti3(1, 81985529216486895LL, 81985529216486895LL)) 86 1.1 joerg return 1; 87 1.1 joerg if (test__mulvti3(81985529216486895LL, 1, 81985529216486895LL)) 88 1.1 joerg return 1; 89 1.1 joerg 90 1.1 joerg if (test__mulvti3(1, -1, -1)) 91 1.1 joerg return 1; 92 1.1 joerg if (test__mulvti3(1, -10, -10)) 93 1.1 joerg return 1; 94 1.1 joerg if (test__mulvti3(-10, 1, -10)) 95 1.1 joerg return 1; 96 1.1 joerg if (test__mulvti3(1, -81985529216486895LL, -81985529216486895LL)) 97 1.1 joerg return 1; 98 1.1 joerg if (test__mulvti3(-81985529216486895LL, 1, -81985529216486895LL)) 99 1.1 joerg return 1; 100 1.1 joerg 101 1.1 joerg if (test__mulvti3(3037000499LL, 3037000499LL, 9223372030926249001LL)) 102 1.1 joerg return 1; 103 1.1 joerg if (test__mulvti3(-3037000499LL, 3037000499LL, -9223372030926249001LL)) 104 1.1 joerg return 1; 105 1.1 joerg if (test__mulvti3(3037000499LL, -3037000499LL, -9223372030926249001LL)) 106 1.1 joerg return 1; 107 1.1 joerg if (test__mulvti3(-3037000499LL, -3037000499LL, 9223372030926249001LL)) 108 1.1 joerg return 1; 109 1.1 joerg 110 1.1 joerg if (test__mulvti3(4398046511103LL, 2097152LL, 9223372036852678656LL)) 111 1.1 joerg return 1; 112 1.1 joerg if (test__mulvti3(-4398046511103LL, 2097152LL, -9223372036852678656LL)) 113 1.1 joerg return 1; 114 1.1 joerg if (test__mulvti3(4398046511103LL, -2097152LL, -9223372036852678656LL)) 115 1.1 joerg return 1; 116 1.1 joerg if (test__mulvti3(-4398046511103LL, -2097152LL, 9223372036852678656LL)) 117 1.1 joerg return 1; 118 1.1 joerg 119 1.1 joerg if (test__mulvti3(2097152LL, 4398046511103LL, 9223372036852678656LL)) 120 1.1 joerg return 1; 121 1.1 joerg if (test__mulvti3(-2097152LL, 4398046511103LL, -9223372036852678656LL)) 122 1.1 joerg return 1; 123 1.1 joerg if (test__mulvti3(2097152LL, -4398046511103LL, -9223372036852678656LL)) 124 1.1 joerg return 1; 125 1.1 joerg if (test__mulvti3(-2097152LL, -4398046511103LL, 9223372036852678656LL)) 126 1.1 joerg return 1; 127 1.1 joerg 128 1.1 joerg if (test__mulvti3(make_ti(0x00000000000000B5LL, 0x04F333F9DE5BE000LL), 129 1.1 joerg make_ti(0x0000000000000000LL, 0x00B504F333F9DE5BLL), 130 1.1 joerg make_ti(0x7FFFFFFFFFFFF328LL, 0xDF915DA296E8A000LL))) 131 1.1 joerg return 1; 132 1.1 joerg 133 1.1 joerg // if (test__mulvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 134 1.1 joerg // -2, 135 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000001LL))) // abort 136 1.1 joerg // return 1; 137 1.1 joerg // if (test__mulvti3(-2, 138 1.1 joerg // make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 139 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000001LL))) // abort 140 1.1 joerg // return 1; 141 1.1 joerg if (test__mulvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 142 1.1 joerg -1, 143 1.1 joerg make_ti(0x8000000000000000LL, 0x0000000000000001LL))) 144 1.1 joerg return 1; 145 1.1 joerg if (test__mulvti3(-1, 146 1.1 joerg make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 147 1.1 joerg make_ti(0x8000000000000000LL, 0x0000000000000001LL))) 148 1.1 joerg return 1; 149 1.1 joerg if (test__mulvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 150 1.1 joerg 0, 151 1.1 joerg 0)) 152 1.1 joerg return 1; 153 1.1 joerg if (test__mulvti3(0, 154 1.1 joerg make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 155 1.1 joerg 0)) 156 1.1 joerg return 1; 157 1.1 joerg if (test__mulvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 158 1.1 joerg 1, 159 1.1 joerg make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL))) 160 1.1 joerg return 1; 161 1.1 joerg if (test__mulvti3(1, 162 1.1 joerg make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 163 1.1 joerg make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL))) 164 1.1 joerg return 1; 165 1.1 joerg // if (test__mulvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 166 1.1 joerg // 2, 167 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000001LL))) // abort 168 1.1 joerg // return 1; 169 1.1 joerg // if (test__mulvti3(2, 170 1.1 joerg // make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 171 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000001LL))) // abort 172 1.1 joerg // return 1; 173 1.1 joerg 174 1.1 joerg // if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL), 175 1.1 joerg // -2, 176 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 177 1.1 joerg // return 1; 178 1.1 joerg // if (test__mulvti3(-2, 179 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000000LL), 180 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 181 1.1 joerg // return 1; 182 1.1 joerg // if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL), 183 1.1 joerg // -1, 184 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 185 1.1 joerg // return 1; 186 1.1 joerg // if (test__mulvti3(-1, 187 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000000LL), 188 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 189 1.1 joerg // return 1; 190 1.1 joerg if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL), 191 1.1 joerg 0, 192 1.1 joerg 0)) 193 1.1 joerg return 1; 194 1.1 joerg if (test__mulvti3(0, 195 1.1 joerg make_ti(0x8000000000000000LL, 0x0000000000000000LL), 196 1.1 joerg 0)) 197 1.1 joerg return 1; 198 1.1 joerg if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL), 199 1.1 joerg 1, 200 1.1 joerg make_ti(0x8000000000000000LL, 0x0000000000000000LL))) 201 1.1 joerg return 1; 202 1.1 joerg if (test__mulvti3(1, 203 1.1 joerg make_ti(0x8000000000000000LL, 0x0000000000000000LL), 204 1.1 joerg make_ti(0x8000000000000000LL, 0x0000000000000000LL))) 205 1.1 joerg return 1; 206 1.1 joerg // if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL), 207 1.1 joerg // 2, 208 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 209 1.1 joerg // return 1; 210 1.1 joerg // if (test__mulvti3(2, 211 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000000LL), 212 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 213 1.1 joerg // return 1; 214 1.1 joerg 215 1.1 joerg // if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000001LL), 216 1.1 joerg // -2, 217 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000001LL))) // abort 218 1.1 joerg // return 1; 219 1.1 joerg // if (test__mulvti3(-2, 220 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000001LL), 221 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000001LL))) // abort 222 1.1 joerg // return 1; 223 1.1 joerg if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000001LL), 224 1.1 joerg -1, 225 1.1 joerg make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL))) 226 1.1 joerg return 1; 227 1.1 joerg if (test__mulvti3(-1, 228 1.1 joerg make_ti(0x8000000000000000LL, 0x0000000000000001LL), 229 1.1 joerg make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL))) 230 1.1 joerg return 1; 231 1.1 joerg if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000001LL), 232 1.1 joerg 0, 233 1.1 joerg 0)) 234 1.1 joerg return 1; 235 1.1 joerg if (test__mulvti3(0, 236 1.1 joerg make_ti(0x8000000000000000LL, 0x0000000000000001LL), 237 1.1 joerg 0)) 238 1.1 joerg return 1; 239 1.1 joerg if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000001LL), 240 1.1 joerg 1, 241 1.1 joerg make_ti(0x8000000000000000LL, 0x0000000000000001LL))) 242 1.1 joerg return 1; 243 1.1 joerg if (test__mulvti3(1, 244 1.1 joerg make_ti(0x8000000000000000LL, 0x0000000000000001LL), 245 1.1 joerg make_ti(0x8000000000000000LL, 0x0000000000000001LL))) 246 1.1 joerg return 1; 247 1.1 joerg // if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000001LL), 248 1.1 joerg // 2, 249 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 250 1.1 joerg // return 1; 251 1.1 joerg // if (test__mulvti3(2, 252 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000001LL), 253 1.1 joerg // make_ti(0x8000000000000000LL, 0x0000000000000000LL))) // abort 254 1.1 joerg // return 1; 255 1.1 joerg 256 1.1 joerg #else 257 1.1 joerg printf("skipped\n"); 258 1.1 joerg #endif 259 1.1 joerg return 0; 260 1.1 joerg } 261
Indexes created Sat Sep 20 22:09:52 GMT 2025