------------------------------------------------------------------------

-- 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

