xref: /netbsd-src/sys/external/bsd/compiler_rt/dist/test/Unit/mulvsi3_test.c (revision b9829059e8a75f40496c2d279251f331078ac82e)
1*b9829059Sjoerg //===-- mulvsi3_test.c - Test __mulvsi3 -----------------------------------===//
2*b9829059Sjoerg //
3*b9829059Sjoerg //                     The LLVM Compiler Infrastructure
4*b9829059Sjoerg //
5*b9829059Sjoerg // This file is dual licensed under the MIT and the University of Illinois Open
6*b9829059Sjoerg // Source Licenses. See LICENSE.TXT for details.
7*b9829059Sjoerg //
8*b9829059Sjoerg //===----------------------------------------------------------------------===//
9*b9829059Sjoerg //
10*b9829059Sjoerg // This file tests __mulvsi3 for the compiler_rt library.
11*b9829059Sjoerg //
12*b9829059Sjoerg //===----------------------------------------------------------------------===//
13*b9829059Sjoerg 
14*b9829059Sjoerg #include "int_lib.h"
15*b9829059Sjoerg #include <stdio.h>
16*b9829059Sjoerg 
17*b9829059Sjoerg // Returns: a * b
18*b9829059Sjoerg 
19*b9829059Sjoerg // Effects: aborts if a * b overflows
20*b9829059Sjoerg 
21*b9829059Sjoerg si_int __mulvsi3(si_int a, si_int b);
22*b9829059Sjoerg 
test__mulvsi3(si_int a,si_int b,si_int expected)23*b9829059Sjoerg int test__mulvsi3(si_int a, si_int b, si_int expected)
24*b9829059Sjoerg {
25*b9829059Sjoerg     si_int x = __mulvsi3(a, b);
26*b9829059Sjoerg     if (x != expected)
27*b9829059Sjoerg         printf("error in __mulvsi3: %d * %d = %d, expected %d\n",
28*b9829059Sjoerg                a, b, x, expected);
29*b9829059Sjoerg     return x != expected;
30*b9829059Sjoerg }
31*b9829059Sjoerg 
main()32*b9829059Sjoerg int main()
33*b9829059Sjoerg {
34*b9829059Sjoerg     if (test__mulvsi3(0, 0, 0))
35*b9829059Sjoerg         return 1;
36*b9829059Sjoerg     if (test__mulvsi3(0, 1, 0))
37*b9829059Sjoerg         return 1;
38*b9829059Sjoerg     if (test__mulvsi3(1, 0, 0))
39*b9829059Sjoerg         return 1;
40*b9829059Sjoerg     if (test__mulvsi3(0, 10, 0))
41*b9829059Sjoerg         return 1;
42*b9829059Sjoerg     if (test__mulvsi3(10, 0, 0))
43*b9829059Sjoerg         return 1;
44*b9829059Sjoerg     if (test__mulvsi3(0, 0x1234567, 0))
45*b9829059Sjoerg         return 1;
46*b9829059Sjoerg     if (test__mulvsi3(0x1234567, 0, 0))
47*b9829059Sjoerg         return 1;
48*b9829059Sjoerg 
49*b9829059Sjoerg     if (test__mulvsi3(0, -1, 0))
50*b9829059Sjoerg         return 1;
51*b9829059Sjoerg     if (test__mulvsi3(-1, 0, 0))
52*b9829059Sjoerg         return 1;
53*b9829059Sjoerg     if (test__mulvsi3(0, -10, 0))
54*b9829059Sjoerg         return 1;
55*b9829059Sjoerg     if (test__mulvsi3(-10, 0, 0))
56*b9829059Sjoerg         return 1;
57*b9829059Sjoerg     if (test__mulvsi3(0, -0x1234567, 0))
58*b9829059Sjoerg         return 1;
59*b9829059Sjoerg     if (test__mulvsi3(-0x1234567, 0, 0))
60*b9829059Sjoerg         return 1;
61*b9829059Sjoerg 
62*b9829059Sjoerg     if (test__mulvsi3(1, 1, 1))
63*b9829059Sjoerg         return 1;
64*b9829059Sjoerg     if (test__mulvsi3(1, 10, 10))
65*b9829059Sjoerg         return 1;
66*b9829059Sjoerg     if (test__mulvsi3(10, 1, 10))
67*b9829059Sjoerg         return 1;
68*b9829059Sjoerg     if (test__mulvsi3(1, 0x1234567, 0x1234567))
69*b9829059Sjoerg         return 1;
70*b9829059Sjoerg     if (test__mulvsi3(0x1234567, 1, 0x1234567))
71*b9829059Sjoerg         return 1;
72*b9829059Sjoerg 
73*b9829059Sjoerg     if (test__mulvsi3(1, -1, -1))
74*b9829059Sjoerg         return 1;
75*b9829059Sjoerg     if (test__mulvsi3(1, -10, -10))
76*b9829059Sjoerg         return 1;
77*b9829059Sjoerg     if (test__mulvsi3(-10, 1, -10))
78*b9829059Sjoerg         return 1;
79*b9829059Sjoerg     if (test__mulvsi3(1, -0x1234567, -0x1234567))
80*b9829059Sjoerg         return 1;
81*b9829059Sjoerg     if (test__mulvsi3(-0x1234567, 1, -0x1234567))
82*b9829059Sjoerg         return 1;
83*b9829059Sjoerg 
84*b9829059Sjoerg //     if (test__mulvsi3(0x7FFFFFFF, -2, 0x80000001))  // abort
85*b9829059Sjoerg //         return 1;
86*b9829059Sjoerg //     if (test__mulvsi3(-2, 0x7FFFFFFF, 0x80000001))  // abort
87*b9829059Sjoerg //         return 1;
88*b9829059Sjoerg     if (test__mulvsi3(0x7FFFFFFF, -1, 0x80000001))
89*b9829059Sjoerg         return 1;
90*b9829059Sjoerg     if (test__mulvsi3(-1, 0x7FFFFFFF, 0x80000001))
91*b9829059Sjoerg         return 1;
92*b9829059Sjoerg     if (test__mulvsi3(0x7FFFFFFF, 0, 0))
93*b9829059Sjoerg         return 1;
94*b9829059Sjoerg     if (test__mulvsi3(0, 0x7FFFFFFF, 0))
95*b9829059Sjoerg         return 1;
96*b9829059Sjoerg     if (test__mulvsi3(0x7FFFFFFF, 1, 0x7FFFFFFF))
97*b9829059Sjoerg         return 1;
98*b9829059Sjoerg     if (test__mulvsi3(1, 0x7FFFFFFF, 0x7FFFFFFF))
99*b9829059Sjoerg         return 1;
100*b9829059Sjoerg //     if (test__mulvsi3(0x7FFFFFFF, 2, 0x80000001))  // abort
101*b9829059Sjoerg //         return 1;
102*b9829059Sjoerg //     if (test__mulvsi3(2, 0x7FFFFFFF, 0x80000001))  // abort
103*b9829059Sjoerg //         return 1;
104*b9829059Sjoerg 
105*b9829059Sjoerg //     if (test__mulvsi3(0x80000000, -2, 0x80000000))  // abort
106*b9829059Sjoerg //         return 1;
107*b9829059Sjoerg //     if (test__mulvsi3(-2, 0x80000000, 0x80000000))  // abort
108*b9829059Sjoerg //         return 1;
109*b9829059Sjoerg //     if (test__mulvsi3(0x80000000, -1, 0x80000000))  // abort
110*b9829059Sjoerg //         return 1;
111*b9829059Sjoerg //     if (test__mulvsi3(-1, 0x80000000, 0x80000000))  // abort
112*b9829059Sjoerg //         return 1;
113*b9829059Sjoerg     if (test__mulvsi3(0x80000000, 0, 0))
114*b9829059Sjoerg         return 1;
115*b9829059Sjoerg     if (test__mulvsi3(0, 0x80000000, 0))
116*b9829059Sjoerg         return 1;
117*b9829059Sjoerg     if (test__mulvsi3(0x80000000, 1, 0x80000000))
118*b9829059Sjoerg         return 1;
119*b9829059Sjoerg     if (test__mulvsi3(1, 0x80000000, 0x80000000))
120*b9829059Sjoerg         return 1;
121*b9829059Sjoerg //     if (test__mulvsi3(0x80000000, 2, 0x80000000))  // abort
122*b9829059Sjoerg //         return 1;
123*b9829059Sjoerg //     if (test__mulvsi3(2, 0x80000000, 0x80000000))  // abort
124*b9829059Sjoerg //         return 1;
125*b9829059Sjoerg 
126*b9829059Sjoerg //     if (test__mulvsi3(0x80000001, -2, 0x80000001))  // abort
127*b9829059Sjoerg //         return 1;
128*b9829059Sjoerg //     if (test__mulvsi3(-2, 0x80000001, 0x80000001))  // abort
129*b9829059Sjoerg //         return 1;
130*b9829059Sjoerg     if (test__mulvsi3(0x80000001, -1, 0x7FFFFFFF))
131*b9829059Sjoerg         return 1;
132*b9829059Sjoerg     if (test__mulvsi3(-1, 0x80000001, 0x7FFFFFFF))
133*b9829059Sjoerg         return 1;
134*b9829059Sjoerg     if (test__mulvsi3(0x80000001, 0, 0))
135*b9829059Sjoerg         return 1;
136*b9829059Sjoerg     if (test__mulvsi3(0, 0x80000001, 0))
137*b9829059Sjoerg         return 1;
138*b9829059Sjoerg     if (test__mulvsi3(0x80000001, 1, 0x80000001))
139*b9829059Sjoerg         return 1;
140*b9829059Sjoerg     if (test__mulvsi3(1, 0x80000001, 0x80000001))
141*b9829059Sjoerg         return 1;
142*b9829059Sjoerg //     if (test__mulvsi3(0x80000001, 2, 0x80000000))  // abort
143*b9829059Sjoerg //         return 1;
144*b9829059Sjoerg //     if (test__mulvsi3(2, 0x80000001, 0x80000000))  // abort
145*b9829059Sjoerg //         return 1;
146*b9829059Sjoerg 
147*b9829059Sjoerg     return 0;
148*b9829059Sjoerg }
149