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
|
------------------------------------------------------------------------
-- invert.decTest -- digitwise logical INVERT --
-- Copyright (c) IBM Corporation, 1981, 2007. 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.57
extended: 1
precision: 9
rounding: half_up
maxExponent: 999
minExponent: -999
-- Sanity check (truth table), and examples from decArith
invx001 invert 0 -> 111111111
invx002 invert 1 -> 111111110
invx003 invert 10 -> 111111101
invx004 invert 111111111 -> 0
invx005 invert 000000000 -> 111111111
invx006 invert 101010101 -> '10101010'
-- and at msd and msd-1
invx007 invert 000000000 -> 111111111
invx009 invert 100000000 -> 11111111
invx011 invert 000000000 -> 111111111
invx013 invert 010000000 -> 101111111
-- Various lengths
-- 123456789 123456789
invx021 invert 111111111 -> 0
invx022 invert 111111111111 -> 0
invx023 invert 11111111 -> 100000000
invx025 invert 1111111 -> 110000000
invx026 invert 111111 -> 111000000
invx027 invert 11111 -> 111100000
invx028 invert 1111 -> 111110000
invx029 invert 111 -> 111111000
invx031 invert 11 -> 111111100
invx032 invert 1 -> 111111110
invx033 invert 111111111111 -> 0
invx034 invert 11111111111 -> 0
invx035 invert 1111111111 -> 0
invx036 invert 111111111 -> 0
invx080 invert 011111111 -> 100000000
invx081 invert 101111111 -> 10000000
invx082 invert 110111111 -> 1000000
invx083 invert 111011111 -> 100000
invx084 invert 111101111 -> 10000
invx085 invert 111110111 -> 1000
invx086 invert 111111011 -> 100
invx087 invert 111111101 -> 10
invx088 invert 111111110 -> 1
invx089 invert 011111011 -> 100000100
invx090 invert 101111101 -> 10000010
invx091 invert 110111110 -> 1000001
invx092 invert 111011101 -> 100010
invx093 invert 111101011 -> 10100
invx094 invert 111110111 -> 1000
invx095 invert 111101011 -> 10100
invx096 invert 111011101 -> 100010
invx097 invert 110111110 -> 1000001
invx098 invert 101111101 -> 10000010
invx099 invert 011111011 -> 100000100
-- non-0/1 should not be accepted, nor should signs
invx220 invert 111111112 -> NaN Invalid_operation
invx221 invert 333333333 -> NaN Invalid_operation
invx222 invert 555555555 -> NaN Invalid_operation
invx223 invert 777777777 -> NaN Invalid_operation
invx224 invert 999999999 -> NaN Invalid_operation
invx225 invert 222222222 -> NaN Invalid_operation
invx226 invert 444444444 -> NaN Invalid_operation
invx227 invert 666666666 -> NaN Invalid_operation
invx228 invert 888888888 -> NaN Invalid_operation
invx229 invert 999999999 -> NaN Invalid_operation
invx230 invert 999999999 -> NaN Invalid_operation
invx231 invert 999999999 -> NaN Invalid_operation
invx232 invert 999999999 -> NaN Invalid_operation
-- a few randoms
invx240 invert 567468689 -> NaN Invalid_operation
invx241 invert 567367689 -> NaN Invalid_operation
invx242 invert -631917772 -> NaN Invalid_operation
invx243 invert -756253257 -> NaN Invalid_operation
invx244 invert 835590149 -> NaN Invalid_operation
-- test MSD
invx250 invert 200000000 -> NaN Invalid_operation
invx251 invert 300000000 -> NaN Invalid_operation
invx252 invert 400000000 -> NaN Invalid_operation
invx253 invert 500000000 -> NaN Invalid_operation
invx254 invert 600000000 -> NaN Invalid_operation
invx255 invert 700000000 -> NaN Invalid_operation
invx256 invert 800000000 -> NaN Invalid_operation
invx257 invert 900000000 -> NaN Invalid_operation
-- test MSD-1
invx270 invert 021000000 -> NaN Invalid_operation
invx271 invert 030100000 -> NaN Invalid_operation
invx272 invert 040010000 -> NaN Invalid_operation
invx273 invert 050001000 -> NaN Invalid_operation
invx274 invert 160000100 -> NaN Invalid_operation
invx275 invert 170000010 -> NaN Invalid_operation
invx276 invert 180000000 -> NaN Invalid_operation
invx277 invert 190000000 -> NaN Invalid_operation
-- test LSD
invx280 invert 000000002 -> NaN Invalid_operation
invx281 invert 000000003 -> NaN Invalid_operation
invx282 invert 000000004 -> NaN Invalid_operation
invx283 invert 000000005 -> NaN Invalid_operation
invx284 invert 101000006 -> NaN Invalid_operation
invx285 invert 100100007 -> NaN Invalid_operation
invx286 invert 100010008 -> NaN Invalid_operation
invx287 invert 100001009 -> NaN Invalid_operation
-- test Middie
invx288 invert 000020000 -> NaN Invalid_operation
invx289 invert 000030001 -> NaN Invalid_operation
invx290 invert 000040000 -> NaN Invalid_operation
invx291 invert 000050000 -> NaN Invalid_operation
invx292 invert 101060000 -> NaN Invalid_operation
invx293 invert 100170010 -> NaN Invalid_operation
invx294 invert 100080100 -> NaN Invalid_operation
invx295 invert 100091000 -> NaN Invalid_operation
-- signs
invx296 invert -100001000 -> NaN Invalid_operation
invx299 invert 100001000 -> 11110111
-- Nmax, Nmin, Ntiny
invx341 invert 9.99999999E+999 -> NaN Invalid_operation
invx342 invert 1E-999 -> NaN Invalid_operation
invx343 invert 1.00000000E-999 -> NaN Invalid_operation
invx344 invert 1E-1007 -> NaN Invalid_operation
invx345 invert -1E-1007 -> NaN Invalid_operation
invx346 invert -1.00000000E-999 -> NaN Invalid_operation
invx347 invert -1E-999 -> NaN Invalid_operation
invx348 invert -9.99999999E+999 -> NaN Invalid_operation
-- A few other non-integers
invx361 invert 1.0 -> NaN Invalid_operation
invx362 invert 1E+1 -> NaN Invalid_operation
invx363 invert 0.0 -> NaN Invalid_operation
invx364 invert 0E+1 -> NaN Invalid_operation
invx365 invert 9.9 -> NaN Invalid_operation
invx366 invert 9E+1 -> NaN Invalid_operation
-- All Specials are in error
invx788 invert -Inf -> NaN Invalid_operation
invx794 invert Inf -> NaN Invalid_operation
invx821 invert NaN -> NaN Invalid_operation
invx841 invert sNaN -> NaN Invalid_operation
-- propagating NaNs
invx861 invert NaN1 -> NaN Invalid_operation
invx862 invert +NaN2 -> NaN Invalid_operation
invx863 invert NaN3 -> NaN Invalid_operation
invx864 invert NaN4 -> NaN Invalid_operation
invx865 invert NaN5 -> NaN Invalid_operation
invx871 invert sNaN11 -> NaN Invalid_operation
invx872 invert sNaN12 -> NaN Invalid_operation
invx873 invert sNaN13 -> NaN Invalid_operation
invx874 invert sNaN14 -> NaN Invalid_operation
invx875 invert sNaN15 -> NaN Invalid_operation
invx876 invert NaN16 -> NaN Invalid_operation
invx881 invert +NaN25 -> NaN Invalid_operation
invx882 invert -NaN26 -> NaN Invalid_operation
invx883 invert -sNaN27 -> NaN Invalid_operation
|
