Wed, 31 Dec 2014 13:27:57 +0100
Ignore runtime configuration files generated during quality assurance.
michael@0 | 1 | // Copyright 2009 the Sputnik authors. All rights reserved. |
michael@0 | 2 | // This code is governed by the BSD license found in the LICENSE file. |
michael@0 | 3 | |
michael@0 | 4 | /** |
michael@0 | 5 | * Operator x >> y uses ToUint32(AdditiveExpression) & 31 |
michael@0 | 6 | * |
michael@0 | 7 | * @path ch11/11.7/11.7.2/S11.7.2_A5.2_T1.js |
michael@0 | 8 | * @description Checking distinct points |
michael@0 | 9 | */ |
michael@0 | 10 | |
michael@0 | 11 | //CHECK#1 |
michael@0 | 12 | if (2147483647 >> -32.1 !== 2147483647) { |
michael@0 | 13 | $ERROR('#1: 2147483647 >> -32.1 === 2147483647. Actual: ' + (2147483647 >> -32.1)); |
michael@0 | 14 | } |
michael@0 | 15 | |
michael@0 | 16 | //CHECK#2 |
michael@0 | 17 | if (2147483647 >> -31.1 !== 1073741823) { |
michael@0 | 18 | $ERROR('#2: 2147483647 >> -31.1 === 1073741823. Actual: ' + (2147483647 >> -31.1)); |
michael@0 | 19 | } |
michael@0 | 20 | |
michael@0 | 21 | //CHECK#3 |
michael@0 | 22 | if (2147483647 >> -30.1 !== 536870911) { |
michael@0 | 23 | $ERROR('#3: 2147483647 >> -30.1 === 536870911. Actual: ' + (2147483647 >> -30.1)); |
michael@0 | 24 | } |
michael@0 | 25 | |
michael@0 | 26 | //CHECK#4 |
michael@0 | 27 | if (2147483647 >> -29.1 !== 268435455) { |
michael@0 | 28 | $ERROR('#4: 2147483647 >> -29.1 === 268435455. Actual: ' + (2147483647 >> -29.1)); |
michael@0 | 29 | } |
michael@0 | 30 | |
michael@0 | 31 | //CHECK#5 |
michael@0 | 32 | if (2147483647 >> -28.1 !== 134217727) { |
michael@0 | 33 | $ERROR('#5: 2147483647 >> -28.1 === 134217727. Actual: ' + (2147483647 >> -28.1)); |
michael@0 | 34 | } |
michael@0 | 35 | |
michael@0 | 36 | //CHECK#6 |
michael@0 | 37 | if (2147483647 >> -27.1 !== 67108863) { |
michael@0 | 38 | $ERROR('#6: 2147483647 >> -27.1 === 67108863. Actual: ' + (2147483647 >> -27.1)); |
michael@0 | 39 | } |
michael@0 | 40 | |
michael@0 | 41 | //CHECK#7 |
michael@0 | 42 | if (2147483647 >> -26.1 !== 33554431) { |
michael@0 | 43 | $ERROR('#7: 2147483647 >> -26.1 === 33554431. Actual: ' + (2147483647 >> -26.1)); |
michael@0 | 44 | } |
michael@0 | 45 | |
michael@0 | 46 | //CHECK#8 |
michael@0 | 47 | if (2147483647 >> -25.1 !== 16777215) { |
michael@0 | 48 | $ERROR('#8: 2147483647 >> -25.1 === 16777215. Actual: ' + (2147483647 >> -25.1)); |
michael@0 | 49 | } |
michael@0 | 50 | |
michael@0 | 51 | //CHECK#9 |
michael@0 | 52 | if (2147483647 >> -24.1 !== 8388607) { |
michael@0 | 53 | $ERROR('#9: 2147483647 >> -24.1 === 8388607. Actual: ' + (2147483647 >> -24.1)); |
michael@0 | 54 | } |
michael@0 | 55 | |
michael@0 | 56 | //CHECK#10 |
michael@0 | 57 | if (2147483647 >> -23.1 !== 4194303) { |
michael@0 | 58 | $ERROR('#10: 2147483647 >> -23.1 === 4194303. Actual: ' + (2147483647 >> -23.1)); |
michael@0 | 59 | } |
michael@0 | 60 | |
michael@0 | 61 | //CHECK#11 |
michael@0 | 62 | if (2147483647 >> -22.1 !== 2097151) { |
michael@0 | 63 | $ERROR('#11: 2147483647 >> -22.1 === 2097151. Actual: ' + (2147483647 >> -22.1)); |
michael@0 | 64 | } |
michael@0 | 65 | |
michael@0 | 66 | //CHECK#12 |
michael@0 | 67 | if (2147483647 >> -21.1 !== 1048575) { |
michael@0 | 68 | $ERROR('#12: 2147483647 >> -21.1 === 1048575. Actual: ' + (2147483647 >> -21.1)); |
michael@0 | 69 | } |
michael@0 | 70 | |
michael@0 | 71 | //CHECK#13 |
michael@0 | 72 | if (2147483647 >> -20.1 !== 524287) { |
michael@0 | 73 | $ERROR('#13: 2147483647 >> -20.1 === 524287. Actual: ' + (2147483647 >> -20.1)); |
michael@0 | 74 | } |
michael@0 | 75 | |
michael@0 | 76 | //CHECK#14 |
michael@0 | 77 | if (2147483647 >> -19.1 !== 262143) { |
michael@0 | 78 | $ERROR('#14: 2147483647 >> -19.1 === 262143. Actual: ' + (2147483647 >> -19.1)); |
michael@0 | 79 | } |
michael@0 | 80 | |
michael@0 | 81 | //CHECK#15 |
michael@0 | 82 | if (2147483647 >> -18.1 !== 131071) { |
michael@0 | 83 | $ERROR('#15: 2147483647 >> -18.1 === 131071. Actual: ' + (2147483647 >> -18.1)); |
michael@0 | 84 | } |
michael@0 | 85 | |
michael@0 | 86 | //CHECK#16 |
michael@0 | 87 | if (2147483647 >> -17.1 !== 65535) { |
michael@0 | 88 | $ERROR('#16: 2147483647 >> -17.1 === 65535. Actual: ' + (2147483647 >> -17.1)); |
michael@0 | 89 | } |
michael@0 | 90 | |
michael@0 | 91 | //CHECK#17 |
michael@0 | 92 | if (2147483647 >> -16.1 !== 32767) { |
michael@0 | 93 | $ERROR('#17: 2147483647 >> -16.1 === 32767. Actual: ' + (2147483647 >> -16.1)); |
michael@0 | 94 | } |
michael@0 | 95 | |
michael@0 | 96 | //CHECK#18 |
michael@0 | 97 | if (2147483647 >> -15.1 !== 16383) { |
michael@0 | 98 | $ERROR('#18: 2147483647 >> -15.1 === 16383. Actual: ' + (2147483647 >> -15.1)); |
michael@0 | 99 | } |
michael@0 | 100 | |
michael@0 | 101 | //CHECK#19 |
michael@0 | 102 | if (2147483647 >> -14.1 !== 8191) { |
michael@0 | 103 | $ERROR('#19: 2147483647 >> -14.1 === 8191. Actual: ' + (2147483647 >> -14.1)); |
michael@0 | 104 | } |
michael@0 | 105 | |
michael@0 | 106 | //CHECK#20 |
michael@0 | 107 | if (2147483647 >> -13.1 !== 4095) { |
michael@0 | 108 | $ERROR('#20: 2147483647 >> -13.1 === 4095. Actual: ' + (2147483647 >> -13.1)); |
michael@0 | 109 | } |
michael@0 | 110 | |
michael@0 | 111 | //CHECK#21 |
michael@0 | 112 | if (2147483647 >> -12.1 !== 2047) { |
michael@0 | 113 | $ERROR('#21: 2147483647 >> -12.1 === 2047. Actual: ' + (2147483647 >> -12.1)); |
michael@0 | 114 | } |
michael@0 | 115 | |
michael@0 | 116 | //CHECK#22 |
michael@0 | 117 | if (2147483647 >> -11.1 !== 1023) { |
michael@0 | 118 | $ERROR('#22: 2147483647 >> -11.1 === 1023. Actual: ' + (2147483647 >> -11.1)); |
michael@0 | 119 | } |
michael@0 | 120 | |
michael@0 | 121 | //CHECK#23 |
michael@0 | 122 | if (2147483647 >> -10.1 !== 511) { |
michael@0 | 123 | $ERROR('#23: 2147483647 >> -10.1 === 511. Actual: ' + (2147483647 >> -10.1)); |
michael@0 | 124 | } |
michael@0 | 125 | |
michael@0 | 126 | //CHECK#24 |
michael@0 | 127 | if (2147483647 >> -9.1 !== 255) { |
michael@0 | 128 | $ERROR('#24: 2147483647 >> -9.1 === 255. Actual: ' + (2147483647 >> -9.1)); |
michael@0 | 129 | } |
michael@0 | 130 | |
michael@0 | 131 | //CHECK#25 |
michael@0 | 132 | if (2147483647 >> -8.1 !== 127) { |
michael@0 | 133 | $ERROR('#25: 2147483647 >> -8.1 === 127. Actual: ' + (2147483647 >> -8.1)); |
michael@0 | 134 | } |
michael@0 | 135 | |
michael@0 | 136 | //CHECK#26 |
michael@0 | 137 | if (2147483647 >> -7.1 !== 63) { |
michael@0 | 138 | $ERROR('#26: 2147483647 >> -7.1 === 63. Actual: ' + (2147483647 >> -7.1)); |
michael@0 | 139 | } |
michael@0 | 140 | |
michael@0 | 141 | //CHECK#27 |
michael@0 | 142 | if (2147483647 >> -6.1 !== 31) { |
michael@0 | 143 | $ERROR('#27: 2147483647 >> -6.1 === 31. Actual: ' + (2147483647 >> -6.1)); |
michael@0 | 144 | } |
michael@0 | 145 | |
michael@0 | 146 | //CHECK#28 |
michael@0 | 147 | if (2147483647 >> -5.1 !== 15) { |
michael@0 | 148 | $ERROR('#28: 2147483647 >> -5.1 === 15. Actual: ' + (2147483647 >> -5.1)); |
michael@0 | 149 | } |
michael@0 | 150 | |
michael@0 | 151 | //CHECK#29 |
michael@0 | 152 | if (2147483647 >> -4.1 !== 7) { |
michael@0 | 153 | $ERROR('#29: 2147483647 >> -4.1 === 7. Actual: ' + (2147483647 >> -4.1)); |
michael@0 | 154 | } |
michael@0 | 155 | |
michael@0 | 156 | //CHECK#30 |
michael@0 | 157 | if (2147483647 >> -3.1 !== 3) { |
michael@0 | 158 | $ERROR('#30: 2147483647 >> -3.1 === 3. Actual: ' + (2147483647 >> -3.1)); |
michael@0 | 159 | } |
michael@0 | 160 | |
michael@0 | 161 | //CHECK#31 |
michael@0 | 162 | if (2147483647 >> -2.1 !== 1) { |
michael@0 | 163 | $ERROR('#31: 2147483647 >> -2.1 === 1. Actual: ' + (2147483647 >> -2.1)); |
michael@0 | 164 | } |
michael@0 | 165 | |
michael@0 | 166 | //CHECK#32 |
michael@0 | 167 | if (2147483647 >> -1.1 !== 0) { |
michael@0 | 168 | $ERROR('#32: 2147483647 >> -1.1 === 0. Actual: ' + (2147483647 >> -1.1)); |
michael@0 | 169 | } |
michael@0 | 170 | |
michael@0 | 171 | //CHECK#33 |
michael@0 | 172 | if (2147483647 >> 32.1 !== 2147483647) { |
michael@0 | 173 | $ERROR('#33: 2147483647 >> 32.1 === 2147483647. Actual: ' + (2147483647 >> 32.1)); |
michael@0 | 174 | } |
michael@0 | 175 | |
michael@0 | 176 | //CHECK#34 |
michael@0 | 177 | if (2147483647 >> 33.1 !== 1073741823) { |
michael@0 | 178 | $ERROR('#34: 2147483647 >> 33.1 === 1073741823. Actual: ' + (2147483647 >> 33.1)); |
michael@0 | 179 | } |
michael@0 | 180 | |
michael@0 | 181 | //CHECK#35 |
michael@0 | 182 | if (2147483647 >> 34.1 !== 536870911) { |
michael@0 | 183 | $ERROR('#35: 2147483647 >> 34.1 === 536870911. Actual: ' + (2147483647 >> 34.1)); |
michael@0 | 184 | } |
michael@0 | 185 | |
michael@0 | 186 | //CHECK#36 |
michael@0 | 187 | if (2147483647 >> 35.1 !== 268435455) { |
michael@0 | 188 | $ERROR('#36: 2147483647 >> 35.1 === 268435455. Actual: ' + (2147483647 >> 35.1)); |
michael@0 | 189 | } |
michael@0 | 190 | |
michael@0 | 191 | //CHECK#37 |
michael@0 | 192 | if (2147483647 >> 36.1 !== 134217727) { |
michael@0 | 193 | $ERROR('#37: 2147483647 >> 36.1 === 134217727. Actual: ' + (2147483647 >> 36.1)); |
michael@0 | 194 | } |
michael@0 | 195 | |
michael@0 | 196 | //CHECK#38 |
michael@0 | 197 | if (2147483647 >> 37.1 !== 67108863) { |
michael@0 | 198 | $ERROR('#38: 2147483647 >> 37.1 === 67108863. Actual: ' + (2147483647 >> 37.1)); |
michael@0 | 199 | } |
michael@0 | 200 | |
michael@0 | 201 | //CHECK#39 |
michael@0 | 202 | if (2147483647 >> 38.1 !== 33554431) { |
michael@0 | 203 | $ERROR('#39: 2147483647 >> 38.1 === 33554431. Actual: ' + (2147483647 >> 38.1)); |
michael@0 | 204 | } |
michael@0 | 205 | |
michael@0 | 206 | //CHECK#40 |
michael@0 | 207 | if (2147483647 >> 39.1 !== 16777215) { |
michael@0 | 208 | $ERROR('#40: 2147483647 >> 39.1 === 16777215. Actual: ' + (2147483647 >> 39.1)); |
michael@0 | 209 | } |
michael@0 | 210 | |
michael@0 | 211 | //CHECK#41 |
michael@0 | 212 | if (2147483647 >> 40.1 !== 8388607) { |
michael@0 | 213 | $ERROR('#41: 2147483647 >> 40.1 === 8388607. Actual: ' + (2147483647 >> 40.1)); |
michael@0 | 214 | } |
michael@0 | 215 | |
michael@0 | 216 | //CHECK#42 |
michael@0 | 217 | if (2147483647 >> 41.1 !== 4194303) { |
michael@0 | 218 | $ERROR('#42: 2147483647 >> 41.1 === 4194303. Actual: ' + (2147483647 >> 41.1)); |
michael@0 | 219 | } |
michael@0 | 220 | |
michael@0 | 221 | //CHECK#43 |
michael@0 | 222 | if (2147483647 >> 42.1 !== 2097151) { |
michael@0 | 223 | $ERROR('#43: 2147483647 >> 42.1 === 2097151. Actual: ' + (2147483647 >> 42.1)); |
michael@0 | 224 | } |
michael@0 | 225 | |
michael@0 | 226 | //CHECK#44 |
michael@0 | 227 | if (2147483647 >> 43.1 !== 1048575) { |
michael@0 | 228 | $ERROR('#44: 2147483647 >> 43.1 === 1048575. Actual: ' + (2147483647 >> 43.1)); |
michael@0 | 229 | } |
michael@0 | 230 | |
michael@0 | 231 | //CHECK#45 |
michael@0 | 232 | if (2147483647 >> 44.1 !== 524287) { |
michael@0 | 233 | $ERROR('#45: 2147483647 >> 44.1 === 524287. Actual: ' + (2147483647 >> 44.1)); |
michael@0 | 234 | } |
michael@0 | 235 | |
michael@0 | 236 | //CHECK#46 |
michael@0 | 237 | if (2147483647 >> 45.1 !== 262143) { |
michael@0 | 238 | $ERROR('#46: 2147483647 >> 45.1 === 262143. Actual: ' + (2147483647 >> 45.1)); |
michael@0 | 239 | } |
michael@0 | 240 | |
michael@0 | 241 | //CHECK#47 |
michael@0 | 242 | if (2147483647 >> 46.1 !== 131071) { |
michael@0 | 243 | $ERROR('#47: 2147483647 >> 46.1 === 131071. Actual: ' + (2147483647 >> 46.1)); |
michael@0 | 244 | } |
michael@0 | 245 | |
michael@0 | 246 | //CHECK#48 |
michael@0 | 247 | if (2147483647 >> 47.1 !== 65535) { |
michael@0 | 248 | $ERROR('#48: 2147483647 >> 47.1 === 65535. Actual: ' + (2147483647 >> 47.1)); |
michael@0 | 249 | } |
michael@0 | 250 | |
michael@0 | 251 | //CHECK#49 |
michael@0 | 252 | if (2147483647 >> 48.1 !== 32767) { |
michael@0 | 253 | $ERROR('#49: 2147483647 >> 48.1 === 32767. Actual: ' + (2147483647 >> 48.1)); |
michael@0 | 254 | } |
michael@0 | 255 | |
michael@0 | 256 | //CHECK#50 |
michael@0 | 257 | if (2147483647 >> 49.1 !== 16383) { |
michael@0 | 258 | $ERROR('#50: 2147483647 >> 49.1 === 16383. Actual: ' + (2147483647 >> 49.1)); |
michael@0 | 259 | } |
michael@0 | 260 | |
michael@0 | 261 | //CHECK#51 |
michael@0 | 262 | if (2147483647 >> 50.1 !== 8191) { |
michael@0 | 263 | $ERROR('#51: 2147483647 >> 50.1 === 8191. Actual: ' + (2147483647 >> 50.1)); |
michael@0 | 264 | } |
michael@0 | 265 | |
michael@0 | 266 | //CHECK#52 |
michael@0 | 267 | if (2147483647 >> 51.1 !== 4095) { |
michael@0 | 268 | $ERROR('#52: 2147483647 >> 51.1 === 4095. Actual: ' + (2147483647 >> 51.1)); |
michael@0 | 269 | } |
michael@0 | 270 | |
michael@0 | 271 | //CHECK#53 |
michael@0 | 272 | if (2147483647 >> 52.1 !== 2047) { |
michael@0 | 273 | $ERROR('#53: 2147483647 >> 52.1 === 2047. Actual: ' + (2147483647 >> 52.1)); |
michael@0 | 274 | } |
michael@0 | 275 | |
michael@0 | 276 | //CHECK#54 |
michael@0 | 277 | if (2147483647 >> 53.1 !== 1023) { |
michael@0 | 278 | $ERROR('#54: 2147483647 >> 53.1 === 1023. Actual: ' + (2147483647 >> 53.1)); |
michael@0 | 279 | } |
michael@0 | 280 | |
michael@0 | 281 | //CHECK#55 |
michael@0 | 282 | if (2147483647 >> 54.1 !== 511) { |
michael@0 | 283 | $ERROR('#55: 2147483647 >> 54.1 === 511. Actual: ' + (2147483647 >> 54.1)); |
michael@0 | 284 | } |
michael@0 | 285 | |
michael@0 | 286 | //CHECK#56 |
michael@0 | 287 | if (2147483647 >> 55.1 !== 255) { |
michael@0 | 288 | $ERROR('#56: 2147483647 >> 55.1 === 255. Actual: ' + (2147483647 >> 55.1)); |
michael@0 | 289 | } |
michael@0 | 290 | |
michael@0 | 291 | //CHECK#57 |
michael@0 | 292 | if (2147483647 >> 56.1 !== 127) { |
michael@0 | 293 | $ERROR('#57: 2147483647 >> 56.1 === 127. Actual: ' + (2147483647 >> 56.1)); |
michael@0 | 294 | } |
michael@0 | 295 | |
michael@0 | 296 | //CHECK#58 |
michael@0 | 297 | if (2147483647 >> 57.1 !== 63) { |
michael@0 | 298 | $ERROR('#58: 2147483647 >> 57.1 === 63. Actual: ' + (2147483647 >> 57.1)); |
michael@0 | 299 | } |
michael@0 | 300 | |
michael@0 | 301 | //CHECK#59 |
michael@0 | 302 | if (2147483647 >> 58.1 !== 31) { |
michael@0 | 303 | $ERROR('#59: 2147483647 >> 58.1 === 31. Actual: ' + (2147483647 >> 58.1)); |
michael@0 | 304 | } |
michael@0 | 305 | |
michael@0 | 306 | //CHECK#60 |
michael@0 | 307 | if (2147483647 >> 59.1 !== 15) { |
michael@0 | 308 | $ERROR('#60: 2147483647 >> 59.1 === 15. Actual: ' + (2147483647 >> 59.1)); |
michael@0 | 309 | } |
michael@0 | 310 | |
michael@0 | 311 | //CHECK#61 |
michael@0 | 312 | if (2147483647 >> 60.1 !== 7) { |
michael@0 | 313 | $ERROR('#61: 2147483647 >> 60.1 === 7. Actual: ' + (2147483647 >> 60.1)); |
michael@0 | 314 | } |
michael@0 | 315 | |
michael@0 | 316 | //CHECK#62 |
michael@0 | 317 | if (2147483647 >> 61.1 !== 3) { |
michael@0 | 318 | $ERROR('#62: 2147483647 >> 61.1 === 3. Actual: ' + (2147483647 >> 61.1)); |
michael@0 | 319 | } |
michael@0 | 320 | |
michael@0 | 321 | //CHECK#63 |
michael@0 | 322 | if (2147483647 >> 62.1 !== 1) { |
michael@0 | 323 | $ERROR('#63: 2147483647 >> 62.1 === 1. Actual: ' + (2147483647 >> 62.1)); |
michael@0 | 324 | } |
michael@0 | 325 | |
michael@0 | 326 | //CHECK#64 |
michael@0 | 327 | if (2147483647 >> 63.1 !== 0) { |
michael@0 | 328 | $ERROR('#64: 2147483647 >> 63.1 === 0. Actual: ' + (2147483647 >> 63.1)); |
michael@0 | 329 | } |
michael@0 | 330 |