101 lines · c
1// RUN: %clang_builtins %s %librt -o %t && %run %t2// REQUIRES: librt_has_muldi33 4#include "int_lib.h"5#include <stdio.h>6 7COMPILER_RT_ABI di_int __muldi3(di_int a, di_int b);8 9int test__muldi3(di_int a, di_int b, di_int expected)10{11 di_int x = __muldi3(a, b);12 if (x != expected)13 printf("error in __muldi3: %lld * %lld = %lld, expected %lld\n",14 a, b, x, expected);15 return x != expected;16}17 18char assumption_1[sizeof(di_int) == 2*sizeof(si_int)] = {0};19 20int main()21{22 if (test__muldi3(0, 0, 0))23 return 1;24 if (test__muldi3(0, 1, 0))25 return 1;26 if (test__muldi3(1, 0, 0))27 return 1;28 if (test__muldi3(0, 10, 0))29 return 1;30 if (test__muldi3(10, 0, 0))31 return 1;32 if (test__muldi3(0, 81985529216486895LL, 0))33 return 1;34 if (test__muldi3(81985529216486895LL, 0, 0))35 return 1;36 37 if (test__muldi3(0, -1, 0))38 return 1;39 if (test__muldi3(-1, 0, 0))40 return 1;41 if (test__muldi3(0, -10, 0))42 return 1;43 if (test__muldi3(-10, 0, 0))44 return 1;45 if (test__muldi3(0, -81985529216486895LL, 0))46 return 1;47 if (test__muldi3(-81985529216486895LL, 0, 0))48 return 1;49 50 if (test__muldi3(1, 1, 1))51 return 1;52 if (test__muldi3(1, 10, 10))53 return 1;54 if (test__muldi3(10, 1, 10))55 return 1;56 if (test__muldi3(1, 81985529216486895LL, 81985529216486895LL))57 return 1;58 if (test__muldi3(81985529216486895LL, 1, 81985529216486895LL))59 return 1;60 61 if (test__muldi3(1, -1, -1))62 return 1;63 if (test__muldi3(1, -10, -10))64 return 1;65 if (test__muldi3(-10, 1, -10))66 return 1;67 if (test__muldi3(1, -81985529216486895LL, -81985529216486895LL))68 return 1;69 if (test__muldi3(-81985529216486895LL, 1, -81985529216486895LL))70 return 1;71 72 if (test__muldi3(3037000499LL, 3037000499LL, 9223372030926249001LL))73 return 1;74 if (test__muldi3(-3037000499LL, 3037000499LL, -9223372030926249001LL))75 return 1;76 if (test__muldi3(3037000499LL, -3037000499LL, -9223372030926249001LL))77 return 1;78 if (test__muldi3(-3037000499LL, -3037000499LL, 9223372030926249001LL))79 return 1;80 81 if (test__muldi3(4398046511103LL, 2097152LL, 9223372036852678656LL))82 return 1;83 if (test__muldi3(-4398046511103LL, 2097152LL, -9223372036852678656LL))84 return 1;85 if (test__muldi3(4398046511103LL, -2097152LL, -9223372036852678656LL))86 return 1;87 if (test__muldi3(-4398046511103LL, -2097152LL, 9223372036852678656LL))88 return 1;89 90 if (test__muldi3(2097152LL, 4398046511103LL, 9223372036852678656LL))91 return 1;92 if (test__muldi3(-2097152LL, 4398046511103LL, -9223372036852678656LL))93 return 1;94 if (test__muldi3(2097152LL, -4398046511103LL, -9223372036852678656LL))95 return 1;96 if (test__muldi3(-2097152LL, -4398046511103LL, 9223372036852678656LL))97 return 1;98 99 return 0;100}101