| ------------------------------------------------------------------------ |
| -- shift.decTest -- shift 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.59 |
| |
| extended: 1 |
| precision: 9 |
| rounding: half_up |
| maxExponent: 999 |
| minExponent: -999 |
| |
| -- Sanity check |
| shix001 shift 0 0 -> 0 |
| shix002 shift 0 2 -> 0 |
| shix003 shift 1 2 -> 100 |
| shix004 shift 1 8 -> 100000000 |
| shix005 shift 1 9 -> 0 |
| shix006 shift 1 -1 -> 0 |
| shix007 shift 123456789 -1 -> 12345678 |
| shix008 shift 123456789 -8 -> 1 |
| shix009 shift 123456789 -9 -> 0 |
| shix010 shift 0 -2 -> 0 |
| |
| -- rhs must be an integer |
| shix011 shift 1 1.5 -> NaN Invalid_operation |
| shix012 shift 1 1.0 -> NaN Invalid_operation |
| shix013 shift 1 0.1 -> NaN Invalid_operation |
| shix014 shift 1 0.0 -> NaN Invalid_operation |
| shix015 shift 1 1E+1 -> NaN Invalid_operation |
| shix016 shift 1 1E+99 -> NaN Invalid_operation |
| shix017 shift 1 Inf -> NaN Invalid_operation |
| shix018 shift 1 -Inf -> NaN Invalid_operation |
| -- and |rhs| <= precision |
| shix020 shift 1 -1000 -> NaN Invalid_operation |
| shix021 shift 1 -10 -> NaN Invalid_operation |
| shix022 shift 1 10 -> NaN Invalid_operation |
| shix023 shift 1 1000 -> NaN Invalid_operation |
| |
| -- full shifting pattern |
| shix030 shift 123456789 -9 -> 0 |
| shix031 shift 123456789 -8 -> 1 |
| shix032 shift 123456789 -7 -> 12 |
| shix033 shift 123456789 -6 -> 123 |
| shix034 shift 123456789 -5 -> 1234 |
| shix035 shift 123456789 -4 -> 12345 |
| shix036 shift 123456789 -3 -> 123456 |
| shix037 shift 123456789 -2 -> 1234567 |
| shix038 shift 123456789 -1 -> 12345678 |
| shix039 shift 123456789 -0 -> 123456789 |
| shix040 shift 123456789 +0 -> 123456789 |
| shix041 shift 123456789 +1 -> 234567890 |
| shix042 shift 123456789 +2 -> 345678900 |
| shix043 shift 123456789 +3 -> 456789000 |
| shix044 shift 123456789 +4 -> 567890000 |
| shix045 shift 123456789 +5 -> 678900000 |
| shix046 shift 123456789 +6 -> 789000000 |
| shix047 shift 123456789 +7 -> 890000000 |
| shix048 shift 123456789 +8 -> 900000000 |
| shix049 shift 123456789 +9 -> 0 |
| |
| -- from examples |
| shix051 shift 34 8 -> '400000000' |
| shix052 shift 12 9 -> '0' |
| shix053 shift 123456789 -2 -> '1234567' |
| shix054 shift 123456789 0 -> '123456789' |
| shix055 shift 123456789 +2 -> '345678900' |
| |
| -- zeros |
| shix060 shift 0E-10 +9 -> 0E-10 |
| shix061 shift 0E-10 -9 -> 0E-10 |
| shix062 shift 0.000 +9 -> 0.000 |
| shix063 shift 0.000 -9 -> 0.000 |
| shix064 shift 0E+10 +9 -> 0E+10 |
| shix065 shift 0E+10 -9 -> 0E+10 |
| shix066 shift -0E-10 +9 -> -0E-10 |
| shix067 shift -0E-10 -9 -> -0E-10 |
| shix068 shift -0.000 +9 -> -0.000 |
| shix069 shift -0.000 -9 -> -0.000 |
| shix070 shift -0E+10 +9 -> -0E+10 |
| shix071 shift -0E+10 -9 -> -0E+10 |
| |
| -- Nmax, Nmin, Ntiny |
| shix141 shift 9.99999999E+999 -1 -> 9.9999999E+998 |
| shix142 shift 9.99999999E+999 -8 -> 9E+991 |
| shix143 shift 9.99999999E+999 1 -> 9.99999990E+999 |
| shix144 shift 9.99999999E+999 8 -> 9.00000000E+999 |
| shix145 shift 1E-999 -1 -> 0E-999 |
| shix146 shift 1E-999 -8 -> 0E-999 |
| shix147 shift 1E-999 1 -> 1.0E-998 |
| shix148 shift 1E-999 8 -> 1.00000000E-991 |
| shix151 shift 1.00000000E-999 -1 -> 1.0000000E-1000 |
| shix152 shift 1.00000000E-999 -8 -> 1E-1007 |
| shix153 shift 1.00000000E-999 1 -> 0E-1007 |
| shix154 shift 1.00000000E-999 8 -> 0E-1007 |
| shix155 shift 9.00000000E-999 -1 -> 9.0000000E-1000 |
| shix156 shift 9.00000000E-999 -8 -> 9E-1007 |
| shix157 shift 9.00000000E-999 1 -> 0E-1007 |
| shix158 shift 9.00000000E-999 8 -> 0E-1007 |
| shix160 shift 1E-1007 -1 -> 0E-1007 |
| shix161 shift 1E-1007 -8 -> 0E-1007 |
| shix162 shift 1E-1007 1 -> 1.0E-1006 |
| shix163 shift 1E-1007 8 -> 1.00000000E-999 |
| -- negatives |
| shix171 shift -9.99999999E+999 -1 -> -9.9999999E+998 |
| shix172 shift -9.99999999E+999 -8 -> -9E+991 |
| shix173 shift -9.99999999E+999 1 -> -9.99999990E+999 |
| shix174 shift -9.99999999E+999 8 -> -9.00000000E+999 |
| shix175 shift -1E-999 -1 -> -0E-999 |
| shix176 shift -1E-999 -8 -> -0E-999 |
| shix177 shift -1E-999 1 -> -1.0E-998 |
| shix178 shift -1E-999 8 -> -1.00000000E-991 |
| shix181 shift -1.00000000E-999 -1 -> -1.0000000E-1000 |
| shix182 shift -1.00000000E-999 -8 -> -1E-1007 |
| shix183 shift -1.00000000E-999 1 -> -0E-1007 |
| shix184 shift -1.00000000E-999 8 -> -0E-1007 |
| shix185 shift -9.00000000E-999 -1 -> -9.0000000E-1000 |
| shix186 shift -9.00000000E-999 -8 -> -9E-1007 |
| shix187 shift -9.00000000E-999 1 -> -0E-1007 |
| shix188 shift -9.00000000E-999 8 -> -0E-1007 |
| shix190 shift -1E-1007 -1 -> -0E-1007 |
| shix191 shift -1E-1007 -8 -> -0E-1007 |
| shix192 shift -1E-1007 1 -> -1.0E-1006 |
| shix193 shift -1E-1007 8 -> -1.00000000E-999 |
| |
| -- more negatives (of sanities) |
| shix201 shift -0 0 -> -0 |
| shix202 shift -0 2 -> -0 |
| shix203 shift -1 2 -> -100 |
| shix204 shift -1 8 -> -100000000 |
| shix205 shift -1 9 -> -0 |
| shix206 shift -1 -1 -> -0 |
| shix207 shift -123456789 -1 -> -12345678 |
| shix208 shift -123456789 -8 -> -1 |
| shix209 shift -123456789 -9 -> -0 |
| shix210 shift -0 -2 -> -0 |
| shix211 shift -0 -0 -> -0 |
| |
| |
| -- Specials; NaNs are handled as usual |
| shix781 shift -Inf -8 -> -Infinity |
| shix782 shift -Inf -1 -> -Infinity |
| shix783 shift -Inf -0 -> -Infinity |
| shix784 shift -Inf 0 -> -Infinity |
| shix785 shift -Inf 1 -> -Infinity |
| shix786 shift -Inf 8 -> -Infinity |
| shix787 shift -1000 -Inf -> NaN Invalid_operation |
| shix788 shift -Inf -Inf -> NaN Invalid_operation |
| shix789 shift -1 -Inf -> NaN Invalid_operation |
| shix790 shift -0 -Inf -> NaN Invalid_operation |
| shix791 shift 0 -Inf -> NaN Invalid_operation |
| shix792 shift 1 -Inf -> NaN Invalid_operation |
| shix793 shift 1000 -Inf -> NaN Invalid_operation |
| shix794 shift Inf -Inf -> NaN Invalid_operation |
| |
| shix800 shift Inf -Inf -> NaN Invalid_operation |
| shix801 shift Inf -8 -> Infinity |
| shix802 shift Inf -1 -> Infinity |
| shix803 shift Inf -0 -> Infinity |
| shix804 shift Inf 0 -> Infinity |
| shix805 shift Inf 1 -> Infinity |
| shix806 shift Inf 8 -> Infinity |
| shix807 shift Inf Inf -> NaN Invalid_operation |
| shix808 shift -1000 Inf -> NaN Invalid_operation |
| shix809 shift -Inf Inf -> NaN Invalid_operation |
| shix810 shift -1 Inf -> NaN Invalid_operation |
| shix811 shift -0 Inf -> NaN Invalid_operation |
| shix812 shift 0 Inf -> NaN Invalid_operation |
| shix813 shift 1 Inf -> NaN Invalid_operation |
| shix814 shift 1000 Inf -> NaN Invalid_operation |
| shix815 shift Inf Inf -> NaN Invalid_operation |
| |
| shix821 shift NaN -Inf -> NaN |
| shix822 shift NaN -1000 -> NaN |
| shix823 shift NaN -1 -> NaN |
| shix824 shift NaN -0 -> NaN |
| shix825 shift NaN 0 -> NaN |
| shix826 shift NaN 1 -> NaN |
| shix827 shift NaN 1000 -> NaN |
| shix828 shift NaN Inf -> NaN |
| shix829 shift NaN NaN -> NaN |
| shix830 shift -Inf NaN -> NaN |
| shix831 shift -1000 NaN -> NaN |
| shix832 shift -1 NaN -> NaN |
| shix833 shift -0 NaN -> NaN |
| shix834 shift 0 NaN -> NaN |
| shix835 shift 1 NaN -> NaN |
| shix836 shift 1000 NaN -> NaN |
| shix837 shift Inf NaN -> NaN |
| |
| shix841 shift sNaN -Inf -> NaN Invalid_operation |
| shix842 shift sNaN -1000 -> NaN Invalid_operation |
| shix843 shift sNaN -1 -> NaN Invalid_operation |
| shix844 shift sNaN -0 -> NaN Invalid_operation |
| shix845 shift sNaN 0 -> NaN Invalid_operation |
| shix846 shift sNaN 1 -> NaN Invalid_operation |
| shix847 shift sNaN 1000 -> NaN Invalid_operation |
| shix848 shift sNaN NaN -> NaN Invalid_operation |
| shix849 shift sNaN sNaN -> NaN Invalid_operation |
| shix850 shift NaN sNaN -> NaN Invalid_operation |
| shix851 shift -Inf sNaN -> NaN Invalid_operation |
| shix852 shift -1000 sNaN -> NaN Invalid_operation |
| shix853 shift -1 sNaN -> NaN Invalid_operation |
| shix854 shift -0 sNaN -> NaN Invalid_operation |
| shix855 shift 0 sNaN -> NaN Invalid_operation |
| shix856 shift 1 sNaN -> NaN Invalid_operation |
| shix857 shift 1000 sNaN -> NaN Invalid_operation |
| shix858 shift Inf sNaN -> NaN Invalid_operation |
| shix859 shift NaN sNaN -> NaN Invalid_operation |
| |
| -- propagating NaNs |
| shix861 shift NaN1 -Inf -> NaN1 |
| shix862 shift +NaN2 -1000 -> NaN2 |
| shix863 shift NaN3 1000 -> NaN3 |
| shix864 shift NaN4 Inf -> NaN4 |
| shix865 shift NaN5 +NaN6 -> NaN5 |
| shix866 shift -Inf NaN7 -> NaN7 |
| shix867 shift -1000 NaN8 -> NaN8 |
| shix868 shift 1000 NaN9 -> NaN9 |
| shix869 shift Inf +NaN10 -> NaN10 |
| shix871 shift sNaN11 -Inf -> NaN11 Invalid_operation |
| shix872 shift sNaN12 -1000 -> NaN12 Invalid_operation |
| shix873 shift sNaN13 1000 -> NaN13 Invalid_operation |
| shix874 shift sNaN14 NaN17 -> NaN14 Invalid_operation |
| shix875 shift sNaN15 sNaN18 -> NaN15 Invalid_operation |
| shix876 shift NaN16 sNaN19 -> NaN19 Invalid_operation |
| shix877 shift -Inf +sNaN20 -> NaN20 Invalid_operation |
| shix878 shift -1000 sNaN21 -> NaN21 Invalid_operation |
| shix879 shift 1000 sNaN22 -> NaN22 Invalid_operation |
| shix880 shift Inf sNaN23 -> NaN23 Invalid_operation |
| shix881 shift +NaN25 +sNaN24 -> NaN24 Invalid_operation |
| shix882 shift -NaN26 NaN28 -> -NaN26 |
| shix883 shift -sNaN27 sNaN29 -> -NaN27 Invalid_operation |
| shix884 shift 1000 -NaN30 -> -NaN30 |
| shix885 shift 1000 -sNaN31 -> -NaN31 Invalid_operation |