src/compiler/js-operator.cc

// Copyright 2014 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/js-operator.h"

#include <limits>

#include "src/base/lazy-instance.h"
#include "src/compiler/opcodes.h"
#include "src/compiler/operator.h"

namespace v8 {
namespace internal {
namespace compiler {

const CallFunctionParameters& CallFunctionParametersOf(const Operator* op) {
  DCHECK_EQ(IrOpcode::kJSCallFunction, op->opcode());
  return OpParameter<CallFunctionParameters>(op);
}


const CallRuntimeParameters& CallRuntimeParametersOf(const Operator* op) {
  DCHECK_EQ(IrOpcode::kJSCallRuntime, op->opcode());
  return OpParameter<CallRuntimeParameters>(op);
}


ContextAccess::ContextAccess(size_t depth, size_t index, bool immutable)
    : immutable_(immutable),
      depth_(static_cast<uint16_t>(depth)),
      index_(static_cast<uint32_t>(index)) {
  DCHECK(depth <= std::numeric_limits<uint16_t>::max());
  DCHECK(index <= std::numeric_limits<uint32_t>::max());
}


bool operator==(const ContextAccess& lhs, const ContextAccess& rhs) {
  return lhs.depth() == rhs.depth() && lhs.index() == rhs.index() &&
         lhs.immutable() == rhs.immutable();
}


bool operator!=(const ContextAccess& lhs, const ContextAccess& rhs) {
  return !(lhs == rhs);
}


const ContextAccess& ContextAccessOf(const Operator* op) {
  DCHECK(op->opcode() == IrOpcode::kJSLoadContext ||
         op->opcode() == IrOpcode::kJSStoreContext);
  return OpParameter<ContextAccess>(op);
}


const LoadNamedParameters& LoadNamedParametersOf(const Operator* op) {
  DCHECK_EQ(IrOpcode::kJSLoadNamed, op->opcode());
  return OpParameter<LoadNamedParameters>(op);
}


const StoreNamedParameters& StoreNamedParametersOf(const Operator* op) {
  DCHECK_EQ(IrOpcode::kJSStoreNamed, op->opcode());
  return OpParameter<StoreNamedParameters>(op);
}


// Specialization for static parameters of type {ContextAccess}.
template <>
struct StaticParameterTraits<ContextAccess> {
  static std::ostream& PrintTo(std::ostream& os, const ContextAccess& access) {
    return os << access.depth() << "," << access.index()
              << (access.immutable() ? ",imm" : "");
  }
  static int HashCode(const ContextAccess& access) {
    return static_cast<int>((access.depth() << 16) | (access.index() & 0xffff));
  }
  static bool Equals(const ContextAccess& lhs, const ContextAccess& rhs) {
    return lhs == rhs;
  }
};


// Specialization for static parameters of type {Runtime::FunctionId}.
template <>
struct StaticParameterTraits<Runtime::FunctionId> {
  static std::ostream& PrintTo(std::ostream& os, Runtime::FunctionId val) {
    const Runtime::Function* f = Runtime::FunctionForId(val);
    return os << (f->name ? f->name : "?Runtime?");
  }
  static int HashCode(Runtime::FunctionId val) { return static_cast<int>(val); }
  static bool Equals(Runtime::FunctionId a, Runtime::FunctionId b) {
    return a == b;
  }
};


#define SHARED_OP_LIST(V)                                 \
  V(Equal, Operator::kNoProperties, 2, 1)                 \
  V(NotEqual, Operator::kNoProperties, 2, 1)              \
  V(StrictEqual, Operator::kPure, 2, 1)                   \
  V(StrictNotEqual, Operator::kPure, 2, 1)                \
  V(LessThan, Operator::kNoProperties, 2, 1)              \
  V(GreaterThan, Operator::kNoProperties, 2, 1)           \
  V(LessThanOrEqual, Operator::kNoProperties, 2, 1)       \
  V(GreaterThanOrEqual, Operator::kNoProperties, 2, 1)    \
  V(BitwiseOr, Operator::kNoProperties, 2, 1)             \
  V(BitwiseXor, Operator::kNoProperties, 2, 1)            \
  V(BitwiseAnd, Operator::kNoProperties, 2, 1)            \
  V(ShiftLeft, Operator::kNoProperties, 2, 1)             \
  V(ShiftRight, Operator::kNoProperties, 2, 1)            \
  V(ShiftRightLogical, Operator::kNoProperties, 2, 1)     \
  V(Add, Operator::kNoProperties, 2, 1)                   \
  V(Subtract, Operator::kNoProperties, 2, 1)              \
  V(Multiply, Operator::kNoProperties, 2, 1)              \
  V(Divide, Operator::kNoProperties, 2, 1)                \
  V(Modulus, Operator::kNoProperties, 2, 1)               \
  V(UnaryNot, Operator::kNoProperties, 1, 1)              \
  V(ToBoolean, Operator::kNoProperties, 1, 1)             \
  V(ToNumber, Operator::kNoProperties, 1, 1)              \
  V(ToString, Operator::kNoProperties, 1, 1)              \
  V(ToName, Operator::kNoProperties, 1, 1)                \
  V(ToObject, Operator::kNoProperties, 1, 1)              \
  V(Yield, Operator::kNoProperties, 1, 1)                 \
  V(Create, Operator::kEliminatable, 0, 1)                \
  V(LoadProperty, Operator::kNoProperties, 2, 1)          \
  V(HasProperty, Operator::kNoProperties, 2, 1)           \
  V(TypeOf, Operator::kPure, 1, 1)                        \
  V(InstanceOf, Operator::kNoProperties, 2, 1)            \
  V(Debugger, Operator::kNoProperties, 0, 0)              \
  V(CreateFunctionContext, Operator::kNoProperties, 1, 1) \
  V(CreateWithContext, Operator::kNoProperties, 2, 1)     \
  V(CreateBlockContext, Operator::kNoProperties, 2, 1)    \
  V(CreateModuleContext, Operator::kNoProperties, 2, 1)   \
  V(CreateGlobalContext, Operator::kNoProperties, 2, 1)


struct JSOperatorBuilderImpl FINAL {
#define SHARED(Name, properties, value_input_count, value_output_count)      \
  struct Name##Operator FINAL : public SimpleOperator {                      \
    Name##Operator()                                                         \
        : SimpleOperator(IrOpcode::kJS##Name, properties, value_input_count, \
                         value_output_count, "JS" #Name) {}                  \
  };                                                                         \
  Name##Operator k##Name##Operator;
  SHARED_OP_LIST(SHARED)
#undef SHARED
};


static base::LazyInstance<JSOperatorBuilderImpl>::type kImpl =
    LAZY_INSTANCE_INITIALIZER;


JSOperatorBuilder::JSOperatorBuilder(Zone* zone)
    : impl_(kImpl.Get()), zone_(zone) {}


#define SHARED(Name, properties, value_input_count, value_output_count) \
  const Operator* JSOperatorBuilder::Name() { return &impl_.k##Name##Operator; }
SHARED_OP_LIST(SHARED)
#undef SHARED


const Operator* JSOperatorBuilder::CallFunction(size_t arity,
                                                CallFunctionFlags flags) {
  CallFunctionParameters parameters(arity, flags);
  return new (zone()) Operator1<CallFunctionParameters>(
      IrOpcode::kJSCallFunction, Operator::kNoProperties,
      static_cast<int>(parameters.arity()), 1, "JSCallFunction", parameters);
}


const Operator* JSOperatorBuilder::CallRuntime(Runtime::FunctionId id,
                                               size_t arity) {
  CallRuntimeParameters parameters(id, arity);
  const Runtime::Function* f = Runtime::FunctionForId(parameters.id());
  int arguments = static_cast<int>(parameters.arity());
  DCHECK(f->nargs == -1 || f->nargs == arguments);
  return new (zone()) Operator1<CallRuntimeParameters>(
      IrOpcode::kJSCallRuntime, Operator::kNoProperties, arguments,
      f->result_size, "JSCallRuntime", parameters);
}


const Operator* JSOperatorBuilder::CallConstruct(int arguments) {
  return new (zone())
      Operator1<int>(IrOpcode::kJSCallConstruct, Operator::kNoProperties,
                     arguments, 1, "JSCallConstruct", arguments);
}


const Operator* JSOperatorBuilder::LoadNamed(const Unique<Name>& name,
                                             ContextualMode contextual_mode) {
  LoadNamedParameters parameters(name, contextual_mode);
  return new (zone()) Operator1<LoadNamedParameters>(
      IrOpcode::kJSLoadNamed, Operator::kNoProperties, 1, 1, "JSLoadNamed",
      parameters);
}


const Operator* JSOperatorBuilder::StoreProperty(StrictMode strict_mode) {
  return new (zone())
      Operator1<StrictMode>(IrOpcode::kJSStoreProperty, Operator::kNoProperties,
                            3, 0, "JSStoreProperty", strict_mode);
}


const Operator* JSOperatorBuilder::StoreNamed(StrictMode strict_mode,
                                              const Unique<Name>& name) {
  StoreNamedParameters parameters(strict_mode, name);
  return new (zone()) Operator1<StoreNamedParameters>(
      IrOpcode::kJSStoreNamed, Operator::kNoProperties, 2, 0, "JSStoreNamed",
      parameters);
}


const Operator* JSOperatorBuilder::DeleteProperty(StrictMode strict_mode) {
  return new (zone()) Operator1<StrictMode>(IrOpcode::kJSDeleteProperty,
                                            Operator::kNoProperties, 2, 1,
                                            "JSDeleteProperty", strict_mode);
}


const Operator* JSOperatorBuilder::LoadContext(size_t depth, size_t index,
                                               bool immutable) {
  ContextAccess access(depth, index, immutable);
  return new (zone()) Operator1<ContextAccess>(
      IrOpcode::kJSLoadContext, Operator::kEliminatable | Operator::kNoWrite, 1,
      1, "JSLoadContext", access);
}


const Operator* JSOperatorBuilder::StoreContext(size_t depth, size_t index) {
  ContextAccess access(depth, index, false);
  return new (zone()) Operator1<ContextAccess>(IrOpcode::kJSStoreContext,
                                               Operator::kNoProperties, 2, 0,
                                               "JSStoreContext", access);
}


const Operator* JSOperatorBuilder::CreateCatchContext(
    const Unique<String>& name) {
  return new (zone()) Operator1<Unique<String> >(
      IrOpcode::kJSCreateCatchContext, Operator::kNoProperties, 1, 1,
      "JSCreateCatchContext", name);
}

}  // namespace compiler
}  // namespace internal
}  // namespace v8