Lib/test/decimaltestdata/or.decTest

   1 ------------------------------------------------------------------------
   2 -- or.decTest -- digitwise logical OR                                 --
   3 -- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
   4 ------------------------------------------------------------------------
   5 -- Please see the document "General Decimal Arithmetic Testcases"     --
   6 -- at http://www2.hursley.ibm.com/decimal for the description of      --
   7 -- these testcases.                                                   --
   8 --                                                                    --
   9 -- These testcases are experimental ('beta' versions), and they       --
  10 -- may contain errors.  They are offered on an as-is basis.  In       --
  11 -- particular, achieving the same results as the tests here is not    --
  12 -- a guarantee that an implementation complies with any Standard      --
  13 -- or specification.  The tests are not exhaustive.                   --
  14 --                                                                    --
  15 -- Please send comments, suggestions, and corrections to the author:  --
  16 --   Mike Cowlishaw, IBM Fellow                                       --
  17 --   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
  18 --   mfc@uk.ibm.com                                                   --
  19 ------------------------------------------------------------------------
  20 version: 2.59
  21
  22 extended:    1
  23 precision:   9
  24 rounding:    half_up
  25 maxExponent: 999
  26 minExponent: -999
  27
  28 -- Sanity check (truth table)
  29 orx001 or             0    0 ->    0
  30 orx002 or             0    1 ->    1
  31 orx003 or             1    0 ->    1
  32 orx004 or             1    1 ->    1
  33 orx005 or          1100 1010 -> 1110
  34 -- and at msd and msd-1
  35 orx006 or 000000000 000000000 ->           0
  36 orx007 or 000000000 100000000 ->   100000000
  37 orx008 or 100000000 000000000 ->   100000000
  38 orx009 or 100000000 100000000 ->   100000000
  39 orx010 or 000000000 000000000 ->           0
  40 orx011 or 000000000 010000000 ->    10000000
  41 orx012 or 010000000 000000000 ->    10000000
  42 orx013 or 010000000 010000000 ->    10000000
  43
  44 -- Various lengths
  45 --        123456789     123456789      123456789
  46 orx021 or 111111111     111111111  ->  111111111
  47 orx022 or 111111111111  111111111  ->  111111111
  48 orx023 or  11111111      11111111  ->   11111111
  49 orx025 or   1111111       1111111  ->    1111111
  50 orx026 or    111111        111111  ->     111111
  51 orx027 or     11111         11111  ->      11111
  52 orx028 or      1111          1111  ->       1111
  53 orx029 or       111           111  ->        111
  54 orx031 or        11            11  ->         11
  55 orx032 or         1             1  ->          1
  56 orx033 or 111111111111 1111111111  ->  111111111
  57 orx034 or 11111111111 11111111111  ->  111111111
  58 orx035 or 1111111111 111111111111  ->  111111111
  59 orx036 or 111111111 1111111111111  ->  111111111
  60
  61 orx040 or 111111111  111111111111  ->  111111111
  62 orx041 or  11111111  111111111111  ->  111111111
  63 orx042 or  11111111     111111111  ->  111111111
  64 orx043 or   1111111     100000010  ->  101111111
  65 orx044 or    111111     100000100  ->  100111111
  66 orx045 or     11111     100001000  ->  100011111
  67 orx046 or      1111     100010000  ->  100011111
  68 orx047 or       111     100100000  ->  100100111
  69 orx048 or        11     101000000  ->  101000011
  70 orx049 or         1     110000000  ->  110000001
  71
  72 orx050 or 1111111111  1  ->  111111111
  73 orx051 or  111111111  1  ->  111111111
  74 orx052 or   11111111  1  ->  11111111
  75 orx053 or    1111111  1  ->  1111111
  76 orx054 or     111111  1  ->  111111
  77 orx055 or      11111  1  ->  11111
  78 orx056 or       1111  1  ->  1111
  79 orx057 or        111  1  ->  111
  80 orx058 or         11  1  ->  11
  81 orx059 or          1  1  ->  1
  82
  83 orx060 or 1111111111  0  ->  111111111
  84 orx061 or  111111111  0  ->  111111111
  85 orx062 or   11111111  0  ->  11111111
  86 orx063 or    1111111  0  ->  1111111
  87 orx064 or     111111  0  ->  111111
  88 orx065 or      11111  0  ->  11111
  89 orx066 or       1111  0  ->  1111
  90 orx067 or        111  0  ->  111
  91 orx068 or         11  0  ->  11
  92 orx069 or          1  0  ->  1
  93
  94 orx070 or 1  1111111111  ->  111111111
  95 orx071 or 1   111111111  ->  111111111
  96 orx072 or 1    11111111  ->  11111111
  97 orx073 or 1     1111111  ->  1111111
  98 orx074 or 1      111111  ->  111111
  99 orx075 or 1       11111  ->  11111
 100 orx076 or 1        1111  ->  1111
 101 orx077 or 1         111  ->  111
 102 orx078 or 1          11  ->  11
 103 orx079 or 1           1  ->  1
 104
 105 orx080 or 0  1111111111  ->  111111111
 106 orx081 or 0   111111111  ->  111111111
 107 orx082 or 0    11111111  ->  11111111
 108 orx083 or 0     1111111  ->  1111111
 109 orx084 or 0      111111  ->  111111
 110 orx085 or 0       11111  ->  11111
 111 orx086 or 0        1111  ->  1111
 112 orx087 or 0         111  ->  111
 113 orx088 or 0          11  ->  11
 114 orx089 or 0           1  ->  1
 115
 116 orx090 or 011111111  111101111  ->  111111111
 117 orx091 or 101111111  111101111  ->  111111111
 118 orx092 or 110111111  111101111  ->  111111111
 119 orx093 or 111011111  111101111  ->  111111111
 120 orx094 or 111101111  111101111  ->  111101111
 121 orx095 or 111110111  111101111  ->  111111111
 122 orx096 or 111111011  111101111  ->  111111111
 123 orx097 or 111111101  111101111  ->  111111111
 124 orx098 or 111111110  111101111  ->  111111111
 125
 126 orx100 or 111101111  011111111  ->  111111111
 127 orx101 or 111101111  101111111  ->  111111111
 128 orx102 or 111101111  110111111  ->  111111111
 129 orx103 or 111101111  111011111  ->  111111111
 130 orx104 or 111101111  111101111  ->  111101111
 131 orx105 or 111101111  111110111  ->  111111111
 132 orx106 or 111101111  111111011  ->  111111111
 133 orx107 or 111101111  111111101  ->  111111111
 134 orx108 or 111101111  111111110  ->  111111111
 135
 136 -- non-0/1 should not be accepted, nor should signs
 137 orx220 or 111111112  111111111  ->  NaN Invalid_operation
 138 orx221 or 333333333  333333333  ->  NaN Invalid_operation
 139 orx222 or 555555555  555555555  ->  NaN Invalid_operation
 140 orx223 or 777777777  777777777  ->  NaN Invalid_operation
 141 orx224 or 999999999  999999999  ->  NaN Invalid_operation
 142 orx225 or 222222222  999999999  ->  NaN Invalid_operation
 143 orx226 or 444444444  999999999  ->  NaN Invalid_operation
 144 orx227 or 666666666  999999999  ->  NaN Invalid_operation
 145 orx228 or 888888888  999999999  ->  NaN Invalid_operation
 146 orx229 or 999999999  222222222  ->  NaN Invalid_operation
 147 orx230 or 999999999  444444444  ->  NaN Invalid_operation
 148 orx231 or 999999999  666666666  ->  NaN Invalid_operation
 149 orx232 or 999999999  888888888  ->  NaN Invalid_operation
 150 -- a few randoms
 151 orx240 or  567468689 -934981942 ->  NaN Invalid_operation
 152 orx241 or  567367689  934981942 ->  NaN Invalid_operation
 153 orx242 or -631917772 -706014634 ->  NaN Invalid_operation
 154 orx243 or -756253257  138579234 ->  NaN Invalid_operation
 155 orx244 or  835590149  567435400 ->  NaN Invalid_operation
 156 -- test MSD
 157 orx250 or  200000000 100000000 ->  NaN Invalid_operation
 158 orx251 or  700000000 100000000 ->  NaN Invalid_operation
 159 orx252 or  800000000 100000000 ->  NaN Invalid_operation
 160 orx253 or  900000000 100000000 ->  NaN Invalid_operation
 161 orx254 or  200000000 000000000 ->  NaN Invalid_operation
 162 orx255 or  700000000 000000000 ->  NaN Invalid_operation
 163 orx256 or  800000000 000000000 ->  NaN Invalid_operation
 164 orx257 or  900000000 000000000 ->  NaN Invalid_operation
 165 orx258 or  100000000 200000000 ->  NaN Invalid_operation
 166 orx259 or  100000000 700000000 ->  NaN Invalid_operation
 167 orx260 or  100000000 800000000 ->  NaN Invalid_operation
 168 orx261 or  100000000 900000000 ->  NaN Invalid_operation
 169 orx262 or  000000000 200000000 ->  NaN Invalid_operation
 170 orx263 or  000000000 700000000 ->  NaN Invalid_operation
 171 orx264 or  000000000 800000000 ->  NaN Invalid_operation
 172 orx265 or  000000000 900000000 ->  NaN Invalid_operation
 173 -- test MSD-1
 174 orx270 or  020000000 100000000 ->  NaN Invalid_operation
 175 orx271 or  070100000 100000000 ->  NaN Invalid_operation
 176 orx272 or  080010000 100000001 ->  NaN Invalid_operation
 177 orx273 or  090001000 100000010 ->  NaN Invalid_operation
 178 orx274 or  100000100 020010100 ->  NaN Invalid_operation
 179 orx275 or  100000000 070001000 ->  NaN Invalid_operation
 180 orx276 or  100000010 080010100 ->  NaN Invalid_operation
 181 orx277 or  100000000 090000010 ->  NaN Invalid_operation
 182 -- test LSD
 183 orx280 or  001000002 100000000 ->  NaN Invalid_operation
 184 orx281 or  000000007 100000000 ->  NaN Invalid_operation
 185 orx282 or  000000008 100000000 ->  NaN Invalid_operation
 186 orx283 or  000000009 100000000 ->  NaN Invalid_operation
 187 orx284 or  100000000 000100002 ->  NaN Invalid_operation
 188 orx285 or  100100000 001000007 ->  NaN Invalid_operation
 189 orx286 or  100010000 010000008 ->  NaN Invalid_operation
 190 orx287 or  100001000 100000009 ->  NaN Invalid_operation
 191 -- test Middie
 192 orx288 or  001020000 100000000 ->  NaN Invalid_operation
 193 orx289 or  000070001 100000000 ->  NaN Invalid_operation
 194 orx290 or  000080000 100010000 ->  NaN Invalid_operation
 195 orx291 or  000090000 100001000 ->  NaN Invalid_operation
 196 orx292 or  100000010 000020100 ->  NaN Invalid_operation
 197 orx293 or  100100000 000070010 ->  NaN Invalid_operation
 198 orx294 or  100010100 000080001 ->  NaN Invalid_operation
 199 orx295 or  100001000 000090000 ->  NaN Invalid_operation
 200 -- signs
 201 orx296 or -100001000 -000000000 ->  NaN Invalid_operation
 202 orx297 or -100001000  000010000 ->  NaN Invalid_operation
 203 orx298 or  100001000 -000000000 ->  NaN Invalid_operation
 204 orx299 or  100001000  000011000 ->  100011000
 205
 206 -- Nmax, Nmin, Ntiny
 207 orx331 or  2   9.99999999E+999     -> NaN Invalid_operation
 208 orx332 or  3   1E-999              -> NaN Invalid_operation
 209 orx333 or  4   1.00000000E-999     -> NaN Invalid_operation
 210 orx334 or  5   1E-1007             -> NaN Invalid_operation
 211 orx335 or  6   -1E-1007            -> NaN Invalid_operation
 212 orx336 or  7   -1.00000000E-999    -> NaN Invalid_operation
 213 orx337 or  8   -1E-999             -> NaN Invalid_operation
 214 orx338 or  9   -9.99999999E+999    -> NaN Invalid_operation
 215 orx341 or  9.99999999E+999     -18 -> NaN Invalid_operation
 216 orx342 or  1E-999               01 -> NaN Invalid_operation
 217 orx343 or  1.00000000E-999     -18 -> NaN Invalid_operation
 218 orx344 or  1E-1007              18 -> NaN Invalid_operation
 219 orx345 or  -1E-1007            -10 -> NaN Invalid_operation
 220 orx346 or  -1.00000000E-999     18 -> NaN Invalid_operation
 221 orx347 or  -1E-999              10 -> NaN Invalid_operation
 222 orx348 or  -9.99999999E+999    -18 -> NaN Invalid_operation
 223
 224 -- A few other non-integers
 225 orx361 or  1.0                  1  -> NaN Invalid_operation
 226 orx362 or  1E+1                 1  -> NaN Invalid_operation
 227 orx363 or  0.0                  1  -> NaN Invalid_operation
 228 orx364 or  0E+1                 1  -> NaN Invalid_operation
 229 orx365 or  9.9                  1  -> NaN Invalid_operation
 230 orx366 or  9E+1                 1  -> NaN Invalid_operation
 231 orx371 or  0 1.0                   -> NaN Invalid_operation
 232 orx372 or  0 1E+1                  -> NaN Invalid_operation
 233 orx373 or  0 0.0                   -> NaN Invalid_operation
 234 orx374 or  0 0E+1                  -> NaN Invalid_operation
 235 orx375 or  0 9.9                   -> NaN Invalid_operation
 236 orx376 or  0 9E+1                  -> NaN Invalid_operation
 237
 238 -- All Specials are in error
 239 orx780 or -Inf  -Inf   -> NaN Invalid_operation
 240 orx781 or -Inf  -1000  -> NaN Invalid_operation
 241 orx782 or -Inf  -1     -> NaN Invalid_operation
 242 orx783 or -Inf  -0     -> NaN Invalid_operation
 243 orx784 or -Inf   0     -> NaN Invalid_operation
 244 orx785 or -Inf   1     -> NaN Invalid_operation
 245 orx786 or -Inf   1000  -> NaN Invalid_operation
 246 orx787 or -1000 -Inf   -> NaN Invalid_operation
 247 orx788 or -Inf  -Inf   -> NaN Invalid_operation
 248 orx789 or -1    -Inf   -> NaN Invalid_operation
 249 orx790 or -0    -Inf   -> NaN Invalid_operation
 250 orx791 or  0    -Inf   -> NaN Invalid_operation
 251 orx792 or  1    -Inf   -> NaN Invalid_operation
 252 orx793 or  1000 -Inf   -> NaN Invalid_operation
 253 orx794 or  Inf  -Inf   -> NaN Invalid_operation
 254
 255 orx800 or  Inf  -Inf   -> NaN Invalid_operation
 256 orx801 or  Inf  -1000  -> NaN Invalid_operation
 257 orx802 or  Inf  -1     -> NaN Invalid_operation
 258 orx803 or  Inf  -0     -> NaN Invalid_operation
 259 orx804 or  Inf   0     -> NaN Invalid_operation
 260 orx805 or  Inf   1     -> NaN Invalid_operation
 261 orx806 or  Inf   1000  -> NaN Invalid_operation
 262 orx807 or  Inf   Inf   -> NaN Invalid_operation
 263 orx808 or -1000  Inf   -> NaN Invalid_operation
 264 orx809 or -Inf   Inf   -> NaN Invalid_operation
 265 orx810 or -1     Inf   -> NaN Invalid_operation
 266 orx811 or -0     Inf   -> NaN Invalid_operation
 267 orx812 or  0     Inf   -> NaN Invalid_operation
 268 orx813 or  1     Inf   -> NaN Invalid_operation
 269 orx814 or  1000  Inf   -> NaN Invalid_operation
 270 orx815 or  Inf   Inf   -> NaN Invalid_operation
 271
 272 orx821 or  NaN -Inf    -> NaN Invalid_operation
 273 orx822 or  NaN -1000   -> NaN Invalid_operation
 274 orx823 or  NaN -1      -> NaN Invalid_operation
 275 orx824 or  NaN -0      -> NaN Invalid_operation
 276 orx825 or  NaN  0      -> NaN Invalid_operation
 277 orx826 or  NaN  1      -> NaN Invalid_operation
 278 orx827 or  NaN  1000   -> NaN Invalid_operation
 279 orx828 or  NaN  Inf    -> NaN Invalid_operation
 280 orx829 or  NaN  NaN    -> NaN Invalid_operation
 281 orx830 or -Inf  NaN    -> NaN Invalid_operation
 282 orx831 or -1000 NaN    -> NaN Invalid_operation
 283 orx832 or -1    NaN    -> NaN Invalid_operation
 284 orx833 or -0    NaN    -> NaN Invalid_operation
 285 orx834 or  0    NaN    -> NaN Invalid_operation
 286 orx835 or  1    NaN    -> NaN Invalid_operation
 287 orx836 or  1000 NaN    -> NaN Invalid_operation
 288 orx837 or  Inf  NaN    -> NaN Invalid_operation
 289
 290 orx841 or  sNaN -Inf   ->  NaN  Invalid_operation
 291 orx842 or  sNaN -1000  ->  NaN  Invalid_operation
 292 orx843 or  sNaN -1     ->  NaN  Invalid_operation
 293 orx844 or  sNaN -0     ->  NaN  Invalid_operation
 294 orx845 or  sNaN  0     ->  NaN  Invalid_operation
 295 orx846 or  sNaN  1     ->  NaN  Invalid_operation
 296 orx847 or  sNaN  1000  ->  NaN  Invalid_operation
 297 orx848 or  sNaN  NaN   ->  NaN  Invalid_operation
 298 orx849 or  sNaN sNaN   ->  NaN  Invalid_operation
 299 orx850 or  NaN  sNaN   ->  NaN  Invalid_operation
 300 orx851 or -Inf  sNaN   ->  NaN  Invalid_operation
 301 orx852 or -1000 sNaN   ->  NaN  Invalid_operation
 302 orx853 or -1    sNaN   ->  NaN  Invalid_operation
 303 orx854 or -0    sNaN   ->  NaN  Invalid_operation
 304 orx855 or  0    sNaN   ->  NaN  Invalid_operation
 305 orx856 or  1    sNaN   ->  NaN  Invalid_operation
 306 orx857 or  1000 sNaN   ->  NaN  Invalid_operation
 307 orx858 or  Inf  sNaN   ->  NaN  Invalid_operation
 308 orx859 or  NaN  sNaN   ->  NaN  Invalid_operation
 309
 310 -- propagating NaNs
 311 orx861 or  NaN1   -Inf    -> NaN Invalid_operation
 312 orx862 or +NaN2   -1000   -> NaN Invalid_operation
 313 orx863 or  NaN3    1000   -> NaN Invalid_operation
 314 orx864 or  NaN4    Inf    -> NaN Invalid_operation
 315 orx865 or  NaN5   +NaN6   -> NaN Invalid_operation
 316 orx866 or -Inf     NaN7   -> NaN Invalid_operation
 317 orx867 or -1000    NaN8   -> NaN Invalid_operation
 318 orx868 or  1000    NaN9   -> NaN Invalid_operation
 319 orx869 or  Inf    +NaN10  -> NaN Invalid_operation
 320 orx871 or  sNaN11  -Inf   -> NaN Invalid_operation
 321 orx872 or  sNaN12  -1000  -> NaN Invalid_operation
 322 orx873 or  sNaN13   1000  -> NaN Invalid_operation
 323 orx874 or  sNaN14   NaN17 -> NaN Invalid_operation
 324 orx875 or  sNaN15  sNaN18 -> NaN Invalid_operation
 325 orx876 or  NaN16   sNaN19 -> NaN Invalid_operation
 326 orx877 or -Inf    +sNaN20 -> NaN Invalid_operation
 327 orx878 or -1000    sNaN21 -> NaN Invalid_operation
 328 orx879 or  1000    sNaN22 -> NaN Invalid_operation
 329 orx880 or  Inf     sNaN23 -> NaN Invalid_operation
 330 orx881 or +NaN25  +sNaN24 -> NaN Invalid_operation
 331 orx882 or -NaN26    NaN28 -> NaN Invalid_operation
 332 orx883 or -sNaN27  sNaN29 -> NaN Invalid_operation
 333 orx884 or  1000    -NaN30 -> NaN Invalid_operation
 334 orx885 or  1000   -sNaN31 -> NaN Invalid_operation