webkitgtk-2.16.5HEADwebkitgtk-2.16.5master

1 files changed, 276 insertions, 0 deletions

diff --git a/Source/JavaScriptCore/wasm/WasmParser.h b/Source/JavaScriptCore/wasm/WasmParser.h
new file mode 100644
index 000000000..6a58d8835
--- /dev/null
+++ b/Source/JavaScriptCore/wasm/WasmParser.h
@@ -0,0 +1,276 @@
+/*
+ * Copyright (C) 2016 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
+
+#if ENABLE(WEBASSEMBLY)
+
+#include "B3Compilation.h"
+#include "B3Procedure.h"
+#include "WasmFormat.h"
+#include "WasmOps.h"
+#include "WasmSections.h"
+#include <type_traits>
+#include <wtf/Expected.h>
+#include <wtf/LEBDecoder.h>
+#include <wtf/StdLibExtras.h>
+#include <wtf/text/WTFString.h>
+
+namespace JSC { namespace Wasm {
+
+namespace FailureHelper {
+// FIXME We should move this to makeString. It's in its own namespace to enable C++ Argument Dependent Lookup à la std::swap: user code can deblare its own "boxFailure" and the fail() helper will find it.
+static inline auto makeString(const char *failure) { return ASCIILiteral(failure); }
+template <typename Int, typename = typename std::enable_if<std::is_integral<Int>::value>::type>
+static inline auto makeString(Int failure) { return String::number(failure); }
+}
+
+template<typename SuccessType>
+class Parser {
+public:
+    typedef String ErrorType;
+    typedef UnexpectedType<ErrorType> UnexpectedResult;
+    typedef Expected<void, ErrorType> PartialResult;
+    typedef Expected<SuccessType, ErrorType> Result;
+
+protected:
+    Parser(VM*, const uint8_t*, size_t);
+
+    bool WARN_UNUSED_RETURN consumeCharacter(char);
+    bool WARN_UNUSED_RETURN consumeString(const char*);
+    bool WARN_UNUSED_RETURN consumeUTF8String(String&, size_t);
+
+    bool WARN_UNUSED_RETURN parseVarUInt1(uint8_t&);
+    bool WARN_UNUSED_RETURN parseInt7(int8_t&);
+    bool WARN_UNUSED_RETURN parseUInt7(uint8_t&);
+    bool WARN_UNUSED_RETURN parseUInt8(uint8_t&);
+    bool WARN_UNUSED_RETURN parseUInt32(uint32_t&);
+    bool WARN_UNUSED_RETURN parseUInt64(uint64_t&);
+    bool WARN_UNUSED_RETURN parseVarUInt32(uint32_t&);
+    bool WARN_UNUSED_RETURN parseVarUInt64(uint64_t&);
+
+    bool WARN_UNUSED_RETURN parseVarInt32(int32_t&);
+    bool WARN_UNUSED_RETURN parseVarInt64(int64_t&);
+
+    bool WARN_UNUSED_RETURN parseResultType(Type&);
+    bool WARN_UNUSED_RETURN parseValueType(Type&);
+    bool WARN_UNUSED_RETURN parseExternalKind(ExternalKind&);
+
+    const uint8_t* source() const { return m_source; }
+    size_t length() const { return m_sourceLength; }
+
+    VM* m_vm;
+    size_t m_offset = 0;
+
+    template <typename ...Args>
+    NEVER_INLINE UnexpectedResult WARN_UNUSED_RETURN fail(Args... args) const
+    {
+        using namespace FailureHelper; // See ADL comment in namespace above.
+        return UnexpectedResult(makeString(ASCIILiteral("WebAssembly.Module doesn't parse at byte "), String::number(m_offset), ASCIILiteral(" / "), String::number(m_sourceLength), ASCIILiteral(": "), makeString(args)...));
+    }
+#define WASM_PARSER_FAIL_IF(condition, ...) do { \
+    if (UNLIKELY(condition))                     \
+        return fail(__VA_ARGS__);                \
+    } while (0)
+
+#define WASM_FAIL_IF_HELPER_FAILS(helper) do {   \
+        auto helperResult = helper;              \
+        if (UNLIKELY(!helperResult))             \
+            return helperResult.getUnexpected(); \
+    } while (0)
+
+private:
+    const uint8_t* m_source;
+    size_t m_sourceLength;
+};
+
+template<typename SuccessType>
+ALWAYS_INLINE Parser<SuccessType>::Parser(VM* vm, const uint8_t* sourceBuffer, size_t sourceLength)
+    : m_vm(vm)
+    , m_source(sourceBuffer)
+    , m_sourceLength(sourceLength)
+{
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::consumeCharacter(char c)
+{
+    if (m_offset >= length())
+        return false;
+    if (c == source()[m_offset]) {
+        m_offset++;
+        return true;
+    }
+    return false;
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::consumeString(const char* str)
+{
+    unsigned start = m_offset;
+    if (m_offset >= length())
+        return false;
+    for (size_t i = 0; str[i]; i++) {
+        if (!consumeCharacter(str[i])) {
+            m_offset = start;
+            return false;
+        }
+    }
+    return true;
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::consumeUTF8String(String& result, size_t stringLength)
+{
+    if (stringLength == 0) {
+        result = emptyString();
+        return true;
+    }
+    if (length() < stringLength || m_offset > length() - stringLength)
+        return false;
+    result = String::fromUTF8(static_cast<const LChar*>(&source()[m_offset]), stringLength);
+    m_offset += stringLength;
+    if (result.isEmpty())
+        return false;
+    return true;
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::parseVarUInt32(uint32_t& result)
+{
+    return WTF::LEBDecoder::decodeUInt32(m_source, m_sourceLength, m_offset, result);
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::parseVarUInt64(uint64_t& result)
+{
+    return WTF::LEBDecoder::decodeUInt64(m_source, m_sourceLength, m_offset, result);
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::parseVarInt32(int32_t& result)
+{
+    return WTF::LEBDecoder::decodeInt32(m_source, m_sourceLength, m_offset, result);
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::parseVarInt64(int64_t& result)
+{
+    return WTF::LEBDecoder::decodeInt64(m_source, m_sourceLength, m_offset, result);
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::parseUInt32(uint32_t& result)
+{
+    if (length() < 4 || m_offset > length() - 4)
+        return false;
+    result = *reinterpret_cast<const uint32_t*>(source() + m_offset);
+    m_offset += 4;
+    return true;
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::parseUInt64(uint64_t& result)
+{
+    if (length() < 8 || m_offset > length() - 8)
+        return false;
+    result = *reinterpret_cast<const uint64_t*>(source() + m_offset);
+    m_offset += 8;
+    return true;
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::parseUInt8(uint8_t& result)
+{
+    if (m_offset >= length())
+        return false;
+    result = source()[m_offset++];
+    return true;
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::parseInt7(int8_t& result)
+{
+    if (m_offset >= length())
+        return false;
+    uint8_t v = source()[m_offset++];
+    result = (v & 0x40) ? WTF::bitwise_cast<int8_t>(uint8_t(v | 0x80)) : v;
+    return (v & 0x80) == 0;
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::parseUInt7(uint8_t& result)
+{
+    if (m_offset >= length())
+        return false;
+    result = source()[m_offset++];
+    return result < 0x80;
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::parseVarUInt1(uint8_t& result)
+{
+    uint32_t temp;
+    if (!parseVarUInt32(temp))
+        return false;
+    if (temp > 1)
+        return false;
+    result = static_cast<uint8_t>(temp);
+    return true;
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::parseResultType(Type& result)
+{
+    int8_t value;
+    if (!parseInt7(value))
+        return false;
+    if (!isValidType(value))
+        return false;
+    result = static_cast<Type>(value);
+    return true;
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::parseValueType(Type& result)
+{
+    return parseResultType(result) && isValueType(result);
+}
+
+template<typename SuccessType>
+ALWAYS_INLINE bool Parser<SuccessType>::parseExternalKind(ExternalKind& result)
+{
+    uint8_t value;
+    if (!parseUInt7(value))
+        return false;
+    if (!isValidExternalKind(value))
+        return false;
+    result = static_cast<ExternalKind>(value);
+    return true;
+}
+
+} } // namespace JSC::Wasm
+
+#endif // ENABLE(WEBASSEMBLY)