v8
V8 is Google’s open source high-performance JavaScript and WebAssembly engine, written in C++.
Loading...
Searching...
No Matches
well-known-imports.cc
Go to the documentation of this file.
1// Copyright 2023 the V8 project authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5#include "src/wasm/well-known-imports.h"
6
7namespace v8::internal::wasm {
8
9const char* WellKnownImportName(WellKnownImport wki) {
10 switch (wki) {
11 // Generic:
12 case WellKnownImport::kUninstantiated:
13 return "uninstantiated";
14 case WellKnownImport::kGeneric:
15 return "generic";
16 case WellKnownImport::kLinkError:
17 return "LinkError";
18
19 // DataView methods:
20 case WellKnownImport::kDataViewGetBigInt64:
21 return "DataView.getBigInt64";
22 case WellKnownImport::kDataViewGetBigUint64:
23 return "DataView.getBigUint64";
24 case WellKnownImport::kDataViewGetFloat32:
25 return "DataView.getFloat32";
26 case WellKnownImport::kDataViewGetFloat64:
27 return "DataView.getFloat64";
28 case WellKnownImport::kDataViewGetInt8:
29 return "DataView.getInt8";
30 case WellKnownImport::kDataViewGetInt16:
31 return "DataView.getInt16";
32 case WellKnownImport::kDataViewGetInt32:
33 return "DataView.getInt32";
34 case WellKnownImport::kDataViewGetUint8:
35 return "DataView.getUint8";
36 case WellKnownImport::kDataViewGetUint16:
37 return "DataView.getUint16";
38 case WellKnownImport::kDataViewGetUint32:
39 return "DataView.getUint32";
40 case WellKnownImport::kDataViewSetBigInt64:
41 return "DataView.setBigInt64";
42 case WellKnownImport::kDataViewSetBigUint64:
43 return "DataView.setBigUint64";
44 case WellKnownImport::kDataViewSetFloat32:
45 return "DataView.setFloat32";
46 case WellKnownImport::kDataViewSetFloat64:
47 return "DataView.setFloat64";
48 case WellKnownImport::kDataViewSetInt8:
49 return "DataView.setInt8";
50 case WellKnownImport::kDataViewSetInt16:
51 return "DataView.setInt16";
52 case WellKnownImport::kDataViewSetInt32:
53 return "DataView.setInt32";
54 case WellKnownImport::kDataViewSetUint8:
55 return "DataView.setUint8";
56 case WellKnownImport::kDataViewSetUint16:
57 return "DataView.setUint16";
58 case WellKnownImport::kDataViewSetUint32:
59 return "DataView.setUint32";
60 case WellKnownImport::kDataViewByteLength:
61 return "DataView.byteLength";
62
63 // Math functions.
64 case WellKnownImport::kMathF64Acos:
65 return "Math.acos";
66 case WellKnownImport::kMathF64Asin:
67 return "Math.asin";
68 case WellKnownImport::kMathF64Atan:
69 return "Math.atan";
70 case WellKnownImport::kMathF64Atan2:
71 return "Math.atan2";
72 case WellKnownImport::kMathF64Cos:
73 return "Math.cos";
74 case WellKnownImport::kMathF64Sin:
75 return "Math.sin";
76 case WellKnownImport::kMathF64Tan:
77 return "Math.tan";
78 case WellKnownImport::kMathF64Exp:
79 return "Math.exp";
80 case WellKnownImport::kMathF64Log:
81 return "Math.log";
82 case WellKnownImport::kMathF64Pow:
83 return "Math.pow";
84 case WellKnownImport::kMathF64Sqrt:
85 return "Math.sqrt";
86
87 // String-related functions:
88 case WellKnownImport::kDoubleToString:
89 return "DoubleToString";
90 case WellKnownImport::kIntToString:
91 return "IntToString";
92 case WellKnownImport::kParseFloat:
93 return "ParseFloat";
94 case WellKnownImport::kStringIndexOf:
95 case WellKnownImport::kStringIndexOfImported:
96 return "String.indexOf";
97 case WellKnownImport::kStringToLocaleLowerCaseStringref:
98 return "String.toLocaleLowerCase";
99 case WellKnownImport::kStringToLowerCaseStringref:
100 case WellKnownImport::kStringToLowerCaseImported:
101 return "String.toLowerCase";
102
103 // JS String Builtins:
104 case WellKnownImport::kStringCast:
105 return "js-string:cast";
106 case WellKnownImport::kStringCharCodeAt:
107 return "js-string:charCodeAt";
108 case WellKnownImport::kStringCodePointAt:
109 return "js-string:codePointAt";
110 case WellKnownImport::kStringCompare:
111 return "js-string:compare";
112 case WellKnownImport::kStringConcat:
113 return "js-string:concat";
114 case WellKnownImport::kStringEquals:
115 return "js-string:equals";
116 case WellKnownImport::kStringFromCharCode:
117 return "js-string:fromCharCode";
118 case WellKnownImport::kStringFromCodePoint:
119 return "js-string:fromCodePoint";
120 case WellKnownImport::kStringFromUtf8Array:
121 return "text-decoder:decodeStringFromUTF8Array";
122 case WellKnownImport::kStringFromWtf16Array:
123 return "js-string:fromCharCodeArray";
124 case WellKnownImport::kStringIntoUtf8Array:
125 return "text-encoder:encodeStringIntoUTF8Array";
126 case WellKnownImport::kStringToUtf8Array:
127 return "text-encoder:encodeStringToUTF8Array";
128 case WellKnownImport::kStringLength:
129 return "js-string:length";
130 case WellKnownImport::kStringMeasureUtf8:
131 return "text-encoder:measureStringAsUTF8";
132 case WellKnownImport::kStringSubstring:
133 return "js-string:substring";
134 case WellKnownImport::kStringTest:
135 return "js-string:test";
136 case WellKnownImport::kStringToWtf16Array:
137 return "js-string:intoCharCodeArray";
138
139 // Fast API Call:
140 case WellKnownImport::kFastAPICall:
141 return "fast API call";
142 }
143}
144
145WellKnownImportsList::UpdateResult WellKnownImportsList::Update(
146 base::Vector<WellKnownImport> entries) {
147 DCHECK_EQ(entries.size(), static_cast<size_t>(size_));
148 for (size_t i = 0; i < entries.size(); i++) {
149 WellKnownImport entry = entries[i];
150 DCHECK(entry != WellKnownImport::kUninstantiated);
151 WellKnownImport old = statuses_[i].load(std::memory_order_relaxed);
152 if (old == WellKnownImport::kGeneric) continue;
153 if (old == entry) continue;
154 if (old == WellKnownImport::kUninstantiated) {
155 statuses_[i].store(entry, std::memory_order_relaxed);
156 } else {
157 // To avoid having to clear Turbofan code multiple times, we give up
158 // entirely once the first problem occurs.
159 // This is a heuristic; we could also choose to make finer-grained
160 // decisions and only set {statuses_[i] = kGeneric}. We expect that
161 // this case won't ever happen for production modules, so guarding
162 // against pathological cases seems more important than being lenient
163 // towards almost-well-behaved modules.
164 for (size_t j = 0; j < entries.size(); j++) {
165 statuses_[j].store(WellKnownImport::kGeneric,
166 std::memory_order_relaxed);
167 }
168 return UpdateResult::kFoundIncompatibility;
169 }
170 }
171 return UpdateResult::kOK;
172}
173
174void WellKnownImportsList::Initialize(
175 base::Vector<const WellKnownImport> entries) {
176 DCHECK_EQ(entries.size(), static_cast<size_t>(size_));
177 for (size_t i = 0; i < entries.size(); i++) {
178 DCHECK_EQ(WellKnownImport::kUninstantiated,
179 statuses_[i].load(std::memory_order_relaxed));
180 statuses_[i].store(entries[i], std::memory_order_relaxed);
181 }
182}
183
184} // namespace v8::internal::wasm
v8::internal::wasm::WellKnownImportsList::Update
V8_WARN_UNUSED_RESULT UpdateResult Update(base::Vector< WellKnownImport > entries)
Definition well-known-imports.cc:145
v8::internal::wasm::WellKnownImportsList::statuses_
std::unique_ptr< std::atomic< WellKnownImport >[]> statuses_
Definition well-known-imports.h:160
size_
const int size_
Definition assembler.cc:132
entries
ZoneVector< Entry > entries
Definition liftoff-compiler.cc:515
v8::internal::wasm::WellKnownImportName
const char * WellKnownImportName(WellKnownImport wki)
Definition well-known-imports.cc:9
DCHECK
#define DCHECK(condition)
Definition logging.h:482
DCHECK_EQ
#define DCHECK_EQ(v1, v2)
Definition logging.h:485