------------------------------------------------------------------------
-- 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
