js/src/tests/ecma/Expressions/11.5.2.js@6474c204b198 (annotated)
js/src/tests/ecma/Expressions/11.5.2.js
Wed, 31 Dec 2014 06:09:35 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 06:09:35 +0100
- changeset 0
- 6474c204b198
- permissions
- -rw-r--r--
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
| michael@0 | 1 | /* -*- Mode: C++; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */ |
| michael@0 | 2 | /* This Source Code Form is subject to the terms of the Mozilla Public |
| michael@0 | 3 | * License, v. 2.0. If a copy of the MPL was not distributed with this |
| michael@0 | 4 | * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ |
| michael@0 | 5 | |
| michael@0 | 6 | |
| michael@0 | 7 | /** |
| michael@0 | 8 | File Name: 11.5.2.js |
| michael@0 | 9 | ECMA Section: 11.5.2 Applying the / operator |
| michael@0 | 10 | Description: |
| michael@0 | 11 | |
| michael@0 | 12 | The / operator performs division, producing the quotient of its operands. |
| michael@0 | 13 | The left operand is the dividend and the right operand is the divisor. |
| michael@0 | 14 | ECMAScript does not perform integer division. The operands and result of all |
| michael@0 | 15 | division operations are double-precision floating-point numbers. |
| michael@0 | 16 | The result of division is determined by the specification of IEEE 754 arithmetic: |
| michael@0 | 17 | |
| michael@0 | 18 | If either operand is NaN, the result is NaN. |
| michael@0 | 19 | The sign of the result is positive if both operands have the same sign, negative if the operands have different |
| michael@0 | 20 | signs. |
| michael@0 | 21 | Division of an infinity by an infinity results in NaN. |
| michael@0 | 22 | Division of an infinity by a zero results in an infinity. The sign is determined by the rule already stated above. |
| michael@0 | 23 | Division of an infinity by a non-zero finite value results in a signed infinity. The sign is determined by the rule |
| michael@0 | 24 | already stated above. |
| michael@0 | 25 | Division of a finite value by an infinity results in zero. The sign is determined by the rule already stated above. |
| michael@0 | 26 | Division of a zero by a zero results in NaN; division of zero by any other finite value results in zero, with the sign |
| michael@0 | 27 | determined by the rule already stated above. |
| michael@0 | 28 | Division of a non-zero finite value by a zero results in a signed infinity. The sign is determined by the rule |
| michael@0 | 29 | already stated above. |
| michael@0 | 30 | In the remaining cases, where neither an infinity, nor a zero, nor NaN is involved, the quotient is computed and |
| michael@0 | 31 | rounded to the nearest representable value using IEEE 754 round-to-nearest mode. If the magnitude is too |
| michael@0 | 32 | large to represent, we say the operation overflows; the result is then an infinity of appropriate sign. If the |
| michael@0 | 33 | magnitude is too small to represent, we say the operation underflows and the result is a zero of the appropriate |
| michael@0 | 34 | sign. The ECMAScript language requires support of gradual underflow as defined by IEEE 754. |
| michael@0 | 35 | |
| michael@0 | 36 | Author: christine@netscape.com |
| michael@0 | 37 | Date: 12 november 1997 |
| michael@0 | 38 | */ |
| michael@0 | 39 | var SECTION = "11.5.2"; |
| michael@0 | 40 | var VERSION = "ECMA_1"; |
| michael@0 | 41 | var BUGNUMBER="111202"; |
| michael@0 | 42 | startTest(); |
| michael@0 | 43 | |
| michael@0 | 44 | writeHeaderToLog( SECTION + " Applying the / operator"); |
| michael@0 | 45 | |
| michael@0 | 46 | // if either operand is NaN, the result is NaN. |
| michael@0 | 47 | |
| michael@0 | 48 | new TestCase( SECTION, "Number.NaN / Number.NaN", Number.NaN, Number.NaN / Number.NaN ); |
| michael@0 | 49 | new TestCase( SECTION, "Number.NaN / 1", Number.NaN, Number.NaN / 1 ); |
| michael@0 | 50 | new TestCase( SECTION, "1 / Number.NaN", Number.NaN, 1 / Number.NaN ); |
| michael@0 | 51 | |
| michael@0 | 52 | new TestCase( SECTION, "Number.POSITIVE_INFINITY / Number.NaN", Number.NaN, Number.POSITIVE_INFINITY / Number.NaN ); |
| michael@0 | 53 | new TestCase( SECTION, "Number.NEGATIVE_INFINITY / Number.NaN", Number.NaN, Number.NEGATIVE_INFINITY / Number.NaN ); |
| michael@0 | 54 | |
| michael@0 | 55 | // Division of an infinity by an infinity results in NaN. |
| michael@0 | 56 | |
| michael@0 | 57 | new TestCase( SECTION, "Number.NEGATIVE_INFINITY / Number.NEGATIVE_INFINITY", Number.NaN, Number.NEGATIVE_INFINITY / Number.NEGATIVE_INFINITY ); |
| michael@0 | 58 | new TestCase( SECTION, "Number.POSITIVE_INFINITY / Number.NEGATIVE_INFINITY", Number.NaN, Number.POSITIVE_INFINITY / Number.NEGATIVE_INFINITY ); |
| michael@0 | 59 | new TestCase( SECTION, "Number.NEGATIVE_INFINITY / Number.POSITIVE_INFINITY", Number.NaN, Number.NEGATIVE_INFINITY / Number.POSITIVE_INFINITY ); |
| michael@0 | 60 | new TestCase( SECTION, "Number.POSITIVE_INFINITY / Number.POSITIVE_INFINITY", Number.NaN, Number.POSITIVE_INFINITY / Number.POSITIVE_INFINITY ); |
| michael@0 | 61 | |
| michael@0 | 62 | // Division of an infinity by a zero results in an infinity. |
| michael@0 | 63 | |
| michael@0 | 64 | new TestCase( SECTION, "Number.POSITIVE_INFINITY / 0", Number.POSITIVE_INFINITY, Number.POSITIVE_INFINITY / 0 ); |
| michael@0 | 65 | new TestCase( SECTION, "Number.NEGATIVE_INFINITY / 0", Number.NEGATIVE_INFINITY, Number.NEGATIVE_INFINITY / 0 ); |
| michael@0 | 66 | new TestCase( SECTION, "Number.POSITIVE_INFINITY / -0", Number.NEGATIVE_INFINITY, Number.POSITIVE_INFINITY / -0 ); |
| michael@0 | 67 | new TestCase( SECTION, "Number.NEGATIVE_INFINITY / -0", Number.POSITIVE_INFINITY, Number.NEGATIVE_INFINITY / -0 ); |
| michael@0 | 68 | |
| michael@0 | 69 | // Division of an infinity by a non-zero finite value results in a signed infinity. |
| michael@0 | 70 | |
| michael@0 | 71 | new TestCase( SECTION, "Number.NEGATIVE_INFINITY / 1 ", Number.NEGATIVE_INFINITY, Number.NEGATIVE_INFINITY / 1 ); |
| michael@0 | 72 | new TestCase( SECTION, "Number.NEGATIVE_INFINITY / -1 ", Number.POSITIVE_INFINITY, Number.NEGATIVE_INFINITY / -1 ); |
| michael@0 | 73 | new TestCase( SECTION, "Number.POSITIVE_INFINITY / 1 ", Number.POSITIVE_INFINITY, Number.POSITIVE_INFINITY / 1 ); |
| michael@0 | 74 | new TestCase( SECTION, "Number.POSITIVE_INFINITY / -1 ", Number.NEGATIVE_INFINITY, Number.POSITIVE_INFINITY / -1 ); |
| michael@0 | 75 | |
| michael@0 | 76 | new TestCase( SECTION, "Number.NEGATIVE_INFINITY / Number.MAX_VALUE ", Number.NEGATIVE_INFINITY, Number.NEGATIVE_INFINITY / Number.MAX_VALUE ); |
| michael@0 | 77 | new TestCase( SECTION, "Number.NEGATIVE_INFINITY / -Number.MAX_VALUE ", Number.POSITIVE_INFINITY, Number.NEGATIVE_INFINITY / -Number.MAX_VALUE ); |
| michael@0 | 78 | new TestCase( SECTION, "Number.POSITIVE_INFINITY / Number.MAX_VALUE ", Number.POSITIVE_INFINITY, Number.POSITIVE_INFINITY / Number.MAX_VALUE ); |
| michael@0 | 79 | new TestCase( SECTION, "Number.POSITIVE_INFINITY / -Number.MAX_VALUE ", Number.NEGATIVE_INFINITY, Number.POSITIVE_INFINITY / -Number.MAX_VALUE ); |
| michael@0 | 80 | |
| michael@0 | 81 | // Division of a finite value by an infinity results in zero. |
| michael@0 | 82 | |
| michael@0 | 83 | new TestCase( SECTION, "1 / Number.NEGATIVE_INFINITY", -0, 1 / Number.NEGATIVE_INFINITY ); |
| michael@0 | 84 | new TestCase( SECTION, "1 / Number.POSITIVE_INFINITY", 0, 1 / Number.POSITIVE_INFINITY ); |
| michael@0 | 85 | new TestCase( SECTION, "-1 / Number.POSITIVE_INFINITY", -0, -1 / Number.POSITIVE_INFINITY ); |
| michael@0 | 86 | new TestCase( SECTION, "-1 / Number.NEGATIVE_INFINITY", 0, -1 / Number.NEGATIVE_INFINITY ); |
| michael@0 | 87 | |
| michael@0 | 88 | new TestCase( SECTION, "Number.MAX_VALUE / Number.NEGATIVE_INFINITY", -0, Number.MAX_VALUE / Number.NEGATIVE_INFINITY ); |
| michael@0 | 89 | new TestCase( SECTION, "Number.MAX_VALUE / Number.POSITIVE_INFINITY", 0, Number.MAX_VALUE / Number.POSITIVE_INFINITY ); |
| michael@0 | 90 | new TestCase( SECTION, "-Number.MAX_VALUE / Number.POSITIVE_INFINITY", -0, -Number.MAX_VALUE / Number.POSITIVE_INFINITY ); |
| michael@0 | 91 | new TestCase( SECTION, "-Number.MAX_VALUE / Number.NEGATIVE_INFINITY", 0, -Number.MAX_VALUE / Number.NEGATIVE_INFINITY ); |
| michael@0 | 92 | |
| michael@0 | 93 | // Division of a zero by a zero results in NaN |
| michael@0 | 94 | |
| michael@0 | 95 | new TestCase( SECTION, "0 / -0", Number.NaN, 0 / -0 ); |
| michael@0 | 96 | new TestCase( SECTION, "-0 / 0", Number.NaN, -0 / 0 ); |
| michael@0 | 97 | new TestCase( SECTION, "-0 / -0", Number.NaN, -0 / -0 ); |
| michael@0 | 98 | new TestCase( SECTION, "0 / 0", Number.NaN, 0 / 0 ); |
| michael@0 | 99 | |
| michael@0 | 100 | // division of zero by any other finite value results in zero |
| michael@0 | 101 | |
| michael@0 | 102 | new TestCase( SECTION, "0 / 1", 0, 0 / 1 ); |
| michael@0 | 103 | new TestCase( SECTION, "0 / -1", -0, 0 / -1 ); |
| michael@0 | 104 | new TestCase( SECTION, "-0 / 1", -0, -0 / 1 ); |
| michael@0 | 105 | new TestCase( SECTION, "-0 / -1", 0, -0 / -1 ); |
| michael@0 | 106 | |
| michael@0 | 107 | // Division of a non-zero finite value by a zero results in a signed infinity. |
| michael@0 | 108 | |
| michael@0 | 109 | new TestCase( SECTION, "1 / 0", Number.POSITIVE_INFINITY, 1/0 ); |
| michael@0 | 110 | new TestCase( SECTION, "1 / -0", Number.NEGATIVE_INFINITY, 1/-0 ); |
| michael@0 | 111 | new TestCase( SECTION, "-1 / 0", Number.NEGATIVE_INFINITY, -1/0 ); |
| michael@0 | 112 | new TestCase( SECTION, "-1 / -0", Number.POSITIVE_INFINITY, -1/-0 ); |
| michael@0 | 113 | |
| michael@0 | 114 | new TestCase( SECTION, "0 / Number.POSITIVE_INFINITY", 0, 0 / Number.POSITIVE_INFINITY ); |
| michael@0 | 115 | new TestCase( SECTION, "0 / Number.NEGATIVE_INFINITY", -0, 0 / Number.NEGATIVE_INFINITY ); |
| michael@0 | 116 | new TestCase( SECTION, "-0 / Number.POSITIVE_INFINITY", -0, -0 / Number.POSITIVE_INFINITY ); |
| michael@0 | 117 | new TestCase( SECTION, "-0 / Number.NEGATIVE_INFINITY", 0, -0 / Number.NEGATIVE_INFINITY ); |
| michael@0 | 118 | |
| michael@0 | 119 | test(); |
| michael@0 | 120 |
