1 // RUN: %clang_builtins %s %librt -o %t && %run %t 2 // REQUIRES: librt_has_multi3 3 // REQUIRES: int128 4 //===-- multi3_test.c - Test __multi3 -------------------------------------===// 5 // 6 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 7 // See https://llvm.org/LICENSE.txt for license information. 8 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 9 // 10 //===----------------------------------------------------------------------===// 11 // 12 // This file tests __multi3 for the compiler_rt library. 13 // 14 //===----------------------------------------------------------------------===// 15 16 #include "int_lib.h" 17 #include <stdio.h> 18 19 #ifdef CRT_HAS_128BIT 20 21 COMPILER_RT_ABI ti_int __multi3(ti_int a, ti_int b); 22 23 int test__multi3(ti_int a, ti_int b, ti_int expected) 24 { 25 ti_int x = __multi3(a, b); 26 if (x != expected) 27 { 28 twords at; 29 at.all = a; 30 twords bt; 31 bt.all = b; 32 twords xt; 33 xt.all = x; 34 twords expectedt; 35 expectedt.all = expected; 36 printf("error in __multi3: 0x%.16llX%.16llX * 0x%.16llX%.16llX = " 37 "0x%.16llX%.16llX, expected 0x%.16llX%.16llX\n", 38 at.s.high, at.s.low, bt.s.high, bt.s.low, xt.s.high, xt.s.low, 39 expectedt.s.high, expectedt.s.low); 40 } 41 return x != expected; 42 } 43 44 char assumption_1[sizeof(ti_int) == 2*sizeof(di_int)] = {0}; 45 46 #endif 47 48 int main() 49 { 50 #ifdef CRT_HAS_128BIT 51 if (test__multi3(0, 0, 0)) 52 return 1; 53 if (test__multi3(0, 1, 0)) 54 return 1; 55 if (test__multi3(1, 0, 0)) 56 return 1; 57 if (test__multi3(0, 10, 0)) 58 return 1; 59 if (test__multi3(10, 0, 0)) 60 return 1; 61 if (test__multi3(0, 81985529216486895LL, 0)) 62 return 1; 63 if (test__multi3(81985529216486895LL, 0, 0)) 64 return 1; 65 66 if (test__multi3(0, -1, 0)) 67 return 1; 68 if (test__multi3(-1, 0, 0)) 69 return 1; 70 if (test__multi3(0, -10, 0)) 71 return 1; 72 if (test__multi3(-10, 0, 0)) 73 return 1; 74 if (test__multi3(0, -81985529216486895LL, 0)) 75 return 1; 76 if (test__multi3(-81985529216486895LL, 0, 0)) 77 return 1; 78 79 if (test__multi3(1, 1, 1)) 80 return 1; 81 if (test__multi3(1, 10, 10)) 82 return 1; 83 if (test__multi3(10, 1, 10)) 84 return 1; 85 if (test__multi3(1, 81985529216486895LL, 81985529216486895LL)) 86 return 1; 87 if (test__multi3(81985529216486895LL, 1, 81985529216486895LL)) 88 return 1; 89 90 if (test__multi3(1, -1, -1)) 91 return 1; 92 if (test__multi3(1, -10, -10)) 93 return 1; 94 if (test__multi3(-10, 1, -10)) 95 return 1; 96 if (test__multi3(1, -81985529216486895LL, -81985529216486895LL)) 97 return 1; 98 if (test__multi3(-81985529216486895LL, 1, -81985529216486895LL)) 99 return 1; 100 101 if (test__multi3(3037000499LL, 3037000499LL, 9223372030926249001LL)) 102 return 1; 103 if (test__multi3(-3037000499LL, 3037000499LL, -9223372030926249001LL)) 104 return 1; 105 if (test__multi3(3037000499LL, -3037000499LL, -9223372030926249001LL)) 106 return 1; 107 if (test__multi3(-3037000499LL, -3037000499LL, 9223372030926249001LL)) 108 return 1; 109 110 if (test__multi3(4398046511103LL, 2097152LL, 9223372036852678656LL)) 111 return 1; 112 if (test__multi3(-4398046511103LL, 2097152LL, -9223372036852678656LL)) 113 return 1; 114 if (test__multi3(4398046511103LL, -2097152LL, -9223372036852678656LL)) 115 return 1; 116 if (test__multi3(-4398046511103LL, -2097152LL, 9223372036852678656LL)) 117 return 1; 118 119 if (test__multi3(2097152LL, 4398046511103LL, 9223372036852678656LL)) 120 return 1; 121 if (test__multi3(-2097152LL, 4398046511103LL, -9223372036852678656LL)) 122 return 1; 123 if (test__multi3(2097152LL, -4398046511103LL, -9223372036852678656LL)) 124 return 1; 125 if (test__multi3(-2097152LL, -4398046511103LL, 9223372036852678656LL)) 126 return 1; 127 128 if (test__multi3(make_ti(0x00000000000000B5LL, 0x04F333F9DE5BE000LL), 129 make_ti(0x0000000000000000LL, 0x00B504F333F9DE5BLL), 130 make_ti(0x7FFFFFFFFFFFF328LL, 0xDF915DA296E8A000LL))) 131 return 1; 132 #else 133 printf("skipped\n"); 134 #endif 135 return 0; 136 } 137