1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
|
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
* vim: set ts=8 sts=2 et sw=2 tw=80:
*
* Copyright 2016 Mozilla Foundation
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#ifndef wasm_instance_h
#define wasm_instance_h
#include "mozilla/Atomics.h"
#include "mozilla/Maybe.h"
#include <functional>
#include "gc/Barrier.h"
#include "gc/Zone.h"
#include "js/Stack.h" // JS::NativeStackLimit
#include "js/TypeDecls.h"
#include "vm/SharedMem.h"
#include "wasm/WasmExprType.h" // for ResultType
#include "wasm/WasmLog.h" // for PrintCallback
#include "wasm/WasmModuleTypes.h"
#include "wasm/WasmShareable.h" // for SeenSet
#include "wasm/WasmTypeDecls.h"
#include "wasm/WasmValue.h"
namespace js {
class SharedArrayRawBuffer;
class WasmBreakpointSite;
class WasmStructObject;
class WasmArrayObject;
namespace gc {
class StoreBuffer;
} // namespace gc
namespace wasm {
using mozilla::Atomic;
class FuncImport;
struct FuncImportInstanceData;
struct MemoryDesc;
struct MemoryInstanceData;
class GlobalDesc;
struct TableDesc;
struct TableInstanceData;
struct TagDesc;
struct TagInstanceData;
struct TypeDefInstanceData;
class WasmFrameIter;
// Instance represents a wasm instance and provides all the support for runtime
// execution of code in the instance. Instances share various immutable data
// structures with the Module from which they were instantiated and other
// instances instantiated from the same Module. However, an Instance has no
// direct reference to its source Module which allows a Module to be destroyed
// while it still has live Instances.
//
// The instance's code may be shared among multiple instances.
//
// An Instance is also known as a 'TlsData'. They used to be separate objects,
// but have now been unified. Extant references to 'TlsData' will be cleaned
// up over time.
class alignas(16) Instance {
// NOTE: The first fields of Instance are reserved for commonly accessed data
// from the JIT, such that they have as small an offset as possible. See the
// next note for the end of this region.
// Pointer to the base of memory 0 (or null if there is no memories). This is
// always in sync with the MemoryInstanceData for memory 0.
uint8_t* memory0Base_;
// Bounds check limit in bytes (or zero if there is no memory) for memory 0
// This is 64-bits on 64-bit systems so as to allow for heap lengths up to and
// beyond 4GB, and 32-bits on 32-bit systems, where memories are limited to
// 2GB.
//
// See "Linear memory addresses and bounds checking" in WasmMemory.cpp.
uintptr_t memory0BoundsCheckLimit_;
// Null or a pointer to a per-process builtin thunk that will invoke the Debug
// Trap Handler.
void* debugTrapHandler_;
// The containing JS::Realm.
JS::Realm* realm_;
// The containing JSContext.
JSContext* cx_;
// The pending exception that was found during stack unwinding after a throw.
//
// - Only non-null while unwinding the control stack from a wasm-exit stub.
// until the nearest enclosing Wasm try-catch or try-delegate block.
// - Set by wasm::HandleThrow, unset by Instance::consumePendingException.
// - If the unwind target is a `try-delegate`, it is unset by the delegated
// try-catch block or function body block.
GCPtr<AnyRef> pendingException_;
// The tag object of the pending exception.
GCPtr<AnyRef> pendingExceptionTag_;
// Usually equal to cx->stackLimitForJitCode(JS::StackForUntrustedScript),
// but can be racily set to trigger immediate trap as an opportunity to
// CheckForInterrupt without an additional branch.
Atomic<JS::NativeStackLimit, mozilla::Relaxed> stackLimit_;
// Set to 1 when wasm should call CheckForInterrupt.
Atomic<uint32_t, mozilla::Relaxed> interrupt_;
// The address of the realm()->zone()->needsIncrementalBarrier(). This is
// specific to this instance and not a process wide field, and so it cannot
// be linked into code.
const JS::shadow::Zone::BarrierState* addressOfNeedsIncrementalBarrier_;
public:
// NOTE: All fields commonly accessed by the JIT must be above this method,
// and this method adapted for the last field present. This method is used
// to assert that we can use compact offsets on x86(-64) for these fields.
// We cannot have the assertion here, due to C++ 'offsetof' rules.
static constexpr size_t offsetOfLastCommonJitField() {
return offsetof(Instance, addressOfNeedsIncrementalBarrier_);
}
// The number of baseline scratch storage words available.
static constexpr size_t N_BASELINE_SCRATCH_WORDS = 4;
private:
// When compiling with tiering, the jumpTable has one entry for each
// baseline-compiled function.
void** jumpTable_;
// 4 words of scratch storage for the baseline compiler, which can't always
// use the stack for this.
uintptr_t baselineScratchWords_[N_BASELINE_SCRATCH_WORDS];
// The class_ of WasmValueBox, this is a per-process value. We could patch
// this into code, but the only use-sites are register restricted and cannot
// easily use a symbolic address.
const JSClass* valueBoxClass_;
// Address of the JitRuntime's arguments rectifier trampoline
void* jsJitArgsRectifier_;
// Address of the JitRuntime's exception handler trampoline
void* jsJitExceptionHandler_;
// Address of the JitRuntime's object prebarrier trampoline
void* preBarrierCode_;
// Address of the store buffer for this instance
gc::StoreBuffer* storeBuffer_;
// Weak pointer to WasmInstanceObject that owns this instance
WeakHeapPtr<WasmInstanceObject*> object_;
// The wasm::Code for this instance
const SharedCode code_;
// The tables for this instance, if any
const SharedTableVector tables_;
// Passive data segments for use with bulk memory instructions
DataSegmentVector passiveDataSegments_;
// Passive elem segments for use with tables
InstanceElemSegmentVector passiveElemSegments_;
// The wasm::DebugState for this instance, if any
const UniqueDebugState maybeDebug_;
// If debugging, this is a per-funcIndex bit table denoting whether debugging
// is currently enabled for the function within the instance. The flag is set
// if any breakpoint or function entry or exit point needs to be visited. It
// is OK to conservatively set this flag, but there is very significant
// overhead to taking a breakpoint trap, so managing it precisely is
// worthwhile.
uint32_t* debugFilter_;
// The exclusive maximum index of a global that has been initialized so far.
uint32_t maxInitializedGlobalsIndexPlus1_;
// Pointer that should be freed (due to padding before the Instance).
void* allocatedBase_;
// Fields from the JS context for memory allocation, stashed on the instance
// so it can be accessed from JIT code.
const void* addressOfNurseryPosition_;
#ifdef JS_GC_ZEAL
const void* addressOfGCZealModeBits_;
#endif
// The data must be the last field. Globals for the module start here
// and are inline in this structure. 16-byte alignment is required for SIMD
// data.
MOZ_ALIGNED_DECL(16, char data_);
// Internal helpers:
TypeDefInstanceData* typeDefInstanceData(uint32_t typeIndex) const;
const void* addressOfGlobalCell(const GlobalDesc& globalDesc) const;
FuncImportInstanceData& funcImportInstanceData(const FuncImport& fi);
MemoryInstanceData& memoryInstanceData(uint32_t memoryIndex) const;
TableInstanceData& tableInstanceData(uint32_t tableIndex) const;
TagInstanceData& tagInstanceData(uint32_t tagIndex) const;
#ifdef ENABLE_WASM_JSPI
public:
struct WasmJSPICallImportData {
Instance* instance;
int32_t funcImportIndex;
int32_t argc;
uint64_t* argv;
static bool Call(WasmJSPICallImportData* data);
};
private:
bool isImportAllowedOnSuspendableStack(JSContext* cx,
int32_t funcImportIndex);
#endif
// Only WasmInstanceObject can call the private trace function.
friend class js::WasmInstanceObject;
void tracePrivate(JSTracer* trc);
bool callImport(JSContext* cx, uint32_t funcImportIndex, unsigned argc,
uint64_t* argv);
Instance(JSContext* cx, Handle<WasmInstanceObject*> object,
const SharedCode& code, SharedTableVector&& tables,
UniqueDebugState maybeDebug);
~Instance();
public:
static Instance* create(JSContext* cx, Handle<WasmInstanceObject*> object,
const SharedCode& code, uint32_t instanceDataLength,
SharedTableVector&& tables,
UniqueDebugState maybeDebug);
static void destroy(Instance* instance);
bool init(JSContext* cx, const JSObjectVector& funcImports,
const ValVector& globalImportValues,
Handle<WasmMemoryObjectVector> memories,
const WasmGlobalObjectVector& globalObjs,
const WasmTagObjectVector& tagObjs,
const DataSegmentVector& dataSegments,
const ModuleElemSegmentVector& elemSegments);
// Trace any GC roots on the stack, for the frame associated with |wfi|,
// whose next instruction to execute is |nextPC|.
//
// For consistency checking of StackMap sizes in debug builds, this also
// takes |highestByteVisitedInPrevFrame|, which is the address of the
// highest byte scanned in the frame below this one on the stack, and in
// turn it returns the address of the highest byte scanned in this frame.
uintptr_t traceFrame(JSTracer* trc, const wasm::WasmFrameIter& wfi,
uint8_t* nextPC,
uintptr_t highestByteVisitedInPrevFrame);
void updateFrameForMovingGC(const wasm::WasmFrameIter& wfi, uint8_t* nextPC);
static constexpr size_t offsetOfMemory0Base() {
return offsetof(Instance, memory0Base_);
}
static constexpr size_t offsetOfMemory0BoundsCheckLimit() {
return offsetof(Instance, memory0BoundsCheckLimit_);
}
static constexpr size_t offsetOfDebugTrapHandler() {
return offsetof(Instance, debugTrapHandler_);
}
static constexpr size_t offsetOfRealm() { return offsetof(Instance, realm_); }
static constexpr size_t offsetOfCx() { return offsetof(Instance, cx_); }
static constexpr size_t offsetOfValueBoxClass() {
return offsetof(Instance, valueBoxClass_);
}
static constexpr size_t offsetOfPendingException() {
return offsetof(Instance, pendingException_);
}
static constexpr size_t offsetOfPendingExceptionTag() {
return offsetof(Instance, pendingExceptionTag_);
}
static constexpr size_t offsetOfStackLimit() {
return offsetof(Instance, stackLimit_);
}
static constexpr size_t offsetOfInterrupt() {
return offsetof(Instance, interrupt_);
}
static constexpr size_t offsetOfAddressOfNeedsIncrementalBarrier() {
return offsetof(Instance, addressOfNeedsIncrementalBarrier_);
}
static constexpr size_t offsetOfJumpTable() {
return offsetof(Instance, jumpTable_);
}
static constexpr size_t offsetOfBaselineScratchWords() {
return offsetof(Instance, baselineScratchWords_);
}
static constexpr size_t sizeOfBaselineScratchWords() {
return sizeof(baselineScratchWords_);
}
static constexpr size_t offsetOfJSJitArgsRectifier() {
return offsetof(Instance, jsJitArgsRectifier_);
}
static constexpr size_t offsetOfJSJitExceptionHandler() {
return offsetof(Instance, jsJitExceptionHandler_);
}
static constexpr size_t offsetOfPreBarrierCode() {
return offsetof(Instance, preBarrierCode_);
}
static constexpr size_t offsetOfDebugFilter() {
return offsetof(Instance, debugFilter_);
}
static constexpr size_t offsetOfData() { return offsetof(Instance, data_); }
static constexpr size_t offsetInData(size_t offset) {
return offsetOfData() + offset;
}
static constexpr size_t offsetOfAddressOfNurseryPosition() {
return offsetof(Instance, addressOfNurseryPosition_);
}
#ifdef JS_GC_ZEAL
static constexpr size_t offsetOfAddressOfGCZealModeBits() {
return offsetof(Instance, addressOfGCZealModeBits_);
}
#endif
JSContext* cx() const { return cx_; }
void* debugTrapHandler() const { return debugTrapHandler_; }
void setDebugTrapHandler(void* newHandler) { debugTrapHandler_ = newHandler; }
JS::Realm* realm() const { return realm_; }
bool debugEnabled() const { return !!maybeDebug_; }
DebugState& debug() { return *maybeDebug_; }
uint8_t* data() const { return (uint8_t*)&data_; }
const SharedTableVector& tables() const { return tables_; }
SharedMem<uint8_t*> memoryBase(uint32_t memoryIndex) const;
WasmMemoryObject* memory(uint32_t memoryIndex) const;
size_t memoryMappedSize(uint32_t memoryIndex) const;
SharedArrayRawBuffer* sharedMemoryBuffer(
uint32_t memoryIndex) const; // never null
bool memoryAccessInGuardRegion(const uint8_t* addr, unsigned numBytes) const;
// Methods to set, test and clear the interrupt fields. Both interrupt
// fields are Relaxed and so no consistency/ordering can be assumed.
void setInterrupt();
bool isInterrupted() const;
void resetInterrupt(JSContext* cx);
void setTemporaryStackLimit(JS::NativeStackLimit limit);
void resetTemporaryStackLimit(JSContext* cx);
bool debugFilter(uint32_t funcIndex) const;
void setDebugFilter(uint32_t funcIndex, bool value);
const Code& code() const { return *code_; }
inline const CodeTier& code(Tier t) const;
inline uint8_t* codeBase(Tier t) const;
inline const MetadataTier& metadata(Tier t) const;
inline const Metadata& metadata() const;
inline bool isAsmJS() const;
// This method returns a pointer to the GC object that owns this Instance.
// Instances may be reached via weak edges (e.g., Realm::instances_)
// so this perform a read-barrier on the returned object unless the barrier
// is explicitly waived.
WasmInstanceObject* object() const;
WasmInstanceObject* objectUnbarriered() const;
// Execute the given export given the JS call arguments, storing the return
// value in args.rval.
[[nodiscard]] bool callExport(JSContext* cx, uint32_t funcIndex,
const CallArgs& args,
CoercionLevel level = CoercionLevel::Spec);
// Exception handling support
void setPendingException(Handle<WasmExceptionObject*> exn);
// Constant expression support
void constantGlobalGet(uint32_t globalIndex, MutableHandleVal result);
[[nodiscard]] bool constantRefFunc(uint32_t funcIndex,
MutableHandleFuncRef result);
WasmStructObject* constantStructNewDefault(JSContext* cx, uint32_t typeIndex);
WasmArrayObject* constantArrayNewDefault(JSContext* cx, uint32_t typeIndex,
uint32_t numElements);
// Return the name associated with a given function index, or generate one
// if none was given by the module.
JSAtom* getFuncDisplayAtom(JSContext* cx, uint32_t funcIndex) const;
void ensureProfilingLabels(bool profilingEnabled) const;
// Called by Wasm(Memory|Table)Object when a moving resize occurs:
void onMovingGrowMemory(const WasmMemoryObject* memory);
void onMovingGrowTable(const Table* table);
bool initSegments(JSContext* cx, const DataSegmentVector& dataSegments,
const ModuleElemSegmentVector& elemSegments);
// Called to apply a single ElemSegment at a given offset, assuming
// that all bounds validation has already been performed.
[[nodiscard]] bool initElems(uint32_t tableIndex,
const ModuleElemSegment& seg,
uint32_t dstOffset);
// Iterates through elements of a ModuleElemSegment containing functions.
// Unlike iterElemsAnyrefs, this method can get function data (instance and
// code pointers) without creating intermediate JSFunctions.
//
// NOTE: This method only works for element segments that use the index
// encoding. If the expression encoding is used, you must use
// iterElemsAnyrefs.
//
// Signature for onFunc:
//
// (uint32_t index, void* code, Instance* instance) -> bool
//
template <typename F>
[[nodiscard]] bool iterElemsFunctions(const ModuleElemSegment& seg,
const F& onFunc);
// Iterates through elements of a ModuleElemSegment. This method works for any
// type of wasm ref and both element segment encodings. As required by AnyRef,
// any functions will be wrapped in JSFunction - if possible, you should use
// iterElemsFunctions to avoid this.
//
// Signature for onAnyRef:
//
// (uint32_t index, AnyRef ref) -> bool
//
template <typename F>
[[nodiscard]] bool iterElemsAnyrefs(const ModuleElemSegment& seg,
const F& onAnyRef);
// Debugger support:
JSString* createDisplayURL(JSContext* cx);
WasmBreakpointSite* getOrCreateBreakpointSite(JSContext* cx, uint32_t offset);
void destroyBreakpointSite(JS::GCContext* gcx, uint32_t offset);
// about:memory reporting:
void addSizeOfMisc(MallocSizeOf mallocSizeOf, SeenSet<Metadata>* seenMetadata,
SeenSet<Code>* seenCode, SeenSet<Table>* seenTables,
size_t* code, size_t* data) const;
// Wasm disassembly support
void disassembleExport(JSContext* cx, uint32_t funcIndex, Tier tier,
PrintCallback printString) const;
public:
// Functions to be called directly from wasm code.
static int32_t callImport_general(Instance*, int32_t, int32_t, uint64_t*);
static uint32_t memoryGrow_m32(Instance* instance, uint32_t delta,
uint32_t memoryIndex);
static uint64_t memoryGrow_m64(Instance* instance, uint64_t delta,
uint32_t memoryIndex);
static uint32_t memorySize_m32(Instance* instance, uint32_t memoryIndex);
static uint64_t memorySize_m64(Instance* instance, uint32_t memoryIndex);
static int32_t memCopy_m32(Instance* instance, uint32_t dstByteOffset,
uint32_t srcByteOffset, uint32_t len,
uint8_t* memBase);
static int32_t memCopyShared_m32(Instance* instance, uint32_t dstByteOffset,
uint32_t srcByteOffset, uint32_t len,
uint8_t* memBase);
static int32_t memCopy_m64(Instance* instance, uint64_t dstByteOffset,
uint64_t srcByteOffset, uint64_t len,
uint8_t* memBase);
static int32_t memCopyShared_m64(Instance* instance, uint64_t dstByteOffset,
uint64_t srcByteOffset, uint64_t len,
uint8_t* memBase);
static int32_t memCopy_any(Instance* instance, uint64_t dstByteOffset,
uint64_t srcByteOffset, uint64_t len,
uint32_t dstMemIndex, uint32_t srcMemIndex);
static int32_t memFill_m32(Instance* instance, uint32_t byteOffset,
uint32_t value, uint32_t len, uint8_t* memBase);
static int32_t memFillShared_m32(Instance* instance, uint32_t byteOffset,
uint32_t value, uint32_t len,
uint8_t* memBase);
static int32_t memFill_m64(Instance* instance, uint64_t byteOffset,
uint32_t value, uint64_t len, uint8_t* memBase);
static int32_t memFillShared_m64(Instance* instance, uint64_t byteOffset,
uint32_t value, uint64_t len,
uint8_t* memBase);
static int32_t memInit_m32(Instance* instance, uint32_t dstOffset,
uint32_t srcOffset, uint32_t len,
uint32_t segIndex, uint32_t memIndex);
static int32_t memInit_m64(Instance* instance, uint64_t dstOffset,
uint32_t srcOffset, uint32_t len,
uint32_t segIndex, uint32_t memIndex);
static int32_t dataDrop(Instance* instance, uint32_t segIndex);
static int32_t tableCopy(Instance* instance, uint32_t dstOffset,
uint32_t srcOffset, uint32_t len,
uint32_t dstTableIndex, uint32_t srcTableIndex);
static int32_t tableFill(Instance* instance, uint32_t start, void* value,
uint32_t len, uint32_t tableIndex);
static int32_t memDiscard_m32(Instance* instance, uint32_t byteOffset,
uint32_t byteLen, uint8_t* memBase);
static int32_t memDiscardShared_m32(Instance* instance, uint32_t byteOffset,
uint32_t byteLen, uint8_t* memBase);
static int32_t memDiscard_m64(Instance* instance, uint64_t byteOffset,
uint64_t byteLen, uint8_t* memBase);
static int32_t memDiscardShared_m64(Instance* instance, uint64_t byteOffset,
uint64_t byteLen, uint8_t* memBase);
static void* tableGet(Instance* instance, uint32_t index,
uint32_t tableIndex);
static uint32_t tableGrow(Instance* instance, void* initValue, uint32_t delta,
uint32_t tableIndex);
static int32_t tableSet(Instance* instance, uint32_t index, void* value,
uint32_t tableIndex);
static uint32_t tableSize(Instance* instance, uint32_t tableIndex);
static int32_t tableInit(Instance* instance, uint32_t dstOffset,
uint32_t srcOffset, uint32_t len, uint32_t segIndex,
uint32_t tableIndex);
static int32_t elemDrop(Instance* instance, uint32_t segIndex);
static int32_t wait_i32_m32(Instance* instance, uint32_t byteOffset,
int32_t value, int64_t timeout,
uint32_t memoryIndex);
static int32_t wait_i32_m64(Instance* instance, uint64_t byteOffset,
int32_t value, int64_t timeout,
uint32_t memoryIndex);
static int32_t wait_i64_m32(Instance* instance, uint32_t byteOffset,
int64_t value, int64_t timeout,
uint32_t memoryIndex);
static int32_t wait_i64_m64(Instance* instance, uint64_t byteOffset,
int64_t value, int64_t timeout,
uint32_t memoryIndex);
static int32_t wake_m32(Instance* instance, uint32_t byteOffset,
int32_t count, uint32_t memoryIndex);
static int32_t wake_m64(Instance* instance, uint64_t byteOffset,
int32_t count, uint32_t memoryIndex);
static void* refFunc(Instance* instance, uint32_t funcIndex);
static void postBarrier(Instance* instance, void** location);
static void postBarrierPrecise(Instance* instance, void** location,
void* prev);
static void postBarrierPreciseWithOffset(Instance* instance, void** base,
uint32_t offset, void* prev);
static void* exceptionNew(Instance* instance, void* exceptionArg);
static int32_t throwException(Instance* instance, void* exceptionArg);
template <bool ZeroFields>
static void* structNewIL(Instance* instance,
TypeDefInstanceData* typeDefData);
template <bool ZeroFields>
static void* structNewOOL(Instance* instance,
TypeDefInstanceData* typeDefData);
template <bool ZeroFields>
static void* arrayNew(Instance* instance, uint32_t numElements,
TypeDefInstanceData* typeDefData);
static void* arrayNewData(Instance* instance, uint32_t segByteOffset,
uint32_t numElements,
TypeDefInstanceData* typeDefData,
uint32_t segIndex);
static void* arrayNewElem(Instance* instance, uint32_t srcOffset,
uint32_t numElements,
TypeDefInstanceData* typeDefData,
uint32_t segIndex);
static int32_t arrayInitData(Instance* instance, void* array, uint32_t index,
uint32_t segByteOffset, uint32_t numElements,
TypeDefInstanceData* typeDefData,
uint32_t segIndex);
static int32_t arrayInitElem(Instance* instance, void* array, uint32_t index,
uint32_t segOffset, uint32_t numElements,
TypeDefInstanceData* typeDefData,
uint32_t segIndex);
static int32_t arrayCopy(Instance* instance, void* dstArray,
uint32_t dstIndex, void* srcArray, uint32_t srcIndex,
uint32_t numElements, uint32_t elementSize);
static int32_t arrayFill(Instance* instance, void* array, uint32_t index,
uint32_t numElements);
static int32_t refTest(Instance* instance, void* refPtr,
const wasm::TypeDef* typeDef);
static int32_t intrI8VecMul(Instance* instance, uint32_t dest, uint32_t src1,
uint32_t src2, uint32_t len, uint8_t* memBase);
static int32_t stringTest(Instance* instance, void* stringArg);
static void* stringCast(Instance* instance, void* stringArg);
static void* stringFromCharCodeArray(Instance* instance, void* arrayArg,
uint32_t arrayStart,
uint32_t arrayCount);
static int32_t stringIntoCharCodeArray(Instance* instance, void* stringArg,
void* arrayArg, uint32_t arrayStart);
static void* stringFromCharCode(Instance* instance, uint32_t charCode);
static void* stringFromCodePoint(Instance* instance, uint32_t codePoint);
static int32_t stringCharCodeAt(Instance* instance, void* stringArg,
uint32_t index);
static int32_t stringCodePointAt(Instance* instance, void* stringArg,
uint32_t index);
static int32_t stringLength(Instance* instance, void* stringArg);
static void* stringConcat(Instance* instance, void* firstStringArg,
void* secondStringArg);
static void* stringSubstring(Instance* instance, void* stringArg,
int32_t startIndex, int32_t endIndex);
static int32_t stringEquals(Instance* instance, void* firstStringArg,
void* secondStringArg);
static int32_t stringCompare(Instance* instance, void* firstStringArg,
void* secondStringArg);
};
bool ResultsToJSValue(JSContext* cx, ResultType type, void* registerResultLoc,
Maybe<char*> stackResultsLoc, MutableHandleValue rval,
CoercionLevel level = CoercionLevel::Spec);
// Report an error to `cx` and mark it as a 'trap' so that it cannot be caught
// by wasm exception handlers.
void ReportTrapError(JSContext* cx, unsigned errorNumber);
// Instance is not a GC thing itself but contains GC thing pointers. Ensure they
// are traced appropriately.
void TraceInstanceEdge(JSTracer* trc, Instance* instance, const char* name);
} // namespace wasm
} // namespace js
#endif // wasm_instance_h
|