-------------------------------------------------------------------------\r
--- ddInvert.decTest -- digitwise logical INVERT for decDoubles --\r
--- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --\r
-------------------------------------------------------------------------\r
--- Please see the document "General Decimal Arithmetic Testcases" --\r
--- at http://www2.hursley.ibm.com/decimal for the description of --\r
--- these testcases. --\r
--- --\r
--- These testcases are experimental ('beta' versions), and they --\r
--- may contain errors. They are offered on an as-is basis. In --\r
--- particular, achieving the same results as the tests here is not --\r
--- a guarantee that an implementation complies with any Standard --\r
--- or specification. The tests are not exhaustive. --\r
--- --\r
--- Please send comments, suggestions, and corrections to the author: --\r
--- Mike Cowlishaw, IBM Fellow --\r
--- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --\r
--- mfc@uk.ibm.com --\r
-------------------------------------------------------------------------\r
-version: 2.59\r
-\r
-precision: 16\r
-maxExponent: 384\r
-minExponent: -383\r
-extended: 1\r
-clamp: 1\r
-rounding: half_even\r
-\r
--- Sanity check (truth table)\r
-ddinv001 invert 0 -> 1111111111111111\r
-ddinv002 invert 1 -> 1111111111111110\r
-ddinv003 invert 10 -> 1111111111111101\r
-ddinv004 invert 111111111 -> 1111111000000000\r
-ddinv005 invert 000000000 -> 1111111111111111\r
--- and at msd and msd-1\r
-ddinv007 invert 0000000000000000 -> 1111111111111111\r
-ddinv008 invert 1000000000000000 -> 111111111111111\r
-ddinv009 invert 0000000000000000 -> 1111111111111111\r
-ddinv010 invert 0100000000000000 -> 1011111111111111\r
-ddinv011 invert 0111111111111111 -> 1000000000000000\r
-ddinv012 invert 1111111111111111 -> 0\r
-ddinv013 invert 0011111111111111 -> 1100000000000000\r
-ddinv014 invert 0111111111111111 -> 1000000000000000\r
-\r
--- Various lengths\r
--- 123456789 1234567890123456\r
-ddinv021 invert 111111111 -> 1111111000000000\r
-ddinv022 invert 111111111111 -> 1111000000000000\r
-ddinv023 invert 11111111 -> 1111111100000000\r
-ddinv025 invert 1111111 -> 1111111110000000\r
-ddinv026 invert 111111 -> 1111111111000000\r
-ddinv027 invert 11111 -> 1111111111100000\r
-ddinv028 invert 1111 -> 1111111111110000\r
-ddinv029 invert 111 -> 1111111111111000\r
-ddinv031 invert 11 -> 1111111111111100\r
-ddinv032 invert 1 -> 1111111111111110\r
-ddinv033 invert 111111111111 -> 1111000000000000\r
-ddinv034 invert 11111111111 -> 1111100000000000\r
-ddinv035 invert 1111111111 -> 1111110000000000\r
-ddinv036 invert 111111111 -> 1111111000000000\r
-\r
-ddinv040 invert 011111111 -> 1111111100000000\r
-ddinv041 invert 101111111 -> 1111111010000000\r
-ddinv042 invert 110111111 -> 1111111001000000\r
-ddinv043 invert 111011111 -> 1111111000100000\r
-ddinv044 invert 111101111 -> 1111111000010000\r
-ddinv045 invert 111110111 -> 1111111000001000\r
-ddinv046 invert 111111011 -> 1111111000000100\r
-ddinv047 invert 111111101 -> 1111111000000010\r
-ddinv048 invert 111111110 -> 1111111000000001\r
-ddinv049 invert 011111011 -> 1111111100000100\r
-ddinv050 invert 101111101 -> 1111111010000010\r
-ddinv051 invert 110111110 -> 1111111001000001\r
-ddinv052 invert 111011101 -> 1111111000100010\r
-ddinv053 invert 111101011 -> 1111111000010100\r
-ddinv054 invert 111110111 -> 1111111000001000\r
-ddinv055 invert 111101011 -> 1111111000010100\r
-ddinv056 invert 111011101 -> 1111111000100010\r
-ddinv057 invert 110111110 -> 1111111001000001\r
-ddinv058 invert 101111101 -> 1111111010000010\r
-ddinv059 invert 011111011 -> 1111111100000100\r
-\r
-ddinv080 invert 1000000011111111 -> 111111100000000\r
-ddinv081 invert 0100000101111111 -> 1011111010000000\r
-ddinv082 invert 0010000110111111 -> 1101111001000000\r
-ddinv083 invert 0001000111011111 -> 1110111000100000\r
-ddinv084 invert 0000100111101111 -> 1111011000010000\r
-ddinv085 invert 0000010111110111 -> 1111101000001000\r
-ddinv086 invert 0000001111111011 -> 1111110000000100\r
-ddinv087 invert 0000010111111101 -> 1111101000000010\r
-ddinv088 invert 0000100111111110 -> 1111011000000001\r
-ddinv089 invert 0001000011111011 -> 1110111100000100\r
-ddinv090 invert 0010000101111101 -> 1101111010000010\r
-ddinv091 invert 0100000110111110 -> 1011111001000001\r
-ddinv092 invert 1000000111011101 -> 111111000100010\r
-ddinv093 invert 0100000111101011 -> 1011111000010100\r
-ddinv094 invert 0010000111110111 -> 1101111000001000\r
-ddinv095 invert 0001000111101011 -> 1110111000010100\r
-ddinv096 invert 0000100111011101 -> 1111011000100010\r
-ddinv097 invert 0000010110111110 -> 1111101001000001\r
-ddinv098 invert 0000001101111101 -> 1111110010000010\r
-ddinv099 invert 0000010011111011 -> 1111101100000100\r
-\r
--- non-0/1 should not be accepted, nor should signs\r
-ddinv220 invert 111111112 -> NaN Invalid_operation\r
-ddinv221 invert 333333333 -> NaN Invalid_operation\r
-ddinv222 invert 555555555 -> NaN Invalid_operation\r
-ddinv223 invert 777777777 -> NaN Invalid_operation\r
-ddinv224 invert 999999999 -> NaN Invalid_operation\r
-ddinv225 invert 222222222 -> NaN Invalid_operation\r
-ddinv226 invert 444444444 -> NaN Invalid_operation\r
-ddinv227 invert 666666666 -> NaN Invalid_operation\r
-ddinv228 invert 888888888 -> NaN Invalid_operation\r
-ddinv229 invert 999999999 -> NaN Invalid_operation\r
-ddinv230 invert 999999999 -> NaN Invalid_operation\r
-ddinv231 invert 999999999 -> NaN Invalid_operation\r
-ddinv232 invert 999999999 -> NaN Invalid_operation\r
--- a few randoms\r
-ddinv240 invert 567468689 -> NaN Invalid_operation\r
-ddinv241 invert 567367689 -> NaN Invalid_operation\r
-ddinv242 invert -631917772 -> NaN Invalid_operation\r
-ddinv243 invert -756253257 -> NaN Invalid_operation\r
-ddinv244 invert 835590149 -> NaN Invalid_operation\r
--- test MSD\r
-ddinv250 invert 2000000000000000 -> NaN Invalid_operation\r
-ddinv251 invert 3000000000000000 -> NaN Invalid_operation\r
-ddinv252 invert 4000000000000000 -> NaN Invalid_operation\r
-ddinv253 invert 5000000000000000 -> NaN Invalid_operation\r
-ddinv254 invert 6000000000000000 -> NaN Invalid_operation\r
-ddinv255 invert 7000000000000000 -> NaN Invalid_operation\r
-ddinv256 invert 8000000000000000 -> NaN Invalid_operation\r
-ddinv257 invert 9000000000000000 -> NaN Invalid_operation\r
--- test MSD-1\r
-ddinv270 invert 0200001000000000 -> NaN Invalid_operation\r
-ddinv271 invert 0300000100000000 -> NaN Invalid_operation\r
-ddinv272 invert 0400000010000000 -> NaN Invalid_operation\r
-ddinv273 invert 0500000001000000 -> NaN Invalid_operation\r
-ddinv274 invert 1600000000100000 -> NaN Invalid_operation\r
-ddinv275 invert 1700000000010000 -> NaN Invalid_operation\r
-ddinv276 invert 1800000000001000 -> NaN Invalid_operation\r
-ddinv277 invert 1900000000000100 -> NaN Invalid_operation\r
--- test LSD\r
-ddinv280 invert 0010000000000002 -> NaN Invalid_operation\r
-ddinv281 invert 0001000000000003 -> NaN Invalid_operation\r
-ddinv282 invert 0000100000000004 -> NaN Invalid_operation\r
-ddinv283 invert 0000010000000005 -> NaN Invalid_operation\r
-ddinv284 invert 1000001000000006 -> NaN Invalid_operation\r
-ddinv285 invert 1000000100000007 -> NaN Invalid_operation\r
-ddinv286 invert 1000000010000008 -> NaN Invalid_operation\r
-ddinv287 invert 1000000001000009 -> NaN Invalid_operation\r
--- test Middie\r
-ddinv288 invert 0010000020000000 -> NaN Invalid_operation\r
-ddinv289 invert 0001000030000001 -> NaN Invalid_operation\r
-ddinv290 invert 0000100040000010 -> NaN Invalid_operation\r
-ddinv291 invert 0000010050000100 -> NaN Invalid_operation\r
-ddinv292 invert 1000001060001000 -> NaN Invalid_operation\r
-ddinv293 invert 1000000170010000 -> NaN Invalid_operation\r
-ddinv294 invert 1000000080100000 -> NaN Invalid_operation\r
-ddinv295 invert 1000000091000000 -> NaN Invalid_operation\r
--- sign\r
-ddinv296 invert -1000000001000000 -> NaN Invalid_operation\r
-ddinv299 invert 1000000001000000 -> 111111110111111\r
-\r
-\r
--- Nmax, Nmin, Ntiny-like\r
-ddinv341 invert 9.99999999E+299 -> NaN Invalid_operation\r
-ddinv342 invert 1E-299 -> NaN Invalid_operation\r
-ddinv343 invert 1.00000000E-299 -> NaN Invalid_operation\r
-ddinv344 invert 1E-207 -> NaN Invalid_operation\r
-ddinv345 invert -1E-207 -> NaN Invalid_operation\r
-ddinv346 invert -1.00000000E-299 -> NaN Invalid_operation\r
-ddinv347 invert -1E-299 -> NaN Invalid_operation\r
-ddinv348 invert -9.99999999E+299 -> NaN Invalid_operation\r
-\r
--- A few other non-integers\r
-ddinv361 invert 1.0 -> NaN Invalid_operation\r
-ddinv362 invert 1E+1 -> NaN Invalid_operation\r
-ddinv363 invert 0.0 -> NaN Invalid_operation\r
-ddinv364 invert 0E+1 -> NaN Invalid_operation\r
-ddinv365 invert 9.9 -> NaN Invalid_operation\r
-ddinv366 invert 9E+1 -> NaN Invalid_operation\r
-\r
--- All Specials are in error\r
-ddinv788 invert -Inf -> NaN Invalid_operation\r
-ddinv794 invert Inf -> NaN Invalid_operation\r
-ddinv821 invert NaN -> NaN Invalid_operation\r
-ddinv841 invert sNaN -> NaN Invalid_operation\r
--- propagating NaNs\r
-ddinv861 invert NaN1 -> NaN Invalid_operation\r
-ddinv862 invert +NaN2 -> NaN Invalid_operation\r
-ddinv863 invert NaN3 -> NaN Invalid_operation\r
-ddinv864 invert NaN4 -> NaN Invalid_operation\r
-ddinv865 invert NaN5 -> NaN Invalid_operation\r
-ddinv871 invert sNaN11 -> NaN Invalid_operation\r
-ddinv872 invert sNaN12 -> NaN Invalid_operation\r
-ddinv873 invert sNaN13 -> NaN Invalid_operation\r
-ddinv874 invert sNaN14 -> NaN Invalid_operation\r
-ddinv875 invert sNaN15 -> NaN Invalid_operation\r
-ddinv876 invert NaN16 -> NaN Invalid_operation\r
-ddinv881 invert +NaN25 -> NaN Invalid_operation\r
-ddinv882 invert -NaN26 -> NaN Invalid_operation\r
-ddinv883 invert -sNaN27 -> NaN Invalid_operation\r
+------------------------------------------------------------------------
+-- ddInvert.decTest -- digitwise logical INVERT for decDoubles --
+-- 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
+
+precision: 16
+maxExponent: 384
+minExponent: -383
+extended: 1
+clamp: 1
+rounding: half_even
+
+-- Sanity check (truth table)
+ddinv001 invert 0 -> 1111111111111111
+ddinv002 invert 1 -> 1111111111111110
+ddinv003 invert 10 -> 1111111111111101
+ddinv004 invert 111111111 -> 1111111000000000
+ddinv005 invert 000000000 -> 1111111111111111
+-- and at msd and msd-1
+ddinv007 invert 0000000000000000 -> 1111111111111111
+ddinv008 invert 1000000000000000 -> 111111111111111
+ddinv009 invert 0000000000000000 -> 1111111111111111
+ddinv010 invert 0100000000000000 -> 1011111111111111
+ddinv011 invert 0111111111111111 -> 1000000000000000
+ddinv012 invert 1111111111111111 -> 0
+ddinv013 invert 0011111111111111 -> 1100000000000000
+ddinv014 invert 0111111111111111 -> 1000000000000000
+
+-- Various lengths
+-- 123456789 1234567890123456
+ddinv021 invert 111111111 -> 1111111000000000
+ddinv022 invert 111111111111 -> 1111000000000000
+ddinv023 invert 11111111 -> 1111111100000000
+ddinv025 invert 1111111 -> 1111111110000000
+ddinv026 invert 111111 -> 1111111111000000
+ddinv027 invert 11111 -> 1111111111100000
+ddinv028 invert 1111 -> 1111111111110000
+ddinv029 invert 111 -> 1111111111111000
+ddinv031 invert 11 -> 1111111111111100
+ddinv032 invert 1 -> 1111111111111110
+ddinv033 invert 111111111111 -> 1111000000000000
+ddinv034 invert 11111111111 -> 1111100000000000
+ddinv035 invert 1111111111 -> 1111110000000000
+ddinv036 invert 111111111 -> 1111111000000000
+
+ddinv040 invert 011111111 -> 1111111100000000
+ddinv041 invert 101111111 -> 1111111010000000
+ddinv042 invert 110111111 -> 1111111001000000
+ddinv043 invert 111011111 -> 1111111000100000
+ddinv044 invert 111101111 -> 1111111000010000
+ddinv045 invert 111110111 -> 1111111000001000
+ddinv046 invert 111111011 -> 1111111000000100
+ddinv047 invert 111111101 -> 1111111000000010
+ddinv048 invert 111111110 -> 1111111000000001
+ddinv049 invert 011111011 -> 1111111100000100
+ddinv050 invert 101111101 -> 1111111010000010
+ddinv051 invert 110111110 -> 1111111001000001
+ddinv052 invert 111011101 -> 1111111000100010
+ddinv053 invert 111101011 -> 1111111000010100
+ddinv054 invert 111110111 -> 1111111000001000
+ddinv055 invert 111101011 -> 1111111000010100
+ddinv056 invert 111011101 -> 1111111000100010
+ddinv057 invert 110111110 -> 1111111001000001
+ddinv058 invert 101111101 -> 1111111010000010
+ddinv059 invert 011111011 -> 1111111100000100
+
+ddinv080 invert 1000000011111111 -> 111111100000000
+ddinv081 invert 0100000101111111 -> 1011111010000000
+ddinv082 invert 0010000110111111 -> 1101111001000000
+ddinv083 invert 0001000111011111 -> 1110111000100000
+ddinv084 invert 0000100111101111 -> 1111011000010000
+ddinv085 invert 0000010111110111 -> 1111101000001000
+ddinv086 invert 0000001111111011 -> 1111110000000100
+ddinv087 invert 0000010111111101 -> 1111101000000010
+ddinv088 invert 0000100111111110 -> 1111011000000001
+ddinv089 invert 0001000011111011 -> 1110111100000100
+ddinv090 invert 0010000101111101 -> 1101111010000010
+ddinv091 invert 0100000110111110 -> 1011111001000001
+ddinv092 invert 1000000111011101 -> 111111000100010
+ddinv093 invert 0100000111101011 -> 1011111000010100
+ddinv094 invert 0010000111110111 -> 1101111000001000
+ddinv095 invert 0001000111101011 -> 1110111000010100
+ddinv096 invert 0000100111011101 -> 1111011000100010
+ddinv097 invert 0000010110111110 -> 1111101001000001
+ddinv098 invert 0000001101111101 -> 1111110010000010
+ddinv099 invert 0000010011111011 -> 1111101100000100
+
+-- non-0/1 should not be accepted, nor should signs
+ddinv220 invert 111111112 -> NaN Invalid_operation
+ddinv221 invert 333333333 -> NaN Invalid_operation
+ddinv222 invert 555555555 -> NaN Invalid_operation
+ddinv223 invert 777777777 -> NaN Invalid_operation
+ddinv224 invert 999999999 -> NaN Invalid_operation
+ddinv225 invert 222222222 -> NaN Invalid_operation
+ddinv226 invert 444444444 -> NaN Invalid_operation
+ddinv227 invert 666666666 -> NaN Invalid_operation
+ddinv228 invert 888888888 -> NaN Invalid_operation
+ddinv229 invert 999999999 -> NaN Invalid_operation
+ddinv230 invert 999999999 -> NaN Invalid_operation
+ddinv231 invert 999999999 -> NaN Invalid_operation
+ddinv232 invert 999999999 -> NaN Invalid_operation
+-- a few randoms
+ddinv240 invert 567468689 -> NaN Invalid_operation
+ddinv241 invert 567367689 -> NaN Invalid_operation
+ddinv242 invert -631917772 -> NaN Invalid_operation
+ddinv243 invert -756253257 -> NaN Invalid_operation
+ddinv244 invert 835590149 -> NaN Invalid_operation
+-- test MSD
+ddinv250 invert 2000000000000000 -> NaN Invalid_operation
+ddinv251 invert 3000000000000000 -> NaN Invalid_operation
+ddinv252 invert 4000000000000000 -> NaN Invalid_operation
+ddinv253 invert 5000000000000000 -> NaN Invalid_operation
+ddinv254 invert 6000000000000000 -> NaN Invalid_operation
+ddinv255 invert 7000000000000000 -> NaN Invalid_operation
+ddinv256 invert 8000000000000000 -> NaN Invalid_operation
+ddinv257 invert 9000000000000000 -> NaN Invalid_operation
+-- test MSD-1
+ddinv270 invert 0200001000000000 -> NaN Invalid_operation
+ddinv271 invert 0300000100000000 -> NaN Invalid_operation
+ddinv272 invert 0400000010000000 -> NaN Invalid_operation
+ddinv273 invert 0500000001000000 -> NaN Invalid_operation
+ddinv274 invert 1600000000100000 -> NaN Invalid_operation
+ddinv275 invert 1700000000010000 -> NaN Invalid_operation
+ddinv276 invert 1800000000001000 -> NaN Invalid_operation
+ddinv277 invert 1900000000000100 -> NaN Invalid_operation
+-- test LSD
+ddinv280 invert 0010000000000002 -> NaN Invalid_operation
+ddinv281 invert 0001000000000003 -> NaN Invalid_operation
+ddinv282 invert 0000100000000004 -> NaN Invalid_operation
+ddinv283 invert 0000010000000005 -> NaN Invalid_operation
+ddinv284 invert 1000001000000006 -> NaN Invalid_operation
+ddinv285 invert 1000000100000007 -> NaN Invalid_operation
+ddinv286 invert 1000000010000008 -> NaN Invalid_operation
+ddinv287 invert 1000000001000009 -> NaN Invalid_operation
+-- test Middie
+ddinv288 invert 0010000020000000 -> NaN Invalid_operation
+ddinv289 invert 0001000030000001 -> NaN Invalid_operation
+ddinv290 invert 0000100040000010 -> NaN Invalid_operation
+ddinv291 invert 0000010050000100 -> NaN Invalid_operation
+ddinv292 invert 1000001060001000 -> NaN Invalid_operation
+ddinv293 invert 1000000170010000 -> NaN Invalid_operation
+ddinv294 invert 1000000080100000 -> NaN Invalid_operation
+ddinv295 invert 1000000091000000 -> NaN Invalid_operation
+-- sign
+ddinv296 invert -1000000001000000 -> NaN Invalid_operation
+ddinv299 invert 1000000001000000 -> 111111110111111
+
+
+-- Nmax, Nmin, Ntiny-like
+ddinv341 invert 9.99999999E+299 -> NaN Invalid_operation
+ddinv342 invert 1E-299 -> NaN Invalid_operation
+ddinv343 invert 1.00000000E-299 -> NaN Invalid_operation
+ddinv344 invert 1E-207 -> NaN Invalid_operation
+ddinv345 invert -1E-207 -> NaN Invalid_operation
+ddinv346 invert -1.00000000E-299 -> NaN Invalid_operation
+ddinv347 invert -1E-299 -> NaN Invalid_operation
+ddinv348 invert -9.99999999E+299 -> NaN Invalid_operation
+
+-- A few other non-integers
+ddinv361 invert 1.0 -> NaN Invalid_operation
+ddinv362 invert 1E+1 -> NaN Invalid_operation
+ddinv363 invert 0.0 -> NaN Invalid_operation
+ddinv364 invert 0E+1 -> NaN Invalid_operation
+ddinv365 invert 9.9 -> NaN Invalid_operation
+ddinv366 invert 9E+1 -> NaN Invalid_operation
+
+-- All Specials are in error
+ddinv788 invert -Inf -> NaN Invalid_operation
+ddinv794 invert Inf -> NaN Invalid_operation
+ddinv821 invert NaN -> NaN Invalid_operation
+ddinv841 invert sNaN -> NaN Invalid_operation
+-- propagating NaNs
+ddinv861 invert NaN1 -> NaN Invalid_operation
+ddinv862 invert +NaN2 -> NaN Invalid_operation
+ddinv863 invert NaN3 -> NaN Invalid_operation
+ddinv864 invert NaN4 -> NaN Invalid_operation
+ddinv865 invert NaN5 -> NaN Invalid_operation
+ddinv871 invert sNaN11 -> NaN Invalid_operation
+ddinv872 invert sNaN12 -> NaN Invalid_operation
+ddinv873 invert sNaN13 -> NaN Invalid_operation
+ddinv874 invert sNaN14 -> NaN Invalid_operation
+ddinv875 invert sNaN15 -> NaN Invalid_operation
+ddinv876 invert NaN16 -> NaN Invalid_operation
+ddinv881 invert +NaN25 -> NaN Invalid_operation
+ddinv882 invert -NaN26 -> NaN Invalid_operation
+ddinv883 invert -sNaN27 -> NaN Invalid_operation