Georg Brandl | faa9ad2 | 2011-03-05 15:06:13 +0100 | [diff] [blame] | 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 |