1 /* { dg-options "-O0" } */
2 /* { dg-skip-if "test is for emulation" { hard_dfp } } */
3
4 /* N1150 5.2: Conversions among decimal floating types and between
5 decimal floating types and generic floating types.
6 C99 6.3.1.5(3) New.
7
8 Perform conversions between DFP types in which the assigned value
9 cannot be represented exactly in the result and must be rounded
10 correctly according to the current rounding mode.
11
12 Normally this would not be part of compiler testing, but conversions
13 are currently handled in libgcc via decNumber. */
14
15 #include "dfp-dbg.h"
16 #include "dfp-round.h"
17
18 _Decimal32 d32;
19 _Decimal64 d64;
20 _Decimal128 d128;
21
22 _Decimal32 d64_to_d32 (_Decimal64 d) { return d; }
23 _Decimal64 d128_to_d64 (_Decimal128 d) { return d; }
24 _Decimal32 d128_to_d32 (_Decimal128 d) { return d; }
25
26 int
27 do_d64_to_d32 (_Decimal64 orig, _Decimal32 exp)
28 {
29 d64 = orig;
30 d32 = d64_to_d32 (d64);
31 return (d32 == exp);
32 }
33
34 int
35 do_d128_to_d32 (_Decimal128 orig, _Decimal32 exp)
36 {
37 d128 = orig;
38 d32 = d128_to_d32 (d128);
39 return (d32 == exp);
40 }
41
42 int
43 do_d128_to_d64 (_Decimal128 orig, _Decimal64 exp)
44 {
45 d128 = orig;
46 d64 = d128_to_d64 (d128);
47 return (d64 == exp);
48 }
49
50 int
51 main ()
52 {
53 DFP_SETROUND (FE_DEC_DOWNWARD);
54 if (!do_d64_to_d32 (1.1111125dd, 1.111112df)) FAILURE
55 if (!do_d64_to_d32 (1.1111135dd, 1.111113df)) FAILURE
56 if (!do_d64_to_d32 (-1.1111125dd, -1.111113df)) FAILURE
57 if (!do_d64_to_d32 (-1.1111135dd, -1.111114df)) FAILURE
58 if (!do_d128_to_d32 (1.1111125dl, 1.111112df)) FAILURE
59 if (!do_d128_to_d32 (1.1111135dl, 1.111113df)) FAILURE
60 if (!do_d128_to_d32 (-1.1111125dl, -1.111113df)) FAILURE
61 if (!do_d128_to_d32 (-1.1111135dl, -1.111114df)) FAILURE
62 if (!do_d128_to_d64 (1.1111111111111125dl, 1.111111111111112dd)) FAILURE
63 if (!do_d128_to_d64 (1.1111111111111135dl, 1.111111111111113dd)) FAILURE
64 if (!do_d128_to_d64 (-1.1111111111111125dl, -1.111111111111113dd)) FAILURE
65 if (!do_d128_to_d64 (-1.1111111111111135dl, -1.111111111111114dd)) FAILURE
66
67 DFP_SETROUND (FE_DEC_TONEAREST);
68 if (!do_d64_to_d32 (1.1111125dd, 1.111112df)) FAILURE
69 if (!do_d64_to_d32 (1.1111135dd, 1.111114df)) FAILURE
70 if (!do_d64_to_d32 (-1.1111125dd, -1.111112df)) FAILURE
71 if (!do_d64_to_d32 (-1.1111135dd, -1.111114df)) FAILURE
72 if (!do_d128_to_d32 (1.1111125dl, 1.111112df)) FAILURE
73 if (!do_d128_to_d32 (1.1111135dl, 1.111114df)) FAILURE
74 if (!do_d128_to_d32 (-1.1111125dl, -1.111112df)) FAILURE
75 if (!do_d128_to_d32 (-1.1111135dl, -1.111114df)) FAILURE
76 if (!do_d128_to_d64 (1.1111111111111125dl, 1.111111111111112dd)) FAILURE
77 if (!do_d128_to_d64 (1.1111111111111135dl, 1.111111111111114dd)) FAILURE
78 if (!do_d128_to_d64 (-1.1111111111111125dl, -1.111111111111112dd)) FAILURE
79 if (!do_d128_to_d64 (-1.1111111111111135dl, -1.111111111111114dd)) FAILURE
80
81 DFP_SETROUND (FE_DEC_TONEARESTFROMZERO);
82 if (!do_d64_to_d32 (1.1111125dd, 1.111113df)) FAILURE
83 if (!do_d64_to_d32 (1.1111135dd, 1.111114df)) FAILURE
84 if (!do_d64_to_d32 (-1.1111125dd, -1.111113df)) FAILURE
85 if (!do_d64_to_d32 (-1.1111135dd, -1.111114df)) FAILURE
86 if (!do_d128_to_d32 (1.1111125dl, 1.111113df)) FAILURE
87 if (!do_d128_to_d32 (1.1111135dl, 1.111114df)) FAILURE
88 if (!do_d128_to_d32 (-1.1111125dl, -1.111113df)) FAILURE
89 if (!do_d128_to_d32 (-1.1111135dl, -1.111114df)) FAILURE
90 if (!do_d128_to_d64 (1.1111111111111125dl, 1.111111111111113dd)) FAILURE
91 if (!do_d128_to_d64 (1.1111111111111135dl, 1.111111111111114dd)) FAILURE
92 if (!do_d128_to_d64 (-1.1111111111111125dl, -1.111111111111113dd)) FAILURE
93 if (!do_d128_to_d64 (-1.1111111111111135dl, -1.111111111111114dd)) FAILURE
94
95 DFP_SETROUND (FE_DEC_TOWARDZERO);
96 if (!do_d64_to_d32 (1.1111125dd, 1.111112df)) FAILURE
97 if (!do_d64_to_d32 (1.1111135dd, 1.111113df)) FAILURE
98 if (!do_d64_to_d32 (-1.1111125dd, -1.111112df)) FAILURE
99 if (!do_d64_to_d32 (-1.1111135dd, -1.111113df)) FAILURE
100 if (!do_d128_to_d32 (1.1111125dl, 1.111112df)) FAILURE
101 if (!do_d128_to_d32 (1.1111135dl, 1.111113df)) FAILURE
102 if (!do_d128_to_d32 (-1.1111125dl, -1.111112df)) FAILURE
103 if (!do_d128_to_d32 (-1.1111135dl, -1.111113df)) FAILURE
104 if (!do_d128_to_d64 (1.1111111111111125dl, 1.111111111111112dd)) FAILURE
105 if (!do_d128_to_d64 (1.1111111111111135dl, 1.111111111111113dd)) FAILURE
106 if (!do_d128_to_d64 (-1.1111111111111125dl, -1.111111111111112dd)) FAILURE
107 if (!do_d128_to_d64 (-1.1111111111111135dl, -1.111111111111113dd)) FAILURE
108
109 DFP_SETROUND (FE_DEC_UPWARD);
110 if (!do_d64_to_d32 (1.1111125dd, 1.111113df)) FAILURE
111 if (!do_d64_to_d32 (1.1111135dd, 1.111114df)) FAILURE
112 if (!do_d64_to_d32 (-1.1111125dd, -1.111112df)) FAILURE
113 if (!do_d64_to_d32 (-1.1111135dd, -1.111113df)) FAILURE
114 if (!do_d128_to_d32 (1.1111125dl, 1.111113df)) FAILURE
115 if (!do_d128_to_d32 (1.1111135dl, 1.111114df)) FAILURE
116 if (!do_d128_to_d32 (-1.1111125dl, -1.111112df)) FAILURE
117 if (!do_d128_to_d32 (-1.1111135dl, -1.111113df)) FAILURE
118 if (!do_d128_to_d64 (1.1111111111111125dl, 1.111111111111113dd)) FAILURE
119 if (!do_d128_to_d64 (1.1111111111111135dl, 1.111111111111114dd)) FAILURE
120 if (!do_d128_to_d64 (-1.1111111111111125dl, -1.111111111111112dd)) FAILURE
121 if (!do_d128_to_d64 (-1.1111111111111135dl, -1.111111111111113dd)) FAILURE
122
123 FINISH
124 }