81c2b6b93cce16ff05eaafda30331b1d491f11ea
[WebKit-https.git] / Source / JavaScriptCore / wasm / js / JSWebAssemblyModule.cpp
1 /*
2  * Copyright (C) 2016-2017 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
24  */
25
26 #include "config.h"
27 #include "JSWebAssemblyModule.h"
28
29 #if ENABLE(WEBASSEMBLY)
30
31 #include "JSCInlines.h"
32 #include "JSWebAssemblyCodeBlock.h"
33 #include "JSWebAssemblyCompileError.h"
34 #include "JSWebAssemblyMemory.h"
35 #include "WasmCallee.h"
36 #include "WasmFormat.h"
37 #include "WasmMemory.h"
38 #include "WasmPlan.h"
39 #include "WebAssemblyToJSCallee.h"
40 #include <wtf/StdLibExtras.h>
41
42 namespace JSC {
43
44 const ClassInfo JSWebAssemblyModule::s_info = { "WebAssembly.Module", &Base::s_info, nullptr, CREATE_METHOD_TABLE(JSWebAssemblyModule) };
45
46 JSWebAssemblyModule* JSWebAssemblyModule::createStub(VM& vm, ExecState* exec, Structure* structure, RefPtr<ArrayBuffer>&& source, RefPtr<Wasm::Plan>&& plan)
47 {
48     ASSERT(!plan->hasWork());
49     auto scope = DECLARE_THROW_SCOPE(vm);
50     if (plan->failed()) {
51         throwException(exec, scope, JSWebAssemblyCompileError::create(exec, vm, structure->globalObject()->WebAssemblyCompileErrorStructure(), plan->errorMessage()));
52         return nullptr;
53     }
54
55     auto* module = new (NotNull, allocateCell<JSWebAssemblyModule>(vm.heap)) JSWebAssemblyModule(vm, structure, WTFMove(source));
56     module->finishCreation(vm, WTFMove(plan));
57     return module;
58 }
59
60 Structure* JSWebAssemblyModule::createStructure(VM& vm, JSGlobalObject* globalObject, JSValue prototype)
61 {
62     return Structure::create(vm, globalObject, prototype, TypeInfo(ObjectType, StructureFlags), info());
63 }
64
65 JSWebAssemblyModule::JSWebAssemblyModule(VM& vm, Structure* structure, RefPtr<ArrayBuffer>&& source)
66     : Base(vm, structure)
67     , m_sourceBuffer(source.releaseNonNull())
68 {
69 }
70
71 void JSWebAssemblyModule::finishCreation(VM& vm, RefPtr<Wasm::Plan>&& plan)
72 {
73     Base::finishCreation(vm);
74     ASSERT(inherits(vm, info()));
75
76     std::unique_ptr<Wasm::ModuleInformation> moduleInformation = plan->takeModuleInformation();
77     for (auto& exp : moduleInformation->exports) {
78         ASSERT(exp.field.isSafeToSendToAnotherThread());
79         exp.field = AtomicString(exp.field);
80     }
81     for (auto& imp : moduleInformation->imports) {
82         ASSERT(imp.field.isSafeToSendToAnotherThread());
83         imp.field = AtomicString(imp.field);
84         ASSERT(imp.module.isSafeToSendToAnotherThread());
85         imp.module = AtomicString(imp.module);
86     }
87
88     m_moduleInformation = WTFMove(moduleInformation);
89
90     // On success, a new WebAssembly.Module object is returned with [[Module]] set to the validated Ast.module.
91     SymbolTable* exportSymbolTable = SymbolTable::create(vm);
92     for (auto& exp : m_moduleInformation->exports) {
93         auto offset = exportSymbolTable->takeNextScopeOffset(NoLockingNecessary);
94         ASSERT(exp.field.impl()->isAtomic());
95         exportSymbolTable->set(NoLockingNecessary, static_cast<AtomicStringImpl*>(exp.field.impl()), SymbolTableEntry(VarOffset(offset)));
96     }
97
98     m_exportSymbolTable.set(vm, this, exportSymbolTable);
99     m_callee.set(vm, this, WebAssemblyToJSCallee::create(vm, vm.webAssemblyToJSCalleeStructure.get(), this));
100 }
101
102 void JSWebAssemblyModule::destroy(JSCell* cell)
103 {
104     static_cast<JSWebAssemblyModule*>(cell)->JSWebAssemblyModule::~JSWebAssemblyModule();
105     Wasm::SignatureInformation::tryCleanup();
106 }
107
108 void JSWebAssemblyModule::setCodeBlock(VM& vm, Wasm::MemoryMode mode, JSWebAssemblyCodeBlock* codeBlock)
109 {
110     m_codeBlocks[static_cast<size_t>(mode)].set(vm, this, codeBlock);
111 }
112
113 void JSWebAssemblyModule::visitChildren(JSCell* cell, SlotVisitor& visitor)
114 {
115     JSWebAssemblyModule* thisObject = jsCast<JSWebAssemblyModule*>(cell);
116     ASSERT_GC_OBJECT_INHERITS(thisObject, info());
117
118     Base::visitChildren(thisObject, visitor);
119     visitor.append(thisObject->m_exportSymbolTable);
120     visitor.append(thisObject->m_callee);
121     for (unsigned i = 0; i < Wasm::NumberOfMemoryModes; ++i)
122         visitor.append(thisObject->m_codeBlocks[i]);
123 }
124
125 } // namespace JSC
126
127 #endif // ENABLE(WEBASSEMBLY)