summaryrefslogtreecommitdiffstats
path: root/Lib/test/decimaltestdata/invert.decTest
blob: 15dfaf93329936d187ba13e9149e0d681101e2c5 (plain)
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, 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.58

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