js/src/tests/test262/ch11/11.7/11.7.2/S11.7.2_A5.2_T1.js

Wed, 31 Dec 2014 13:27:57 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 13:27:57 +0100
branch
TOR_BUG_3246
changeset 6
8bccb770b82d
permissions
-rw-r--r--

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

mercurial