]>
Commit | Line | Data |
---|---|---|
aa118a03 | 1 | // Copyright (C) 2009-2014 Free Software Foundation, Inc. |
4cdc8761 BK |
2 | // |
3 | // This file is part of the GNU ISO C++ Library. This library is free | |
4 | // software; you can redistribute it and/or modify it under the | |
5 | // terms of the GNU General Public License as published by the | |
6 | // Free Software Foundation; either version 3, or (at your option) | |
7 | // any later version. | |
8 | ||
9 | // This library is distributed in the hope that it will be useful, | |
10 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | |
11 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
12 | // GNU General Public License for more details. | |
13 | ||
14 | // You should have received a copy of the GNU General Public License along | |
15 | // with this library; see the file COPYING3. If not see | |
16 | // <http://www.gnu.org/licenses/>. | |
17 | ||
02ebbe2f | 18 | // { dg-require-effective-target dfp } |
4cdc8761 BK |
19 | |
20 | // ISO/IEC TR 24733 3.2.8 Binary arithmetic operators. | |
21 | ||
22 | #include <decimal/decimal> | |
23 | #include <testsuite_hooks.h> | |
24 | ||
25 | using namespace std::decimal; | |
26 | ||
27 | decimal32 d32 (5); | |
28 | decimal64 d64 (-10); | |
29 | decimal128 d128 (25); | |
30 | int si = -20; | |
31 | unsigned int ui = 50; | |
32 | long sl = -10; | |
33 | unsigned long ul = 20; | |
34 | long long sll = -25; | |
35 | unsigned long long ull = 50; | |
36 | ||
37 | void | |
38 | binary_add_32 (void) | |
39 | { | |
ef859c9d | 40 | bool test __attribute__((unused)) = true; |
4cdc8761 BK |
41 | decimal32 a (1000), b; |
42 | ||
43 | b = si + a; VERIFY (b == 980); | |
44 | b = ui + a; VERIFY (b == 1050); | |
45 | b = sl + a; VERIFY (b == 990); | |
46 | b = ul + a; VERIFY (b == 1020); | |
47 | b = sll + a; VERIFY (b == 975); | |
48 | b = ull + a; VERIFY (b == 1050); | |
49 | b = d32 + a; VERIFY (b == 1005); | |
50 | b = (decimal32)(d64 + a); VERIFY (b == 990); | |
51 | b = (decimal32)(d128 + a); VERIFY (b == 1025); | |
52 | ||
53 | b = a + si; VERIFY (b == 980); | |
54 | b = a + ui; VERIFY (b == 1050); | |
55 | b = a + sl; VERIFY (b == 990); | |
56 | b = a + ul; VERIFY (b == 1020); | |
57 | b = a + sll; VERIFY (b == 975); | |
58 | b = a + ull; VERIFY (b == 1050); | |
59 | b = a + d32; VERIFY (b == 1005); | |
60 | b = (decimal32)(a + d64); VERIFY (b == 990); | |
61 | b = (decimal32)(a + d128); VERIFY (b == 1025); | |
62 | } | |
63 | ||
64 | void | |
65 | binary_subtract_32 (void) | |
66 | { | |
ef859c9d | 67 | bool test __attribute__((unused)) = true; |
4cdc8761 BK |
68 | decimal32 a (1000), b; |
69 | ||
70 | b = a - si; VERIFY (b == 1020); | |
71 | b = a - ui; VERIFY (b == 950); | |
72 | b = a - sl; VERIFY (b == 1010); | |
73 | b = a - ul; VERIFY (b == 980); | |
74 | b = a - sll; VERIFY (b == 1025); | |
75 | b = a - ull; VERIFY (b == 950); | |
76 | b = a - d32; VERIFY (b == 995); | |
77 | b = (decimal32)(a - d64); VERIFY (b == 1010); | |
78 | b = (decimal32)(a - d128); VERIFY (b == 975); | |
79 | ||
80 | a = -1000; | |
81 | b = si - a; VERIFY (b == 980); | |
82 | b = ui - a; VERIFY (b == 1050); | |
83 | b = sl - a; VERIFY (b == 990); | |
84 | b = ul - a; VERIFY (b == 1020); | |
85 | b = sll - a; VERIFY (b == 975); | |
86 | b = ull - a; VERIFY (b == 1050); | |
87 | b = d32 - a; VERIFY (b == 1005); | |
88 | b = (decimal32)(d64 - a); VERIFY (b == 990); | |
89 | b = (decimal32)(d128 - a); VERIFY (b == 1025); | |
90 | } | |
91 | ||
92 | void | |
93 | binary_multiply_32 (void) | |
94 | { | |
ef859c9d | 95 | bool test __attribute__((unused)) = true; |
4cdc8761 BK |
96 | decimal32 a (1000), b; |
97 | ||
98 | b = a * si; VERIFY (b == -20000); | |
99 | b = a * ui; VERIFY (b == 50000); | |
100 | b = a * sl; VERIFY (b == -10000); | |
101 | b = a * ul; VERIFY (b == 20000); | |
102 | b = a * sll; VERIFY (b == -25000); | |
103 | b = a * ull; VERIFY (b == 50000); | |
104 | b = a * d32; VERIFY (b == 5000); | |
105 | b = (decimal32)(a * d64); VERIFY (b == -10000); | |
106 | b = (decimal32)(a * d128); VERIFY (b == 25000); | |
107 | ||
108 | b = si * a; VERIFY (b == -20000); | |
109 | b = ui * a; VERIFY (b == 50000); | |
110 | b = sl * a; VERIFY (b == -10000); | |
111 | b = ul * a; VERIFY (b == 20000); | |
112 | b = sll * a; VERIFY (b == -25000); | |
113 | b = ull * a; VERIFY (b == 50000); | |
114 | b = d32 * a; VERIFY (b == 5000); | |
115 | b = (decimal32)(d64 * a); VERIFY (b == -10000); | |
116 | b = (decimal32)(d128 * a); VERIFY (b == 25000); | |
117 | } | |
118 | ||
119 | void | |
120 | binary_divide_32 (void) | |
121 | { | |
ef859c9d | 122 | bool test __attribute__((unused)) = true; |
4cdc8761 BK |
123 | decimal32 a (1000), b; |
124 | ||
125 | b = a / si; VERIFY (b == -50); | |
126 | b = a / ui; VERIFY (b == 20); | |
127 | b = a / sl; VERIFY (b == -100); | |
128 | b = a / ul; VERIFY (b == 50); | |
129 | b = a / sll; VERIFY (b == -40); | |
130 | b = a / ull; VERIFY (b == 20); | |
131 | b = a / d32; VERIFY (b == 200); | |
132 | b = (decimal32)(a / d64); VERIFY (b == -100); | |
133 | b = (decimal32)(a / d128); VERIFY (b == 40); | |
134 | ||
135 | a = 5; | |
136 | b = si / a; VERIFY (b == -4); | |
137 | b = ui / a; VERIFY (b == 10); | |
138 | b = sl / a; VERIFY (b == -2); | |
139 | b = ul / a; VERIFY (b == 4); | |
140 | b = sll / a; VERIFY (b == -5); | |
141 | b = ull / a; VERIFY (b == 10); | |
142 | b = d32 / a; VERIFY (b == 1); | |
143 | b = (decimal32)(d64 / a); VERIFY (b == -2); | |
144 | b = (decimal32)(d128 / a); VERIFY (b == 5); | |
145 | } | |
146 | ||
147 | void | |
148 | binary_add_64 (void) | |
149 | { | |
ef859c9d | 150 | bool test __attribute__((unused)) = true; |
4cdc8761 BK |
151 | decimal64 a (1000), b; |
152 | ||
153 | b = a + si; VERIFY (b == 980); | |
154 | b = a + ui; VERIFY (b == 1050); | |
155 | b = a + sl; VERIFY (b == 990); | |
156 | b = a + ul; VERIFY (b == 1020); | |
157 | b = a + sll; VERIFY (b == 975); | |
158 | b = a + ull; VERIFY (b == 1050); | |
159 | b = a + d32; VERIFY (b == 1005); | |
160 | b = a + d64; VERIFY (b == 990); | |
161 | b = (decimal64)(a + d128); VERIFY (b == 1025); | |
162 | ||
163 | b = a + si; VERIFY (b == 980); | |
164 | b = a + ui; VERIFY (b == 1050); | |
165 | b = a + sl; VERIFY (b == 990); | |
166 | b = a + ul; VERIFY (b == 1020); | |
167 | b = a + sll; VERIFY (b == 975); | |
168 | b = a + ull; VERIFY (b == 1050); | |
169 | b = a + d32; VERIFY (b == 1005); | |
170 | b = a + d64; VERIFY (b == 990); | |
171 | b = (decimal64)(a + d128); VERIFY (b == 1025); | |
172 | } | |
173 | ||
174 | void | |
175 | binary_subtract_64 (void) | |
176 | { | |
ef859c9d | 177 | bool test __attribute__((unused)) = true; |
4cdc8761 BK |
178 | decimal64 a (1000), b; |
179 | ||
180 | b = a - si; VERIFY (b == 1020); | |
181 | b = a - ui; VERIFY (b == 950); | |
182 | b = a - sl; VERIFY (b == 1010); | |
183 | b = a - ul; VERIFY (b == 980); | |
184 | b = a - sll; VERIFY (b == 1025); | |
185 | b = a - ull; VERIFY (b == 950); | |
186 | b = a - d32; VERIFY (b == 995); | |
187 | b = a - d64; VERIFY (b == 1010); | |
188 | b = (decimal64)(a - d128); VERIFY (b == 975); | |
189 | ||
190 | a = -1000; | |
191 | b = si - a; VERIFY (b == 980); | |
192 | b = ui - a; VERIFY (b == 1050); | |
193 | b = sl - a; VERIFY (b == 990); | |
194 | b = ul - a; VERIFY (b == 1020); | |
195 | b = sll - a; VERIFY (b == 975); | |
196 | b = ull - a; VERIFY (b == 1050); | |
197 | b = d32 - a; VERIFY (b == 1005); | |
198 | b = d64 - a; VERIFY (b == 990); | |
199 | b = (decimal64)(d128 - a); VERIFY (b == 1025); | |
200 | } | |
201 | ||
202 | void | |
203 | binary_multiply_64 (void) | |
204 | { | |
ef859c9d | 205 | bool test __attribute__((unused)) = true; |
4cdc8761 BK |
206 | decimal64 a (1000), b; |
207 | ||
208 | b = a * si; VERIFY (b == -20000); | |
209 | b = a * ui; VERIFY (b == 50000); | |
210 | b = a * sl; VERIFY (b == -10000); | |
211 | b = a * ul; VERIFY (b == 20000); | |
212 | b = a * sll; VERIFY (b == -25000); | |
213 | b = a * ull; VERIFY (b == 50000); | |
214 | b = a * d32; VERIFY (b == 5000); | |
215 | b = a * d64; VERIFY (b == -10000); | |
216 | b = (decimal64)(a * d128); VERIFY (b == 25000); | |
217 | ||
218 | b = si * a; VERIFY (b == -20000); | |
219 | b = ui * a; VERIFY (b == 50000); | |
220 | b = sl * a; VERIFY (b == -10000); | |
221 | b = ul * a; VERIFY (b == 20000); | |
222 | b = sll * a; VERIFY (b == -25000); | |
223 | b = ull * a; VERIFY (b == 50000); | |
224 | b = d32 * a; VERIFY (b == 5000); | |
225 | b = d64 * a; VERIFY (b == -10000); | |
226 | b = (decimal64)(d128 * a); VERIFY (b == 25000); | |
227 | } | |
228 | ||
229 | void | |
230 | binary_divide_64 (void) | |
231 | { | |
ef859c9d | 232 | bool test __attribute__((unused)) = true; |
4cdc8761 BK |
233 | decimal64 a (1000), b; |
234 | ||
235 | b = a / si; VERIFY (b == -50); | |
236 | b = a / ui; VERIFY (b == 20); | |
237 | b = a / sl; VERIFY (b == -100); | |
238 | b = a / ul; VERIFY (b == 50); | |
239 | b = a / sll; VERIFY (b == -40); | |
240 | b = a / ull; VERIFY (b == 20); | |
241 | b = a / d32; VERIFY (b == 200); | |
242 | b = a / d64; VERIFY (b == -100); | |
243 | b = (decimal64)(a / d128); VERIFY (b == 40); | |
244 | ||
245 | a = 5; | |
246 | b = si / a; VERIFY (b == -4); | |
247 | b = ui / a; VERIFY (b == 10); | |
248 | b = sl / a; VERIFY (b == -2); | |
249 | b = ul / a; VERIFY (b == 4); | |
250 | b = sll / a; VERIFY (b == -5); | |
251 | b = ull / a; VERIFY (b == 10); | |
252 | b = d32 / a; VERIFY (b == 1); | |
253 | b = d64 / a; VERIFY (b == -2); | |
254 | b = (decimal64)(d128 / a); VERIFY (b == 5); | |
255 | } | |
256 | ||
257 | void | |
258 | binary_add_128 (void) | |
259 | { | |
ef859c9d | 260 | bool test __attribute__((unused)) = true; |
4cdc8761 BK |
261 | decimal128 a (1000), b; |
262 | ||
263 | b = a + si; VERIFY (b == 980); | |
264 | b = a + ui; VERIFY (b == 1050); | |
265 | b = a + sl; VERIFY (b == 990); | |
266 | b = a + ul; VERIFY (b == 1020); | |
267 | b = a + sll; VERIFY (b == 975); | |
268 | b = a + ull; VERIFY (b == 1050); | |
269 | b = a + d32; VERIFY (b == 1005); | |
270 | b = a + d64; VERIFY (b == 990); | |
271 | b = a + d128; VERIFY (b == 1025); | |
272 | ||
273 | b = a + si; VERIFY (b == 980); | |
274 | b = a + ui; VERIFY (b == 1050); | |
275 | b = a + sl; VERIFY (b == 990); | |
276 | b = a + ul; VERIFY (b == 1020); | |
277 | b = a + sll; VERIFY (b == 975); | |
278 | b = a + ull; VERIFY (b == 1050); | |
279 | b = a + d32; VERIFY (b == 1005); | |
280 | b = a + d64; VERIFY (b == 990); | |
281 | b = a + d128; VERIFY (b == 1025); | |
282 | } | |
283 | ||
284 | void | |
285 | binary_subtract_128 (void) | |
286 | { | |
ef859c9d | 287 | bool test __attribute__((unused)) = true; |
4cdc8761 BK |
288 | decimal128 a (1000), b; |
289 | ||
290 | b = a - si; VERIFY (b == 1020); | |
291 | b = a - ui; VERIFY (b == 950); | |
292 | b = a - sl; VERIFY (b == 1010); | |
293 | b = a - ul; VERIFY (b == 980); | |
294 | b = a - sll; VERIFY (b == 1025); | |
295 | b = a - ull; VERIFY (b == 950); | |
296 | b = a - d32; VERIFY (b == 995); | |
297 | b = a - d64; VERIFY (b == 1010); | |
298 | b = a - d128; VERIFY (b == 975); | |
299 | ||
300 | a = -1000; | |
301 | b = si - a; VERIFY (b == 980); | |
302 | b = ui - a; VERIFY (b == 1050); | |
303 | b = sl - a; VERIFY (b == 990); | |
304 | b = ul - a; VERIFY (b == 1020); | |
305 | b = sll - a; VERIFY (b == 975); | |
306 | b = ull - a; VERIFY (b == 1050); | |
307 | b = d32 - a; VERIFY (b == 1005); | |
308 | b = d64 - a; VERIFY (b == 990); | |
309 | b = d128 - a; VERIFY (b == 1025); | |
310 | } | |
311 | ||
312 | void | |
313 | binary_multiply_128 (void) | |
314 | { | |
ef859c9d | 315 | bool test __attribute__((unused)) = true; |
4cdc8761 BK |
316 | decimal128 a (1000), b; |
317 | ||
318 | b = a * si; VERIFY (b == -20000); | |
319 | b = a * ui; VERIFY (b == 50000); | |
320 | b = a * sl; VERIFY (b == -10000); | |
321 | b = a * ul; VERIFY (b == 20000); | |
322 | b = a * sll; VERIFY (b == -25000); | |
323 | b = a * ull; VERIFY (b == 50000); | |
324 | b = a * d32; VERIFY (b == 5000); | |
325 | b = a * d64; VERIFY (b == -10000); | |
326 | b = a * d128; VERIFY (b == 25000); | |
327 | ||
328 | b = si * a; VERIFY (b == -20000); | |
329 | b = ui * a; VERIFY (b == 50000); | |
330 | b = sl * a; VERIFY (b == -10000); | |
331 | b = ul * a; VERIFY (b == 20000); | |
332 | b = sll * a; VERIFY (b == -25000); | |
333 | b = ull * a; VERIFY (b == 50000); | |
334 | b = d32 * a; VERIFY (b == 5000); | |
335 | b = d64 * a; VERIFY (b == -10000); | |
336 | b = d128 * a; VERIFY (b == 25000); | |
337 | } | |
338 | ||
339 | void | |
340 | binary_divide_128 (void) | |
341 | { | |
ef859c9d | 342 | bool test __attribute__((unused)) = true; |
4cdc8761 BK |
343 | decimal128 a (1000), b; |
344 | ||
345 | b = a / si; VERIFY (b == -50); | |
346 | b = a / ui; VERIFY (b == 20); | |
347 | b = a / sl; VERIFY (b == -100); | |
348 | b = a / ul; VERIFY (b == 50); | |
349 | b = a / sll; VERIFY (b == -40); | |
350 | b = a / ull; VERIFY (b == 20); | |
351 | b = a / d32; VERIFY (b == 200); | |
352 | b = a / d64; VERIFY (b == -100); | |
353 | b = a / d128; VERIFY (b == 40); | |
354 | ||
355 | a = 5; | |
356 | b = si / a; VERIFY (b == -4); | |
357 | b = ui / a; VERIFY (b == 10); | |
358 | b = sl / a; VERIFY (b == -2); | |
359 | b = ul / a; VERIFY (b == 4); | |
360 | b = sll / a; VERIFY (b == -5); | |
361 | b = ull / a; VERIFY (b == 10); | |
362 | b = d32 / a; VERIFY (b == 1); | |
363 | b = d64 / a; VERIFY (b == -2); | |
364 | b = d128 / a; VERIFY (b == 5); | |
365 | } | |
366 | ||
367 | int | |
368 | main () | |
369 | { | |
370 | binary_add_32 (); | |
371 | binary_subtract_32 (); | |
372 | binary_multiply_32 (); | |
373 | binary_divide_32 (); | |
374 | ||
375 | binary_add_64 (); | |
376 | binary_subtract_64 (); | |
377 | binary_multiply_64 (); | |
378 | binary_divide_64 (); | |
379 | ||
380 | binary_add_128 (); | |
381 | binary_subtract_128 (); | |
382 | binary_multiply_128 (); | |
383 | binary_divide_128 (); | |
384 | } |