1 use crate::linker::{Definition, DefinitionType};
2 use crate::prelude::*;
3 use crate::runtime::vm::{
4     self, Imports, ModuleRuntimeInfo, VMFuncRef, VMFunctionImport, VMGlobalImport, VMMemoryImport,
5     VMTableImport, VMTagImport,
6 };
7 use crate::store::{AllocateInstanceKind, InstanceId, StoreInstanceId, StoreOpaque};
8 use crate::types::matching;
9 use crate::{
10     AsContextMut, Engine, Export, Extern, Func, Global, Memory, Module, ModuleExport, SharedMemory,
11     StoreContext, StoreContextMut, Table, Tag, TypedFunc,
12 };
13 use alloc::sync::Arc;
14 use core::ptr::NonNull;
15 use wasmparser::WasmFeatures;
16 use wasmtime_environ::{
17     EntityIndex, EntityType, FuncIndex, GlobalIndex, MemoryIndex, PrimaryMap, TableIndex, TagIndex,
18     TypeTrace,
19 };
20 
21 /// An instantiated WebAssembly module.
22 ///
23 /// This type represents the instantiation of a [`Module`]. Once instantiated
24 /// you can access the [`exports`](Instance::exports) which are of type
25 /// [`Extern`] and provide the ability to call functions, set globals, read
26 /// memory, etc. When interacting with any wasm code you'll want to make an
27 /// [`Instance`] to call any code or execute anything.
28 ///
29 /// Instances are owned by a [`Store`](crate::Store) which is passed in at
30 /// creation time. It's recommended to create instances with
31 /// [`Linker::instantiate`](crate::Linker::instantiate) or similar
32 /// [`Linker`](crate::Linker) methods, but a more low-level constructor is also
33 /// available as [`Instance::new`].
34 #[derive(Copy, Clone, Debug)]
35 #[repr(C)]
36 pub struct Instance {
37     id: StoreInstanceId,
38 }
39 
40 // Double-check that the C representation in `instance.h` matches our in-Rust
41 // representation here in terms of size/alignment/etc.
42 const _: () = {
43     #[repr(C)]
44     struct C(u64, usize);
45     assert!(core::mem::size_of::<C>() == core::mem::size_of::<Instance>());
46     assert!(core::mem::align_of::<C>() == core::mem::align_of::<Instance>());
47     assert!(core::mem::offset_of!(Instance, id) == 0);
48 };
49 
50 impl Instance {
51     /// Creates a new [`Instance`] from the previously compiled [`Module`] and
52     /// list of `imports` specified.
53     ///
54     /// This method instantiates the `module` provided with the `imports`,
55     /// following the procedure in the [core specification][inst] to
56     /// instantiate. Instantiation can fail for a number of reasons (many
57     /// specified below), but if successful the `start` function will be
58     /// automatically run (if specified in the `module`) and then the
59     /// [`Instance`] will be returned.
60     ///
61     /// Per the WebAssembly spec, instantiation includes running the module's
62     /// start function, if it has one (not to be confused with the `_start`
63     /// function, which is not run).
64     ///
65     /// Note that this is a low-level function that just performs an
66     /// instantiation. See the [`Linker`](crate::Linker) struct for an API which
67     /// provides a convenient way to link imports and provides automatic Command
68     /// and Reactor behavior.
69     ///
70     /// ## Providing Imports
71     ///
72     /// The entries in the list of `imports` are intended to correspond 1:1
73     /// with the list of imports returned by [`Module::imports`]. Before
74     /// calling [`Instance::new`] you'll want to inspect the return value of
75     /// [`Module::imports`] and, for each import type, create an [`Extern`]
76     /// which corresponds to that type.  These [`Extern`] values are all then
77     /// collected into a list and passed to this function.
78     ///
79     /// Note that this function is intentionally relatively low level. For an
80     /// easier time passing imports by doing name-based resolution it's
81     /// recommended to instead use the [`Linker`](crate::Linker) type.
82     ///
83     /// ## Errors
84     ///
85     /// This function can fail for a number of reasons, including, but not
86     /// limited to:
87     ///
88     /// * The number of `imports` provided doesn't match the number of imports
89     ///   returned by the `module`'s [`Module::imports`] method.
90     /// * The type of any [`Extern`] doesn't match the corresponding
91     ///   [`ExternType`] entry that it maps to.
92     /// * The `start` function in the instance, if present, traps.
93     /// * Module/instance resource limits are exceeded.
94     ///
95     /// When instantiation fails it's recommended to inspect the return value to
96     /// see why it failed, or bubble it upwards. If you'd like to specifically
97     /// check for trap errors, you can use `error.downcast::<Trap>()`. For more
98     /// about error handling see the [`Trap`] documentation.
99     ///
100     /// [`Trap`]: crate::Trap
101     ///
102     /// # Panics
103     ///
104     /// This function will panic if called with a store associated with a
105     /// [`asynchronous config`](crate::Config::async_support). This function
106     /// will also panic if any [`Extern`] supplied is not owned by `store`.
107     ///
108     /// [inst]: https://webassembly.github.io/spec/core/exec/modules.html#exec-instantiation
109     /// [`ExternType`]: crate::ExternType
110     pub fn new(
111         mut store: impl AsContextMut,
112         module: &Module,
113         imports: &[Extern],
114     ) -> Result<Instance> {
115         let mut store = store.as_context_mut();
116         let imports = Instance::typecheck_externs(store.0, module, imports)?;
117         // Note that the unsafety here should be satisfied by the call to
118         // `typecheck_externs` above which satisfies the condition that all
119         // the imports are valid for this module.
120         unsafe { Instance::new_started(&mut store, module, imports.as_ref()) }
121     }
122 
123     /// Same as [`Instance::new`], except for usage in [asynchronous stores].
124     ///
125     /// For more details about this function see the documentation on
126     /// [`Instance::new`]. The only difference between these two methods is that
127     /// this one will asynchronously invoke the wasm start function in case it
128     /// calls any imported function which is an asynchronous host function (e.g.
129     /// created with [`Func::new_async`](crate::Func::new_async).
130     ///
131     /// # Panics
132     ///
133     /// This function will panic if called with a store associated with a
134     /// [`synchronous config`](crate::Config::new). This is only compatible with
135     /// stores associated with an [`asynchronous
136     /// config`](crate::Config::async_support).
137     ///
138     /// This function will also panic, like [`Instance::new`], if any [`Extern`]
139     /// specified does not belong to `store`.
140     #[cfg(feature = "async")]
141     pub async fn new_async(
142         mut store: impl AsContextMut<Data: Send>,
143         module: &Module,
144         imports: &[Extern],
145     ) -> Result<Instance> {
146         let mut store = store.as_context_mut();
147         let imports = Instance::typecheck_externs(store.0, module, imports)?;
148         // See `new` for notes on this unsafety
149         unsafe { Instance::new_started_async(&mut store, module, imports.as_ref()).await }
150     }
151 
152     fn typecheck_externs(
153         store: &mut StoreOpaque,
154         module: &Module,
155         imports: &[Extern],
156     ) -> Result<OwnedImports> {
157         for import in imports {
158             if !import.comes_from_same_store(store) {
159                 bail!("cross-`Store` instantiation is not currently supported");
160             }
161         }
162 
163         typecheck(module, imports, |cx, ty, item| {
164             let item = DefinitionType::from(store, item);
165             cx.definition(ty, &item)
166         })?;
167 
168         // When pushing functions into `OwnedImports` it's required that their
169         // `wasm_call` fields are all filled out. This `module` is guaranteed
170         // to have any trampolines necessary for functions so register the
171         // module with the store and then attempt to fill out any outstanding
172         // holes.
173         //
174         // Note that under normal operation this shouldn't do much as the list
175         // of funcs-with-holes should generally be empty. As a result the
176         // process of filling this out is not super optimized at this point.
177         store.modules_mut().register_module(module);
178         let (funcrefs, modules) = store.func_refs_and_modules();
179         funcrefs.fill(modules);
180 
181         let mut owned_imports = OwnedImports::new(module);
182         for import in imports {
183             owned_imports.push(import, store);
184         }
185         Ok(owned_imports)
186     }
187 
188     /// Internal function to create an instance and run the start function.
189     ///
190     /// This function's unsafety is the same as `Instance::new_raw`.
191     pub(crate) unsafe fn new_started<T>(
192         store: &mut StoreContextMut<'_, T>,
193         module: &Module,
194         imports: Imports<'_>,
195     ) -> Result<Instance> {
196         assert!(
197             !store.0.async_support(),
198             "must use async instantiation when async support is enabled",
199         );
200         Self::new_started_impl(store, module, imports)
201     }
202 
203     /// Internal function to create an instance and run the start function.
204     ///
205     /// ONLY CALL THIS IF YOU HAVE ALREADY CHECKED FOR ASYNCNESS AND HANDLED
206     /// THE FIBER NONSENSE
207     pub(crate) unsafe fn new_started_impl<T>(
208         store: &mut StoreContextMut<'_, T>,
209         module: &Module,
210         imports: Imports<'_>,
211     ) -> Result<Instance> {
212         let (instance, start) = Instance::new_raw(store.0, module, imports)?;
213         if let Some(start) = start {
214             instance.start_raw(store, start)?;
215         }
216         Ok(instance)
217     }
218 
219     /// Internal function to create an instance and run the start function.
220     ///
221     /// This function's unsafety is the same as `Instance::new_raw`.
222     #[cfg(feature = "async")]
223     async unsafe fn new_started_async<T>(
224         store: &mut StoreContextMut<'_, T>,
225         module: &Module,
226         imports: Imports<'_>,
227     ) -> Result<Instance>
228     where
229         T: Send + 'static,
230     {
231         assert!(
232             store.0.async_support(),
233             "must use sync instantiation when async support is disabled",
234         );
235 
236         store
237             .on_fiber(|store| Self::new_started_impl(store, module, imports))
238             .await?
239     }
240 
241     /// Internal function to create an instance which doesn't have its `start`
242     /// function run yet.
243     ///
244     /// This is not intended to be exposed from Wasmtime, it's intended to
245     /// refactor out common code from `new_started` and `new_started_async`.
246     ///
247     /// Note that this step needs to be run on a fiber in async mode even
248     /// though it doesn't do any blocking work because an async resource
249     /// limiter may need to yield.
250     ///
251     /// # Unsafety
252     ///
253     /// This method is unsafe because it does not type-check the `imports`
254     /// provided. The `imports` provided must be suitable for the module
255     /// provided as well.
256     unsafe fn new_raw(
257         store: &mut StoreOpaque,
258         module: &Module,
259         imports: Imports<'_>,
260     ) -> Result<(Instance, Option<FuncIndex>)> {
261         if !Engine::same(store.engine(), module.engine()) {
262             bail!("cross-`Engine` instantiation is not currently supported");
263         }
264         store.bump_resource_counts(module)?;
265 
266         // Allocate the GC heap, if necessary.
267         if module.env_module().needs_gc_heap {
268             let _ = store.gc_store_mut()?;
269         }
270 
271         let compiled_module = module.compiled_module();
272 
273         // Register the module just before instantiation to ensure we keep the module
274         // properly referenced while in use by the store.
275         let module_id = store.modules_mut().register_module(module);
276 
277         // The first thing we do is issue an instance allocation request
278         // to the instance allocator. This, on success, will give us an
279         // instance handle.
280         let id = store.allocate_instance(
281             AllocateInstanceKind::Module(module_id),
282             &ModuleRuntimeInfo::Module(module.clone()),
283             imports,
284         )?;
285 
286         // Additionally, before we start doing fallible instantiation, we
287         // do one more step which is to insert an `InstanceData`
288         // corresponding to this instance. This `InstanceData` can be used
289         // via `Caller::get_export` if our instance's state "leaks" into
290         // other instances, even if we don't return successfully from this
291         // function.
292         //
293         // We don't actually load all exports from the instance at this
294         // time, instead preferring to lazily load them as they're demanded.
295         // For module/instance exports, though, those aren't actually
296         // stored in the instance handle so we need to immediately handle
297         // those here.
298         let instance = Instance::from_wasmtime(id, store);
299 
300         // Now that we've recorded all information we need to about this
301         // instance within a `Store` we can start performing fallible
302         // initialization. Note that we still defer the `start` function to
303         // later since that may need to run asynchronously.
304         //
305         // If this returns an error (or if the start function traps) then
306         // any other initialization which may have succeeded which placed
307         // items from this instance into other instances should be ok when
308         // those items are loaded and run we'll have all the metadata to
309         // look at them.
310         let bulk_memory = store
311             .engine()
312             .features()
313             .contains(WasmFeatures::BULK_MEMORY);
314 
315         vm::initialize_instance(store, id, compiled_module.module(), bulk_memory)?;
316 
317         Ok((instance, compiled_module.module().start_func))
318     }
319 
320     pub(crate) fn from_wasmtime(id: InstanceId, store: &mut StoreOpaque) -> Instance {
321         Instance {
322             id: StoreInstanceId::new(store.id(), id),
323         }
324     }
325 
326     fn start_raw<T>(&self, store: &mut StoreContextMut<'_, T>, start: FuncIndex) -> Result<()> {
327         // If a start function is present, invoke it. Make sure we use all the
328         // trap-handling configuration in `store` as well.
329         let store_id = store.0.id();
330         let mut instance = self.id.get_mut(store.0);
331         // SAFETY: the `store_id` is the id of the store that owns this
332         // instance and any function stored within the instance.
333         let f = unsafe { instance.as_mut().get_exported_func(store_id, start) };
334         let caller_vmctx = instance.vmctx();
335         unsafe {
336             let funcref = f.vm_func_ref(store.0);
337             super::func::invoke_wasm_and_catch_traps(store, |_default_caller, vm| {
338                 VMFuncRef::array_call(funcref, vm, caller_vmctx, NonNull::from(&mut []))
339             })?;
340         }
341         Ok(())
342     }
343 
344     /// Get this instance's module.
345     pub fn module<'a, T: 'static>(&self, store: impl Into<StoreContext<'a, T>>) -> &'a Module {
346         self._module(store.into().0)
347     }
348 
349     fn _module<'a>(&self, store: &'a StoreOpaque) -> &'a Module {
350         store.module_for_instance(self.id).unwrap()
351     }
352 
353     /// Returns the list of exported items from this [`Instance`].
354     ///
355     /// # Panics
356     ///
357     /// Panics if `store` does not own this instance.
358     pub fn exports<'a, T: 'static>(
359         &'a self,
360         store: impl Into<StoreContextMut<'a, T>>,
361     ) -> impl ExactSizeIterator<Item = Export<'a>> + 'a {
362         self._exports(store.into().0)
363     }
364 
365     fn _exports<'a>(
366         &'a self,
367         store: &'a mut StoreOpaque,
368     ) -> impl ExactSizeIterator<Item = Export<'a>> + 'a {
369         let module = store[self.id].env_module().clone();
370         let mut items = Vec::new();
371         for (_name, entity) in module.exports.iter() {
372             items.push(self._get_export(store, *entity));
373         }
374         store[self.id]
375             .env_module()
376             .exports
377             .iter()
378             .zip(items)
379             .map(|((name, _), item)| Export::new(name, item))
380     }
381 
382     /// Looks up an exported [`Extern`] value by name.
383     ///
384     /// This method will search the module for an export named `name` and return
385     /// the value, if found.
386     ///
387     /// Returns `None` if there was no export named `name`.
388     ///
389     /// # Panics
390     ///
391     /// Panics if `store` does not own this instance.
392     ///
393     /// # Why does `get_export` take a mutable context?
394     ///
395     /// This method requires a mutable context because an instance's exports are
396     /// lazily populated, and we cache them as they are accessed. This makes
397     /// instantiating a module faster, but also means this method requires a
398     /// mutable context.
399     pub fn get_export(&self, mut store: impl AsContextMut, name: &str) -> Option<Extern> {
400         let store = store.as_context_mut().0;
401         let entity = *store[self.id].env_module().exports.get(name)?;
402         Some(self._get_export(store, entity))
403     }
404 
405     /// Looks up an exported [`Extern`] value by a [`ModuleExport`] value.
406     ///
407     /// This is similar to [`Instance::get_export`] but uses a [`ModuleExport`] value to avoid
408     /// string lookups where possible. [`ModuleExport`]s can be obtained by calling
409     /// [`Module::get_export_index`] on the [`Module`] that this instance was instantiated with.
410     ///
411     /// This method will search the module for an export with a matching entity index and return
412     /// the value, if found.
413     ///
414     /// Returns `None` if there was no export with a matching entity index.
415     /// # Panics
416     ///
417     /// Panics if `store` does not own this instance.
418     pub fn get_module_export(
419         &self,
420         mut store: impl AsContextMut,
421         export: &ModuleExport,
422     ) -> Option<Extern> {
423         let store = store.as_context_mut().0;
424 
425         // Verify the `ModuleExport` matches the module used in this instance.
426         if self._module(store).id() != export.module {
427             return None;
428         }
429 
430         Some(self._get_export(store, export.entity))
431     }
432 
433     fn _get_export(&self, store: &mut StoreOpaque, entity: EntityIndex) -> Extern {
434         let id = store.id();
435         // SAFETY: the store `id` owns this instance and all exports contained
436         // within.
437         let export = unsafe { self.id.get_mut(store).get_export_by_index_mut(id, entity) };
438         unsafe { Extern::from_wasmtime_export(export, store) }
439     }
440 
441     /// Looks up an exported [`Func`] value by name.
442     ///
443     /// Returns `None` if there was no export named `name`, or if there was but
444     /// it wasn't a function.
445     ///
446     /// # Panics
447     ///
448     /// Panics if `store` does not own this instance.
449     pub fn get_func(&self, store: impl AsContextMut, name: &str) -> Option<Func> {
450         self.get_export(store, name)?.into_func()
451     }
452 
453     /// Looks up an exported [`Func`] value by name and with its type.
454     ///
455     /// This function is a convenience wrapper over [`Instance::get_func`] and
456     /// [`Func::typed`]. For more information see the linked documentation.
457     ///
458     /// Returns an error if `name` isn't a function export or if the export's
459     /// type did not match `Params` or `Results`
460     ///
461     /// # Panics
462     ///
463     /// Panics if `store` does not own this instance.
464     pub fn get_typed_func<Params, Results>(
465         &self,
466         mut store: impl AsContextMut,
467         name: &str,
468     ) -> Result<TypedFunc<Params, Results>>
469     where
470         Params: crate::WasmParams,
471         Results: crate::WasmResults,
472     {
473         let f = self
474             .get_export(store.as_context_mut(), name)
475             .and_then(|f| f.into_func())
476             .ok_or_else(|| anyhow!("failed to find function export `{}`", name))?;
477         Ok(f.typed::<Params, Results>(store)
478             .with_context(|| format!("failed to convert function `{name}` to given type"))?)
479     }
480 
481     /// Looks up an exported [`Table`] value by name.
482     ///
483     /// Returns `None` if there was no export named `name`, or if there was but
484     /// it wasn't a table.
485     ///
486     /// # Panics
487     ///
488     /// Panics if `store` does not own this instance.
489     pub fn get_table(&self, store: impl AsContextMut, name: &str) -> Option<Table> {
490         self.get_export(store, name)?.into_table()
491     }
492 
493     /// Looks up an exported [`Memory`] value by name.
494     ///
495     /// Returns `None` if there was no export named `name`, or if there was but
496     /// it wasn't a memory.
497     ///
498     /// # Panics
499     ///
500     /// Panics if `store` does not own this instance.
501     pub fn get_memory(&self, store: impl AsContextMut, name: &str) -> Option<Memory> {
502         self.get_export(store, name)?.into_memory()
503     }
504 
505     /// Looks up an exported [`SharedMemory`] value by name.
506     ///
507     /// Returns `None` if there was no export named `name`, or if there was but
508     /// it wasn't a shared memory.
509     ///
510     /// # Panics
511     ///
512     /// Panics if `store` does not own this instance.
513     pub fn get_shared_memory(
514         &self,
515         mut store: impl AsContextMut,
516         name: &str,
517     ) -> Option<SharedMemory> {
518         let mut store = store.as_context_mut();
519         self.get_export(&mut store, name)?.into_shared_memory()
520     }
521 
522     /// Looks up an exported [`Global`] value by name.
523     ///
524     /// Returns `None` if there was no export named `name`, or if there was but
525     /// it wasn't a global.
526     ///
527     /// # Panics
528     ///
529     /// Panics if `store` does not own this instance.
530     pub fn get_global(&self, store: impl AsContextMut, name: &str) -> Option<Global> {
531         self.get_export(store, name)?.into_global()
532     }
533 
534     /// Looks up a tag [`Tag`] by name.
535     ///
536     /// Returns `None` if there was no export named `name`, or if there was but
537     /// it wasn't a tag.
538     ///
539     /// # Panics
540     ///
541     /// Panics if `store` does not own this instance.
542     pub fn get_tag(&self, store: impl AsContextMut, name: &str) -> Option<Tag> {
543         self.get_export(store, name)?.into_tag()
544     }
545 
546     #[allow(
547         dead_code,
548         reason = "c-api crate does not yet support exnrefs and causes this method to be dead."
549     )]
550     pub(crate) fn id(&self) -> InstanceId {
551         self.id.instance()
552     }
553 
554     /// Get all globals within this instance.
555     ///
556     /// Returns both import and defined globals.
557     ///
558     /// Returns both exported and non-exported globals.
559     ///
560     /// Gives access to the full globals space.
561     #[cfg(feature = "coredump")]
562     pub(crate) fn all_globals<'a>(
563         &'a self,
564         store: &'a mut StoreOpaque,
565     ) -> impl ExactSizeIterator<Item = (GlobalIndex, Global)> + 'a {
566         let store_id = store.id();
567         store[self.id].all_globals(store_id)
568     }
569 
570     /// Get all memories within this instance.
571     ///
572     /// Returns both import and defined memories.
573     ///
574     /// Returns both exported and non-exported memories.
575     ///
576     /// Gives access to the full memories space.
577     #[cfg(feature = "coredump")]
578     pub(crate) fn all_memories<'a>(
579         &'a self,
580         store: &'a StoreOpaque,
581     ) -> impl ExactSizeIterator<Item = (MemoryIndex, Memory)> + 'a {
582         let store_id = store.id();
583         store[self.id].all_memories(store_id)
584     }
585 }
586 
587 pub(crate) struct OwnedImports {
588     functions: PrimaryMap<FuncIndex, VMFunctionImport>,
589     tables: PrimaryMap<TableIndex, VMTableImport>,
590     memories: PrimaryMap<MemoryIndex, VMMemoryImport>,
591     globals: PrimaryMap<GlobalIndex, VMGlobalImport>,
592     tags: PrimaryMap<TagIndex, VMTagImport>,
593 }
594 
595 impl OwnedImports {
596     fn new(module: &Module) -> OwnedImports {
597         let mut ret = OwnedImports::empty();
598         ret.reserve(module);
599         return ret;
600     }
601 
602     pub(crate) fn empty() -> OwnedImports {
603         OwnedImports {
604             functions: PrimaryMap::new(),
605             tables: PrimaryMap::new(),
606             memories: PrimaryMap::new(),
607             globals: PrimaryMap::new(),
608             tags: PrimaryMap::new(),
609         }
610     }
611 
612     pub(crate) fn reserve(&mut self, module: &Module) {
613         let raw = module.compiled_module().module();
614         self.functions.reserve(raw.num_imported_funcs);
615         self.tables.reserve(raw.num_imported_tables);
616         self.memories.reserve(raw.num_imported_memories);
617         self.globals.reserve(raw.num_imported_globals);
618         self.tags.reserve(raw.num_imported_tags);
619     }
620 
621     #[cfg(feature = "component-model")]
622     pub(crate) fn clear(&mut self) {
623         self.functions.clear();
624         self.tables.clear();
625         self.memories.clear();
626         self.globals.clear();
627         self.tags.clear();
628     }
629 
630     fn push(&mut self, item: &Extern, store: &mut StoreOpaque) {
631         match item {
632             Extern::Func(i) => {
633                 self.functions.push(i.vmimport(store));
634             }
635             Extern::Global(i) => {
636                 self.globals.push(i.vmimport(store));
637             }
638             Extern::Table(i) => {
639                 self.tables.push(i.vmimport(store));
640             }
641             Extern::Memory(i) => {
642                 self.memories.push(i.vmimport(store));
643             }
644             Extern::SharedMemory(i) => {
645                 self.memories.push(i.vmimport(store));
646             }
647             Extern::Tag(i) => {
648                 self.tags.push(i.vmimport(store));
649             }
650         }
651     }
652 
653     /// Note that this is unsafe as the validity of `item` is not verified and
654     /// it contains a bunch of raw pointers.
655     #[cfg(feature = "component-model")]
656     pub(crate) fn push_export(&mut self, store: &StoreOpaque, item: &crate::runtime::vm::Export) {
657         match item {
658             crate::runtime::vm::Export::Function(f) => {
659                 // SAFETY: the funcref associated with a `Func` is valid to use
660                 // under the `store` that owns the function.
661                 let f = unsafe { f.vm_func_ref(store).as_ref() };
662                 self.functions.push(VMFunctionImport {
663                     wasm_call: f.wasm_call.unwrap(),
664                     array_call: f.array_call,
665                     vmctx: f.vmctx,
666                 });
667             }
668             crate::runtime::vm::Export::Global(g) => {
669                 self.globals.push(g.vmimport(store));
670             }
671             crate::runtime::vm::Export::Table(t) => {
672                 self.tables.push(t.vmimport(store));
673             }
674             crate::runtime::vm::Export::Memory { memory, .. } => {
675                 self.memories.push(memory.vmimport(store));
676             }
677             crate::runtime::vm::Export::Tag(t) => {
678                 self.tags.push(t.vmimport(store));
679             }
680         }
681     }
682 
683     pub(crate) fn as_ref(&self) -> Imports<'_> {
684         Imports {
685             tables: self.tables.values().as_slice(),
686             globals: self.globals.values().as_slice(),
687             memories: self.memories.values().as_slice(),
688             functions: self.functions.values().as_slice(),
689             tags: self.tags.values().as_slice(),
690         }
691     }
692 }
693 
694 /// An instance, pre-instantiation, that is ready to be instantiated.
695 ///
696 /// This structure represents an instance *just before* it was instantiated,
697 /// after all type-checking and imports have been resolved. The only thing left
698 /// to do for this instance is to actually run the process of instantiation.
699 ///
700 /// Note that an `InstancePre` may not be tied to any particular [`Store`] if
701 /// none of the imports it closed over are tied to any particular [`Store`].
702 ///
703 /// This structure is created through the [`Linker::instantiate_pre`] method,
704 /// which also has some more information and examples.
705 ///
706 /// [`Store`]: crate::Store
707 /// [`Linker::instantiate_pre`]: crate::Linker::instantiate_pre
708 pub struct InstancePre<T> {
709     module: Module,
710 
711     /// The items which this `InstancePre` use to instantiate the `module`
712     /// provided, passed to `Instance::new_started` after inserting them into a
713     /// `Store`.
714     ///
715     /// Note that this is stored as an `Arc<[T]>` to quickly move a strong
716     /// reference to everything internally into a `Store<T>` without having to
717     /// clone each individual item.
718     items: Arc<[Definition]>,
719 
720     /// A count of `Definition::HostFunc` entries in `items` above to
721     /// preallocate space in a `Store` up front for all entries to be inserted.
722     host_funcs: usize,
723 
724     /// The `VMFuncRef`s for the functions in `items` that do not
725     /// have a `wasm_call` trampoline. We pre-allocate and pre-patch these
726     /// `VMFuncRef`s so that we don't have to do it at
727     /// instantiation time.
728     ///
729     /// This is an `Arc<[T]>` for the same reason as `items`.
730     func_refs: Arc<[VMFuncRef]>,
731 
732     _marker: core::marker::PhantomData<fn() -> T>,
733 }
734 
735 /// InstancePre's clone does not require T: Clone
736 impl<T> Clone for InstancePre<T> {
737     fn clone(&self) -> Self {
738         Self {
739             module: self.module.clone(),
740             items: self.items.clone(),
741             host_funcs: self.host_funcs,
742             func_refs: self.func_refs.clone(),
743             _marker: self._marker,
744         }
745     }
746 }
747 
748 impl<T: 'static> InstancePre<T> {
749     /// Creates a new `InstancePre` which type-checks the `items` provided and
750     /// on success is ready to instantiate a new instance.
751     ///
752     /// # Unsafety
753     ///
754     /// This method is unsafe as the `T` of the `InstancePre<T>` is not
755     /// guaranteed to be the same as the `T` within the `Store`, the caller must
756     /// verify that.
757     pub(crate) unsafe fn new(module: &Module, items: Vec<Definition>) -> Result<InstancePre<T>> {
758         typecheck(module, &items, |cx, ty, item| cx.definition(ty, &item.ty()))?;
759 
760         let mut func_refs = vec![];
761         let mut host_funcs = 0;
762         for item in &items {
763             match item {
764                 Definition::Extern(_, _) => {}
765                 Definition::HostFunc(f) => {
766                     host_funcs += 1;
767                     if f.func_ref().wasm_call.is_none() {
768                         // `f` needs its `VMFuncRef::wasm_call` patched with a
769                         // Wasm-to-native trampoline.
770                         debug_assert!(matches!(f.host_ctx(), crate::HostContext::Array(_)));
771                         func_refs.push(VMFuncRef {
772                             wasm_call: module
773                                 .wasm_to_array_trampoline(f.sig_index())
774                                 .map(|f| f.into()),
775                             ..*f.func_ref()
776                         });
777                     }
778                 }
779             }
780         }
781 
782         Ok(InstancePre {
783             module: module.clone(),
784             items: items.into(),
785             host_funcs,
786             func_refs: func_refs.into(),
787             _marker: core::marker::PhantomData,
788         })
789     }
790 
791     /// Returns a reference to the module that this [`InstancePre`] will be
792     /// instantiating.
793     pub fn module(&self) -> &Module {
794         &self.module
795     }
796 
797     /// Instantiates this instance, creating a new instance within the provided
798     /// `store`.
799     ///
800     /// This function will run the actual process of instantiation to
801     /// completion. This will use all of the previously-closed-over items as
802     /// imports to instantiate the module that this was originally created with.
803     ///
804     /// For more information about instantiation see [`Instance::new`].
805     ///
806     /// # Panics
807     ///
808     /// Panics if any import closed over by this [`InstancePre`] isn't owned by
809     /// `store`, or if `store` has async support enabled. Additionally this
810     /// function will panic if the `store` provided comes from a different
811     /// [`Engine`] than the [`InstancePre`] originally came from.
812     pub fn instantiate(&self, mut store: impl AsContextMut<Data = T>) -> Result<Instance> {
813         let mut store = store.as_context_mut();
814         let imports = pre_instantiate_raw(
815             &mut store.0,
816             &self.module,
817             &self.items,
818             self.host_funcs,
819             &self.func_refs,
820         )?;
821 
822         // This unsafety should be handled by the type-checking performed by the
823         // constructor of `InstancePre` to assert that all the imports we're passing
824         // in match the module we're instantiating.
825         unsafe { Instance::new_started(&mut store, &self.module, imports.as_ref()) }
826     }
827 
828     /// Creates a new instance, running the start function asynchronously
829     /// instead of inline.
830     ///
831     /// For more information about asynchronous instantiation see the
832     /// documentation on [`Instance::new_async`].
833     ///
834     /// # Panics
835     ///
836     /// Panics if any import closed over by this [`InstancePre`] isn't owned by
837     /// `store`, or if `store` does not have async support enabled.
838     #[cfg(feature = "async")]
839     pub async fn instantiate_async(
840         &self,
841         mut store: impl AsContextMut<Data: Send>,
842     ) -> Result<Instance> {
843         let mut store = store.as_context_mut();
844         let imports = pre_instantiate_raw(
845             &mut store.0,
846             &self.module,
847             &self.items,
848             self.host_funcs,
849             &self.func_refs,
850         )?;
851 
852         // This unsafety should be handled by the type-checking performed by the
853         // constructor of `InstancePre` to assert that all the imports we're passing
854         // in match the module we're instantiating.
855         unsafe { Instance::new_started_async(&mut store, &self.module, imports.as_ref()).await }
856     }
857 }
858 
859 /// Helper function shared between
860 /// `InstancePre::{instantiate,instantiate_async}`
861 ///
862 /// This is an out-of-line function to avoid the generic on `InstancePre` and
863 /// get this compiled into the `wasmtime` crate to avoid having it monomorphized
864 /// elsewhere.
865 fn pre_instantiate_raw(
866     store: &mut StoreOpaque,
867     module: &Module,
868     items: &Arc<[Definition]>,
869     host_funcs: usize,
870     func_refs: &Arc<[VMFuncRef]>,
871 ) -> Result<OwnedImports> {
872     // Register this module and use it to fill out any funcref wasm_call holes
873     // we can. For more comments on this see `typecheck_externs`.
874     store.modules_mut().register_module(module);
875     let (funcrefs, modules) = store.func_refs_and_modules();
876     funcrefs.fill(modules);
877 
878     if host_funcs > 0 {
879         // Any linker-defined function of the `Definition::HostFunc` variant
880         // will insert a function into the store automatically as part of
881         // instantiation, so reserve space here to make insertion more efficient
882         // as it won't have to realloc during the instantiation.
883         funcrefs.reserve_storage(host_funcs);
884 
885         // The usage of `to_extern_store_rooted` requires that the items are
886         // rooted via another means, which happens here by cloning the list of
887         // items into the store once. This avoids cloning each individual item
888         // below.
889         funcrefs.push_instance_pre_definitions(items.clone());
890         funcrefs.push_instance_pre_func_refs(func_refs.clone());
891     }
892 
893     let mut func_refs = func_refs.iter().map(|f| NonNull::from(f));
894     let mut imports = OwnedImports::new(module);
895     for import in items.iter() {
896         if !import.comes_from_same_store(store) {
897             bail!("cross-`Store` instantiation is not currently supported");
898         }
899         // This unsafety should be encapsulated in the constructor of
900         // `InstancePre` where the `T` of the original item should match the
901         // `T` of the store. Additionally the rooting necessary has happened
902         // above.
903         let item = match import {
904             Definition::Extern(e, _) => e.clone(),
905             Definition::HostFunc(func) => unsafe {
906                 func.to_func_store_rooted(
907                     store,
908                     if func.func_ref().wasm_call.is_none() {
909                         Some(func_refs.next().unwrap())
910                     } else {
911                         None
912                     },
913                 )
914                 .into()
915             },
916         };
917         imports.push(&item, store);
918     }
919 
920     Ok(imports)
921 }
922 
923 fn typecheck<I>(
924     module: &Module,
925     import_args: &[I],
926     check: impl Fn(&matching::MatchCx<'_>, &EntityType, &I) -> Result<()>,
927 ) -> Result<()> {
928     let env_module = module.compiled_module().module();
929     let expected_len = env_module.imports().count();
930     let actual_len = import_args.len();
931     if expected_len != actual_len {
932         bail!("expected {expected_len} imports, found {actual_len}");
933     }
934     let cx = matching::MatchCx::new(module.engine());
935     for ((name, field, expected_ty), actual) in env_module.imports().zip(import_args) {
936         debug_assert!(expected_ty.is_canonicalized_for_runtime_usage());
937         check(&cx, &expected_ty, actual)
938             .with_context(|| format!("incompatible import type for `{name}::{field}`"))?;
939     }
940     Ok(())
941 }
942