[turbofan] Add support for String.prototype.charCodeAt/charAt.

src/compiler/simplified-operator.cc

 // 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.
 
 #include "src/compiler/simplified-operator.h"
 
 #include "src/base/lazy-instance.h"
 #include "src/compiler/opcodes.h"
 #include "src/compiler/operator.h"
 #include "src/types.h"
@@ skipping 260 matching lines @@
   return OpParameter<BinaryOperationHints::Hint>(op);
 }
 
 CompareOperationHints::Hint CompareOperationHintOf(const Operator* op) {
   DCHECK(op->opcode() == IrOpcode::kSpeculativeNumberEqual ||
          op->opcode() == IrOpcode::kSpeculativeNumberLessThan ||
          op->opcode() == IrOpcode::kSpeculativeNumberLessThanOrEqual);
   return OpParameter<CompareOperationHints::Hint>(op);
 }
 
-#define PURE_OP_LIST(V)                                    \
-  V(BooleanNot, Operator::kNoProperties, 1)                \
-  V(NumberEqual, Operator::kCommutative, 2)                \
-  V(NumberLessThan, Operator::kNoProperties, 2)            \
-  V(NumberLessThanOrEqual, Operator::kNoProperties, 2)     \
-  V(NumberAdd, Operator::kCommutative, 2)                  \
-  V(NumberSubtract, Operator::kNoProperties, 2)            \
-  V(NumberMultiply, Operator::kCommutative, 2)             \
-  V(NumberDivide, Operator::kNoProperties, 2)              \
-  V(NumberModulus, Operator::kNoProperties, 2)             \
-  V(NumberBitwiseOr, Operator::kCommutative, 2)            \
-  V(NumberBitwiseXor, Operator::kCommutative, 2)           \
-  V(NumberBitwiseAnd, Operator::kCommutative, 2)           \
-  V(NumberShiftLeft, Operator::kNoProperties, 2)           \
-  V(NumberShiftRight, Operator::kNoProperties, 2)          \
-  V(NumberShiftRightLogical, Operator::kNoProperties, 2)   \
-  V(NumberImul, Operator::kCommutative, 2)                 \
-  V(NumberAbs, Operator::kNoProperties, 1)                 \
-  V(NumberClz32, Operator::kNoProperties, 1)               \
-  V(NumberCeil, Operator::kNoProperties, 1)                \
-  V(NumberFloor, Operator::kNoProperties, 1)               \
-  V(NumberFround, Operator::kNoProperties, 1)              \
-  V(NumberAcos, Operator::kNoProperties, 1)                \
-  V(NumberAcosh, Operator::kNoProperties, 1)               \
-  V(NumberAsin, Operator::kNoProperties, 1)                \
-  V(NumberAsinh, Operator::kNoProperties, 1)               \
-  V(NumberAtan, Operator::kNoProperties, 1)                \
-  V(NumberAtan2, Operator::kNoProperties, 2)               \
-  V(NumberAtanh, Operator::kNoProperties, 1)               \
-  V(NumberCbrt, Operator::kNoProperties, 1)                \
-  V(NumberCos, Operator::kNoProperties, 1)                 \
-  V(NumberCosh, Operator::kNoProperties, 1)                \
-  V(NumberExp, Operator::kNoProperties, 1)                 \
-  V(NumberExpm1, Operator::kNoProperties, 1)               \
-  V(NumberLog, Operator::kNoProperties, 1)                 \
-  V(NumberLog1p, Operator::kNoProperties, 1)               \
-  V(NumberLog10, Operator::kNoProperties, 1)               \
-  V(NumberLog2, Operator::kNoProperties, 1)                \
-  V(NumberMax, Operator::kNoProperties, 2)                 \
-  V(NumberMin, Operator::kNoProperties, 2)                 \
-  V(NumberPow, Operator::kNoProperties, 2)                 \
-  V(NumberRound, Operator::kNoProperties, 1)               \
-  V(NumberSign, Operator::kNoProperties, 1)                \
-  V(NumberSin, Operator::kNoProperties, 1)                 \
-  V(NumberSinh, Operator::kNoProperties, 1)                \
-  V(NumberSqrt, Operator::kNoProperties, 1)                \
-  V(NumberTan, Operator::kNoProperties, 1)                 \
-  V(NumberTanh, Operator::kNoProperties, 1)                \
-  V(NumberTrunc, Operator::kNoProperties, 1)               \
-  V(NumberToInt32, Operator::kNoProperties, 1)             \
-  V(NumberToUint32, Operator::kNoProperties, 1)            \
-  V(NumberSilenceNaN, Operator::kNoProperties, 1)          \
-  V(StringFromCharCode, Operator::kNoProperties, 1)        \
-  V(PlainPrimitiveToNumber, Operator::kNoProperties, 1)    \
-  V(PlainPrimitiveToWord32, Operator::kNoProperties, 1)    \
-  V(PlainPrimitiveToFloat64, Operator::kNoProperties, 1)   \
-  V(ChangeTaggedSignedToInt32, Operator::kNoProperties, 1) \
-  V(ChangeTaggedToInt32, Operator::kNoProperties, 1)       \
-  V(ChangeTaggedToUint32, Operator::kNoProperties, 1)      \
-  V(ChangeTaggedToFloat64, Operator::kNoProperties, 1)     \
-  V(ChangeInt31ToTaggedSigned, Operator::kNoProperties, 1) \
-  V(ChangeInt32ToTagged, Operator::kNoProperties, 1)       \
-  V(ChangeUint32ToTagged, Operator::kNoProperties, 1)      \
-  V(ChangeFloat64ToTagged, Operator::kNoProperties, 1)     \
-  V(ChangeTaggedToBit, Operator::kNoProperties, 1)         \
-  V(ChangeBitToTagged, Operator::kNoProperties, 1)         \
-  V(TruncateTaggedToWord32, Operator::kNoProperties, 1)    \
-  V(TruncateTaggedToFloat64, Operator::kNoProperties, 1)   \
-  V(ObjectIsCallable, Operator::kNoProperties, 1)          \
-  V(ObjectIsNumber, Operator::kNoProperties, 1)            \
-  V(ObjectIsReceiver, Operator::kNoProperties, 1)          \
-  V(ObjectIsSmi, Operator::kNoProperties, 1)               \
-  V(ObjectIsString, Operator::kNoProperties, 1)            \
-  V(ObjectIsUndetectable, Operator::kNoProperties, 1)      \
-  V(StringEqual, Operator::kCommutative, 2)                \
-  V(StringLessThan, Operator::kNoProperties, 2)            \
-  V(StringLessThanOrEqual, Operator::kNoProperties, 2)
+#define PURE_OP_LIST(V)                                       \
+  V(BooleanNot, Operator::kNoProperties, 1, 0)                \
+  V(NumberEqual, Operator::kCommutative, 2, 0)                \
+  V(NumberLessThan, Operator::kNoProperties, 2, 0)            \
+  V(NumberLessThanOrEqual, Operator::kNoProperties, 2, 0)     \
+  V(NumberAdd, Operator::kCommutative, 2, 0)                  \
+  V(NumberSubtract, Operator::kNoProperties, 2, 0)            \
+  V(NumberMultiply, Operator::kCommutative, 2, 0)             \
+  V(NumberDivide, Operator::kNoProperties, 2, 0)              \
+  V(NumberModulus, Operator::kNoProperties, 2, 0)             \
+  V(NumberBitwiseOr, Operator::kCommutative, 2, 0)            \
+  V(NumberBitwiseXor, Operator::kCommutative, 2, 0)           \
+  V(NumberBitwiseAnd, Operator::kCommutative, 2, 0)           \
+  V(NumberShiftLeft, Operator::kNoProperties, 2, 0)           \
+  V(NumberShiftRight, Operator::kNoProperties, 2, 0)          \
+  V(NumberShiftRightLogical, Operator::kNoProperties, 2, 0)   \
+  V(NumberImul, Operator::kCommutative, 2, 0)                 \
+  V(NumberAbs, Operator::kNoProperties, 1, 0)                 \
+  V(NumberClz32, Operator::kNoProperties, 1, 0)               \
+  V(NumberCeil, Operator::kNoProperties, 1, 0)                \
+  V(NumberFloor, Operator::kNoProperties, 1, 0)               \
+  V(NumberFround, Operator::kNoProperties, 1, 0)              \
+  V(NumberAcos, Operator::kNoProperties, 1, 0)                \
+  V(NumberAcosh, Operator::kNoProperties, 1, 0)               \
+  V(NumberAsin, Operator::kNoProperties, 1, 0)                \
+  V(NumberAsinh, Operator::kNoProperties, 1, 0)               \
+  V(NumberAtan, Operator::kNoProperties, 1, 0)                \
+  V(NumberAtan2, Operator::kNoProperties, 2, 0)               \
+  V(NumberAtanh, Operator::kNoProperties, 1, 0)               \
+  V(NumberCbrt, Operator::kNoProperties, 1, 0)                \
+  V(NumberCos, Operator::kNoProperties, 1, 0)                 \
+  V(NumberCosh, Operator::kNoProperties, 1, 0)                \
+  V(NumberExp, Operator::kNoProperties, 1, 0)                 \
+  V(NumberExpm1, Operator::kNoProperties, 1, 0)               \
+  V(NumberLog, Operator::kNoProperties, 1, 0)                 \
+  V(NumberLog1p, Operator::kNoProperties, 1, 0)               \
+  V(NumberLog10, Operator::kNoProperties, 1, 0)               \
+  V(NumberLog2, Operator::kNoProperties, 1, 0)                \
+  V(NumberMax, Operator::kNoProperties, 2, 0)                 \
+  V(NumberMin, Operator::kNoProperties, 2, 0)                 \
+  V(NumberPow, Operator::kNoProperties, 2, 0)                 \
+  V(NumberRound, Operator::kNoProperties, 1, 0)               \
+  V(NumberSign, Operator::kNoProperties, 1, 0)                \
+  V(NumberSin, Operator::kNoProperties, 1, 0)                 \
+  V(NumberSinh, Operator::kNoProperties, 1, 0)                \
+  V(NumberSqrt, Operator::kNoProperties, 1, 0)                \
+  V(NumberTan, Operator::kNoProperties, 1, 0)                 \
+  V(NumberTanh, Operator::kNoProperties, 1, 0)                \
+  V(NumberTrunc, Operator::kNoProperties, 1, 0)               \
+  V(NumberToInt32, Operator::kNoProperties, 1, 0)             \
+  V(NumberToUint32, Operator::kNoProperties, 1, 0)            \
+  V(NumberSilenceNaN, Operator::kNoProperties, 1, 0)          \
+  V(StringCharCodeAt, Operator::kNoProperties, 2, 1)          \
+  V(StringFromCharCode, Operator::kNoProperties, 1, 0)        \
+  V(PlainPrimitiveToNumber, Operator::kNoProperties, 1, 0)    \
+  V(PlainPrimitiveToWord32, Operator::kNoProperties, 1, 0)    \
+  V(PlainPrimitiveToFloat64, Operator::kNoProperties, 1, 0)   \
+  V(ChangeTaggedSignedToInt32, Operator::kNoProperties, 1, 0) \
+  V(ChangeTaggedToInt32, Operator::kNoProperties, 1, 0)       \
+  V(ChangeTaggedToUint32, Operator::kNoProperties, 1, 0)      \
+  V(ChangeTaggedToFloat64, Operator::kNoProperties, 1, 0)     \
+  V(ChangeInt31ToTaggedSigned, Operator::kNoProperties, 1, 0) \
+  V(ChangeInt32ToTagged, Operator::kNoProperties, 1, 0)       \
+  V(ChangeUint32ToTagged, Operator::kNoProperties, 1, 0)      \
+  V(ChangeFloat64ToTagged, Operator::kNoProperties, 1, 0)     \
+  V(ChangeTaggedToBit, Operator::kNoProperties, 1, 0)         \
+  V(ChangeBitToTagged, Operator::kNoProperties, 1, 0)         \
+  V(TruncateTaggedToWord32, Operator::kNoProperties, 1, 0)    \
+  V(TruncateTaggedToFloat64, Operator::kNoProperties, 1, 0)   \
+  V(ObjectIsCallable, Operator::kNoProperties, 1, 0)          \
+  V(ObjectIsNumber, Operator::kNoProperties, 1, 0)            \
+  V(ObjectIsReceiver, Operator::kNoProperties, 1, 0)          \
+  V(ObjectIsSmi, Operator::kNoProperties, 1, 0)               \
+  V(ObjectIsString, Operator::kNoProperties, 1, 0)            \
+  V(ObjectIsUndetectable, Operator::kNoProperties, 1, 0)      \
+  V(StringEqual, Operator::kCommutative, 2, 0)                \
+  V(StringLessThan, Operator::kNoProperties, 2, 0)            \
+  V(StringLessThanOrEqual, Operator::kNoProperties, 2, 0)
 
 #define SPECULATIVE_BINOP_LIST(V) \
   V(SpeculativeNumberAdd)         \
   V(SpeculativeNumberSubtract)    \
   V(SpeculativeNumberDivide)      \
   V(SpeculativeNumberMultiply)    \
   V(SpeculativeNumberModulus)     \
   V(SpeculativeNumberShiftLeft)
 
 #define CHECKED_OP_LIST(V)       \
   V(CheckBounds, 2, 1)           \
   V(CheckIf, 1, 0)               \
   V(CheckNumber, 1, 1)           \
   V(CheckString, 1, 1)           \
   V(CheckTaggedPointer, 1, 1)    \
   V(CheckTaggedSigned, 1, 1)     \
   V(CheckedInt32Add, 2, 1)       \
   V(CheckedInt32Sub, 2, 1)       \
   V(CheckedInt32Div, 2, 1)       \
   V(CheckedInt32Mod, 2, 1)       \
   V(CheckedUint32Div, 2, 1)      \
   V(CheckedUint32Mod, 2, 1)      \
   V(CheckedUint32ToInt32, 1, 1)  \
   V(CheckedFloat64ToInt32, 1, 1) \
   V(CheckedTaggedToInt32, 1, 1)  \
   V(CheckedTaggedToFloat64, 1, 1)
 
 struct SimplifiedOperatorGlobalCache final {
-#define PURE(Name, properties, input_count)                                \
+#define PURE(Name, properties, value_input_count, control_input_count)     \
   struct Name##Operator final : public Operator {                          \
     Name##Operator()                                                       \
         : Operator(IrOpcode::k##Name, Operator::kPure | properties, #Name, \
-                   input_count, 0, 0, 1, 0, 0) {}                          \
+                   value_input_count, 0, control_input_count, 1, 0, 0) {}  \
   };                                                                       \
   Name##Operator k##Name;
   PURE_OP_LIST(PURE)
 #undef PURE
 
 #define CHECKED(Name, value_input_count, value_output_count)             \
   struct Name##Operator final : public Operator {                        \
     Name##Operator()                                                     \
         : Operator(IrOpcode::k##Name,                                    \
                    Operator::kFoldable | Operator::kNoThrow, #Name,      \
@@ skipping 79 matching lines @@
 };
 
 
 static base::LazyInstance<SimplifiedOperatorGlobalCache>::type kCache =
     LAZY_INSTANCE_INITIALIZER;
 
 
 SimplifiedOperatorBuilder::SimplifiedOperatorBuilder(Zone* zone)
     : cache_(kCache.Get()), zone_(zone) {}
 
-#define GET_FROM_CACHE(Name, properties, input_count) \
+#define GET_FROM_CACHE(Name, ...) \
   const Operator* SimplifiedOperatorBuilder::Name() { return &cache_.k##Name; }
 PURE_OP_LIST(GET_FROM_CACHE)
-#undef GET_FROM_CACHE
-
-#define GET_FROM_CACHE(Name, value_input_count, value_output_count) \
-  const Operator* SimplifiedOperatorBuilder::Name() { return &cache_.k##Name; }
 CHECKED_OP_LIST(GET_FROM_CACHE)
 #undef GET_FROM_CACHE
 
 const Operator* SimplifiedOperatorBuilder::CheckedInt32Mul(
     CheckForMinusZeroMode mode) {
   switch (mode) {
     case CheckForMinusZeroMode::kCheckForMinusZero:
       return &cache_.kCheckedInt32MulCheckForMinusZeroOperator;
     case CheckForMinusZeroMode::kDontCheckForMinusZero:
       return &cache_.kCheckedInt32MulDontCheckForMinusZeroOperator;
@@ skipping 127 matching lines @@
                         Operator::kNoDeopt | Operator::kNoThrow | properties,  \
                         #Name, value_input_count, 1, control_input_count,      \
                         output_count, 1, 0, access);                           \
   }
 ACCESS_OP_LIST(ACCESS)
 #undef ACCESS
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8