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

-- rotate.decTest -- rotate 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



extended:    1

precision:   9

rounding:    half_up

maxExponent: 999

minExponent: -999



-- Sanity check

rotx001 rotate          0    0  ->  0

rotx002 rotate          0    2  ->  0

rotx003 rotate          1    2  ->  100

rotx004 rotate         34    8  ->  400000003

rotx005 rotate          1    9  ->  1

rotx006 rotate          1   -1  ->  100000000

rotx007 rotate  123456789   -1  ->  912345678

rotx008 rotate  123456789   -8  ->  234567891

rotx009 rotate  123456789   -9  ->  123456789

rotx010 rotate          0   -2  ->  0



-- rhs must be an integer

rotx011 rotate        1    1.5    -> NaN Invalid_operation

rotx012 rotate        1    1.0    -> NaN Invalid_operation

rotx013 rotate        1    0.1    -> NaN Invalid_operation

rotx014 rotate        1    0.0    -> NaN Invalid_operation

rotx015 rotate        1    1E+1   -> NaN Invalid_operation

rotx016 rotate        1    1E+99  -> NaN Invalid_operation

rotx017 rotate        1    Inf    -> NaN Invalid_operation

rotx018 rotate        1    -Inf   -> NaN Invalid_operation

-- and |rhs| <= precision

rotx020 rotate        1    -1000  -> NaN Invalid_operation

rotx021 rotate        1    -10    -> NaN Invalid_operation

rotx022 rotate        1     10    -> NaN Invalid_operation

rotx023 rotate        1     1000  -> NaN Invalid_operation



-- full pattern

rotx030 rotate  123456789          -9   -> 123456789

rotx031 rotate  123456789          -8   -> 234567891

rotx032 rotate  123456789          -7   -> 345678912

rotx033 rotate  123456789          -6   -> 456789123

rotx034 rotate  123456789          -5   -> 567891234

rotx035 rotate  123456789          -4   -> 678912345

rotx036 rotate  123456789          -3   -> 789123456

rotx037 rotate  123456789          -2   -> 891234567

rotx038 rotate  123456789          -1   -> 912345678

rotx039 rotate  123456789          -0   -> 123456789

rotx040 rotate  123456789          +0   -> 123456789

rotx041 rotate  123456789          +1   -> 234567891

rotx042 rotate  123456789          +2   -> 345678912

rotx043 rotate  123456789          +3   -> 456789123

rotx044 rotate  123456789          +4   -> 567891234

rotx045 rotate  123456789          +5   -> 678912345

rotx046 rotate  123456789          +6   -> 789123456

rotx047 rotate  123456789          +7   -> 891234567

rotx048 rotate  123456789          +8   -> 912345678

rotx049 rotate  123456789          +9   -> 123456789



-- zeros

rotx060 rotate  0E-10              +9   ->   0E-10

rotx061 rotate  0E-10              -9   ->   0E-10

rotx062 rotate  0.000              +9   ->   0.000

rotx063 rotate  0.000              -9   ->   0.000

rotx064 rotate  0E+10              +9   ->   0E+10

rotx065 rotate  0E+10              -9   ->   0E+10

rotx066 rotate -0E-10              +9   ->  -0E-10

rotx067 rotate -0E-10              -9   ->  -0E-10

rotx068 rotate -0.000              +9   ->  -0.000

rotx069 rotate -0.000              -9   ->  -0.000

rotx070 rotate -0E+10              +9   ->  -0E+10

rotx071 rotate -0E+10              -9   ->  -0E+10



-- Nmax, Nmin, Ntiny

rotx141 rotate  9.99999999E+999     -1  -> 9.99999999E+999

rotx142 rotate  9.99999999E+999     -8  -> 9.99999999E+999

rotx143 rotate  9.99999999E+999      1  -> 9.99999999E+999

rotx144 rotate  9.99999999E+999      8  -> 9.99999999E+999

rotx145 rotate  1E-999              -1  -> 1.00000000E-991

rotx146 rotate  1E-999              -8  -> 1.0E-998

rotx147 rotate  1E-999               1  -> 1.0E-998

rotx148 rotate  1E-999               8  -> 1.00000000E-991

rotx151 rotate  1.00000000E-999     -1  -> 1.0000000E-1000

rotx152 rotate  1.00000000E-999     -8  -> 1E-1007

rotx153 rotate  1.00000000E-999      1  -> 1E-1007

rotx154 rotate  1.00000000E-999      8  -> 1.0000000E-1000

rotx155 rotate  9.00000000E-999     -1  -> 9.0000000E-1000

rotx156 rotate  9.00000000E-999     -8  -> 9E-1007

rotx157 rotate  9.00000000E-999      1  -> 9E-1007

rotx158 rotate  9.00000000E-999      8  -> 9.0000000E-1000

rotx160 rotate  1E-1007             -1  -> 1.00000000E-999

rotx161 rotate  1E-1007             -8  -> 1.0E-1006

rotx162 rotate  1E-1007              1  -> 1.0E-1006

rotx163 rotate  1E-1007              8  -> 1.00000000E-999

--  negatives

rotx171 rotate -9.99999999E+999     -1  -> -9.99999999E+999

rotx172 rotate -9.99999999E+999     -8  -> -9.99999999E+999

rotx173 rotate -9.99999999E+999      1  -> -9.99999999E+999

rotx174 rotate -9.99999999E+999      8  -> -9.99999999E+999

rotx175 rotate -1E-999              -1  -> -1.00000000E-991

rotx176 rotate -1E-999              -8  -> -1.0E-998

rotx177 rotate -1E-999               1  -> -1.0E-998

rotx178 rotate -1E-999               8  -> -1.00000000E-991

rotx181 rotate -1.00000000E-999     -1  -> -1.0000000E-1000

rotx182 rotate -1.00000000E-999     -8  -> -1E-1007

rotx183 rotate -1.00000000E-999      1  -> -1E-1007

rotx184 rotate -1.00000000E-999      8  -> -1.0000000E-1000

rotx185 rotate -9.00000000E-999     -1  -> -9.0000000E-1000

rotx186 rotate -9.00000000E-999     -8  -> -9E-1007

rotx187 rotate -9.00000000E-999      1  -> -9E-1007

rotx188 rotate -9.00000000E-999      8  -> -9.0000000E-1000

rotx190 rotate -1E-1007             -1  -> -1.00000000E-999

rotx191 rotate -1E-1007             -8  -> -1.0E-1006

rotx192 rotate -1E-1007              1  -> -1.0E-1006

rotx193 rotate -1E-1007              8  -> -1.00000000E-999



-- more negatives (of sanities)

rotx201 rotate         -0    0  ->  -0

rotx202 rotate         -0    2  ->  -0

rotx203 rotate         -1    2  ->  -100

rotx204 rotate         -1    8  ->  -100000000

rotx205 rotate         -1    9  ->  -1

rotx206 rotate         -1   -1  ->  -100000000

rotx207 rotate -123456789   -1  ->  -912345678

rotx208 rotate -123456789   -8  ->  -234567891

rotx209 rotate -123456789   -9  ->  -123456789

rotx210 rotate         -0   -2  ->  -0



-- Specials; NaNs are handled as usual

rotx781 rotate -Inf  -8     -> -Infinity

rotx782 rotate -Inf  -1     -> -Infinity

rotx783 rotate -Inf  -0     -> -Infinity

rotx784 rotate -Inf   0     -> -Infinity

rotx785 rotate -Inf   1     -> -Infinity

rotx786 rotate -Inf   8     -> -Infinity

rotx787 rotate -1000 -Inf   -> NaN Invalid_operation

rotx788 rotate -Inf  -Inf   -> NaN Invalid_operation

rotx789 rotate -1    -Inf   -> NaN Invalid_operation

rotx790 rotate -0    -Inf   -> NaN Invalid_operation

rotx791 rotate  0    -Inf   -> NaN Invalid_operation

rotx792 rotate  1    -Inf   -> NaN Invalid_operation

rotx793 rotate  1000 -Inf   -> NaN Invalid_operation

rotx794 rotate  Inf  -Inf   -> NaN Invalid_operation



rotx800 rotate  Inf  -Inf   -> NaN Invalid_operation

rotx801 rotate  Inf  -8     -> Infinity

rotx802 rotate  Inf  -1     -> Infinity

rotx803 rotate  Inf  -0     -> Infinity

rotx804 rotate  Inf   0     -> Infinity

rotx805 rotate  Inf   1     -> Infinity

rotx806 rotate  Inf   8     -> Infinity

rotx807 rotate  Inf   Inf   -> NaN Invalid_operation

rotx808 rotate -1000  Inf   -> NaN Invalid_operation

rotx809 rotate -Inf   Inf   -> NaN Invalid_operation

rotx810 rotate -1     Inf   -> NaN Invalid_operation

rotx811 rotate -0     Inf   -> NaN Invalid_operation

rotx812 rotate  0     Inf   -> NaN Invalid_operation

rotx813 rotate  1     Inf   -> NaN Invalid_operation

rotx814 rotate  1000  Inf   -> NaN Invalid_operation

rotx815 rotate  Inf   Inf   -> NaN Invalid_operation



rotx821 rotate  NaN -Inf    ->  NaN

rotx822 rotate  NaN -1000   ->  NaN

rotx823 rotate  NaN -1      ->  NaN

rotx824 rotate  NaN -0      ->  NaN

rotx825 rotate  NaN  0      ->  NaN

rotx826 rotate  NaN  1      ->  NaN

rotx827 rotate  NaN  1000   ->  NaN

rotx828 rotate  NaN  Inf    ->  NaN

rotx829 rotate  NaN  NaN    ->  NaN

rotx830 rotate -Inf  NaN    ->  NaN

rotx831 rotate -1000 NaN    ->  NaN

rotx832 rotate -1    NaN    ->  NaN

rotx833 rotate -0    NaN    ->  NaN

rotx834 rotate  0    NaN    ->  NaN

rotx835 rotate  1    NaN    ->  NaN

rotx836 rotate  1000 NaN    ->  NaN

rotx837 rotate  Inf  NaN    ->  NaN







rotx841 rotate  sNaN -Inf   ->  NaN  Invalid_operation

rotx842 rotate  sNaN -1000  ->  NaN  Invalid_operation

rotx843 rotate  sNaN -1     ->  NaN  Invalid_operation

rotx844 rotate  sNaN -0     ->  NaN  Invalid_operation

rotx845 rotate  sNaN  0     ->  NaN  Invalid_operation

rotx846 rotate  sNaN  1     ->  NaN  Invalid_operation

rotx847 rotate  sNaN  1000  ->  NaN  Invalid_operation

rotx848 rotate  sNaN  NaN   ->  NaN  Invalid_operation

rotx849 rotate  sNaN sNaN   ->  NaN  Invalid_operation

rotx850 rotate  NaN  sNaN   ->  NaN  Invalid_operation

rotx851 rotate -Inf  sNaN   ->  NaN  Invalid_operation

rotx852 rotate -1000 sNaN   ->  NaN  Invalid_operation

rotx853 rotate -1    sNaN   ->  NaN  Invalid_operation

rotx854 rotate -0    sNaN   ->  NaN  Invalid_operation

rotx855 rotate  0    sNaN   ->  NaN  Invalid_operation

rotx856 rotate  1    sNaN   ->  NaN  Invalid_operation

rotx857 rotate  1000 sNaN   ->  NaN  Invalid_operation

rotx858 rotate  Inf  sNaN   ->  NaN  Invalid_operation

rotx859 rotate  NaN  sNaN   ->  NaN  Invalid_operation



-- propagating NaNs

rotx861 rotate  NaN1   -Inf    ->  NaN1

rotx862 rotate +NaN2   -1000   ->  NaN2

rotx863 rotate  NaN3    1000   ->  NaN3

rotx864 rotate  NaN4    Inf    ->  NaN4

rotx865 rotate  NaN5   +NaN6   ->  NaN5

rotx866 rotate -Inf     NaN7   ->  NaN7

rotx867 rotate -1000    NaN8   ->  NaN8

rotx868 rotate  1000    NaN9   ->  NaN9

rotx869 rotate  Inf    +NaN10  ->  NaN10

rotx871 rotate  sNaN11  -Inf   ->  NaN11  Invalid_operation

rotx872 rotate  sNaN12  -1000  ->  NaN12  Invalid_operation

rotx873 rotate  sNaN13   1000  ->  NaN13  Invalid_operation

rotx874 rotate  sNaN14   NaN17 ->  NaN14  Invalid_operation

rotx875 rotate  sNaN15  sNaN18 ->  NaN15  Invalid_operation

rotx876 rotate  NaN16   sNaN19 ->  NaN19  Invalid_operation

rotx877 rotate -Inf    +sNaN20 ->  NaN20  Invalid_operation

rotx878 rotate -1000    sNaN21 ->  NaN21  Invalid_operation

rotx879 rotate  1000    sNaN22 ->  NaN22  Invalid_operation

rotx880 rotate  Inf     sNaN23 ->  NaN23  Invalid_operation

rotx881 rotate +NaN25  +sNaN24 ->  NaN24  Invalid_operation

rotx882 rotate -NaN26    NaN28 -> -NaN26

rotx883 rotate -sNaN27  sNaN29 -> -NaN27  Invalid_operation

rotx884 rotate  1000    -NaN30 -> -NaN30

rotx885 rotate  1000   -sNaN31 -> -NaN31  Invalid_operation



-- payload decapitate

precision: 5

rotx886 rotate  11 -sNaN1234567890 -> -NaN67890  Invalid_operation

