blob: a44b6e38a782c20cdfbfdab7285de1b4efb1d826 [file] [log] [blame]
/*
* Copyright (C) 2018-2019 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
* PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
* OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#pragma once
#include "JSCell.h"
namespace JSC {
template<typename To, typename From>
inline To jsCast(From* from)
{
static_assert(std::is_base_of<JSCell, typename std::remove_pointer<To>::type>::value && std::is_base_of<JSCell, typename std::remove_pointer<From>::type>::value, "JS casting expects that the types you are casting to/from are subclasses of JSCell");
#if (ASSERT_ENABLED || ENABLE(SECURITY_ASSERTIONS)) && CPU(X86_64)
if (from && !from->JSCell::inherits(std::remove_pointer<To>::type::info()))
reportZappedCellAndCrash(*from->JSCell::heap(), from);
#else
ASSERT_WITH_SECURITY_IMPLICATION(!from || from->JSCell::inherits(std::remove_pointer<To>::type::info()));
#endif
return static_cast<To>(from);
}
template<typename To>
inline To jsCast(JSValue from)
{
static_assert(std::is_base_of<JSCell, typename std::remove_pointer<To>::type>::value, "JS casting expects that the types you are casting to is a subclass of JSCell");
#if (ASSERT_ENABLED || ENABLE(SECURITY_ASSERTIONS)) && CPU(X86_64)
ASSERT_WITH_SECURITY_IMPLICATION(from.isCell());
JSCell* cell = from.asCell();
if (!cell->JSCell::inherits(std::remove_pointer<To>::type::info()))
reportZappedCellAndCrash(*cell->JSCell::heap(), cell);
#else
ASSERT_WITH_SECURITY_IMPLICATION(from.isCell() && from.asCell()->JSCell::inherits(std::remove_pointer<To>::type::info()));
#endif
return static_cast<To>(from.asCell());
}
// The first and last JSType are inclusive
struct JSTypeRange {
bool contains(JSType type) const { return first <= type && type <= last; }
JSType first;
JSType last;
};
// Specific type overloads.
template<typename>
class JSGenericTypedArrayView;
template<typename>
class JSGenericResizableOrGrowableSharedTypedArrayView;
struct Int8Adaptor;
struct Int16Adaptor;
struct Int32Adaptor;
struct Uint8Adaptor;
struct Uint16Adaptor;
struct Uint32Adaptor;
struct Uint8ClampedAdaptor;
struct Float32Adaptor;
struct Float64Adaptor;
struct BigInt64Adaptor;
struct BigUint64Adaptor;
using JSInt8Array = JSGenericTypedArrayView<Int8Adaptor>;
using JSInt16Array = JSGenericTypedArrayView<Int16Adaptor>;
using JSInt32Array = JSGenericTypedArrayView<Int32Adaptor>;
using JSUint8Array = JSGenericTypedArrayView<Uint8Adaptor>;
using JSUint8ClampedArray = JSGenericTypedArrayView<Uint8ClampedAdaptor>;
using JSUint16Array = JSGenericTypedArrayView<Uint16Adaptor>;
using JSUint32Array = JSGenericTypedArrayView<Uint32Adaptor>;
using JSFloat32Array = JSGenericTypedArrayView<Float32Adaptor>;
using JSFloat64Array = JSGenericTypedArrayView<Float64Adaptor>;
using JSBigInt64Array = JSGenericTypedArrayView<BigInt64Adaptor>;
using JSBigUint64Array = JSGenericTypedArrayView<BigUint64Adaptor>;
using JSResizableOrGrowableSharedInt8Array = JSGenericResizableOrGrowableSharedTypedArrayView<Int8Adaptor>;
using JSResizableOrGrowableSharedInt16Array = JSGenericResizableOrGrowableSharedTypedArrayView<Int16Adaptor>;
using JSResizableOrGrowableSharedInt32Array = JSGenericResizableOrGrowableSharedTypedArrayView<Int32Adaptor>;
using JSResizableOrGrowableSharedUint8Array = JSGenericResizableOrGrowableSharedTypedArrayView<Uint8Adaptor>;
using JSResizableOrGrowableSharedUint8ClampedArray = JSGenericResizableOrGrowableSharedTypedArrayView<Uint8ClampedAdaptor>;
using JSResizableOrGrowableSharedUint16Array = JSGenericResizableOrGrowableSharedTypedArrayView<Uint16Adaptor>;
using JSResizableOrGrowableSharedUint32Array = JSGenericResizableOrGrowableSharedTypedArrayView<Uint32Adaptor>;
using JSResizableOrGrowableSharedFloat32Array = JSGenericResizableOrGrowableSharedTypedArrayView<Float32Adaptor>;
using JSResizableOrGrowableSharedFloat64Array = JSGenericResizableOrGrowableSharedTypedArrayView<Float64Adaptor>;
using JSResizableOrGrowableSharedBigInt64Array = JSGenericResizableOrGrowableSharedTypedArrayView<BigInt64Adaptor>;
using JSResizableOrGrowableSharedBigUint64Array = JSGenericResizableOrGrowableSharedTypedArrayView<BigUint64Adaptor>;
#define FOR_EACH_JS_DYNAMIC_CAST_JS_TYPE_OVERLOAD_NON_FORWARD_DECLARED(macro) \
/* TypedArrays are typedef, thus, we cannot use `class` forward declaration */ \
macro(JSInt8Array, JSType::Int8ArrayType, JSType::Int8ArrayType) \
macro(JSUint8Array, JSType::Uint8ArrayType, JSType::Uint8ArrayType) \
macro(JSUint8ClampedArray, JSType::Uint8ClampedArrayType, JSType::Uint8ClampedArrayType) \
macro(JSInt16Array, JSType::Int16ArrayType, JSType::Int16ArrayType) \
macro(JSUint16Array, JSType::Uint16ArrayType, JSType::Uint16ArrayType) \
macro(JSInt32Array, JSType::Int32ArrayType, JSType::Int32ArrayType) \
macro(JSUint32Array, JSType::Uint32ArrayType, JSType::Uint32ArrayType) \
macro(JSFloat32Array, JSType::Float32ArrayType, JSType::Float32ArrayType) \
macro(JSFloat64Array, JSType::Float64ArrayType, JSType::Float64ArrayType) \
macro(JSBigInt64Array, JSType::BigInt64ArrayType, JSType::BigInt64ArrayType) \
macro(JSBigUint64Array, JSType::BigUint64ArrayType, JSType::BigUint64ArrayType) \
#define FOR_EACH_JS_DYNAMIC_CAST_JS_TYPE_OVERLOAD_FORWARD_DECLARED(macro) \
macro(JSImmutableButterfly, JSType::JSImmutableButterflyType, JSType::JSImmutableButterflyType) \
macro(JSStringIterator, JSType::JSStringIteratorType, JSType::JSStringIteratorType) \
macro(JSString, JSType::StringType, JSType::StringType) \
macro(JSBigInt, JSType::HeapBigIntType, JSType::HeapBigIntType) \
macro(Symbol, JSType::SymbolType, JSType::SymbolType) \
macro(JSObject, FirstObjectType, LastObjectType) \
macro(JSFinalObject, JSType::FinalObjectType, JSType::FinalObjectType) \
macro(JSFunction, JSType::JSFunctionType, JSType::JSFunctionType) \
macro(InternalFunction, JSType::InternalFunctionType, JSType::NullSetterFunctionType) \
macro(NullSetterFunction, JSType::NullSetterFunctionType, JSType::NullSetterFunctionType) \
macro(JSArray, JSType::ArrayType, JSType::DerivedArrayType) \
macro(JSArrayIterator, JSType::JSArrayIteratorType, JSType::JSArrayIteratorType) \
macro(JSArrayBuffer, JSType::ArrayBufferType, JSType::ArrayBufferType) \
macro(JSArrayBufferView, FirstTypedArrayType, LastTypedArrayType) \
macro(JSPromise, JSType::JSPromiseType, JSType::JSPromiseType) \
macro(JSGlobalProxy, JSType::GlobalProxyType, JSType::GlobalProxyType) \
macro(JSSet, JSType::JSSetType, JSType::JSSetType) \
macro(JSMap, JSType::JSMapType, JSType::JSMapType) \
macro(JSWeakSet, JSType::JSWeakSetType, JSType::JSWeakSetType) \
macro(JSWeakMap, JSType::JSWeakMapType, JSType::JSWeakMapType) \
macro(NumberObject, JSType::NumberObjectType, JSType::NumberObjectType) \
macro(ProxyObject, JSType::ProxyObjectType, JSType::ProxyObjectType) \
macro(RegExpObject, JSType::RegExpObjectType, JSType::RegExpObjectType) \
macro(JSWebAssemblyModule, JSType::WebAssemblyModuleType, JSType::WebAssemblyModuleType) \
macro(JSWebAssemblyInstance, JSType::WebAssemblyInstanceType, JSType::WebAssemblyInstanceType) \
macro(DirectArguments, JSType::DirectArgumentsType, JSType::DirectArgumentsType) \
macro(FunctionExecutable, JSType::FunctionExecutableType, JSType::FunctionExecutableType) \
macro(ScopedArguments, JSType::ScopedArgumentsType, JSType::ScopedArgumentsType) \
macro(ClonedArguments, JSType::ClonedArgumentsType, JSType::ClonedArgumentsType) \
macro(JSGlobalObject, JSType::GlobalObjectType, JSType::GlobalObjectType) \
macro(JSGlobalLexicalEnvironment, JSType::GlobalLexicalEnvironmentType, JSType::GlobalLexicalEnvironmentType) \
macro(JSSegmentedVariableObject, JSType::GlobalObjectType, JSType::GlobalLexicalEnvironmentType) \
macro(JSModuleEnvironment, JSType::ModuleEnvironmentType, JSType::ModuleEnvironmentType) \
macro(JSLexicalEnvironment, JSType::LexicalEnvironmentType, JSType::ModuleEnvironmentType) \
macro(JSSymbolTableObject, JSType::GlobalObjectType, JSType::ModuleEnvironmentType) \
macro(JSScope, FirstScopeType, LastScopeType) \
macro(StringObject, JSType::StringObjectType, JSType::DerivedStringObjectType) \
macro(ShadowRealmObject, JSType::ShadowRealmType, JSType::ShadowRealmType) \
macro(JSDataView, JSType::DataViewType, JSType::DataViewType) \
#define FOR_EACH_JS_DYNAMIC_CAST_JS_TYPE_OVERLOAD(macro) \
FOR_EACH_JS_DYNAMIC_CAST_JS_TYPE_OVERLOAD_FORWARD_DECLARED(macro) \
FOR_EACH_JS_DYNAMIC_CAST_JS_TYPE_OVERLOAD_NON_FORWARD_DECLARED(macro) \
// Forward declare the classes because they may not already exist.
#define FORWARD_DECLARE_OVERLOAD_CLASS(className, jsType, op) class className;
FOR_EACH_JS_DYNAMIC_CAST_JS_TYPE_OVERLOAD_FORWARD_DECLARED(FORWARD_DECLARE_OVERLOAD_CLASS)
#undef FORWARD_DECLARE_OVERLOAD_CLASS
namespace JSCastingHelpers {
template<bool isFinal>
struct FinalTypeDispatcher {
template<typename Target, typename From>
static inline bool inheritsGeneric(From* from)
{
static_assert(!std::is_same<JSObject*, Target*>::value, "This ensures our overloads work");
static_assert(std::is_base_of<JSCell, Target>::value && std::is_base_of<JSCell, typename std::remove_pointer<From>::type>::value, "JS casting expects that the types you are casting to/from are subclasses of JSCell");
// Do not use inherits<Target>() since inherits<T> depends on this function.
return from->JSCell::inherits(Target::info());
}
};
template<>
struct FinalTypeDispatcher</* isFinal */ true> {
template<typename Target, typename From>
static inline bool inheritsGeneric(From* from)
{
static_assert(!std::is_same<JSObject*, Target*>::value, "This ensures our overloads work");
static_assert(std::is_base_of<JSCell, Target>::value && std::is_base_of<JSCell, typename std::remove_pointer<From>::type>::value, "JS casting expects that the types you are casting to/from are subclasses of JSCell");
static_assert(std::is_final<Target>::value, "Target is a final type");
bool canCast = from->JSCell::classInfo() == Target::info();
// Do not use inherits<Target>() since inherits<T> depends on this function.
ASSERT(canCast == from->JSCell::inherits(Target::info()));
return canCast;
}
};
template<typename Target, typename From>
inline bool inheritsJSTypeImpl(From* from, JSTypeRange range)
{
static_assert(std::is_base_of<JSCell, Target>::value && std::is_base_of<JSCell, typename std::remove_pointer<From>::type>::value, "JS casting expects that the types you are casting to/from are subclasses of JSCell");
bool canCast = range.contains(from->type());
// Do not use inherits<Target>() since inherits<T> depends on this function.
ASSERT(canCast == from->JSCell::inherits(Target::info()));
return canCast;
}
// C++ has bad syntax so we need to use this struct because C++ doesn't have a
// way to say that we are overloading just the first type in a template list...
template<typename Target>
struct InheritsTraits {
static constexpr std::optional<JSTypeRange> typeRange { std::nullopt };
template<typename From>
static inline bool inherits(From* from) { return FinalTypeDispatcher<std::is_final<Target>::value>::template inheritsGeneric<Target>(from); }
};
#define DEFINE_TRAITS_FOR_JS_TYPE_OVERLOAD(className, firstJSType, lastJSType) \
template<> \
struct InheritsTraits<className> { \
static constexpr std::optional<JSTypeRange> typeRange { { static_cast<JSType>(firstJSType), static_cast<JSType>(lastJSType) } }; \
template<typename From> \
static inline bool inherits(From* from) { return inheritsJSTypeImpl<className, From>(from, *typeRange); } \
}; \
FOR_EACH_JS_DYNAMIC_CAST_JS_TYPE_OVERLOAD(DEFINE_TRAITS_FOR_JS_TYPE_OVERLOAD)
#undef DEFINE_TRAITS_FOR_JS_TYPE_OVERLOAD
template<typename Target, typename From>
bool inherits(From* from)
{
using Dispatcher = InheritsTraits<Target>;
return Dispatcher::template inherits(from);
}
} // namespace JSCastingHelpers
template<typename To, typename From>
To jsDynamicCast(From* from)
{
using Dispatcher = JSCastingHelpers::InheritsTraits<typename std::remove_cv<typename std::remove_pointer<To>::type>::type>;
if (LIKELY(Dispatcher::template inherits(from)))
return static_cast<To>(from);
return nullptr;
}
template<typename To>
To jsDynamicCast(JSValue from)
{
if (UNLIKELY(!from.isCell()))
return nullptr;
return jsDynamicCast<To>(from.asCell());
}
template<typename To, typename From>
To jsSecureCast(From from)
{
auto* result = jsDynamicCast<To>(from);
RELEASE_ASSERT_WITH_SECURITY_IMPLICATION(result);
return result;
}
}