------------------------------------------------------------------------
-- ddInvert.decTest -- digitwise logical INVERT for decDoubles        --
-- 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

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
