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