Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / python / cpython3 / aa2c670ee66988ef14e5b74b1247e1ccfe8c320d / . / Lib / test / decimaltestdata / and.decTest
blob: e912394877e5e1492b259b18a25770210f6f7f30 [file] [log] [blame]
Thomas Wouters1b7f8912007-09-19 03:06:30 +0000[diff] [blame]1------------------------------------------------------------------------
2-- and.decTest -- digitwise logical AND --
Benjamin Petersonf17ff4e2008-07-31 16:32:12 +0000[diff] [blame]3-- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
Thomas Wouters1b7f8912007-09-19 03:06:30 +0000[diff] [blame]4------------------------------------------------------------------------
5-- Please see the document "General Decimal Arithmetic Testcases" --
6-- at http://www2.hursley.ibm.com/decimal for the description of --
7-- these testcases. --
8-- --
9-- These testcases are experimental ('beta' versions), and they --
10-- may contain errors. They are offered on an as-is basis. In --
11-- particular, achieving the same results as the tests here is not --
12-- a guarantee that an implementation complies with any Standard --
13-- or specification. The tests are not exhaustive. --
14-- --
15-- Please send comments, suggestions, and corrections to the author: --
16-- Mike Cowlishaw, IBM Fellow --
17-- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
18-- mfc@uk.ibm.com --
19------------------------------------------------------------------------
Mark Dickinson8a546532009-10-08 16:30:38 +0000[diff] [blame]20version: 2.59
Thomas Wouters1b7f8912007-09-19 03:06:30 +0000[diff] [blame]21
22extended: 1
23precision: 9
24rounding: half_up
25maxExponent: 999
26minExponent: -999
27
28-- Sanity check (truth table)
29andx001 and 0 0 -> 0
30andx002 and 0 1 -> 0
31andx003 and 1 0 -> 0
32andx004 and 1 1 -> 1
33andx005 and 1100 1010 -> 1000
34andx006 and 1111 10 -> 10
35andx007 and 1111 1010 -> 1010
36
37-- and at msd and msd-1
38andx010 and 000000000 000000000 -> 0
39andx011 and 000000000 100000000 -> 0
40andx012 and 100000000 000000000 -> 0
41andx013 and 100000000 100000000 -> 100000000
42andx014 and 000000000 000000000 -> 0
43andx015 and 000000000 010000000 -> 0
44andx016 and 010000000 000000000 -> 0
45andx017 and 010000000 010000000 -> 10000000
46
47-- Various lengths
48-- 123456789 123456789 123456789
49andx021 and 111111111 111111111 -> 111111111
50andx022 and 111111111111 111111111 -> 111111111
51andx023 and 111111111111 11111111 -> 11111111
52andx024 and 111111111 11111111 -> 11111111
53andx025 and 111111111 1111111 -> 1111111
54andx026 and 111111111111 111111 -> 111111
55andx027 and 111111111111 11111 -> 11111
56andx028 and 111111111111 1111 -> 1111
57andx029 and 111111111111 111 -> 111
58andx031 and 111111111111 11 -> 11
59andx032 and 111111111111 1 -> 1
60andx033 and 111111111111 1111111111 -> 111111111
61andx034 and 11111111111 11111111111 -> 111111111
62andx035 and 1111111111 111111111111 -> 111111111
63andx036 and 111111111 1111111111111 -> 111111111
64
65andx040 and 111111111 111111111111 -> 111111111
66andx041 and 11111111 111111111111 -> 11111111
67andx042 and 11111111 111111111 -> 11111111
68andx043 and 1111111 111111111 -> 1111111
69andx044 and 111111 111111111 -> 111111
70andx045 and 11111 111111111 -> 11111
71andx046 and 1111 111111111 -> 1111
72andx047 and 111 111111111 -> 111
73andx048 and 11 111111111 -> 11
74andx049 and 1 111111111 -> 1
75
76andx050 and 1111111111 1 -> 1
77andx051 and 111111111 1 -> 1
78andx052 and 11111111 1 -> 1
79andx053 and 1111111 1 -> 1
80andx054 and 111111 1 -> 1
81andx055 and 11111 1 -> 1
82andx056 and 1111 1 -> 1
83andx057 and 111 1 -> 1
84andx058 and 11 1 -> 1
85andx059 and 1 1 -> 1
86
87andx060 and 1111111111 0 -> 0
88andx061 and 111111111 0 -> 0
89andx062 and 11111111 0 -> 0
90andx063 and 1111111 0 -> 0
91andx064 and 111111 0 -> 0
92andx065 and 11111 0 -> 0
93andx066 and 1111 0 -> 0
94andx067 and 111 0 -> 0
95andx068 and 11 0 -> 0
96andx069 and 1 0 -> 0
97
98andx070 and 1 1111111111 -> 1
99andx071 and 1 111111111 -> 1
100andx072 and 1 11111111 -> 1
101andx073 and 1 1111111 -> 1
102andx074 and 1 111111 -> 1
103andx075 and 1 11111 -> 1
104andx076 and 1 1111 -> 1
105andx077 and 1 111 -> 1
106andx078 and 1 11 -> 1
107andx079 and 1 1 -> 1
108
109andx080 and 0 1111111111 -> 0
110andx081 and 0 111111111 -> 0
111andx082 and 0 11111111 -> 0
112andx083 and 0 1111111 -> 0
113andx084 and 0 111111 -> 0
114andx085 and 0 11111 -> 0
115andx086 and 0 1111 -> 0
116andx087 and 0 111 -> 0
117andx088 and 0 11 -> 0
118andx089 and 0 1 -> 0
119
120andx090 and 011111111 111111111 -> 11111111
121andx091 and 101111111 111111111 -> 101111111
122andx092 and 110111111 111111111 -> 110111111
123andx093 and 111011111 111111111 -> 111011111
124andx094 and 111101111 111111111 -> 111101111
125andx095 and 111110111 111111111 -> 111110111
126andx096 and 111111011 111111111 -> 111111011
127andx097 and 111111101 111111111 -> 111111101
128andx098 and 111111110 111111111 -> 111111110
129
130andx100 and 111111111 011111111 -> 11111111
131andx101 and 111111111 101111111 -> 101111111
132andx102 and 111111111 110111111 -> 110111111
133andx103 and 111111111 111011111 -> 111011111
134andx104 and 111111111 111101111 -> 111101111
135andx105 and 111111111 111110111 -> 111110111
136andx106 and 111111111 111111011 -> 111111011
137andx107 and 111111111 111111101 -> 111111101
138andx108 and 111111111 111111110 -> 111111110
139
140-- non-0/1 should not be accepted, nor should signs
141andx220 and 111111112 111111111 -> NaN Invalid_operation
142andx221 and 333333333 333333333 -> NaN Invalid_operation
143andx222 and 555555555 555555555 -> NaN Invalid_operation
144andx223 and 777777777 777777777 -> NaN Invalid_operation
145andx224 and 999999999 999999999 -> NaN Invalid_operation
146andx225 and 222222222 999999999 -> NaN Invalid_operation
147andx226 and 444444444 999999999 -> NaN Invalid_operation
148andx227 and 666666666 999999999 -> NaN Invalid_operation
149andx228 and 888888888 999999999 -> NaN Invalid_operation
150andx229 and 999999999 222222222 -> NaN Invalid_operation
151andx230 and 999999999 444444444 -> NaN Invalid_operation
152andx231 and 999999999 666666666 -> NaN Invalid_operation
153andx232 and 999999999 888888888 -> NaN Invalid_operation
154-- a few randoms
155andx240 and 567468689 -934981942 -> NaN Invalid_operation
156andx241 and 567367689 934981942 -> NaN Invalid_operation
157andx242 and -631917772 -706014634 -> NaN Invalid_operation
158andx243 and -756253257 138579234 -> NaN Invalid_operation
159andx244 and 835590149 567435400 -> NaN Invalid_operation
160-- test MSD
161andx250 and 200000000 100000000 -> NaN Invalid_operation
162andx251 and 700000000 100000000 -> NaN Invalid_operation
163andx252 and 800000000 100000000 -> NaN Invalid_operation
164andx253 and 900000000 100000000 -> NaN Invalid_operation
165andx254 and 200000000 000000000 -> NaN Invalid_operation
166andx255 and 700000000 000000000 -> NaN Invalid_operation
167andx256 and 800000000 000000000 -> NaN Invalid_operation
168andx257 and 900000000 000000000 -> NaN Invalid_operation
169andx258 and 100000000 200000000 -> NaN Invalid_operation
170andx259 and 100000000 700000000 -> NaN Invalid_operation
171andx260 and 100000000 800000000 -> NaN Invalid_operation
172andx261 and 100000000 900000000 -> NaN Invalid_operation
173andx262 and 000000000 200000000 -> NaN Invalid_operation
174andx263 and 000000000 700000000 -> NaN Invalid_operation
175andx264 and 000000000 800000000 -> NaN Invalid_operation
176andx265 and 000000000 900000000 -> NaN Invalid_operation
177-- test MSD-1
178andx270 and 020000000 100000000 -> NaN Invalid_operation
179andx271 and 070100000 100000000 -> NaN Invalid_operation
180andx272 and 080010000 100000001 -> NaN Invalid_operation
181andx273 and 090001000 100000010 -> NaN Invalid_operation
182andx274 and 100000100 020010100 -> NaN Invalid_operation
183andx275 and 100000000 070001000 -> NaN Invalid_operation
184andx276 and 100000010 080010100 -> NaN Invalid_operation
185andx277 and 100000000 090000010 -> NaN Invalid_operation
186-- test LSD
187andx280 and 001000002 100000000 -> NaN Invalid_operation
188andx281 and 000000007 100000000 -> NaN Invalid_operation
189andx282 and 000000008 100000000 -> NaN Invalid_operation
190andx283 and 000000009 100000000 -> NaN Invalid_operation
191andx284 and 100000000 000100002 -> NaN Invalid_operation
192andx285 and 100100000 001000007 -> NaN Invalid_operation
193andx286 and 100010000 010000008 -> NaN Invalid_operation
194andx287 and 100001000 100000009 -> NaN Invalid_operation
195-- test Middie
196andx288 and 001020000 100000000 -> NaN Invalid_operation
197andx289 and 000070001 100000000 -> NaN Invalid_operation
198andx290 and 000080000 100010000 -> NaN Invalid_operation
199andx291 and 000090000 100001000 -> NaN Invalid_operation
200andx292 and 100000010 000020100 -> NaN Invalid_operation
201andx293 and 100100000 000070010 -> NaN Invalid_operation
202andx294 and 100010100 000080001 -> NaN Invalid_operation
203andx295 and 100001000 000090000 -> NaN Invalid_operation
204-- signs
205andx296 and -100001000 -000000000 -> NaN Invalid_operation
206andx297 and -100001000 000010000 -> NaN Invalid_operation
207andx298 and 100001000 -000000000 -> NaN Invalid_operation
208andx299 and 100001000 000011000 -> 1000
209
210-- Nmax, Nmin, Ntiny
211andx331 and 2 9.99999999E+999 -> NaN Invalid_operation
212andx332 and 3 1E-999 -> NaN Invalid_operation
213andx333 and 4 1.00000000E-999 -> NaN Invalid_operation
214andx334 and 5 1E-1007 -> NaN Invalid_operation
215andx335 and 6 -1E-1007 -> NaN Invalid_operation
216andx336 and 7 -1.00000000E-999 -> NaN Invalid_operation
217andx337 and 8 -1E-999 -> NaN Invalid_operation
218andx338 and 9 -9.99999999E+999 -> NaN Invalid_operation
219andx341 and 9.99999999E+999 -18 -> NaN Invalid_operation
220andx342 and 1E-999 01 -> NaN Invalid_operation
221andx343 and 1.00000000E-999 -18 -> NaN Invalid_operation
222andx344 and 1E-1007 18 -> NaN Invalid_operation
223andx345 and -1E-1007 -10 -> NaN Invalid_operation
224andx346 and -1.00000000E-999 18 -> NaN Invalid_operation
225andx347 and -1E-999 10 -> NaN Invalid_operation
226andx348 and -9.99999999E+999 -18 -> NaN Invalid_operation
227
228-- A few other non-integers
229andx361 and 1.0 1 -> NaN Invalid_operation
230andx362 and 1E+1 1 -> NaN Invalid_operation
231andx363 and 0.0 1 -> NaN Invalid_operation
232andx364 and 0E+1 1 -> NaN Invalid_operation
233andx365 and 9.9 1 -> NaN Invalid_operation
234andx366 and 9E+1 1 -> NaN Invalid_operation
235andx371 and 0 1.0 -> NaN Invalid_operation
236andx372 and 0 1E+1 -> NaN Invalid_operation
237andx373 and 0 0.0 -> NaN Invalid_operation
238andx374 and 0 0E+1 -> NaN Invalid_operation
239andx375 and 0 9.9 -> NaN Invalid_operation
240andx376 and 0 9E+1 -> NaN Invalid_operation
241
242-- All Specials are in error
243andx780 and -Inf -Inf -> NaN Invalid_operation
244andx781 and -Inf -1000 -> NaN Invalid_operation
245andx782 and -Inf -1 -> NaN Invalid_operation
246andx783 and -Inf -0 -> NaN Invalid_operation
247andx784 and -Inf 0 -> NaN Invalid_operation
248andx785 and -Inf 1 -> NaN Invalid_operation
249andx786 and -Inf 1000 -> NaN Invalid_operation
250andx787 and -1000 -Inf -> NaN Invalid_operation
251andx788 and -Inf -Inf -> NaN Invalid_operation
252andx789 and -1 -Inf -> NaN Invalid_operation
253andx790 and -0 -Inf -> NaN Invalid_operation
254andx791 and 0 -Inf -> NaN Invalid_operation
255andx792 and 1 -Inf -> NaN Invalid_operation
256andx793 and 1000 -Inf -> NaN Invalid_operation
257andx794 and Inf -Inf -> NaN Invalid_operation
258
259andx800 and Inf -Inf -> NaN Invalid_operation
260andx801 and Inf -1000 -> NaN Invalid_operation
261andx802 and Inf -1 -> NaN Invalid_operation
262andx803 and Inf -0 -> NaN Invalid_operation
263andx804 and Inf 0 -> NaN Invalid_operation
264andx805 and Inf 1 -> NaN Invalid_operation
265andx806 and Inf 1000 -> NaN Invalid_operation
266andx807 and Inf Inf -> NaN Invalid_operation
267andx808 and -1000 Inf -> NaN Invalid_operation
268andx809 and -Inf Inf -> NaN Invalid_operation
269andx810 and -1 Inf -> NaN Invalid_operation
270andx811 and -0 Inf -> NaN Invalid_operation
271andx812 and 0 Inf -> NaN Invalid_operation
272andx813 and 1 Inf -> NaN Invalid_operation
273andx814 and 1000 Inf -> NaN Invalid_operation
274andx815 and Inf Inf -> NaN Invalid_operation
275
276andx821 and NaN -Inf -> NaN Invalid_operation
277andx822 and NaN -1000 -> NaN Invalid_operation
278andx823 and NaN -1 -> NaN Invalid_operation
279andx824 and NaN -0 -> NaN Invalid_operation
280andx825 and NaN 0 -> NaN Invalid_operation
281andx826 and NaN 1 -> NaN Invalid_operation
282andx827 and NaN 1000 -> NaN Invalid_operation
283andx828 and NaN Inf -> NaN Invalid_operation
284andx829 and NaN NaN -> NaN Invalid_operation
285andx830 and -Inf NaN -> NaN Invalid_operation
286andx831 and -1000 NaN -> NaN Invalid_operation
287andx832 and -1 NaN -> NaN Invalid_operation
288andx833 and -0 NaN -> NaN Invalid_operation
289andx834 and 0 NaN -> NaN Invalid_operation
290andx835 and 1 NaN -> NaN Invalid_operation
291andx836 and 1000 NaN -> NaN Invalid_operation
292andx837 and Inf NaN -> NaN Invalid_operation
293
294andx841 and sNaN -Inf -> NaN Invalid_operation
295andx842 and sNaN -1000 -> NaN Invalid_operation
296andx843 and sNaN -1 -> NaN Invalid_operation
297andx844 and sNaN -0 -> NaN Invalid_operation
298andx845 and sNaN 0 -> NaN Invalid_operation
299andx846 and sNaN 1 -> NaN Invalid_operation
300andx847 and sNaN 1000 -> NaN Invalid_operation
301andx848 and sNaN NaN -> NaN Invalid_operation
302andx849 and sNaN sNaN -> NaN Invalid_operation
303andx850 and NaN sNaN -> NaN Invalid_operation
304andx851 and -Inf sNaN -> NaN Invalid_operation
305andx852 and -1000 sNaN -> NaN Invalid_operation
306andx853 and -1 sNaN -> NaN Invalid_operation
307andx854 and -0 sNaN -> NaN Invalid_operation
308andx855 and 0 sNaN -> NaN Invalid_operation
309andx856 and 1 sNaN -> NaN Invalid_operation
310andx857 and 1000 sNaN -> NaN Invalid_operation
311andx858 and Inf sNaN -> NaN Invalid_operation
312andx859 and NaN sNaN -> NaN Invalid_operation
313
314-- propagating NaNs
315andx861 and NaN1 -Inf -> NaN Invalid_operation
316andx862 and +NaN2 -1000 -> NaN Invalid_operation
317andx863 and NaN3 1000 -> NaN Invalid_operation
318andx864 and NaN4 Inf -> NaN Invalid_operation
319andx865 and NaN5 +NaN6 -> NaN Invalid_operation
320andx866 and -Inf NaN7 -> NaN Invalid_operation
321andx867 and -1000 NaN8 -> NaN Invalid_operation
322andx868 and 1000 NaN9 -> NaN Invalid_operation
323andx869 and Inf +NaN10 -> NaN Invalid_operation
324andx871 and sNaN11 -Inf -> NaN Invalid_operation
325andx872 and sNaN12 -1000 -> NaN Invalid_operation
326andx873 and sNaN13 1000 -> NaN Invalid_operation
327andx874 and sNaN14 NaN17 -> NaN Invalid_operation
328andx875 and sNaN15 sNaN18 -> NaN Invalid_operation
329andx876 and NaN16 sNaN19 -> NaN Invalid_operation
330andx877 and -Inf +sNaN20 -> NaN Invalid_operation
331andx878 and -1000 sNaN21 -> NaN Invalid_operation
332andx879 and 1000 sNaN22 -> NaN Invalid_operation
333andx880 and Inf sNaN23 -> NaN Invalid_operation
334andx881 and +NaN25 +sNaN24 -> NaN Invalid_operation
335andx882 and -NaN26 NaN28 -> NaN Invalid_operation
336andx883 and -sNaN27 sNaN29 -> NaN Invalid_operation
337andx884 and 1000 -NaN30 -> NaN Invalid_operation
338andx885 and 1000 -sNaN31 -> NaN Invalid_operation