Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 1 | ------------------------------------------------------------------------
|
| 2 | -- dqRotate.decTest -- rotate decQuad coefficient left or right --
|
Benjamin Peterson | f17ff4e | 2008-07-31 16:32:12 +0000 | [diff] [blame] | 3 | -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
|
Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 4 | ------------------------------------------------------------------------
|
| 5 | -- Please see the document "General Decimal Arithmetic Testcases" --
|
| 6 | -- at http://www2.hursley.ibm.com/decimal for the description of --
|
| 7 | -- these testcases. --
|
| 8 | -- --
|
| 9 | -- These testcases are experimental ('beta' versions), and they --
|
| 10 | -- may contain errors. They are offered on an as-is basis. In --
|
| 11 | -- particular, achieving the same results as the tests here is not --
|
| 12 | -- a guarantee that an implementation complies with any Standard --
|
| 13 | -- or specification. The tests are not exhaustive. --
|
| 14 | -- --
|
| 15 | -- Please send comments, suggestions, and corrections to the author: --
|
| 16 | -- Mike Cowlishaw, IBM Fellow --
|
| 17 | -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
|
| 18 | -- mfc@uk.ibm.com --
|
| 19 | ------------------------------------------------------------------------
|
Mark Dickinson | 8a54653 | 2009-10-08 16:30:38 +0000 | [diff] [blame] | 20 | version: 2.59
|
Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 21 |
|
| 22 | extended: 1
|
| 23 | clamp: 1
|
| 24 | precision: 34
|
| 25 | maxExponent: 6144
|
| 26 | minExponent: -6143
|
| 27 | rounding: half_even
|
| 28 |
|
| 29 | -- Sanity check
|
| 30 | dqrot001 rotate 0 0 -> 0
|
| 31 | dqrot002 rotate 0 2 -> 0
|
| 32 | dqrot003 rotate 1 2 -> 100
|
| 33 | dqrot004 rotate 1 33 -> 1000000000000000000000000000000000
|
| 34 | dqrot005 rotate 1 34 -> 1
|
| 35 | dqrot006 rotate 1 -1 -> 1000000000000000000000000000000000
|
| 36 | dqrot007 rotate 0 -2 -> 0
|
| 37 | dqrot008 rotate 1234567890123456789012345678901234 -1 -> 4123456789012345678901234567890123
|
| 38 | dqrot009 rotate 1234567890123456789012345678901234 -33 -> 2345678901234567890123456789012341
|
| 39 | dqrot010 rotate 1234567890123456789012345678901234 -34 -> 1234567890123456789012345678901234
|
| 40 | dqrot011 rotate 9934567890123456789012345678901234 -33 -> 9345678901234567890123456789012349
|
| 41 | dqrot012 rotate 9934567890123456789012345678901234 -34 -> 9934567890123456789012345678901234
|
| 42 |
|
| 43 | -- rhs must be an integer
|
| 44 | dqrot015 rotate 1 1.5 -> NaN Invalid_operation
|
| 45 | dqrot016 rotate 1 1.0 -> NaN Invalid_operation
|
| 46 | dqrot017 rotate 1 0.1 -> NaN Invalid_operation
|
| 47 | dqrot018 rotate 1 0.0 -> NaN Invalid_operation
|
| 48 | dqrot019 rotate 1 1E+1 -> NaN Invalid_operation
|
| 49 | dqrot020 rotate 1 1E+99 -> NaN Invalid_operation
|
| 50 | dqrot021 rotate 1 Inf -> NaN Invalid_operation
|
| 51 | dqrot022 rotate 1 -Inf -> NaN Invalid_operation
|
| 52 | -- and |rhs| <= precision
|
| 53 | dqrot025 rotate 1 -1000 -> NaN Invalid_operation
|
| 54 | dqrot026 rotate 1 -35 -> NaN Invalid_operation
|
| 55 | dqrot027 rotate 1 35 -> NaN Invalid_operation
|
| 56 | dqrot028 rotate 1 1000 -> NaN Invalid_operation
|
| 57 |
|
| 58 | -- full pattern
|
| 59 | dqrot030 rotate 1234567890123456789012345678901234 -34 -> 1234567890123456789012345678901234
|
| 60 | dqrot031 rotate 1234567890123456789012345678901234 -33 -> 2345678901234567890123456789012341
|
| 61 | dqrot032 rotate 1234567890123456789012345678901234 -32 -> 3456789012345678901234567890123412
|
| 62 | dqrot033 rotate 1234567890123456789012345678901234 -31 -> 4567890123456789012345678901234123
|
| 63 | dqrot034 rotate 1234567890123456789012345678901234 -30 -> 5678901234567890123456789012341234
|
| 64 | dqrot035 rotate 1234567890123456789012345678901234 -29 -> 6789012345678901234567890123412345
|
| 65 | dqrot036 rotate 1234567890123456789012345678901234 -28 -> 7890123456789012345678901234123456
|
| 66 | dqrot037 rotate 1234567890123456789012345678901234 -27 -> 8901234567890123456789012341234567
|
| 67 | dqrot038 rotate 1234567890123456789012345678901234 -26 -> 9012345678901234567890123412345678
|
| 68 | dqrot039 rotate 1234567890123456789012345678901234 -25 -> 123456789012345678901234123456789
|
| 69 | dqrot040 rotate 1234567890123456789012345678901234 -24 -> 1234567890123456789012341234567890
|
| 70 | dqrot041 rotate 1234567890123456789012345678901234 -23 -> 2345678901234567890123412345678901
|
| 71 | dqrot042 rotate 1234567890123456789012345678901234 -22 -> 3456789012345678901234123456789012
|
| 72 | dqrot043 rotate 1234567890123456789012345678901234 -21 -> 4567890123456789012341234567890123
|
| 73 | dqrot044 rotate 1234567890123456789012345678901234 -20 -> 5678901234567890123412345678901234
|
| 74 | dqrot045 rotate 1234567890123456789012345678901234 -19 -> 6789012345678901234123456789012345
|
| 75 | dqrot047 rotate 1234567890123456789012345678901234 -18 -> 7890123456789012341234567890123456
|
| 76 | dqrot048 rotate 1234567890123456789012345678901234 -17 -> 8901234567890123412345678901234567
|
| 77 | dqrot049 rotate 1234567890123456789012345678901234 -16 -> 9012345678901234123456789012345678
|
| 78 | dqrot050 rotate 1234567890123456789012345678901234 -15 -> 123456789012341234567890123456789
|
| 79 | dqrot051 rotate 1234567890123456789012345678901234 -14 -> 1234567890123412345678901234567890
|
| 80 | dqrot052 rotate 1234567890123456789012345678901234 -13 -> 2345678901234123456789012345678901
|
| 81 | dqrot053 rotate 1234567890123456789012345678901234 -12 -> 3456789012341234567890123456789012
|
| 82 | dqrot054 rotate 1234567890123456789012345678901234 -11 -> 4567890123412345678901234567890123
|
| 83 | dqrot055 rotate 1234567890123456789012345678901234 -10 -> 5678901234123456789012345678901234
|
| 84 | dqrot056 rotate 1234567890123456789012345678901234 -9 -> 6789012341234567890123456789012345
|
| 85 | dqrot057 rotate 1234567890123456789012345678901234 -8 -> 7890123412345678901234567890123456
|
| 86 | dqrot058 rotate 1234567890123456789012345678901234 -7 -> 8901234123456789012345678901234567
|
| 87 | dqrot059 rotate 1234567890123456789012345678901234 -6 -> 9012341234567890123456789012345678
|
| 88 | dqrot060 rotate 1234567890123456789012345678901234 -5 -> 123412345678901234567890123456789
|
| 89 | dqrot061 rotate 1234567890123456789012345678901234 -4 -> 1234123456789012345678901234567890
|
| 90 | dqrot062 rotate 1234567890123456789012345678901234 -3 -> 2341234567890123456789012345678901
|
| 91 | dqrot063 rotate 1234567890123456789012345678901234 -2 -> 3412345678901234567890123456789012
|
| 92 | dqrot064 rotate 1234567890123456789012345678901234 -1 -> 4123456789012345678901234567890123
|
| 93 | dqrot065 rotate 1234567890123456789012345678901234 -0 -> 1234567890123456789012345678901234
|
| 94 |
|
| 95 | dqrot066 rotate 1234567890123456789012345678901234 +0 -> 1234567890123456789012345678901234
|
| 96 | dqrot067 rotate 1234567890123456789012345678901234 +1 -> 2345678901234567890123456789012341
|
| 97 | dqrot068 rotate 1234567890123456789012345678901234 +2 -> 3456789012345678901234567890123412
|
| 98 | dqrot069 rotate 1234567890123456789012345678901234 +3 -> 4567890123456789012345678901234123
|
| 99 | dqrot070 rotate 1234567890123456789012345678901234 +4 -> 5678901234567890123456789012341234
|
| 100 | dqrot071 rotate 1234567890123456789012345678901234 +5 -> 6789012345678901234567890123412345
|
| 101 | dqrot072 rotate 1234567890123456789012345678901234 +6 -> 7890123456789012345678901234123456
|
| 102 | dqrot073 rotate 1234567890123456789012345678901234 +7 -> 8901234567890123456789012341234567
|
| 103 | dqrot074 rotate 1234567890123456789012345678901234 +8 -> 9012345678901234567890123412345678
|
| 104 | dqrot075 rotate 1234567890123456789012345678901234 +9 -> 123456789012345678901234123456789
|
| 105 | dqrot076 rotate 1234567890123456789012345678901234 +10 -> 1234567890123456789012341234567890
|
| 106 | dqrot077 rotate 1234567890123456789012345678901234 +11 -> 2345678901234567890123412345678901
|
| 107 | dqrot078 rotate 1234567890123456789012345678901234 +12 -> 3456789012345678901234123456789012
|
| 108 | dqrot079 rotate 1234567890123456789012345678901234 +13 -> 4567890123456789012341234567890123
|
| 109 | dqrot080 rotate 1234567890123456789012345678901234 +14 -> 5678901234567890123412345678901234
|
| 110 | dqrot081 rotate 1234567890123456789012345678901234 +15 -> 6789012345678901234123456789012345
|
| 111 | dqrot082 rotate 1234567890123456789012345678901234 +16 -> 7890123456789012341234567890123456
|
| 112 | dqrot083 rotate 1234567890123456789012345678901234 +17 -> 8901234567890123412345678901234567
|
| 113 | dqrot084 rotate 1234567890123456789012345678901234 +18 -> 9012345678901234123456789012345678
|
| 114 | dqrot085 rotate 1234567890123456789012345678901234 +19 -> 123456789012341234567890123456789
|
| 115 | dqrot086 rotate 1234567890123456789012345678901234 +20 -> 1234567890123412345678901234567890
|
| 116 | dqrot087 rotate 1234567890123456789012345678901234 +21 -> 2345678901234123456789012345678901
|
| 117 | dqrot088 rotate 1234567890123456789012345678901234 +22 -> 3456789012341234567890123456789012
|
| 118 | dqrot089 rotate 1234567890123456789012345678901234 +23 -> 4567890123412345678901234567890123
|
| 119 | dqrot090 rotate 1234567890123456789012345678901234 +24 -> 5678901234123456789012345678901234
|
| 120 | dqrot091 rotate 1234567890123456789012345678901234 +25 -> 6789012341234567890123456789012345
|
| 121 | dqrot092 rotate 1234567890123456789012345678901234 +26 -> 7890123412345678901234567890123456
|
| 122 | dqrot093 rotate 1234567890123456789012345678901234 +27 -> 8901234123456789012345678901234567
|
| 123 | dqrot094 rotate 1234567890123456789012345678901234 +28 -> 9012341234567890123456789012345678
|
| 124 | dqrot095 rotate 1234567890123456789012345678901234 +29 -> 123412345678901234567890123456789
|
| 125 | dqrot096 rotate 1234567890123456789012345678901234 +30 -> 1234123456789012345678901234567890
|
| 126 | dqrot097 rotate 1234567890123456789012345678901234 +31 -> 2341234567890123456789012345678901
|
| 127 | dqrot098 rotate 1234567890123456789012345678901234 +32 -> 3412345678901234567890123456789012
|
| 128 | dqrot099 rotate 1234567890123456789012345678901234 +33 -> 4123456789012345678901234567890123
|
| 129 | dqrot100 rotate 1234567890123456789012345678901234 +34 -> 1234567890123456789012345678901234
|
| 130 |
|
| 131 | -- zeros
|
| 132 | dqrot270 rotate 0E-10 +29 -> 0E-10
|
| 133 | dqrot271 rotate 0E-10 -29 -> 0E-10
|
| 134 | dqrot272 rotate 0.000 +29 -> 0.000
|
| 135 | dqrot273 rotate 0.000 -29 -> 0.000
|
| 136 | dqrot274 rotate 0E+10 +29 -> 0E+10
|
| 137 | dqrot275 rotate 0E+10 -29 -> 0E+10
|
| 138 | dqrot276 rotate -0E-10 +29 -> -0E-10
|
| 139 | dqrot277 rotate -0E-10 -29 -> -0E-10
|
| 140 | dqrot278 rotate -0.000 +29 -> -0.000
|
| 141 | dqrot279 rotate -0.000 -29 -> -0.000
|
| 142 | dqrot280 rotate -0E+10 +29 -> -0E+10
|
| 143 | dqrot281 rotate -0E+10 -29 -> -0E+10
|
| 144 |
|
| 145 | -- Nmax, Nmin, Ntiny
|
| 146 | dqrot141 rotate 9.999999999999999999999999999999999E+6144 -1 -> 9.999999999999999999999999999999999E+6144
|
| 147 | dqrot142 rotate 9.999999999999999999999999999999999E+6144 -33 -> 9.999999999999999999999999999999999E+6144
|
| 148 | dqrot143 rotate 9.999999999999999999999999999999999E+6144 1 -> 9.999999999999999999999999999999999E+6144
|
| 149 | dqrot144 rotate 9.999999999999999999999999999999999E+6144 33 -> 9.999999999999999999999999999999999E+6144
|
| 150 | dqrot145 rotate 1E-6143 -1 -> 1.000000000000000000000000000000000E-6110
|
| 151 | dqrot146 rotate 1E-6143 -33 -> 1.0E-6142
|
| 152 | dqrot147 rotate 1E-6143 1 -> 1.0E-6142
|
| 153 | dqrot148 rotate 1E-6143 33 -> 1.000000000000000000000000000000000E-6110
|
| 154 | dqrot151 rotate 1.000000000000000000000000000000000E-6143 -1 -> 1.00000000000000000000000000000000E-6144
|
| 155 | dqrot152 rotate 1.000000000000000000000000000000000E-6143 -33 -> 1E-6176
|
| 156 | dqrot153 rotate 1.000000000000000000000000000000000E-6143 1 -> 1E-6176
|
| 157 | dqrot154 rotate 1.000000000000000000000000000000000E-6143 33 -> 1.00000000000000000000000000000000E-6144
|
| 158 | dqrot155 rotate 9.000000000000000000000000000000000E-6143 -1 -> 9.00000000000000000000000000000000E-6144
|
| 159 | dqrot156 rotate 9.000000000000000000000000000000000E-6143 -33 -> 9E-6176
|
| 160 | dqrot157 rotate 9.000000000000000000000000000000000E-6143 1 -> 9E-6176
|
| 161 | dqrot158 rotate 9.000000000000000000000000000000000E-6143 33 -> 9.00000000000000000000000000000000E-6144
|
| 162 | dqrot160 rotate 1E-6176 -1 -> 1.000000000000000000000000000000000E-6143
|
| 163 | dqrot161 rotate 1E-6176 -33 -> 1.0E-6175
|
| 164 | dqrot162 rotate 1E-6176 1 -> 1.0E-6175
|
| 165 | dqrot163 rotate 1E-6176 33 -> 1.000000000000000000000000000000000E-6143
|
| 166 | -- negatives
|
| 167 | dqrot171 rotate -9.999999999999999999999999999999999E+6144 -1 -> -9.999999999999999999999999999999999E+6144
|
| 168 | dqrot172 rotate -9.999999999999999999999999999999999E+6144 -33 -> -9.999999999999999999999999999999999E+6144
|
| 169 | dqrot173 rotate -9.999999999999999999999999999999999E+6144 1 -> -9.999999999999999999999999999999999E+6144
|
| 170 | dqrot174 rotate -9.999999999999999999999999999999999E+6144 33 -> -9.999999999999999999999999999999999E+6144
|
| 171 | dqrot175 rotate -1E-6143 -1 -> -1.000000000000000000000000000000000E-6110
|
| 172 | dqrot176 rotate -1E-6143 -33 -> -1.0E-6142
|
| 173 | dqrot177 rotate -1E-6143 1 -> -1.0E-6142
|
| 174 | dqrot178 rotate -1E-6143 33 -> -1.000000000000000000000000000000000E-6110
|
| 175 | dqrot181 rotate -1.000000000000000000000000000000000E-6143 -1 -> -1.00000000000000000000000000000000E-6144
|
| 176 | dqrot182 rotate -1.000000000000000000000000000000000E-6143 -33 -> -1E-6176
|
| 177 | dqrot183 rotate -1.000000000000000000000000000000000E-6143 1 -> -1E-6176
|
| 178 | dqrot184 rotate -1.000000000000000000000000000000000E-6143 33 -> -1.00000000000000000000000000000000E-6144
|
| 179 | dqrot185 rotate -9.000000000000000000000000000000000E-6143 -1 -> -9.00000000000000000000000000000000E-6144
|
| 180 | dqrot186 rotate -9.000000000000000000000000000000000E-6143 -33 -> -9E-6176
|
| 181 | dqrot187 rotate -9.000000000000000000000000000000000E-6143 1 -> -9E-6176
|
| 182 | dqrot188 rotate -9.000000000000000000000000000000000E-6143 33 -> -9.00000000000000000000000000000000E-6144
|
| 183 | dqrot190 rotate -1E-6176 -1 -> -1.000000000000000000000000000000000E-6143
|
| 184 | dqrot191 rotate -1E-6176 -33 -> -1.0E-6175
|
| 185 | dqrot192 rotate -1E-6176 1 -> -1.0E-6175
|
| 186 | dqrot193 rotate -1E-6176 33 -> -1.000000000000000000000000000000000E-6143
|
| 187 |
|
| 188 | -- more negatives (of sanities)
|
| 189 | dqrot201 rotate -0 0 -> -0
|
| 190 | dqrot202 rotate -0 2 -> -0
|
| 191 | dqrot203 rotate -1 2 -> -100
|
| 192 | dqrot204 rotate -1 33 -> -1000000000000000000000000000000000
|
| 193 | dqrot205 rotate -1 34 -> -1
|
| 194 | dqrot206 rotate -1 -1 -> -1000000000000000000000000000000000
|
| 195 | dqrot207 rotate -0 -2 -> -0
|
| 196 | dqrot208 rotate -1234567890123456789012345678901234 -1 -> -4123456789012345678901234567890123
|
| 197 | dqrot209 rotate -1234567890123456789012345678901234 -33 -> -2345678901234567890123456789012341
|
| 198 | dqrot210 rotate -1234567890123456789012345678901234 -34 -> -1234567890123456789012345678901234
|
| 199 | dqrot211 rotate -9934567890123456789012345678901234 -33 -> -9345678901234567890123456789012349
|
| 200 | dqrot212 rotate -9934567890123456789012345678901234 -34 -> -9934567890123456789012345678901234
|
| 201 |
|
| 202 |
|
| 203 | -- Specials; NaNs are handled as usual
|
| 204 | dqrot781 rotate -Inf -8 -> -Infinity
|
| 205 | dqrot782 rotate -Inf -1 -> -Infinity
|
| 206 | dqrot783 rotate -Inf -0 -> -Infinity
|
| 207 | dqrot784 rotate -Inf 0 -> -Infinity
|
| 208 | dqrot785 rotate -Inf 1 -> -Infinity
|
| 209 | dqrot786 rotate -Inf 8 -> -Infinity
|
| 210 | dqrot787 rotate -1000 -Inf -> NaN Invalid_operation
|
| 211 | dqrot788 rotate -Inf -Inf -> NaN Invalid_operation
|
| 212 | dqrot789 rotate -1 -Inf -> NaN Invalid_operation
|
| 213 | dqrot790 rotate -0 -Inf -> NaN Invalid_operation
|
| 214 | dqrot791 rotate 0 -Inf -> NaN Invalid_operation
|
| 215 | dqrot792 rotate 1 -Inf -> NaN Invalid_operation
|
| 216 | dqrot793 rotate 1000 -Inf -> NaN Invalid_operation
|
| 217 | dqrot794 rotate Inf -Inf -> NaN Invalid_operation
|
| 218 |
|
| 219 | dqrot800 rotate Inf -Inf -> NaN Invalid_operation
|
| 220 | dqrot801 rotate Inf -8 -> Infinity
|
| 221 | dqrot802 rotate Inf -1 -> Infinity
|
| 222 | dqrot803 rotate Inf -0 -> Infinity
|
| 223 | dqrot804 rotate Inf 0 -> Infinity
|
| 224 | dqrot805 rotate Inf 1 -> Infinity
|
| 225 | dqrot806 rotate Inf 8 -> Infinity
|
| 226 | dqrot807 rotate Inf Inf -> NaN Invalid_operation
|
| 227 | dqrot808 rotate -1000 Inf -> NaN Invalid_operation
|
| 228 | dqrot809 rotate -Inf Inf -> NaN Invalid_operation
|
| 229 | dqrot810 rotate -1 Inf -> NaN Invalid_operation
|
| 230 | dqrot811 rotate -0 Inf -> NaN Invalid_operation
|
| 231 | dqrot812 rotate 0 Inf -> NaN Invalid_operation
|
| 232 | dqrot813 rotate 1 Inf -> NaN Invalid_operation
|
| 233 | dqrot814 rotate 1000 Inf -> NaN Invalid_operation
|
| 234 | dqrot815 rotate Inf Inf -> NaN Invalid_operation
|
| 235 |
|
| 236 | dqrot821 rotate NaN -Inf -> NaN
|
| 237 | dqrot822 rotate NaN -1000 -> NaN
|
| 238 | dqrot823 rotate NaN -1 -> NaN
|
| 239 | dqrot824 rotate NaN -0 -> NaN
|
| 240 | dqrot825 rotate NaN 0 -> NaN
|
| 241 | dqrot826 rotate NaN 1 -> NaN
|
| 242 | dqrot827 rotate NaN 1000 -> NaN
|
| 243 | dqrot828 rotate NaN Inf -> NaN
|
| 244 | dqrot829 rotate NaN NaN -> NaN
|
| 245 | dqrot830 rotate -Inf NaN -> NaN
|
| 246 | dqrot831 rotate -1000 NaN -> NaN
|
| 247 | dqrot832 rotate -1 NaN -> NaN
|
| 248 | dqrot833 rotate -0 NaN -> NaN
|
| 249 | dqrot834 rotate 0 NaN -> NaN
|
| 250 | dqrot835 rotate 1 NaN -> NaN
|
| 251 | dqrot836 rotate 1000 NaN -> NaN
|
| 252 | dqrot837 rotate Inf NaN -> NaN
|
| 253 |
|
| 254 | dqrot841 rotate sNaN -Inf -> NaN Invalid_operation
|
| 255 | dqrot842 rotate sNaN -1000 -> NaN Invalid_operation
|
| 256 | dqrot843 rotate sNaN -1 -> NaN Invalid_operation
|
| 257 | dqrot844 rotate sNaN -0 -> NaN Invalid_operation
|
| 258 | dqrot845 rotate sNaN 0 -> NaN Invalid_operation
|
| 259 | dqrot846 rotate sNaN 1 -> NaN Invalid_operation
|
| 260 | dqrot847 rotate sNaN 1000 -> NaN Invalid_operation
|
| 261 | dqrot848 rotate sNaN NaN -> NaN Invalid_operation
|
| 262 | dqrot849 rotate sNaN sNaN -> NaN Invalid_operation
|
| 263 | dqrot850 rotate NaN sNaN -> NaN Invalid_operation
|
| 264 | dqrot851 rotate -Inf sNaN -> NaN Invalid_operation
|
| 265 | dqrot852 rotate -1000 sNaN -> NaN Invalid_operation
|
| 266 | dqrot853 rotate -1 sNaN -> NaN Invalid_operation
|
| 267 | dqrot854 rotate -0 sNaN -> NaN Invalid_operation
|
| 268 | dqrot855 rotate 0 sNaN -> NaN Invalid_operation
|
| 269 | dqrot856 rotate 1 sNaN -> NaN Invalid_operation
|
| 270 | dqrot857 rotate 1000 sNaN -> NaN Invalid_operation
|
| 271 | dqrot858 rotate Inf sNaN -> NaN Invalid_operation
|
| 272 | dqrot859 rotate NaN sNaN -> NaN Invalid_operation
|
| 273 |
|
| 274 | -- propagating NaNs
|
| 275 | dqrot861 rotate NaN1 -Inf -> NaN1
|
| 276 | dqrot862 rotate +NaN2 -1000 -> NaN2
|
| 277 | dqrot863 rotate NaN3 1000 -> NaN3
|
| 278 | dqrot864 rotate NaN4 Inf -> NaN4
|
| 279 | dqrot865 rotate NaN5 +NaN6 -> NaN5
|
| 280 | dqrot866 rotate -Inf NaN7 -> NaN7
|
| 281 | dqrot867 rotate -1000 NaN8 -> NaN8
|
| 282 | dqrot868 rotate 1000 NaN9 -> NaN9
|
| 283 | dqrot869 rotate Inf +NaN10 -> NaN10
|
| 284 | dqrot871 rotate sNaN11 -Inf -> NaN11 Invalid_operation
|
| 285 | dqrot872 rotate sNaN12 -1000 -> NaN12 Invalid_operation
|
| 286 | dqrot873 rotate sNaN13 1000 -> NaN13 Invalid_operation
|
| 287 | dqrot874 rotate sNaN14 NaN17 -> NaN14 Invalid_operation
|
| 288 | dqrot875 rotate sNaN15 sNaN18 -> NaN15 Invalid_operation
|
| 289 | dqrot876 rotate NaN16 sNaN19 -> NaN19 Invalid_operation
|
| 290 | dqrot877 rotate -Inf +sNaN20 -> NaN20 Invalid_operation
|
| 291 | dqrot878 rotate -1000 sNaN21 -> NaN21 Invalid_operation
|
| 292 | dqrot879 rotate 1000 sNaN22 -> NaN22 Invalid_operation
|
| 293 | dqrot880 rotate Inf sNaN23 -> NaN23 Invalid_operation
|
| 294 | dqrot881 rotate +NaN25 +sNaN24 -> NaN24 Invalid_operation
|
| 295 | dqrot882 rotate -NaN26 NaN28 -> -NaN26
|
| 296 | dqrot883 rotate -sNaN27 sNaN29 -> -NaN27 Invalid_operation
|
| 297 | dqrot884 rotate 1000 -NaN30 -> -NaN30
|
| 298 | dqrot885 rotate 1000 -sNaN31 -> -NaN31 Invalid_operation
|