[strong] Disallow implicit conversions for binary arithmetic operations

src/ic/ic-state.h

 // Copyright 2012 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.
 
 #ifndef V8_IC_STATE_H_
 #define V8_IC_STATE_H_
 
 #include "src/macro-assembler.h"
 
 namespace v8 {
@@ skipping 39 matching lines @@
   const CallType call_type_;
 };
 
 
 std::ostream& operator<<(std::ostream& os, const CallICState& s);
 
 
 class BinaryOpICState final BASE_EMBEDDED {
  public:
   BinaryOpICState(Isolate* isolate, ExtraICState extra_ic_state);
-
-  BinaryOpICState(Isolate* isolate, Token::Value op)
+  BinaryOpICState(Isolate* isolate, Token::Value op, LanguageMode language_mode)
       : op_(op),
+        language_mode_(language_mode),
         left_kind_(NONE),
         right_kind_(NONE),
         result_kind_(NONE),
         fixed_right_arg_(Nothing<int>()),
         isolate_(isolate) {
     DCHECK_LE(FIRST_TOKEN, op);
     DCHECK_LE(op, LAST_TOKEN);
   }
 
   InlineCacheState GetICState() const {
@@ skipping 26 matching lines @@
 
   // Returns true if the IC _should_ create allocation mementos.
   bool ShouldCreateAllocationMementos() const {
     return FLAG_allocation_site_pretenuring && CouldCreateAllocationMementos();
   }
 
   bool HasSideEffects() const {
     return Max(left_kind_, right_kind_) == GENERIC;
   }
 
+  LanguageMode language_mode() const {
+    return language_mode_;
+  }
+
   // Returns true if the IC should enable the inline smi code (i.e. if either
   // parameter may be a smi).
   bool UseInlinedSmiCode() const {
     return KindMaybeSmi(left_kind_) || KindMaybeSmi(right_kind_);
   }
 
   static const int FIRST_TOKEN = Token::BIT_OR;
   static const int LAST_TOKEN = Token::MOD;
 
   Token::Value op() const { return op_; }
@@ skipping 21 matching lines @@
   }
 
   // We truncate the last bit of the token.
   STATIC_ASSERT(LAST_TOKEN - FIRST_TOKEN < (1 << 4));
   class OpField : public BitField<int, 0, 4> {};
   class ResultKindField : public BitField<Kind, 4, 3> {};
   class LeftKindField : public BitField<Kind, 7, 3> {};
   // When fixed right arg is set, we don't need to store the right kind.
   // Thus the two fields can overlap.
   class HasFixedRightArgField : public BitField<bool, 10, 1> {};
-  class FixedRightArgValueField : public BitField<int, 11, 4> {};
-  class RightKindField : public BitField<Kind, 11, 3> {};
+  class LanguageModeField : public BitField<LanguageMode, 11, 2> {};
+  class FixedRightArgValueField : public BitField<int, 13, 4> {};
+  class RightKindField : public BitField<Kind, 13, 3> {};
 
   Token::Value op_;
+  LanguageMode language_mode_;
   Kind left_kind_;
   Kind right_kind_;
   Kind result_kind_;
   Maybe<int> fixed_right_arg_;
   Isolate* isolate_;
 };
 
 
 std::ostream& operator<<(std::ostream& os, const BinaryOpICState& s);
 
@@ skipping 51 matching lines @@
  private:
   class ContextualModeBits : public BitField<ContextualMode, 0, 1> {};
   STATIC_ASSERT(static_cast<int>(NOT_CONTEXTUAL) == 0);
 
   const ExtraICState state_;
 };
 }
 }
 
 #endif  // V8_IC_STATE_H_