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

-- ddShift.decTest -- shift 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

ddshi001 shift                 0    0  ->  0

ddshi002 shift                 0    2  ->  0

ddshi003 shift                 1    2  ->  100

ddshi004 shift                 1   15  ->  1000000000000000

ddshi005 shift                 1   16  ->  0

ddshi006 shift                 1   -1  ->  0

ddshi007 shift                 0   -2  ->  0

ddshi008 shift  1234567890123456   -1  ->  123456789012345

ddshi009 shift  1234567890123456   -15 ->  1

ddshi010 shift  1234567890123456   -16 ->  0

ddshi011 shift  9934567890123456   -15 ->  9

ddshi012 shift  9934567890123456   -16 ->  0



-- rhs must be an integer

ddshi015 shift        1    1.5    -> NaN Invalid_operation

ddshi016 shift        1    1.0    -> NaN Invalid_operation

ddshi017 shift        1    0.1    -> NaN Invalid_operation

ddshi018 shift        1    0.0    -> NaN Invalid_operation

ddshi019 shift        1    1E+1   -> NaN Invalid_operation

ddshi020 shift        1    1E+99  -> NaN Invalid_operation

ddshi021 shift        1    Inf    -> NaN Invalid_operation

ddshi022 shift        1    -Inf   -> NaN Invalid_operation

-- and |rhs| <= precision

ddshi025 shift        1    -1000  -> NaN Invalid_operation

ddshi026 shift        1    -17    -> NaN Invalid_operation

ddshi027 shift        1     17    -> NaN Invalid_operation

ddshi028 shift        1     1000  -> NaN Invalid_operation



-- full shifting pattern

ddshi030 shift  1234567890123456         -16  -> 0

ddshi031 shift  1234567890123456         -15  -> 1

ddshi032 shift  1234567890123456         -14  -> 12

ddshi033 shift  1234567890123456         -13  -> 123

ddshi034 shift  1234567890123456         -12  -> 1234

ddshi035 shift  1234567890123456         -11  -> 12345

ddshi036 shift  1234567890123456         -10  -> 123456

ddshi037 shift  1234567890123456         -9   -> 1234567

ddshi038 shift  1234567890123456         -8   -> 12345678

ddshi039 shift  1234567890123456         -7   -> 123456789

ddshi040 shift  1234567890123456         -6   -> 1234567890

ddshi041 shift  1234567890123456         -5   -> 12345678901

ddshi042 shift  1234567890123456         -4   -> 123456789012

ddshi043 shift  1234567890123456         -3   -> 1234567890123

ddshi044 shift  1234567890123456         -2   -> 12345678901234

ddshi045 shift  1234567890123456         -1   -> 123456789012345

ddshi046 shift  1234567890123456         -0   -> 1234567890123456



ddshi047 shift  1234567890123456         +0   -> 1234567890123456

ddshi048 shift  1234567890123456         +1   -> 2345678901234560

ddshi049 shift  1234567890123456         +2   -> 3456789012345600

ddshi050 shift  1234567890123456         +3   -> 4567890123456000

ddshi051 shift  1234567890123456         +4   -> 5678901234560000

ddshi052 shift  1234567890123456         +5   -> 6789012345600000

ddshi053 shift  1234567890123456         +6   -> 7890123456000000

ddshi054 shift  1234567890123456         +7   -> 8901234560000000

ddshi055 shift  1234567890123456         +8   -> 9012345600000000

ddshi056 shift  1234567890123456         +9   ->  123456000000000

ddshi057 shift  1234567890123456         +10  -> 1234560000000000

ddshi058 shift  1234567890123456         +11  -> 2345600000000000

ddshi059 shift  1234567890123456         +12  -> 3456000000000000

ddshi060 shift  1234567890123456         +13  -> 4560000000000000

ddshi061 shift  1234567890123456         +14  -> 5600000000000000

ddshi062 shift  1234567890123456         +15  -> 6000000000000000

ddshi063 shift  1234567890123456         +16  -> 0



-- zeros

ddshi070 shift  0E-10              +9   ->   0E-10

ddshi071 shift  0E-10              -9   ->   0E-10

ddshi072 shift  0.000              +9   ->   0.000

ddshi073 shift  0.000              -9   ->   0.000

ddshi074 shift  0E+10              +9   ->   0E+10

ddshi075 shift  0E+10              -9   ->   0E+10

ddshi076 shift -0E-10              +9   ->  -0E-10

ddshi077 shift -0E-10              -9   ->  -0E-10

ddshi078 shift -0.000              +9   ->  -0.000

ddshi079 shift -0.000              -9   ->  -0.000

ddshi080 shift -0E+10              +9   ->  -0E+10

ddshi081 shift -0E+10              -9   ->  -0E+10



-- Nmax, Nmin, Ntiny

ddshi141 shift  9.999999999999999E+384     -1  -> 9.99999999999999E+383

ddshi142 shift  9.999999999999999E+384     -15 -> 9E+369

ddshi143 shift  9.999999999999999E+384      1  -> 9.999999999999990E+384

ddshi144 shift  9.999999999999999E+384      15 -> 9.000000000000000E+384

ddshi145 shift  1E-383                     -1  -> 0E-383

ddshi146 shift  1E-383                     -15 -> 0E-383

ddshi147 shift  1E-383                      1  -> 1.0E-382

ddshi148 shift  1E-383                      15 -> 1.000000000000000E-368

ddshi151 shift  1.000000000000000E-383     -1  -> 1.00000000000000E-384

ddshi152 shift  1.000000000000000E-383     -15 -> 1E-398

ddshi153 shift  1.000000000000000E-383      1  -> 0E-398

ddshi154 shift  1.000000000000000E-383      15 -> 0E-398

ddshi155 shift  9.000000000000000E-383     -1  -> 9.00000000000000E-384

ddshi156 shift  9.000000000000000E-383     -15 -> 9E-398

ddshi157 shift  9.000000000000000E-383      1  -> 0E-398

ddshi158 shift  9.000000000000000E-383      15 -> 0E-398

ddshi160 shift  1E-398                     -1  -> 0E-398

ddshi161 shift  1E-398                     -15 -> 0E-398

ddshi162 shift  1E-398                      1  -> 1.0E-397

ddshi163 shift  1E-398                      15 -> 1.000000000000000E-383

--  negatives

ddshi171 shift -9.999999999999999E+384     -1  -> -9.99999999999999E+383

ddshi172 shift -9.999999999999999E+384     -15 -> -9E+369

ddshi173 shift -9.999999999999999E+384      1  -> -9.999999999999990E+384

ddshi174 shift -9.999999999999999E+384      15 -> -9.000000000000000E+384

ddshi175 shift -1E-383                     -1  -> -0E-383

ddshi176 shift -1E-383                     -15 -> -0E-383

ddshi177 shift -1E-383                      1  -> -1.0E-382

ddshi178 shift -1E-383                      15 -> -1.000000000000000E-368

ddshi181 shift -1.000000000000000E-383     -1  -> -1.00000000000000E-384

ddshi182 shift -1.000000000000000E-383     -15 -> -1E-398

ddshi183 shift -1.000000000000000E-383      1  -> -0E-398

ddshi184 shift -1.000000000000000E-383      15 -> -0E-398

ddshi185 shift -9.000000000000000E-383     -1  -> -9.00000000000000E-384

ddshi186 shift -9.000000000000000E-383     -15 -> -9E-398

ddshi187 shift -9.000000000000000E-383      1  -> -0E-398

ddshi188 shift -9.000000000000000E-383      15 -> -0E-398

ddshi190 shift -1E-398                     -1  -> -0E-398

ddshi191 shift -1E-398                     -15 -> -0E-398

ddshi192 shift -1E-398                      1  -> -1.0E-397

ddshi193 shift -1E-398                      15 -> -1.000000000000000E-383



-- more negatives (of sanities)

ddshi201 shift                -0    0  -> -0

ddshi202 shift                -0    2  -> -0

ddshi203 shift                -1    2  -> -100

ddshi204 shift                -1   15  -> -1000000000000000

ddshi205 shift                -1   16  -> -0

ddshi206 shift                -1   -1  -> -0

ddshi207 shift                -0   -2  -> -0

ddshi208 shift -1234567890123456   -1  -> -123456789012345

ddshi209 shift -1234567890123456   -15 -> -1

ddshi210 shift -1234567890123456   -16 -> -0

ddshi211 shift -9934567890123456   -15 -> -9

ddshi212 shift -9934567890123456   -16 -> -0





-- Specials; NaNs are handled as usual

ddshi781 shift -Inf  -8     -> -Infinity

ddshi782 shift -Inf  -1     -> -Infinity

ddshi783 shift -Inf  -0     -> -Infinity

ddshi784 shift -Inf   0     -> -Infinity

ddshi785 shift -Inf   1     -> -Infinity

ddshi786 shift -Inf   8     -> -Infinity

ddshi787 shift -1000 -Inf   -> NaN Invalid_operation

ddshi788 shift -Inf  -Inf   -> NaN Invalid_operation

ddshi789 shift -1    -Inf   -> NaN Invalid_operation

ddshi790 shift -0    -Inf   -> NaN Invalid_operation

ddshi791 shift  0    -Inf   -> NaN Invalid_operation

ddshi792 shift  1    -Inf   -> NaN Invalid_operation

ddshi793 shift  1000 -Inf   -> NaN Invalid_operation

ddshi794 shift  Inf  -Inf   -> NaN Invalid_operation



ddshi800 shift  Inf  -Inf   -> NaN Invalid_operation

ddshi801 shift  Inf  -8     -> Infinity

ddshi802 shift  Inf  -1     -> Infinity

ddshi803 shift  Inf  -0     -> Infinity

ddshi804 shift  Inf   0     -> Infinity

ddshi805 shift  Inf   1     -> Infinity

ddshi806 shift  Inf   8     -> Infinity

ddshi807 shift  Inf   Inf   -> NaN Invalid_operation

ddshi808 shift -1000  Inf   -> NaN Invalid_operation

ddshi809 shift -Inf   Inf   -> NaN Invalid_operation

ddshi810 shift -1     Inf   -> NaN Invalid_operation

ddshi811 shift -0     Inf   -> NaN Invalid_operation

ddshi812 shift  0     Inf   -> NaN Invalid_operation

ddshi813 shift  1     Inf   -> NaN Invalid_operation

ddshi814 shift  1000  Inf   -> NaN Invalid_operation

ddshi815 shift  Inf   Inf   -> NaN Invalid_operation



ddshi821 shift  NaN -Inf    ->  NaN

ddshi822 shift  NaN -1000   ->  NaN

ddshi823 shift  NaN -1      ->  NaN

ddshi824 shift  NaN -0      ->  NaN

ddshi825 shift  NaN  0      ->  NaN

ddshi826 shift  NaN  1      ->  NaN

ddshi827 shift  NaN  1000   ->  NaN

ddshi828 shift  NaN  Inf    ->  NaN

ddshi829 shift  NaN  NaN    ->  NaN

ddshi830 shift -Inf  NaN    ->  NaN

ddshi831 shift -1000 NaN    ->  NaN

ddshi832 shift -1    NaN    ->  NaN

ddshi833 shift -0    NaN    ->  NaN

ddshi834 shift  0    NaN    ->  NaN

ddshi835 shift  1    NaN    ->  NaN

ddshi836 shift  1000 NaN    ->  NaN

ddshi837 shift  Inf  NaN    ->  NaN



ddshi841 shift  sNaN -Inf   ->  NaN  Invalid_operation

ddshi842 shift  sNaN -1000  ->  NaN  Invalid_operation

ddshi843 shift  sNaN -1     ->  NaN  Invalid_operation

ddshi844 shift  sNaN -0     ->  NaN  Invalid_operation

ddshi845 shift  sNaN  0     ->  NaN  Invalid_operation

ddshi846 shift  sNaN  1     ->  NaN  Invalid_operation

ddshi847 shift  sNaN  1000  ->  NaN  Invalid_operation

ddshi848 shift  sNaN  NaN   ->  NaN  Invalid_operation

ddshi849 shift  sNaN sNaN   ->  NaN  Invalid_operation

ddshi850 shift  NaN  sNaN   ->  NaN  Invalid_operation

ddshi851 shift -Inf  sNaN   ->  NaN  Invalid_operation

ddshi852 shift -1000 sNaN   ->  NaN  Invalid_operation

ddshi853 shift -1    sNaN   ->  NaN  Invalid_operation

ddshi854 shift -0    sNaN   ->  NaN  Invalid_operation

ddshi855 shift  0    sNaN   ->  NaN  Invalid_operation

ddshi856 shift  1    sNaN   ->  NaN  Invalid_operation

ddshi857 shift  1000 sNaN   ->  NaN  Invalid_operation

ddshi858 shift  Inf  sNaN   ->  NaN  Invalid_operation

ddshi859 shift  NaN  sNaN   ->  NaN  Invalid_operation



-- propagating NaNs

ddshi861 shift  NaN1   -Inf    ->  NaN1

ddshi862 shift +NaN2   -1000   ->  NaN2

ddshi863 shift  NaN3    1000   ->  NaN3

ddshi864 shift  NaN4    Inf    ->  NaN4

ddshi865 shift  NaN5   +NaN6   ->  NaN5

ddshi866 shift -Inf     NaN7   ->  NaN7

ddshi867 shift -1000    NaN8   ->  NaN8

ddshi868 shift  1000    NaN9   ->  NaN9

ddshi869 shift  Inf    +NaN10  ->  NaN10

ddshi871 shift  sNaN11  -Inf   ->  NaN11  Invalid_operation

ddshi872 shift  sNaN12  -1000  ->  NaN12  Invalid_operation

ddshi873 shift  sNaN13   1000  ->  NaN13  Invalid_operation

ddshi874 shift  sNaN14   NaN17 ->  NaN14  Invalid_operation

ddshi875 shift  sNaN15  sNaN18 ->  NaN15  Invalid_operation

ddshi876 shift  NaN16   sNaN19 ->  NaN19  Invalid_operation

ddshi877 shift -Inf    +sNaN20 ->  NaN20  Invalid_operation

ddshi878 shift -1000    sNaN21 ->  NaN21  Invalid_operation

ddshi879 shift  1000    sNaN22 ->  NaN22  Invalid_operation

ddshi880 shift  Inf     sNaN23 ->  NaN23  Invalid_operation

ddshi881 shift +NaN25  +sNaN24 ->  NaN24  Invalid_operation

ddshi882 shift -NaN26    NaN28 -> -NaN26

ddshi883 shift -sNaN27  sNaN29 -> -NaN27  Invalid_operation

ddshi884 shift  1000    -NaN30 -> -NaN30

ddshi885 shift  1000   -sNaN31 -> -NaN31  Invalid_operation

