| bigint-and-number.js |
---
esid: sec-signed-right-shift-operator-runtime-semantics-evaluation
description: Mixing BigInt and Number produces a TypeError for right-shift operator
features: [BigInt]
info: |
Let lnum be ? ToNumeric(leftValue).
Let rnum be ? ToNumeric(rightValue).
If Type(lnum) does not equal Type(rnum), throw a TypeError exception.
--- |
2355 |
- |
| bigint-errors.js |
---
description: right-shift operator ToNumeric with BigInt operands
esid: sec-signed-right-shift-operator-runtime-semantics-evaluation
features: [BigInt, Symbol, Symbol.toPrimitive, computed-property-names]
--- |
1987 |
- |
| bigint-non-primitive.js |
---
description: Right shift for non-primitive BigInt values
esid: sec-signed-right-shift-operator-runtime-semantics-evaluation
info: |
ShiftExpression : ShiftExpression >> AdditiveExpression
1. Let lref be the result of evaluating ShiftExpression.
2. Let lval be ? GetValue(lref).
3. Let rref be the result of evaluating AdditiveExpression.
4. Let rval be ? GetValue(rref).
5. Let lnum be ? ToNumeric(lval).
6. Let rnum be ? ToNumeric(rval).
7. If Type(lnum) does not equal Type(rnum), throw a TypeError exception.
8. Let T be Type(lnum).
9. Return T::signedRightShift(lnum, rnum).
features: [BigInt, Symbol.toPrimitive]
--- |
2496 |
- |
| bigint-toprimitive.js |
---
description: right-shift operator ToNumeric with BigInt operands
esid: sec-signed-right-shift-operator-runtime-semantics-evaluation
features: [BigInt, Symbol.toPrimitive, computed-property-names]
--- |
8896 |
- |
| bigint-wrapped-values.js |
---
description: right-shift operator ToNumeric with BigInt operands
esid: sec-signed-right-shift-operator-runtime-semantics-evaluation
features: [BigInt, Symbol.toPrimitive, computed-property-names]
--- |
1440 |
- |
| bigint.js |
---
description: Right shift for BigInt values
esid: sec-numeric-types-bigint-signedRightShift
info: |
BigInt::signedRightShift (x, y)
The abstract operation BigInt::signedRightShift with arguments x and y of type BigInt:
1. Return BigInt::leftShift(x, -y).
sec-numeric-types-bigint-leftShift
BigInt::leftShift (x, y)
The abstract operation BigInt::leftShift with two arguments x and y of BigInt:
1. If y < 0,
a. Return a BigInt representing x divided by 2-y, rounding down to the nearest integer, including for negative numbers.
2. Return a BigInt representing x multiplied by 2y.
NOTE: Semantics here should be equivalent to a bitwise shift, treating the BigInt as an infinite length string of binary two's complement digits.
features: [BigInt]
--- |
7148 |
- |
| browser.js |
|
0 |
- |
| order-of-evaluation.js |
---
esid: sec-signed-right-shift-operator-runtime-semantics-evaluation
description: Type coercion order of operations for right-shift operator
features: [Symbol]
info: |
Evaluate lhs
Evaluate rhs
ToNumeric(lhs)
ToNumeric(rhs)
--- |
3050 |
- |
| S11.7.2_A1.js |
---
info: |
White Space and Line Terminator between ShiftExpression and ">>" or
between ">>" and AdditiveExpression are allowed
es5id: 11.7.2_A1
description: Checking by using eval
--- |
1696 |
- |
| S11.7.2_A2.1_T1.js |
---
info: Operator x >> y uses GetValue
es5id: 11.7.2_A2.1_T1
description: Either Type is not Reference or GetBase is not null
--- |
1150 |
- |
| S11.7.2_A2.1_T2.js |
---
info: Operator x >> y uses GetValue
es5id: 11.7.2_A2.1_T2
description: If GetBase(x) is null, throw ReferenceError
--- |
546 |
- |
| S11.7.2_A2.1_T3.js |
---
info: Operator x >> y uses GetValue
es5id: 11.7.2_A2.1_T3
description: If GetBase(y) is null, throw ReferenceError
--- |
546 |
- |
| S11.7.2_A2.2_T1.js |
---
info: Operator x >> y uses [[Default Value]]
es5id: 11.7.2_A2.2_T1
description: If Type(value) is Object, evaluate ToPrimitive(value, Number)
--- |
3283 |
- |
| S11.7.2_A2.3_T1.js |
---
info: |
ToNumber(first expression) is called first, and then ToNumber(second
expression)
es5id: 11.7.2_A2.3_T1
description: Checking with "throw"
--- |
991 |
- |
| S11.7.2_A2.4_T1.js |
---
info: First expression is evaluated first, and then second expression
es5id: 11.7.2_A2.4_T1
description: Checking with "="
--- |
576 |
- |
| S11.7.2_A2.4_T2.js |
---
info: First expression is evaluated first, and then second expression
es5id: 11.7.2_A2.4_T2
description: Checking with "throw"
--- |
885 |
- |
| S11.7.2_A2.4_T3.js |
---
info: First expression is evaluated first, and then second expression
es5id: 11.7.2_A2.4_T3
description: Checking with undeclarated variables
--- |
597 |
- |
| S11.7.2_A2.4_T4.js |
---
info: First expression is evaluated first, and then second expression
es5id: 11.7.2_A2.4_T4
description: Checking with undeclarated variables
flags: [noStrict]
--- |
445 |
- |
| S11.7.2_A3_T1.1.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T1.1
description: >
Type(x) and Type(y) vary between primitive boolean and Boolean
object
--- |
967 |
- |
| S11.7.2_A3_T1.2.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T1.2
description: Type(x) and Type(y) vary between primitive number and Number object
--- |
871 |
- |
| S11.7.2_A3_T1.3.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T1.3
description: Type(x) and Type(y) vary between primitive string and String object
--- |
1143 |
- |
| S11.7.2_A3_T1.4.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T1.4
description: Type(x) and Type(y) vary between Null and Undefined
--- |
843 |
- |
| S11.7.2_A3_T1.5.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T1.5
description: Type(x) and Type(y) vary between Object object and Function object
--- |
990 |
- |
| S11.7.2_A3_T2.1.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T2.1
description: >
Type(x) is different from Type(y) and both types vary between
Number (primitive or object) and Boolean (primitive and object)
--- |
1567 |
- |
| S11.7.2_A3_T2.2.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T2.2
description: >
Type(x) is different from Type(y) and both types vary between
Number (primitive or object) and String (primitive and object)
--- |
1744 |
- |
| S11.7.2_A3_T2.3.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T2.3
description: >
Type(x) is different from Type(y) and both types vary between
Number (primitive or object) and Null
--- |
877 |
- |
| S11.7.2_A3_T2.4.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T2.4
description: >
Type(x) is different from Type(y) and both types vary between
Number (primitive or object) and Undefined
--- |
942 |
- |
| S11.7.2_A3_T2.5.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T2.5
description: >
Type(x) is different from Type(y) and both types vary between
String (primitive or object) and Boolean (primitive and object)
--- |
1615 |
- |
| S11.7.2_A3_T2.6.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T2.6
description: >
Type(x) is different from Type(y) and both types vary between
String (primitive or object) and Undefined
--- |
966 |
- |
| S11.7.2_A3_T2.7.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T2.7
description: >
Type(x) is different from Type(y) and both types vary between
String (primitive or object) and Null
--- |
901 |
- |
| S11.7.2_A3_T2.8.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T2.8
description: >
Type(x) is different from Type(y) and both types vary between
Boolean (primitive or object) and Undefined
--- |
985 |
- |
| S11.7.2_A3_T2.9.js |
---
info: Operator x >> y returns ToNumber(x) >> ToNumber(y)
es5id: 11.7.2_A3_T2.9
description: >
Type(x) is different from Type(y) and both types vary between
Boolean (primitive or object) and Null
--- |
920 |
- |
| S11.7.2_A4_T1.js |
---
info: Check x >> y operator in distinct points
es5id: 11.7.2_A4_T1
description: ShiftExpression = -2^n, n = 0...15
--- |
61469 |
- |
| S11.7.2_A4_T2.js |
---
info: Check x >> y operator in distinct points
es5id: 11.7.2_A4_T2
description: ShiftExpression = 2^n - 1, n = 16...31
--- |
60341 |
- |
| S11.7.2_A4_T3.js |
---
info: Check x >> y operator in distinct points
es5id: 11.7.2_A4_T3
description: ShiftExpression = 2^n - 1, n = 0...15
--- |
58913 |
- |
| S11.7.2_A4_T4.js |
---
info: Check x >> y operator in distinct points
es5id: 11.7.2_A4_T4
description: ShiftExpression = 2^n - 1, n = 16...31
--- |
57654 |
- |
| S11.7.2_A5.1_T1.js |
---
info: Operator x >> y uses ToInt32(ShiftExpression)
es5id: 11.7.2_A5.1_T1
description: Checking boundary points
--- |
1774 |
- |
| S11.7.2_A5.2_T1.js |
---
info: Operator x >> y uses ToUint32(AdditiveExpression) & 31
es5id: 11.7.2_A5.2_T1
description: Checking distinct points
--- |
9902 |
- |
| shell.js |
|
0 |
- |