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