| 1 | ------------------------------------------------------------------------
|
|---|
| 2 | -- ddRotate.decTest -- rotate a decDouble coefficient left or right --
|
|---|
| 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 | 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
|
|---|
