[strong] Disallow implicit conversions for bitwise ops, shifts

src/runtime.js

 // Copyright 2006-2008 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // This files contains runtime support implemented in JavaScript.
 
 // CAUTION: Some of the functions specified in this file are called
 // directly from compiled code. These are the functions with names in
 // ALL CAPS. The compiled code passes the first argument in 'this'.
 
@@ skipping 254 matching lines @@
 */
 
 // ECMA-262, section 11.10, page 57.
 function BIT_OR(y) {
   var x = IS_NUMBER(this) ? this : %NonNumberToNumber(this);
   if (!IS_NUMBER(y)) y = %NonNumberToNumber(y);
   return %NumberOr(x, y);
 }
 
 
+//ECMA-262, section 11.10, page 57.
+function BIT_OR_STRONG(y) {
+  if (IS_NUMBER(this) && IS_NUMBER(y)) {
+    return %NumberOr(this, y);
+  }
+  throw %MakeTypeError('strong_implicit_cast');
+}
+
+
 // ECMA-262, section 11.10, page 57.
 function BIT_AND(y) {
   var x;
   if (IS_NUMBER(this)) {
     x = this;
     if (!IS_NUMBER(y)) y = %NonNumberToNumber(y);
   } else {
     x = %NonNumberToNumber(this);
     // Make sure to convert the right operand to a number before
     // bailing out in the fast case, but after converting the
     // left operand. This ensures that valueOf methods on the right
     // operand are always executed.
     if (!IS_NUMBER(y)) y = %NonNumberToNumber(y);
     // Optimize for the case where we end up AND'ing a value
     // that doesn't convert to a number. This is common in
     // certain benchmarks.
     if (NUMBER_IS_NAN(x)) return 0;
   }
   return %NumberAnd(x, y);
 }
 
 
+//ECMA-262, section 11.10, page 57.
+function BIT_AND_STRONG(y) {
+  if (IS_NUMBER(this) && IS_NUMBER(y)) {
+    return %NumberAnd(this, y);
+  }
+  throw %MakeTypeError('strong_implicit_cast');
+}
+
+
 // ECMA-262, section 11.10, page 57.
 function BIT_XOR(y) {
   var x = IS_NUMBER(this) ? this : %NonNumberToNumber(this);
   if (!IS_NUMBER(y)) y = %NonNumberToNumber(y);
   return %NumberXor(x, y);
 }
 
 
+//ECMA-262, section 11.10, page 57.
+function BIT_XOR_STRONG(y) {
+  if (IS_NUMBER(this) && IS_NUMBER(y)) {
+    return %NumberXor(this, y);
+  }
+  throw %MakeTypeError('strong_implicit_cast');
+}
+
+
 // ECMA-262, section 11.7.1, page 51.
 function SHL(y) {
   var x = IS_NUMBER(this) ? this : %NonNumberToNumber(this);
   if (!IS_NUMBER(y)) y = %NonNumberToNumber(y);
   return %NumberShl(x, y);
 }
 
 
+//ECMA-262, section 11.7.1, page 51.
+function SHL_STRONG(y) {
+  if (IS_NUMBER(this) && IS_NUMBER(y)) {
+    return %NumberShl(this, y);
+  }
+  throw %MakeTypeError('strong_implicit_cast');
+}
+
+
 // ECMA-262, section 11.7.2, page 51.
 function SAR(y) {
   var x;
   if (IS_NUMBER(this)) {
     x = this;
     if (!IS_NUMBER(y)) y = %NonNumberToNumber(y);
   } else {
     x = %NonNumberToNumber(this);
     // Make sure to convert the right operand to a number before
     // bailing out in the fast case, but after converting the
     // left operand. This ensures that valueOf methods on the right
     // operand are always executed.
     if (!IS_NUMBER(y)) y = %NonNumberToNumber(y);
     // Optimize for the case where we end up shifting a value
     // that doesn't convert to a number. This is common in
     // certain benchmarks.
     if (NUMBER_IS_NAN(x)) return 0;
   }
   return %NumberSar(x, y);
 }
 
 
+//ECMA-262, section 11.7.2, page 51.
+function SAR_STRONG(y) {
+  if (IS_NUMBER(this) && IS_NUMBER(y)) {
+    return %NumberSar(this, y);
+  }
+  throw %MakeTypeError('strong_implicit_cast');
+}
+
+
 // ECMA-262, section 11.7.3, page 52.
 function SHR(y) {
   var x = IS_NUMBER(this) ? this : %NonNumberToNumber(this);
   if (!IS_NUMBER(y)) y = %NonNumberToNumber(y);
   return %NumberShr(x, y);
 }
 
 
+//ECMA-262, section 11.7.3, page 52.
+function SHR_STRONG(y) {
+  if (IS_NUMBER(this) && IS_NUMBER(y)) {
+    return %NumberShr(this, y);
+  }
+  throw %MakeTypeError('strong_implicit_cast');
+}
+
 
 /* -----------------------------
    - - -   H e l p e r s   - - -
    -----------------------------
 */
 
 // ECMA-262, section 11.4.1, page 46.
 function DELETE(key, language_mode) {
   return %DeleteProperty(%ToObject(this), %ToName(key), language_mode);
 }
@@ skipping 460 matching lines @@
 
 /* -----------------------------------------------
    - - -   J a v a S c r i p t   S t u b s   - - -
    -----------------------------------------------
 */
 
 function STRING_LENGTH_STUB(name) {
   var receiver = this;  // implicit first parameter
   return %_StringGetLength(%_JSValueGetValue(receiver));
 }