1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
|
------------------------------------------------------------------------
-- scaleb.decTest -- scale a number by powers of 10 --
-- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
------------------------------------------------------------------------
-- Please see the document "General Decimal Arithmetic Testcases" --
-- at http://www2.hursley.ibm.com/decimal for the description of --
-- these testcases. --
-- --
-- These testcases are experimental ('beta' versions), and they --
-- may contain errors. They are offered on an as-is basis. In --
-- particular, achieving the same results as the tests here is not --
-- a guarantee that an implementation complies with any Standard --
-- or specification. The tests are not exhaustive. --
-- --
-- Please send comments, suggestions, and corrections to the author: --
-- Mike Cowlishaw, IBM Fellow --
-- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
-- mfc@uk.ibm.com --
------------------------------------------------------------------------
version: 2.59
extended: 1
precision: 9
rounding: half_up
maxExponent: 999
minExponent: -999
-- Max |rhs| is 2*(999+9) = 2016
-- Sanity checks
scbx001 scaleb 7.50 10 -> 7.50E+10
scbx002 scaleb 7.50 3 -> 7.50E+3
scbx003 scaleb 7.50 2 -> 750
scbx004 scaleb 7.50 1 -> 75.0
scbx005 scaleb 7.50 0 -> 7.50
scbx006 scaleb 7.50 -1 -> 0.750
scbx007 scaleb 7.50 -2 -> 0.0750
scbx008 scaleb 7.50 -10 -> 7.50E-10
scbx009 scaleb -7.50 3 -> -7.50E+3
scbx010 scaleb -7.50 2 -> -750
scbx011 scaleb -7.50 1 -> -75.0
scbx012 scaleb -7.50 0 -> -7.50
scbx013 scaleb -7.50 -1 -> -0.750
-- Infinities
scbx014 scaleb Infinity 1 -> Infinity
scbx015 scaleb -Infinity 2 -> -Infinity
scbx016 scaleb Infinity -1 -> Infinity
scbx017 scaleb -Infinity -2 -> -Infinity
-- Next two are somewhat undefined in 754r; treat as non-integer
scbx018 scaleb 10 Infinity -> NaN Invalid_operation
scbx019 scaleb 10 -Infinity -> NaN Invalid_operation
-- NaNs are undefined in 754r; assume usual processing
-- NaNs, 0 payload
scbx021 scaleb NaN 1 -> NaN
scbx022 scaleb -NaN -1 -> -NaN
scbx023 scaleb sNaN 1 -> NaN Invalid_operation
scbx024 scaleb -sNaN 1 -> -NaN Invalid_operation
scbx025 scaleb 4 NaN -> NaN
scbx026 scaleb -Inf -NaN -> -NaN
scbx027 scaleb 4 sNaN -> NaN Invalid_operation
scbx028 scaleb Inf -sNaN -> -NaN Invalid_operation
-- non-integer RHS
scbx030 scaleb 1.23 1 -> 12.3
scbx031 scaleb 1.23 1.00 -> NaN Invalid_operation
scbx032 scaleb 1.23 1.1 -> NaN Invalid_operation
scbx033 scaleb 1.23 1.01 -> NaN Invalid_operation
scbx034 scaleb 1.23 0.01 -> NaN Invalid_operation
scbx035 scaleb 1.23 0.11 -> NaN Invalid_operation
scbx036 scaleb 1.23 0.999999999 -> NaN Invalid_operation
scbx037 scaleb 1.23 -1 -> 0.123
scbx038 scaleb 1.23 -1.00 -> NaN Invalid_operation
scbx039 scaleb 1.23 -1.1 -> NaN Invalid_operation
scbx040 scaleb 1.23 -1.01 -> NaN Invalid_operation
scbx041 scaleb 1.23 -0.01 -> NaN Invalid_operation
scbx042 scaleb 1.23 -0.11 -> NaN Invalid_operation
scbx043 scaleb 1.23 -0.999999999 -> NaN Invalid_operation
scbx044 scaleb 1.23 0.1 -> NaN Invalid_operation
scbx045 scaleb 1.23 1E+1 -> NaN Invalid_operation
scbx046 scaleb 1.23 1.1234E+6 -> NaN Invalid_operation
scbx047 scaleb 1.23 1.123E+4 -> NaN Invalid_operation
scbx120 scaleb 1.23 2015 -> Infinity Overflow Inexact Rounded
scbx121 scaleb 1.23 2016 -> Infinity Overflow Inexact Rounded
scbx122 scaleb 1.23 2017 -> NaN Invalid_operation
scbx123 scaleb 1.23 2018 -> NaN Invalid_operation
scbx124 scaleb 1.23 -2015 -> 0E-1007 Underflow Subnormal Inexact Rounded Clamped
scbx125 scaleb 1.23 -2016 -> 0E-1007 Underflow Subnormal Inexact Rounded Clamped
scbx126 scaleb 1.23 -2017 -> NaN Invalid_operation
scbx127 scaleb 1.23 -2018 -> NaN Invalid_operation
-- NaNs, non-0 payload
-- propagating NaNs
scbx861 scaleb NaN01 -Inf -> NaN1
scbx862 scaleb -NaN02 -1000 -> -NaN2
scbx863 scaleb NaN03 1000 -> NaN3
scbx864 scaleb NaN04 Inf -> NaN4
scbx865 scaleb NaN05 NaN61 -> NaN5
scbx866 scaleb -Inf -NaN71 -> -NaN71
scbx867 scaleb -1000 NaN81 -> NaN81
scbx868 scaleb 1000 NaN91 -> NaN91
scbx869 scaleb Inf NaN101 -> NaN101
scbx871 scaleb sNaN011 -Inf -> NaN11 Invalid_operation
scbx872 scaleb sNaN012 -1000 -> NaN12 Invalid_operation
scbx873 scaleb -sNaN013 1000 -> -NaN13 Invalid_operation
scbx874 scaleb sNaN014 NaN171 -> NaN14 Invalid_operation
scbx875 scaleb sNaN015 sNaN181 -> NaN15 Invalid_operation
scbx876 scaleb NaN016 sNaN191 -> NaN191 Invalid_operation
scbx877 scaleb -Inf sNaN201 -> NaN201 Invalid_operation
scbx878 scaleb -1000 sNaN211 -> NaN211 Invalid_operation
scbx879 scaleb 1000 -sNaN221 -> -NaN221 Invalid_operation
scbx880 scaleb Inf sNaN231 -> NaN231 Invalid_operation
scbx881 scaleb NaN025 sNaN241 -> NaN241 Invalid_operation
-- finites
scbx051 scaleb 7 -2 -> 0.07
scbx052 scaleb -7 -2 -> -0.07
scbx053 scaleb 75 -2 -> 0.75
scbx054 scaleb -75 -2 -> -0.75
scbx055 scaleb 7.50 -2 -> 0.0750
scbx056 scaleb -7.50 -2 -> -0.0750
scbx057 scaleb 7.500 -2 -> 0.07500
scbx058 scaleb -7.500 -2 -> -0.07500
scbx061 scaleb 7 -1 -> 0.7
scbx062 scaleb -7 -1 -> -0.7
scbx063 scaleb 75 -1 -> 7.5
scbx064 scaleb -75 -1 -> -7.5
scbx065 scaleb 7.50 -1 -> 0.750
scbx066 scaleb -7.50 -1 -> -0.750
scbx067 scaleb 7.500 -1 -> 0.7500
scbx068 scaleb -7.500 -1 -> -0.7500
scbx071 scaleb 7 0 -> 7
scbx072 scaleb -7 0 -> -7
scbx073 scaleb 75 0 -> 75
scbx074 scaleb -75 0 -> -75
scbx075 scaleb 7.50 0 -> 7.50
scbx076 scaleb -7.50 0 -> -7.50
scbx077 scaleb 7.500 0 -> 7.500
scbx078 scaleb -7.500 0 -> -7.500
scbx081 scaleb 7 1 -> 7E+1
scbx082 scaleb -7 1 -> -7E+1
scbx083 scaleb 75 1 -> 7.5E+2
scbx084 scaleb -75 1 -> -7.5E+2
scbx085 scaleb 7.50 1 -> 75.0
scbx086 scaleb -7.50 1 -> -75.0
scbx087 scaleb 7.500 1 -> 75.00
scbx088 scaleb -7.500 1 -> -75.00
scbx091 scaleb 7 2 -> 7E+2
scbx092 scaleb -7 2 -> -7E+2
scbx093 scaleb 75 2 -> 7.5E+3
scbx094 scaleb -75 2 -> -7.5E+3
scbx095 scaleb 7.50 2 -> 750
scbx096 scaleb -7.50 2 -> -750
scbx097 scaleb 7.500 2 -> 750.0
scbx098 scaleb -7.500 2 -> -750.0
-- zeros
scbx111 scaleb 0 1 -> 0E+1
scbx112 scaleb -0 2 -> -0E+2
scbx113 scaleb 0E+4 3 -> 0E+7
scbx114 scaleb -0E+4 4 -> -0E+8
scbx115 scaleb 0.0000 5 -> 0E+1
scbx116 scaleb -0.0000 6 -> -0E+2
scbx117 scaleb 0E-141 7 -> 0E-134
scbx118 scaleb -0E-141 8 -> -0E-133
-- Nmax, Nmin, Ntiny
scbx132 scaleb 9.99999999E+999 +999 -> Infinity Overflow Inexact Rounded
scbx133 scaleb 9.99999999E+999 +10 -> Infinity Overflow Inexact Rounded
scbx134 scaleb 9.99999999E+999 +1 -> Infinity Overflow Inexact Rounded
scbx135 scaleb 9.99999999E+999 0 -> 9.99999999E+999
scbx136 scaleb 9.99999999E+999 -1 -> 9.99999999E+998
scbx137 scaleb 1E-999 +1 -> 1E-998
scbx138 scaleb 1E-999 -0 -> 1E-999
scbx139 scaleb 1E-999 -1 -> 1E-1000 Subnormal
scbx140 scaleb 1.00000000E-999 +1 -> 1.00000000E-998
scbx141 scaleb 1.00000000E-999 0 -> 1.00000000E-999
scbx142 scaleb 1.00000000E-999 -1 -> 1.0000000E-1000 Subnormal Rounded
scbx143 scaleb 1E-1007 +1 -> 1E-1006 Subnormal
scbx144 scaleb 1E-1007 -0 -> 1E-1007 Subnormal
scbx145 scaleb 1E-1007 -1 -> 0E-1007 Underflow Subnormal Inexact Rounded Clamped
scbx150 scaleb -1E-1007 +1 -> -1E-1006 Subnormal
scbx151 scaleb -1E-1007 -0 -> -1E-1007 Subnormal
scbx152 scaleb -1E-1007 -1 -> -0E-1007 Underflow Subnormal Inexact Rounded Clamped
scbx153 scaleb -1.00000000E-999 +1 -> -1.00000000E-998
scbx154 scaleb -1.00000000E-999 +0 -> -1.00000000E-999
scbx155 scaleb -1.00000000E-999 -1 -> -1.0000000E-1000 Subnormal Rounded
scbx156 scaleb -1E-999 +1 -> -1E-998
scbx157 scaleb -1E-999 -0 -> -1E-999
scbx158 scaleb -1E-999 -1 -> -1E-1000 Subnormal
scbx159 scaleb -9.99999999E+999 +1 -> -Infinity Overflow Inexact Rounded
scbx160 scaleb -9.99999999E+999 +0 -> -9.99999999E+999
scbx161 scaleb -9.99999999E+999 -1 -> -9.99999999E+998
scbx162 scaleb -9E+999 +1 -> -Infinity Overflow Inexact Rounded
scbx163 scaleb -1E+999 +1 -> -Infinity Overflow Inexact Rounded
-- Krah examples
precision: 34
maxExponent: 999999999
minExponent: -999999999
-- integer overflow in 3.61 or earlier
scbx164 scaleb 1E-999999999 -1200000000 -> NaN Invalid_operation
-- out of range
scbx165 scaleb -1E-999999999 +1200000000 -> NaN Invalid_operation
|
