2011-03-05 10:06:13 -04:00
|
|
|
------------------------------------------------------------------------
|
|
|
|
|
-- 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
|
