1 files changed, 374 insertions, 0 deletions
diff --git a/js/src/tests/test262/language/expressions/left-shift/bigint-toprimitive.js b/js/src/tests/test262/language/expressions/left-shift/bigint-toprimitive.js
new file mode 100644
index 0000000000..7f340ea505
--- /dev/null
+++ b/js/src/tests/test262/language/expressions/left-shift/bigint-toprimitive.js
@@ -0,0 +1,374 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+description: left-shift operator ToNumeric with BigInt operands
+esid: sec-left-shift-operator-runtime-semantics-evaluation
+features: [BigInt, Symbol.toPrimitive, computed-property-names]
+---*/
+function err() {
+  throw new Test262Error();
+}
+
+function MyError() {}
+
+assert.sameValue({
+  [Symbol.toPrimitive]: function() {
+    return 2n;
+  },
+
+  valueOf: err,
+  toString: err
+} << 1n, 4n, 'The result of (({[Symbol.toPrimitive]: function() {return 2n;}, valueOf: err, toString: err}) << 1n) is 4n');
+
+assert.sameValue(1n << {
+  [Symbol.toPrimitive]: function() {
+    return 2n;
+  },
+
+  valueOf: err,
+  toString: err
+}, 4n, 'The result of (1n << {[Symbol.toPrimitive]: function() {return 2n;}, valueOf: err, toString: err}) is 4n');
+
+assert.sameValue({
+  valueOf: function() {
+    return 2n;
+  },
+
+  toString: err
+} << 1n, 4n, 'The result of (({valueOf: function() {return 2n;}, toString: err}) << 1n) is 4n');
+
+assert.sameValue(1n << {
+  valueOf: function() {
+    return 2n;
+  },
+
+  toString: err
+}, 4n, 'The result of (1n << {valueOf: function() {return 2n;}, toString: err}) is 4n');
+
+assert.sameValue({
+  toString: function() {
+    return 2n;
+  }
+} << 1n, 4n, 'The result of (({toString: function() {return 2n;}}) << 1n) is 4n');
+
+assert.sameValue(1n << {
+  toString: function() {
+    return 2n;
+  }
+}, 4n, 'The result of (1n << {toString: function() {return 2n;}}) is 4n');
+
+assert.sameValue({
+  [Symbol.toPrimitive]: undefined,
+
+  valueOf: function() {
+    return 2n;
+  }
+} << 1n, 4n, 'The result of (({[Symbol.toPrimitive]: undefined, valueOf: function() {return 2n;}}) << 1n) is 4n');
+
+assert.sameValue(1n << {
+  [Symbol.toPrimitive]: undefined,
+
+  valueOf: function() {
+    return 2n;
+  }
+}, 4n, 'The result of (1n << {[Symbol.toPrimitive]: undefined, valueOf: function() {return 2n;}}) is 4n');
+
+assert.sameValue({
+  [Symbol.toPrimitive]: null,
+
+  valueOf: function() {
+    return 2n;
+  }
+} << 1n, 4n, 'The result of (({[Symbol.toPrimitive]: null, valueOf: function() {return 2n;}}) << 1n) is 4n');
+
+assert.sameValue(1n << {
+  [Symbol.toPrimitive]: null,
+
+  valueOf: function() {
+    return 2n;
+  }
+}, 4n, 'The result of (1n << {[Symbol.toPrimitive]: null, valueOf: function() {return 2n;}}) is 4n');
+
+assert.sameValue({
+  valueOf: null,
+
+  toString: function() {
+    return 2n;
+  }
+} << 1n, 4n, 'The result of (({valueOf: null, toString: function() {return 2n;}}) << 1n) is 4n');
+
+assert.sameValue(1n << {
+  valueOf: null,
+
+  toString: function() {
+    return 2n;
+  }
+}, 4n, 'The result of (1n << {valueOf: null, toString: function() {return 2n;}}) is 4n');
+
+assert.sameValue({
+  valueOf: 1,
+
+  toString: function() {
+    return 2n;
+  }
+} << 1n, 4n, 'The result of (({valueOf: 1, toString: function() {return 2n;}}) << 1n) is 4n');
+
+assert.sameValue(1n << {
+  valueOf: 1,
+
+  toString: function() {
+    return 2n;
+  }
+}, 4n, 'The result of (1n << {valueOf: 1, toString: function() {return 2n;}}) is 4n');
+
+assert.sameValue({
+  valueOf: {},
+
+  toString: function() {
+    return 2n;
+  }
+} << 1n, 4n, 'The result of (({valueOf: {}, toString: function() {return 2n;}}) << 1n) is 4n');
+
+assert.sameValue(1n << {
+  valueOf: {},
+
+  toString: function() {
+    return 2n;
+  }
+}, 4n, 'The result of (1n << {valueOf: {}, toString: function() {return 2n;}}) is 4n');
+
+assert.sameValue({
+  valueOf: function() {
+    return {};
+  },
+
+  toString: function() {
+    return 2n;
+  }
+} << 1n, 4n, 'The result of (({valueOf: function() {return {};}, toString: function() {return 2n;}}) << 1n) is 4n');
+
+assert.sameValue(1n << {
+  valueOf: function() {
+    return {};
+  },
+
+  toString: function() {
+    return 2n;
+  }
+}, 4n, 'The result of (1n << {valueOf: function() {return {};}, toString: function() {return 2n;}}) is 4n');
+
+assert.sameValue({
+  valueOf: function() {
+    return Object(12345);
+  },
+
+  toString: function() {
+    return 2n;
+  }
+} << 1n, 4n, 'The result of (({valueOf: function() {return Object(12345);}, toString: function() {return 2n;}}) << 1n) is 4n');
+
+assert.sameValue(1n << {
+  valueOf: function() {
+    return Object(12345);
+  },
+
+  toString: function() {
+    return 2n;
+  }
+}, 4n, 'The result of (1n << {valueOf: function() {return Object(12345);}, toString: function() {return 2n;}}) is 4n');
+
+assert.throws(TypeError, function() {
+  ({
+    [Symbol.toPrimitive]: 1
+  }) << 0n;
+}, '({[Symbol.toPrimitive]: 1}) << 0n throws TypeError');
+
+assert.throws(TypeError, function() {
+  0n << {
+    [Symbol.toPrimitive]: 1
+  };
+}, '0n << {[Symbol.toPrimitive]: 1} throws TypeError');
+
+assert.throws(TypeError, function() {
+  ({
+    [Symbol.toPrimitive]: {}
+  }) << 0n;
+}, '({[Symbol.toPrimitive]: {}}) << 0n throws TypeError');
+
+assert.throws(TypeError, function() {
+  0n << {
+    [Symbol.toPrimitive]: {}
+  };
+}, '0n << {[Symbol.toPrimitive]: {}} throws TypeError');
+
+assert.throws(TypeError, function() {
+  ({
+    [Symbol.toPrimitive]: function() {
+      return Object(1);
+    }
+  }) << 0n;
+}, '({[Symbol.toPrimitive]: function() {return Object(1);}}) << 0n throws TypeError');
+
+assert.throws(TypeError, function() {
+  0n << {
+    [Symbol.toPrimitive]: function() {
+      return Object(1);
+    }
+  };
+}, '0n << {[Symbol.toPrimitive]: function() {return Object(1);}} throws TypeError');
+
+assert.throws(TypeError, function() {
+  ({
+    [Symbol.toPrimitive]: function() {
+      return {};
+    }
+  }) << 0n;
+}, '({[Symbol.toPrimitive]: function() {return {};}}) << 0n throws TypeError');
+
+assert.throws(TypeError, function() {
+  0n << {
+    [Symbol.toPrimitive]: function() {
+      return {};
+    }
+  };
+}, '0n << {[Symbol.toPrimitive]: function() {return {};}} throws TypeError');
+
+assert.throws(MyError, function() {
+  ({
+    [Symbol.toPrimitive]: function() {
+      throw new MyError();
+    }
+  }) << 0n;
+}, '({[Symbol.toPrimitive]: function() {throw new MyError();}}) << 0n throws MyError');
+
+assert.throws(MyError, function() {
+  0n << {
+    [Symbol.toPrimitive]: function() {
+      throw new MyError();
+    }
+  };
+}, '0n << {[Symbol.toPrimitive]: function() {throw new MyError();}} throws MyError');
+
+assert.throws(MyError, function() {
+  ({
+    valueOf: function() {
+      throw new MyError();
+    }
+  }) << 0n;
+}, '({valueOf: function() {throw new MyError();}}) << 0n throws MyError');
+
+assert.throws(MyError, function() {
+  0n << {
+    valueOf: function() {
+      throw new MyError();
+    }
+  };
+}, '0n << {valueOf: function() {throw new MyError();}} throws MyError');
+
+assert.throws(MyError, function() {
+  ({
+    toString: function() {
+      throw new MyError();
+    }
+  }) << 0n;
+}, '({toString: function() {throw new MyError();}}) << 0n throws MyError');
+
+assert.throws(MyError, function() {
+  0n << {
+    toString: function() {
+      throw new MyError();
+    }
+  };
+}, '0n << {toString: function() {throw new MyError();}} throws MyError');
+
+assert.throws(TypeError, function() {
+  ({
+    valueOf: null,
+    toString: null
+  }) << 0n;
+}, '({valueOf: null, toString: null}) << 0n throws TypeError');
+
+assert.throws(TypeError, function() {
+  0n << {
+    valueOf: null,
+    toString: null
+  };
+}, '0n << {valueOf: null, toString: null} throws TypeError');
+
+assert.throws(TypeError, function() {
+  ({
+    valueOf: 1,
+    toString: 1
+  }) << 0n;
+}, '({valueOf: 1, toString: 1}) << 0n throws TypeError');
+
+assert.throws(TypeError, function() {
+  0n << {
+    valueOf: 1,
+    toString: 1
+  };
+}, '0n << {valueOf: 1, toString: 1} throws TypeError');
+
+assert.throws(TypeError, function() {
+  ({
+    valueOf: {},
+    toString: {}
+  }) << 0n;
+}, '({valueOf: {}, toString: {}}) << 0n throws TypeError');
+
+assert.throws(TypeError, function() {
+  0n << {
+    valueOf: {},
+    toString: {}
+  };
+}, '0n << {valueOf: {}, toString: {}} throws TypeError');
+
+assert.throws(TypeError, function() {
+  ({
+    valueOf: function() {
+      return Object(1);
+    },
+
+    toString: function() {
+      return Object(1);
+    }
+  }) << 0n;
+}, '({valueOf: function() {return Object(1);}, toString: function() {return Object(1);}}) << 0n throws TypeError');
+
+assert.throws(TypeError, function() {
+  0n << {
+    valueOf: function() {
+      return Object(1);
+    },
+
+    toString: function() {
+      return Object(1);
+    }
+  };
+}, '0n << {valueOf: function() {return Object(1);}, toString: function() {return Object(1);}} throws TypeError');
+
+assert.throws(TypeError, function() {
+  ({
+    valueOf: function() {
+      return {};
+    },
+
+    toString: function() {
+      return {};
+    }
+  }) << 0n;
+}, '({valueOf: function() {return {};}, toString: function() {return {};}}) << 0n throws TypeError');
+
+assert.throws(TypeError, function() {
+  0n << {
+    valueOf: function() {
+      return {};
+    },
+
+    toString: function() {
+      return {};
+    }
+  };
+}, '0n << {valueOf: function() {return {};}, toString: function() {return {};}} throws TypeError');
+
+reportCompare(0, 0);