| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 1 | ------------------------------------------------------------------------
 | 
 | 2 | -- ddRotate.decTest -- rotate a decDouble coefficient left or right   --
 | 
| Benjamin Peterson | f17ff4e | 2008-07-31 16:32:12 +0000 | [diff] [blame] | 3 | -- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
 | 
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 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 | ------------------------------------------------------------------------
 | 
| Mark Dickinson | 8a54653 | 2009-10-08 16:30:38 +0000 | [diff] [blame] | 20 | version: 2.59
 | 
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 21 | 
 | 
 | 22 | precision:   16
 | 
 | 23 | maxExponent: 384
 | 
 | 24 | minExponent: -383
 | 
 | 25 | extended:    1
 | 
 | 26 | clamp:       1
 | 
 | 27 | rounding:    half_even
 | 
 | 28 | 
 | 
 | 29 | -- Sanity check
 | 
 | 30 | ddrot001 rotate                 0    0  ->  0
 | 
 | 31 | ddrot002 rotate                 0    2  ->  0
 | 
 | 32 | ddrot003 rotate                 1    2  ->  100
 | 
 | 33 | ddrot004 rotate                 1   15  ->  1000000000000000
 | 
 | 34 | ddrot005 rotate                 1   16  ->  1
 | 
 | 35 | ddrot006 rotate                 1   -1  ->  1000000000000000
 | 
 | 36 | ddrot007 rotate                 0   -2  ->  0
 | 
 | 37 | ddrot008 rotate  1234567890123456   -1  ->  6123456789012345
 | 
 | 38 | ddrot009 rotate  1234567890123456   -15 ->  2345678901234561
 | 
 | 39 | ddrot010 rotate  1234567890123456   -16 ->  1234567890123456
 | 
 | 40 | ddrot011 rotate  9934567890123456   -15 ->  9345678901234569
 | 
 | 41 | ddrot012 rotate  9934567890123456   -16 ->  9934567890123456
 | 
 | 42 | 
 | 
 | 43 | -- rhs must be an integer
 | 
 | 44 | ddrot015 rotate        1    1.5    -> NaN Invalid_operation
 | 
 | 45 | ddrot016 rotate        1    1.0    -> NaN Invalid_operation
 | 
 | 46 | ddrot017 rotate        1    0.1    -> NaN Invalid_operation
 | 
 | 47 | ddrot018 rotate        1    0.0    -> NaN Invalid_operation
 | 
 | 48 | ddrot019 rotate        1    1E+1   -> NaN Invalid_operation
 | 
 | 49 | ddrot020 rotate        1    1E+99  -> NaN Invalid_operation
 | 
 | 50 | ddrot021 rotate        1    Inf    -> NaN Invalid_operation
 | 
 | 51 | ddrot022 rotate        1    -Inf   -> NaN Invalid_operation
 | 
 | 52 | -- and |rhs| <= precision
 | 
 | 53 | ddrot025 rotate        1    -1000  -> NaN Invalid_operation
 | 
 | 54 | ddrot026 rotate        1    -17    -> NaN Invalid_operation
 | 
 | 55 | ddrot027 rotate        1     17    -> NaN Invalid_operation
 | 
 | 56 | ddrot028 rotate        1     1000  -> NaN Invalid_operation
 | 
 | 57 | 
 | 
 | 58 | -- full pattern
 | 
 | 59 | ddrot030 rotate  1234567890123456         -16  -> 1234567890123456
 | 
 | 60 | ddrot031 rotate  1234567890123456         -15  -> 2345678901234561
 | 
 | 61 | ddrot032 rotate  1234567890123456         -14  -> 3456789012345612
 | 
 | 62 | ddrot033 rotate  1234567890123456         -13  -> 4567890123456123
 | 
 | 63 | ddrot034 rotate  1234567890123456         -12  -> 5678901234561234
 | 
 | 64 | ddrot035 rotate  1234567890123456         -11  -> 6789012345612345
 | 
 | 65 | ddrot036 rotate  1234567890123456         -10  -> 7890123456123456
 | 
 | 66 | ddrot037 rotate  1234567890123456         -9   -> 8901234561234567
 | 
 | 67 | ddrot038 rotate  1234567890123456         -8   -> 9012345612345678
 | 
 | 68 | ddrot039 rotate  1234567890123456         -7   ->  123456123456789
 | 
 | 69 | ddrot040 rotate  1234567890123456         -6   -> 1234561234567890
 | 
 | 70 | ddrot041 rotate  1234567890123456         -5   -> 2345612345678901
 | 
 | 71 | ddrot042 rotate  1234567890123456         -4   -> 3456123456789012
 | 
 | 72 | ddrot043 rotate  1234567890123456         -3   -> 4561234567890123
 | 
 | 73 | ddrot044 rotate  1234567890123456         -2   -> 5612345678901234
 | 
 | 74 | ddrot045 rotate  1234567890123456         -1   -> 6123456789012345
 | 
 | 75 | ddrot046 rotate  1234567890123456         -0   -> 1234567890123456
 | 
 | 76 | 
 | 
 | 77 | ddrot047 rotate  1234567890123456         +0   -> 1234567890123456
 | 
 | 78 | ddrot048 rotate  1234567890123456         +1   -> 2345678901234561
 | 
 | 79 | ddrot049 rotate  1234567890123456         +2   -> 3456789012345612
 | 
 | 80 | ddrot050 rotate  1234567890123456         +3   -> 4567890123456123
 | 
 | 81 | ddrot051 rotate  1234567890123456         +4   -> 5678901234561234
 | 
 | 82 | ddrot052 rotate  1234567890123456         +5   -> 6789012345612345
 | 
 | 83 | ddrot053 rotate  1234567890123456         +6   -> 7890123456123456
 | 
 | 84 | ddrot054 rotate  1234567890123456         +7   -> 8901234561234567
 | 
 | 85 | ddrot055 rotate  1234567890123456         +8   -> 9012345612345678
 | 
 | 86 | ddrot056 rotate  1234567890123456         +9   ->  123456123456789
 | 
 | 87 | ddrot057 rotate  1234567890123456         +10  -> 1234561234567890
 | 
 | 88 | ddrot058 rotate  1234567890123456         +11  -> 2345612345678901
 | 
 | 89 | ddrot059 rotate  1234567890123456         +12  -> 3456123456789012
 | 
 | 90 | ddrot060 rotate  1234567890123456         +13  -> 4561234567890123
 | 
 | 91 | ddrot061 rotate  1234567890123456         +14  -> 5612345678901234
 | 
 | 92 | ddrot062 rotate  1234567890123456         +15  -> 6123456789012345
 | 
 | 93 | ddrot063 rotate  1234567890123456         +16  -> 1234567890123456
 | 
 | 94 | 
 | 
 | 95 | -- zeros
 | 
 | 96 | ddrot070 rotate  0E-10              +9   ->   0E-10
 | 
 | 97 | ddrot071 rotate  0E-10              -9   ->   0E-10
 | 
 | 98 | ddrot072 rotate  0.000              +9   ->   0.000
 | 
 | 99 | ddrot073 rotate  0.000              -9   ->   0.000
 | 
 | 100 | ddrot074 rotate  0E+10              +9   ->   0E+10
 | 
 | 101 | ddrot075 rotate  0E+10              -9   ->   0E+10
 | 
 | 102 | ddrot076 rotate -0E-10              +9   ->  -0E-10
 | 
 | 103 | ddrot077 rotate -0E-10              -9   ->  -0E-10
 | 
 | 104 | ddrot078 rotate -0.000              +9   ->  -0.000
 | 
 | 105 | ddrot079 rotate -0.000              -9   ->  -0.000
 | 
 | 106 | ddrot080 rotate -0E+10              +9   ->  -0E+10
 | 
 | 107 | ddrot081 rotate -0E+10              -9   ->  -0E+10
 | 
 | 108 | 
 | 
 | 109 | -- Nmax, Nmin, Ntiny
 | 
 | 110 | ddrot141 rotate  9.999999999999999E+384     -1  -> 9.999999999999999E+384
 | 
 | 111 | ddrot142 rotate  9.999999999999999E+384     -15 -> 9.999999999999999E+384
 | 
 | 112 | ddrot143 rotate  9.999999999999999E+384      1  -> 9.999999999999999E+384
 | 
 | 113 | ddrot144 rotate  9.999999999999999E+384      15 -> 9.999999999999999E+384
 | 
 | 114 | ddrot145 rotate  1E-383                     -1  -> 1.000000000000000E-368
 | 
 | 115 | ddrot146 rotate  1E-383                     -15 -> 1.0E-382
 | 
 | 116 | ddrot147 rotate  1E-383                      1  -> 1.0E-382
 | 
 | 117 | ddrot148 rotate  1E-383                      15 -> 1.000000000000000E-368
 | 
 | 118 | ddrot151 rotate  1.000000000000000E-383     -1  -> 1.00000000000000E-384
 | 
 | 119 | ddrot152 rotate  1.000000000000000E-383     -15 -> 1E-398
 | 
 | 120 | ddrot153 rotate  1.000000000000000E-383      1  -> 1E-398
 | 
 | 121 | ddrot154 rotate  1.000000000000000E-383      15 -> 1.00000000000000E-384
 | 
 | 122 | ddrot155 rotate  9.000000000000000E-383     -1  -> 9.00000000000000E-384
 | 
 | 123 | ddrot156 rotate  9.000000000000000E-383     -15 -> 9E-398
 | 
 | 124 | ddrot157 rotate  9.000000000000000E-383      1  -> 9E-398
 | 
 | 125 | ddrot158 rotate  9.000000000000000E-383      15 -> 9.00000000000000E-384
 | 
 | 126 | ddrot160 rotate  1E-398                     -1  -> 1.000000000000000E-383
 | 
 | 127 | ddrot161 rotate  1E-398                     -15 -> 1.0E-397
 | 
 | 128 | ddrot162 rotate  1E-398                      1  -> 1.0E-397
 | 
 | 129 | ddrot163 rotate  1E-398                      15 -> 1.000000000000000E-383
 | 
 | 130 | --  negatives
 | 
 | 131 | ddrot171 rotate -9.999999999999999E+384     -1  -> -9.999999999999999E+384
 | 
 | 132 | ddrot172 rotate -9.999999999999999E+384     -15 -> -9.999999999999999E+384
 | 
 | 133 | ddrot173 rotate -9.999999999999999E+384      1  -> -9.999999999999999E+384
 | 
 | 134 | ddrot174 rotate -9.999999999999999E+384      15 -> -9.999999999999999E+384
 | 
 | 135 | ddrot175 rotate -1E-383                     -1  -> -1.000000000000000E-368
 | 
 | 136 | ddrot176 rotate -1E-383                     -15 -> -1.0E-382
 | 
 | 137 | ddrot177 rotate -1E-383                      1  -> -1.0E-382
 | 
 | 138 | ddrot178 rotate -1E-383                      15 -> -1.000000000000000E-368
 | 
 | 139 | ddrot181 rotate -1.000000000000000E-383     -1  -> -1.00000000000000E-384
 | 
 | 140 | ddrot182 rotate -1.000000000000000E-383     -15 -> -1E-398
 | 
 | 141 | ddrot183 rotate -1.000000000000000E-383      1  -> -1E-398
 | 
 | 142 | ddrot184 rotate -1.000000000000000E-383      15 -> -1.00000000000000E-384
 | 
 | 143 | ddrot185 rotate -9.000000000000000E-383     -1  -> -9.00000000000000E-384
 | 
 | 144 | ddrot186 rotate -9.000000000000000E-383     -15 -> -9E-398
 | 
 | 145 | ddrot187 rotate -9.000000000000000E-383      1  -> -9E-398
 | 
 | 146 | ddrot188 rotate -9.000000000000000E-383      15 -> -9.00000000000000E-384
 | 
 | 147 | ddrot190 rotate -1E-398                     -1  -> -1.000000000000000E-383
 | 
 | 148 | ddrot191 rotate -1E-398                     -15 -> -1.0E-397
 | 
 | 149 | ddrot192 rotate -1E-398                      1  -> -1.0E-397
 | 
 | 150 | ddrot193 rotate -1E-398                      15 -> -1.000000000000000E-383
 | 
 | 151 | 
 | 
 | 152 | -- more negatives (of sanities)
 | 
 | 153 | ddrot201 rotate                -0    0  -> -0
 | 
 | 154 | ddrot202 rotate                -0    2  -> -0
 | 
 | 155 | ddrot203 rotate                -1    2  -> -100
 | 
 | 156 | ddrot204 rotate                -1   15  -> -1000000000000000
 | 
 | 157 | ddrot205 rotate                -1   16  -> -1
 | 
 | 158 | ddrot206 rotate                -1   -1  -> -1000000000000000
 | 
 | 159 | ddrot207 rotate                -0   -2  -> -0
 | 
 | 160 | ddrot208 rotate -1234567890123456   -1  -> -6123456789012345
 | 
 | 161 | ddrot209 rotate -1234567890123456   -15 -> -2345678901234561
 | 
 | 162 | ddrot210 rotate -1234567890123456   -16 -> -1234567890123456
 | 
 | 163 | ddrot211 rotate -9934567890123456   -15 -> -9345678901234569
 | 
 | 164 | ddrot212 rotate -9934567890123456   -16 -> -9934567890123456
 | 
 | 165 | 
 | 
 | 166 | 
 | 
 | 167 | -- Specials; NaNs are handled as usual
 | 
 | 168 | ddrot781 rotate -Inf  -8     -> -Infinity
 | 
 | 169 | ddrot782 rotate -Inf  -1     -> -Infinity
 | 
 | 170 | ddrot783 rotate -Inf  -0     -> -Infinity
 | 
 | 171 | ddrot784 rotate -Inf   0     -> -Infinity
 | 
 | 172 | ddrot785 rotate -Inf   1     -> -Infinity
 | 
 | 173 | ddrot786 rotate -Inf   8     -> -Infinity
 | 
 | 174 | ddrot787 rotate -1000 -Inf   -> NaN Invalid_operation
 | 
 | 175 | ddrot788 rotate -Inf  -Inf   -> NaN Invalid_operation
 | 
 | 176 | ddrot789 rotate -1    -Inf   -> NaN Invalid_operation
 | 
 | 177 | ddrot790 rotate -0    -Inf   -> NaN Invalid_operation
 | 
 | 178 | ddrot791 rotate  0    -Inf   -> NaN Invalid_operation
 | 
 | 179 | ddrot792 rotate  1    -Inf   -> NaN Invalid_operation
 | 
 | 180 | ddrot793 rotate  1000 -Inf   -> NaN Invalid_operation
 | 
 | 181 | ddrot794 rotate  Inf  -Inf   -> NaN Invalid_operation
 | 
 | 182 | 
 | 
 | 183 | ddrot800 rotate  Inf  -Inf   -> NaN Invalid_operation
 | 
 | 184 | ddrot801 rotate  Inf  -8     -> Infinity
 | 
 | 185 | ddrot802 rotate  Inf  -1     -> Infinity
 | 
 | 186 | ddrot803 rotate  Inf  -0     -> Infinity
 | 
 | 187 | ddrot804 rotate  Inf   0     -> Infinity
 | 
 | 188 | ddrot805 rotate  Inf   1     -> Infinity
 | 
 | 189 | ddrot806 rotate  Inf   8     -> Infinity
 | 
 | 190 | ddrot807 rotate  Inf   Inf   -> NaN Invalid_operation
 | 
 | 191 | ddrot808 rotate -1000  Inf   -> NaN Invalid_operation
 | 
 | 192 | ddrot809 rotate -Inf   Inf   -> NaN Invalid_operation
 | 
 | 193 | ddrot810 rotate -1     Inf   -> NaN Invalid_operation
 | 
 | 194 | ddrot811 rotate -0     Inf   -> NaN Invalid_operation
 | 
 | 195 | ddrot812 rotate  0     Inf   -> NaN Invalid_operation
 | 
 | 196 | ddrot813 rotate  1     Inf   -> NaN Invalid_operation
 | 
 | 197 | ddrot814 rotate  1000  Inf   -> NaN Invalid_operation
 | 
 | 198 | ddrot815 rotate  Inf   Inf   -> NaN Invalid_operation
 | 
 | 199 | 
 | 
 | 200 | ddrot821 rotate  NaN -Inf    ->  NaN
 | 
 | 201 | ddrot822 rotate  NaN -1000   ->  NaN
 | 
 | 202 | ddrot823 rotate  NaN -1      ->  NaN
 | 
 | 203 | ddrot824 rotate  NaN -0      ->  NaN
 | 
 | 204 | ddrot825 rotate  NaN  0      ->  NaN
 | 
 | 205 | ddrot826 rotate  NaN  1      ->  NaN
 | 
 | 206 | ddrot827 rotate  NaN  1000   ->  NaN
 | 
 | 207 | ddrot828 rotate  NaN  Inf    ->  NaN
 | 
 | 208 | ddrot829 rotate  NaN  NaN    ->  NaN
 | 
 | 209 | ddrot830 rotate -Inf  NaN    ->  NaN
 | 
 | 210 | ddrot831 rotate -1000 NaN    ->  NaN
 | 
 | 211 | ddrot832 rotate -1    NaN    ->  NaN
 | 
 | 212 | ddrot833 rotate -0    NaN    ->  NaN
 | 
 | 213 | ddrot834 rotate  0    NaN    ->  NaN
 | 
 | 214 | ddrot835 rotate  1    NaN    ->  NaN
 | 
 | 215 | ddrot836 rotate  1000 NaN    ->  NaN
 | 
 | 216 | ddrot837 rotate  Inf  NaN    ->  NaN
 | 
 | 217 | 
 | 
 | 218 | ddrot841 rotate  sNaN -Inf   ->  NaN  Invalid_operation
 | 
 | 219 | ddrot842 rotate  sNaN -1000  ->  NaN  Invalid_operation
 | 
 | 220 | ddrot843 rotate  sNaN -1     ->  NaN  Invalid_operation
 | 
 | 221 | ddrot844 rotate  sNaN -0     ->  NaN  Invalid_operation
 | 
 | 222 | ddrot845 rotate  sNaN  0     ->  NaN  Invalid_operation
 | 
 | 223 | ddrot846 rotate  sNaN  1     ->  NaN  Invalid_operation
 | 
 | 224 | ddrot847 rotate  sNaN  1000  ->  NaN  Invalid_operation
 | 
 | 225 | ddrot848 rotate  sNaN  NaN   ->  NaN  Invalid_operation
 | 
 | 226 | ddrot849 rotate  sNaN sNaN   ->  NaN  Invalid_operation
 | 
 | 227 | ddrot850 rotate  NaN  sNaN   ->  NaN  Invalid_operation
 | 
 | 228 | ddrot851 rotate -Inf  sNaN   ->  NaN  Invalid_operation
 | 
 | 229 | ddrot852 rotate -1000 sNaN   ->  NaN  Invalid_operation
 | 
 | 230 | ddrot853 rotate -1    sNaN   ->  NaN  Invalid_operation
 | 
 | 231 | ddrot854 rotate -0    sNaN   ->  NaN  Invalid_operation
 | 
 | 232 | ddrot855 rotate  0    sNaN   ->  NaN  Invalid_operation
 | 
 | 233 | ddrot856 rotate  1    sNaN   ->  NaN  Invalid_operation
 | 
 | 234 | ddrot857 rotate  1000 sNaN   ->  NaN  Invalid_operation
 | 
 | 235 | ddrot858 rotate  Inf  sNaN   ->  NaN  Invalid_operation
 | 
 | 236 | ddrot859 rotate  NaN  sNaN   ->  NaN  Invalid_operation
 | 
 | 237 | 
 | 
 | 238 | -- propagating NaNs
 | 
 | 239 | ddrot861 rotate  NaN1   -Inf    ->  NaN1
 | 
 | 240 | ddrot862 rotate +NaN2   -1000   ->  NaN2
 | 
 | 241 | ddrot863 rotate  NaN3    1000   ->  NaN3
 | 
 | 242 | ddrot864 rotate  NaN4    Inf    ->  NaN4
 | 
 | 243 | ddrot865 rotate  NaN5   +NaN6   ->  NaN5
 | 
 | 244 | ddrot866 rotate -Inf     NaN7   ->  NaN7
 | 
 | 245 | ddrot867 rotate -1000    NaN8   ->  NaN8
 | 
 | 246 | ddrot868 rotate  1000    NaN9   ->  NaN9
 | 
 | 247 | ddrot869 rotate  Inf    +NaN10  ->  NaN10
 | 
 | 248 | ddrot871 rotate  sNaN11  -Inf   ->  NaN11  Invalid_operation
 | 
 | 249 | ddrot872 rotate  sNaN12  -1000  ->  NaN12  Invalid_operation
 | 
 | 250 | ddrot873 rotate  sNaN13   1000  ->  NaN13  Invalid_operation
 | 
 | 251 | ddrot874 rotate  sNaN14   NaN17 ->  NaN14  Invalid_operation
 | 
 | 252 | ddrot875 rotate  sNaN15  sNaN18 ->  NaN15  Invalid_operation
 | 
 | 253 | ddrot876 rotate  NaN16   sNaN19 ->  NaN19  Invalid_operation
 | 
 | 254 | ddrot877 rotate -Inf    +sNaN20 ->  NaN20  Invalid_operation
 | 
 | 255 | ddrot878 rotate -1000    sNaN21 ->  NaN21  Invalid_operation
 | 
 | 256 | ddrot879 rotate  1000    sNaN22 ->  NaN22  Invalid_operation
 | 
 | 257 | ddrot880 rotate  Inf     sNaN23 ->  NaN23  Invalid_operation
 | 
 | 258 | ddrot881 rotate +NaN25  +sNaN24 ->  NaN24  Invalid_operation
 | 
 | 259 | ddrot882 rotate -NaN26    NaN28 -> -NaN26
 | 
 | 260 | ddrot883 rotate -sNaN27  sNaN29 -> -NaN27  Invalid_operation
 | 
 | 261 | ddrot884 rotate  1000    -NaN30 -> -NaN30
 | 
 | 262 | ddrot885 rotate  1000   -sNaN31 -> -NaN31  Invalid_operation
 |