| ------------------------------------------------------------------------ | |
| -- ddRotate.decTest -- rotate a decDouble coefficient left or right -- | |
| -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. -- | |
| ------------------------------------------------------------------------ | |
| -- 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 -- | |
| ------------------------------------------------------------------------ | |
| version: 2.58 | |
| precision: 16 | |
| maxExponent: 384 | |
| minExponent: -383 | |
| extended: 1 | |
| clamp: 1 | |
| rounding: half_even | |
| -- Sanity check | |
| ddrot001 rotate 0 0 -> 0 | |
| ddrot002 rotate 0 2 -> 0 | |
| ddrot003 rotate 1 2 -> 100 | |
| ddrot004 rotate 1 15 -> 1000000000000000 | |
| ddrot005 rotate 1 16 -> 1 | |
| ddrot006 rotate 1 -1 -> 1000000000000000 | |
| ddrot007 rotate 0 -2 -> 0 | |
| ddrot008 rotate 1234567890123456 -1 -> 6123456789012345 | |
| ddrot009 rotate 1234567890123456 -15 -> 2345678901234561 | |
| ddrot010 rotate 1234567890123456 -16 -> 1234567890123456 | |
| ddrot011 rotate 9934567890123456 -15 -> 9345678901234569 | |
| ddrot012 rotate 9934567890123456 -16 -> 9934567890123456 | |
| -- rhs must be an integer | |
| ddrot015 rotate 1 1.5 -> NaN Invalid_operation | |
| ddrot016 rotate 1 1.0 -> NaN Invalid_operation | |
| ddrot017 rotate 1 0.1 -> NaN Invalid_operation | |
| ddrot018 rotate 1 0.0 -> NaN Invalid_operation | |
| ddrot019 rotate 1 1E+1 -> NaN Invalid_operation | |
| ddrot020 rotate 1 1E+99 -> NaN Invalid_operation | |
| ddrot021 rotate 1 Inf -> NaN Invalid_operation | |
| ddrot022 rotate 1 -Inf -> NaN Invalid_operation | |
| -- and |rhs| <= precision | |
| ddrot025 rotate 1 -1000 -> NaN Invalid_operation | |
| ddrot026 rotate 1 -17 -> NaN Invalid_operation | |
| ddrot027 rotate 1 17 -> NaN Invalid_operation | |
| ddrot028 rotate 1 1000 -> NaN Invalid_operation | |
| -- full pattern | |
| ddrot030 rotate 1234567890123456 -16 -> 1234567890123456 | |
| ddrot031 rotate 1234567890123456 -15 -> 2345678901234561 | |
| ddrot032 rotate 1234567890123456 -14 -> 3456789012345612 | |
| ddrot033 rotate 1234567890123456 -13 -> 4567890123456123 | |
| ddrot034 rotate 1234567890123456 -12 -> 5678901234561234 | |
| ddrot035 rotate 1234567890123456 -11 -> 6789012345612345 | |
| ddrot036 rotate 1234567890123456 -10 -> 7890123456123456 | |
| ddrot037 rotate 1234567890123456 -9 -> 8901234561234567 | |
| ddrot038 rotate 1234567890123456 -8 -> 9012345612345678 | |
| ddrot039 rotate 1234567890123456 -7 -> 123456123456789 | |
| ddrot040 rotate 1234567890123456 -6 -> 1234561234567890 | |
| ddrot041 rotate 1234567890123456 -5 -> 2345612345678901 | |
| ddrot042 rotate 1234567890123456 -4 -> 3456123456789012 | |
| ddrot043 rotate 1234567890123456 -3 -> 4561234567890123 | |
| ddrot044 rotate 1234567890123456 -2 -> 5612345678901234 | |
| ddrot045 rotate 1234567890123456 -1 -> 6123456789012345 | |
| ddrot046 rotate 1234567890123456 -0 -> 1234567890123456 | |
| ddrot047 rotate 1234567890123456 +0 -> 1234567890123456 | |
| ddrot048 rotate 1234567890123456 +1 -> 2345678901234561 | |
| ddrot049 rotate 1234567890123456 +2 -> 3456789012345612 | |
| ddrot050 rotate 1234567890123456 +3 -> 4567890123456123 | |
| ddrot051 rotate 1234567890123456 +4 -> 5678901234561234 | |
| ddrot052 rotate 1234567890123456 +5 -> 6789012345612345 | |
| ddrot053 rotate 1234567890123456 +6 -> 7890123456123456 | |
| ddrot054 rotate 1234567890123456 +7 -> 8901234561234567 | |
| ddrot055 rotate 1234567890123456 +8 -> 9012345612345678 | |
| ddrot056 rotate 1234567890123456 +9 -> 123456123456789 | |
| ddrot057 rotate 1234567890123456 +10 -> 1234561234567890 | |
| ddrot058 rotate 1234567890123456 +11 -> 2345612345678901 | |
| ddrot059 rotate 1234567890123456 +12 -> 3456123456789012 | |
| ddrot060 rotate 1234567890123456 +13 -> 4561234567890123 | |
| ddrot061 rotate 1234567890123456 +14 -> 5612345678901234 | |
| ddrot062 rotate 1234567890123456 +15 -> 6123456789012345 | |
| ddrot063 rotate 1234567890123456 +16 -> 1234567890123456 | |
| -- zeros | |
| ddrot070 rotate 0E-10 +9 -> 0E-10 | |
| ddrot071 rotate 0E-10 -9 -> 0E-10 | |
| ddrot072 rotate 0.000 +9 -> 0.000 | |
| ddrot073 rotate 0.000 -9 -> 0.000 | |
| ddrot074 rotate 0E+10 +9 -> 0E+10 | |
| ddrot075 rotate 0E+10 -9 -> 0E+10 | |
| ddrot076 rotate -0E-10 +9 -> -0E-10 | |
| ddrot077 rotate -0E-10 -9 -> -0E-10 | |
| ddrot078 rotate -0.000 +9 -> -0.000 | |
| ddrot079 rotate -0.000 -9 -> -0.000 | |
| ddrot080 rotate -0E+10 +9 -> -0E+10 | |
| ddrot081 rotate -0E+10 -9 -> -0E+10 | |
| -- Nmax, Nmin, Ntiny | |
| ddrot141 rotate 9.999999999999999E+384 -1 -> 9.999999999999999E+384 | |
| ddrot142 rotate 9.999999999999999E+384 -15 -> 9.999999999999999E+384 | |
| ddrot143 rotate 9.999999999999999E+384 1 -> 9.999999999999999E+384 | |
| ddrot144 rotate 9.999999999999999E+384 15 -> 9.999999999999999E+384 | |
| ddrot145 rotate 1E-383 -1 -> 1.000000000000000E-368 | |
| ddrot146 rotate 1E-383 -15 -> 1.0E-382 | |
| ddrot147 rotate 1E-383 1 -> 1.0E-382 | |
| ddrot148 rotate 1E-383 15 -> 1.000000000000000E-368 | |
| ddrot151 rotate 1.000000000000000E-383 -1 -> 1.00000000000000E-384 | |
| ddrot152 rotate 1.000000000000000E-383 -15 -> 1E-398 | |
| ddrot153 rotate 1.000000000000000E-383 1 -> 1E-398 | |
| ddrot154 rotate 1.000000000000000E-383 15 -> 1.00000000000000E-384 | |
| ddrot155 rotate 9.000000000000000E-383 -1 -> 9.00000000000000E-384 | |
| ddrot156 rotate 9.000000000000000E-383 -15 -> 9E-398 | |
| ddrot157 rotate 9.000000000000000E-383 1 -> 9E-398 | |
| ddrot158 rotate 9.000000000000000E-383 15 -> 9.00000000000000E-384 | |
| ddrot160 rotate 1E-398 -1 -> 1.000000000000000E-383 | |
| ddrot161 rotate 1E-398 -15 -> 1.0E-397 | |
| ddrot162 rotate 1E-398 1 -> 1.0E-397 | |
| ddrot163 rotate 1E-398 15 -> 1.000000000000000E-383 | |
| -- negatives | |
| ddrot171 rotate -9.999999999999999E+384 -1 -> -9.999999999999999E+384 | |
| ddrot172 rotate -9.999999999999999E+384 -15 -> -9.999999999999999E+384 | |
| ddrot173 rotate -9.999999999999999E+384 1 -> -9.999999999999999E+384 | |
| ddrot174 rotate -9.999999999999999E+384 15 -> -9.999999999999999E+384 | |
| ddrot175 rotate -1E-383 -1 -> -1.000000000000000E-368 | |
| ddrot176 rotate -1E-383 -15 -> -1.0E-382 | |
| ddrot177 rotate -1E-383 1 -> -1.0E-382 | |
| ddrot178 rotate -1E-383 15 -> -1.000000000000000E-368 | |
| ddrot181 rotate -1.000000000000000E-383 -1 -> -1.00000000000000E-384 | |
| ddrot182 rotate -1.000000000000000E-383 -15 -> -1E-398 | |
| ddrot183 rotate -1.000000000000000E-383 1 -> -1E-398 | |
| ddrot184 rotate -1.000000000000000E-383 15 -> -1.00000000000000E-384 | |
| ddrot185 rotate -9.000000000000000E-383 -1 -> -9.00000000000000E-384 | |
| ddrot186 rotate -9.000000000000000E-383 -15 -> -9E-398 | |
| ddrot187 rotate -9.000000000000000E-383 1 -> -9E-398 | |
| ddrot188 rotate -9.000000000000000E-383 15 -> -9.00000000000000E-384 | |
| ddrot190 rotate -1E-398 -1 -> -1.000000000000000E-383 | |
| ddrot191 rotate -1E-398 -15 -> -1.0E-397 | |
| ddrot192 rotate -1E-398 1 -> -1.0E-397 | |
| ddrot193 rotate -1E-398 15 -> -1.000000000000000E-383 | |
| -- more negatives (of sanities) | |
| ddrot201 rotate -0 0 -> -0 | |
| ddrot202 rotate -0 2 -> -0 | |
| ddrot203 rotate -1 2 -> -100 | |
| ddrot204 rotate -1 15 -> -1000000000000000 | |
| ddrot205 rotate -1 16 -> -1 | |
| ddrot206 rotate -1 -1 -> -1000000000000000 | |
| ddrot207 rotate -0 -2 -> -0 | |
| ddrot208 rotate -1234567890123456 -1 -> -6123456789012345 | |
| ddrot209 rotate -1234567890123456 -15 -> -2345678901234561 | |
| ddrot210 rotate -1234567890123456 -16 -> -1234567890123456 | |
| ddrot211 rotate -9934567890123456 -15 -> -9345678901234569 | |
| ddrot212 rotate -9934567890123456 -16 -> -9934567890123456 | |
| -- Specials; NaNs are handled as usual | |
| ddrot781 rotate -Inf -8 -> -Infinity | |
| ddrot782 rotate -Inf -1 -> -Infinity | |
| ddrot783 rotate -Inf -0 -> -Infinity | |
| ddrot784 rotate -Inf 0 -> -Infinity | |
| ddrot785 rotate -Inf 1 -> -Infinity | |
| ddrot786 rotate -Inf 8 -> -Infinity | |
| ddrot787 rotate -1000 -Inf -> NaN Invalid_operation | |
| ddrot788 rotate -Inf -Inf -> NaN Invalid_operation | |
| ddrot789 rotate -1 -Inf -> NaN Invalid_operation | |
| ddrot790 rotate -0 -Inf -> NaN Invalid_operation | |
| ddrot791 rotate 0 -Inf -> NaN Invalid_operation | |
| ddrot792 rotate 1 -Inf -> NaN Invalid_operation | |
| ddrot793 rotate 1000 -Inf -> NaN Invalid_operation | |
| ddrot794 rotate Inf -Inf -> NaN Invalid_operation | |
| ddrot800 rotate Inf -Inf -> NaN Invalid_operation | |
| ddrot801 rotate Inf -8 -> Infinity | |
| ddrot802 rotate Inf -1 -> Infinity | |
| ddrot803 rotate Inf -0 -> Infinity | |
| ddrot804 rotate Inf 0 -> Infinity | |
| ddrot805 rotate Inf 1 -> Infinity | |
| ddrot806 rotate Inf 8 -> Infinity | |
| ddrot807 rotate Inf Inf -> NaN Invalid_operation | |
| ddrot808 rotate -1000 Inf -> NaN Invalid_operation | |
| ddrot809 rotate -Inf Inf -> NaN Invalid_operation | |
| ddrot810 rotate -1 Inf -> NaN Invalid_operation | |
| ddrot811 rotate -0 Inf -> NaN Invalid_operation | |
| ddrot812 rotate 0 Inf -> NaN Invalid_operation | |
| ddrot813 rotate 1 Inf -> NaN Invalid_operation | |
| ddrot814 rotate 1000 Inf -> NaN Invalid_operation | |
| ddrot815 rotate Inf Inf -> NaN Invalid_operation | |
| ddrot821 rotate NaN -Inf -> NaN | |
| ddrot822 rotate NaN -1000 -> NaN | |
| ddrot823 rotate NaN -1 -> NaN | |
| ddrot824 rotate NaN -0 -> NaN | |
| ddrot825 rotate NaN 0 -> NaN | |
| ddrot826 rotate NaN 1 -> NaN | |
| ddrot827 rotate NaN 1000 -> NaN | |
| ddrot828 rotate NaN Inf -> NaN | |
| ddrot829 rotate NaN NaN -> NaN | |
| ddrot830 rotate -Inf NaN -> NaN | |
| ddrot831 rotate -1000 NaN -> NaN | |
| ddrot832 rotate -1 NaN -> NaN | |
| ddrot833 rotate -0 NaN -> NaN | |
| ddrot834 rotate 0 NaN -> NaN | |
| ddrot835 rotate 1 NaN -> NaN | |
| ddrot836 rotate 1000 NaN -> NaN | |
| ddrot837 rotate Inf NaN -> NaN | |
| ddrot841 rotate sNaN -Inf -> NaN Invalid_operation | |
| ddrot842 rotate sNaN -1000 -> NaN Invalid_operation | |
| ddrot843 rotate sNaN -1 -> NaN Invalid_operation | |
| ddrot844 rotate sNaN -0 -> NaN Invalid_operation | |
| ddrot845 rotate sNaN 0 -> NaN Invalid_operation | |
| ddrot846 rotate sNaN 1 -> NaN Invalid_operation | |
| ddrot847 rotate sNaN 1000 -> NaN Invalid_operation | |
| ddrot848 rotate sNaN NaN -> NaN Invalid_operation | |
| ddrot849 rotate sNaN sNaN -> NaN Invalid_operation | |
| ddrot850 rotate NaN sNaN -> NaN Invalid_operation | |
| ddrot851 rotate -Inf sNaN -> NaN Invalid_operation | |
| ddrot852 rotate -1000 sNaN -> NaN Invalid_operation | |
| ddrot853 rotate -1 sNaN -> NaN Invalid_operation | |
| ddrot854 rotate -0 sNaN -> NaN Invalid_operation | |
| ddrot855 rotate 0 sNaN -> NaN Invalid_operation | |
| ddrot856 rotate 1 sNaN -> NaN Invalid_operation | |
| ddrot857 rotate 1000 sNaN -> NaN Invalid_operation | |
| ddrot858 rotate Inf sNaN -> NaN Invalid_operation | |
| ddrot859 rotate NaN sNaN -> NaN Invalid_operation | |
| -- propagating NaNs | |
| ddrot861 rotate NaN1 -Inf -> NaN1 | |
| ddrot862 rotate +NaN2 -1000 -> NaN2 | |
| ddrot863 rotate NaN3 1000 -> NaN3 | |
| ddrot864 rotate NaN4 Inf -> NaN4 | |
| ddrot865 rotate NaN5 +NaN6 -> NaN5 | |
| ddrot866 rotate -Inf NaN7 -> NaN7 | |
| ddrot867 rotate -1000 NaN8 -> NaN8 | |
| ddrot868 rotate 1000 NaN9 -> NaN9 | |
| ddrot869 rotate Inf +NaN10 -> NaN10 | |
| ddrot871 rotate sNaN11 -Inf -> NaN11 Invalid_operation | |
| ddrot872 rotate sNaN12 -1000 -> NaN12 Invalid_operation | |
| ddrot873 rotate sNaN13 1000 -> NaN13 Invalid_operation | |
| ddrot874 rotate sNaN14 NaN17 -> NaN14 Invalid_operation | |
| ddrot875 rotate sNaN15 sNaN18 -> NaN15 Invalid_operation | |
| ddrot876 rotate NaN16 sNaN19 -> NaN19 Invalid_operation | |
| ddrot877 rotate -Inf +sNaN20 -> NaN20 Invalid_operation | |
| ddrot878 rotate -1000 sNaN21 -> NaN21 Invalid_operation | |
| ddrot879 rotate 1000 sNaN22 -> NaN22 Invalid_operation | |
| ddrot880 rotate Inf sNaN23 -> NaN23 Invalid_operation | |
| ddrot881 rotate +NaN25 +sNaN24 -> NaN24 Invalid_operation | |
| ddrot882 rotate -NaN26 NaN28 -> -NaN26 | |
| ddrot883 rotate -sNaN27 sNaN29 -> -NaN27 Invalid_operation | |
| ddrot884 rotate 1000 -NaN30 -> -NaN30 | |
| ddrot885 rotate 1000 -sNaN31 -> -NaN31 Invalid_operation |