2007-09-13 15:13:15 -03:00
|
|
|
------------------------------------------------------------------------
|
|
|
|
|
-- invert.decTest -- digitwise logical INVERT --
|
2008-07-27 03:39:07 -03:00
|
|
|
-- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
|
2007-09-13 15:13:15 -03:00
|
|
|
------------------------------------------------------------------------
|
|
|
|
|
-- 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 --
|
|
|
|
|
------------------------------------------------------------------------
|
2009-10-08 13:28:39 -03:00
|
|
|
version: 2.59
|
2007-09-13 15:13:15 -03:00
|
|
|
|
|
|
|
|
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
|
