2011-09-07 08:35:18 +02:00
|
|
|
// Copyright 2009 the Sputnik authors. All rights reserved.
|
|
|
|
// This code is governed by the BSD license found in the LICENSE file.
|
|
|
|
|
2014-07-22 01:09:02 +02:00
|
|
|
/*---
|
2018-01-05 18:26:51 +01:00
|
|
|
info: |
|
2014-07-22 01:09:02 +02:00
|
|
|
The result of division is determined by the specification of IEEE 754
|
|
|
|
arithmetics
|
2014-07-25 00:41:42 +02:00
|
|
|
es5id: 11.5.2_A4_T9
|
2014-07-22 01:09:02 +02:00
|
|
|
description: >
|
|
|
|
If the magnitude is too large to represent, the result is then an
|
|
|
|
infinity of appropriate sign
|
|
|
|
---*/
|
2011-09-07 08:35:18 +02:00
|
|
|
|
|
|
|
//CHECK#1
|
|
|
|
if (Number.MAX_VALUE / 0.9 !== Number.POSITIVE_INFINITY) {
|
2021-07-28 22:48:39 +02:00
|
|
|
throw new Test262Error('#1: Number.MAX_VALUE / 0.9 === Number.POSITIVE_INFINITY. Actual: ' + (Number.MAX_VALUE / 0.9));
|
2011-09-07 08:35:18 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
//CHECK#2
|
|
|
|
if (Number.MAX_VALUE / -0.9 !== Number.NEGATIVE_INFINITY) {
|
2021-07-28 22:48:39 +02:00
|
|
|
throw new Test262Error('#2: Number.MAX_VALUE / -0.9 === Number.NEGATIVE_INFINITY. Actual: ' + (Number.MAX_VALUE / -0.9));
|
2011-09-07 08:35:18 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
//CHECK#3
|
|
|
|
if (Number.MAX_VALUE / 1 !== Number.MAX_VALUE) {
|
2021-07-28 22:48:39 +02:00
|
|
|
throw new Test262Error('#3: Number.MAX_VALUE / 1 === Number.MAX_VALUE. Actual: ' + (Number.MAX_VALUE / 1));
|
2011-09-07 08:35:18 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
//CHECK#4
|
|
|
|
if (Number.MAX_VALUE / -1 !== -Number.MAX_VALUE) {
|
2021-07-28 22:48:39 +02:00
|
|
|
throw new Test262Error('#4: Number.MAX_VALUE / -1 === -Number.MAX_VALUE. Actual: ' + (Number.MAX_VALUE / -1));
|
2011-09-07 08:35:18 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
//CHECK#5
|
|
|
|
if (Number.MAX_VALUE / (Number.MAX_VALUE / 0.9) === (Number.MAX_VALUE / Number.MAX_VALUE) / 0.9) {
|
2021-07-28 22:48:39 +02:00
|
|
|
throw new Test262Error('#5: Number.MAX_VALUE / (Number.MAX_VALUE / 0.9) !== (Number.MAX_VALUE / Number.MAX_VALUE) / 0.9');
|
2011-09-07 08:35:18 +02:00
|
|
|
}
|