wasmtime_environ/module.rs
1//! Data structures for representing decoded wasm modules.
2
3use crate::prelude::*;
4use crate::*;
5use alloc::collections::BTreeMap;
6use core::ops::Range;
7use cranelift_entity::{packed_option::ReservedValue, EntityRef};
8use serde_derive::{Deserialize, Serialize};
9
10/// A WebAssembly linear memory initializer.
11#[derive(Clone, Debug, Serialize, Deserialize)]
12pub struct MemoryInitializer {
13 /// The index of a linear memory to initialize.
14 pub memory_index: MemoryIndex,
15 /// The base offset to start this segment at.
16 pub offset: ConstExpr,
17 /// The range of the data to write within the linear memory.
18 ///
19 /// This range indexes into a separately stored data section which will be
20 /// provided with the compiled module's code as well.
21 pub data: Range<u32>,
22}
23
24/// Similar to the above `MemoryInitializer` but only used when memory
25/// initializers are statically known to be valid.
26#[derive(Clone, Debug, Serialize, Deserialize)]
27pub struct StaticMemoryInitializer {
28 /// The 64-bit offset, in bytes, of where this initializer starts.
29 pub offset: u64,
30
31 /// The range of data to write at `offset`, where these indices are indexes
32 /// into the compiled wasm module's data section.
33 pub data: Range<u32>,
34}
35
36/// The type of WebAssembly linear memory initialization to use for a module.
37#[derive(Debug, Serialize, Deserialize)]
38pub enum MemoryInitialization {
39 /// Memory initialization is segmented.
40 ///
41 /// Segmented initialization can be used for any module, but it is required
42 /// if:
43 ///
44 /// * A data segment referenced an imported memory.
45 /// * A data segment uses a global base.
46 ///
47 /// Segmented initialization is performed by processing the complete set of
48 /// data segments when the module is instantiated.
49 ///
50 /// This is the default memory initialization type.
51 Segmented(Vec<MemoryInitializer>),
52
53 /// Memory initialization is statically known and involves a single `memcpy`
54 /// or otherwise simply making the defined data visible.
55 ///
56 /// To be statically initialized everything must reference a defined memory
57 /// and all data segments have a statically known in-bounds base (no
58 /// globals).
59 ///
60 /// This form of memory initialization is a more optimized version of
61 /// `Segmented` where memory can be initialized with one of a few methods:
62 ///
63 /// * First it could be initialized with a single `memcpy` of data from the
64 /// module to the linear memory.
65 /// * Otherwise techniques like `mmap` are also possible to make this data,
66 /// which might reside in a compiled module on disk, available immediately
67 /// in a linear memory's address space.
68 ///
69 /// To facilitate the latter of these techniques the `try_static_init`
70 /// function below, which creates this variant, takes a host page size
71 /// argument which can page-align everything to make mmap-ing possible.
72 Static {
73 /// The initialization contents for each linear memory.
74 ///
75 /// This array has, for each module's own linear memory, the contents
76 /// necessary to initialize it. If the memory has a `None` value then no
77 /// initialization is necessary (it's zero-filled). Otherwise with
78 /// `Some` the first element of the tuple is the offset in memory to
79 /// start the initialization and the `Range` is the range within the
80 /// final data section of the compiled module of bytes to copy into the
81 /// memory.
82 ///
83 /// The offset, range base, and range end are all guaranteed to be page
84 /// aligned to the page size passed in to `try_static_init`.
85 map: PrimaryMap<MemoryIndex, Option<StaticMemoryInitializer>>,
86 },
87}
88
89impl Default for MemoryInitialization {
90 fn default() -> Self {
91 Self::Segmented(Vec::new())
92 }
93}
94
95impl MemoryInitialization {
96 /// Returns whether this initialization is of the form
97 /// `MemoryInitialization::Segmented`.
98 pub fn is_segmented(&self) -> bool {
99 match self {
100 MemoryInitialization::Segmented(_) => true,
101 _ => false,
102 }
103 }
104
105 /// Performs the memory initialization steps for this set of initializers.
106 ///
107 /// This will perform wasm initialization in compliance with the wasm spec
108 /// and how data segments are processed. This doesn't need to necessarily
109 /// only be called as part of initialization, however, as it's structured to
110 /// allow learning about memory ahead-of-time at compile time possibly.
111 ///
112 /// This function will return true if all memory initializers are processed
113 /// successfully. If any initializer hits an error or, for example, a
114 /// global value is needed but `None` is returned, then false will be
115 /// returned. At compile-time this typically means that the "error" in
116 /// question needs to be deferred to runtime, and at runtime this means
117 /// that an invalid initializer has been found and a trap should be
118 /// generated.
119 pub fn init_memory(&self, state: &mut dyn InitMemory) -> bool {
120 let initializers = match self {
121 // Fall through below to the segmented memory one-by-one
122 // initialization.
123 MemoryInitialization::Segmented(list) => list,
124
125 // If previously switched to static initialization then pass through
126 // all those parameters here to the `write` callback.
127 //
128 // Note that existence of `Static` already guarantees that all
129 // indices are in-bounds.
130 MemoryInitialization::Static { map } => {
131 for (index, init) in map {
132 if let Some(init) = init {
133 let result = state.write(index, init);
134 if !result {
135 return result;
136 }
137 }
138 }
139 return true;
140 }
141 };
142
143 for initializer in initializers {
144 let &MemoryInitializer {
145 memory_index,
146 ref offset,
147 ref data,
148 } = initializer;
149
150 // First up determine the start/end range and verify that they're
151 // in-bounds for the initial size of the memory at `memory_index`.
152 // Note that this can bail if we don't have access to globals yet
153 // (e.g. this is a task happening before instantiation at
154 // compile-time).
155 let start = match state.eval_offset(memory_index, offset) {
156 Some(start) => start,
157 None => return false,
158 };
159 let len = u64::try_from(data.len()).unwrap();
160 let end = match start.checked_add(len) {
161 Some(end) => end,
162 None => return false,
163 };
164
165 match state.memory_size_in_bytes(memory_index) {
166 Ok(max) => {
167 if end > max {
168 return false;
169 }
170 }
171
172 // Note that computing the minimum can overflow if the page size
173 // is the default 64KiB and the memory's minimum size in pages
174 // is `1 << 48`, the maximum number of minimum pages for 64-bit
175 // memories. We don't return `false` to signal an error here and
176 // instead defer the error to runtime, when it will be
177 // impossible to allocate that much memory anyways.
178 Err(_) => {}
179 }
180
181 // The limits of the data segment have been validated at this point
182 // so the `write` callback is called with the range of data being
183 // written. Any erroneous result is propagated upwards.
184 let init = StaticMemoryInitializer {
185 offset: start,
186 data: data.clone(),
187 };
188 let result = state.write(memory_index, &init);
189 if !result {
190 return result;
191 }
192 }
193
194 return true;
195 }
196}
197
198/// The various callbacks provided here are used to drive the smaller bits of
199/// memory initialization.
200pub trait InitMemory {
201 /// Returns the size, in bytes, of the memory specified. For compile-time
202 /// purposes this would be the memory type's minimum size.
203 fn memory_size_in_bytes(&mut self, memory_index: MemoryIndex) -> Result<u64, SizeOverflow>;
204
205 /// Returns the value of the constant expression, as a `u64`. Note that
206 /// this may involve zero-extending a 32-bit global to a 64-bit number. May
207 /// return `None` to indicate that the expression involves a value which is
208 /// not available yet.
209 fn eval_offset(&mut self, memory_index: MemoryIndex, expr: &ConstExpr) -> Option<u64>;
210
211 /// A callback used to actually write data. This indicates that the
212 /// specified memory must receive the specified range of data at the
213 /// specified offset. This can return false on failure.
214 fn write(&mut self, memory_index: MemoryIndex, init: &StaticMemoryInitializer) -> bool;
215}
216
217/// Table initialization data for all tables in the module.
218#[derive(Debug, Default, Serialize, Deserialize)]
219pub struct TableInitialization {
220 /// Initial values for tables defined within the module itself.
221 ///
222 /// This contains the initial values and initializers for tables defined
223 /// within a wasm, so excluding imported tables. This initializer can
224 /// represent null-initialized tables, element-initialized tables (e.g. with
225 /// the function-references proposal), or precomputed images of table
226 /// initialization. For example table initializers to a table that are all
227 /// in-bounds will get removed from `segment` and moved into
228 /// `initial_values` here.
229 pub initial_values: PrimaryMap<DefinedTableIndex, TableInitialValue>,
230
231 /// Element segments present in the initial wasm module which are executed
232 /// at instantiation time.
233 ///
234 /// These element segments are iterated over during instantiation to apply
235 /// any segments that weren't already moved into `initial_values` above.
236 pub segments: Vec<TableSegment>,
237}
238
239/// Initial value for all elements in a table.
240#[derive(Clone, Debug, Serialize, Deserialize)]
241pub enum TableInitialValue {
242 /// Initialize each table element to null, optionally setting some elements
243 /// to non-null given the precomputed image.
244 Null {
245 /// A precomputed image of table initializers for this table.
246 ///
247 /// This image is constructed during `try_func_table_init` and
248 /// null-initialized elements are represented with
249 /// `FuncIndex::reserved_value()`. Note that this image is empty by
250 /// default and may not encompass the entire span of the table in which
251 /// case the elements are initialized to null.
252 precomputed: Vec<FuncIndex>,
253 },
254 /// An arbitrary const expression.
255 Expr(ConstExpr),
256}
257
258/// A WebAssembly table initializer segment.
259#[derive(Clone, Debug, Serialize, Deserialize)]
260pub struct TableSegment {
261 /// The index of a table to initialize.
262 pub table_index: TableIndex,
263 /// The base offset to start this segment at.
264 pub offset: ConstExpr,
265 /// The values to write into the table elements.
266 pub elements: TableSegmentElements,
267}
268
269/// Elements of a table segment, either a list of functions or list of arbitrary
270/// expressions.
271#[derive(Clone, Debug, Serialize, Deserialize)]
272pub enum TableSegmentElements {
273 /// A sequential list of functions where `FuncIndex::reserved_value()`
274 /// indicates a null function.
275 Functions(Box<[FuncIndex]>),
276 /// Arbitrary expressions, aka either functions, null or a load of a global.
277 Expressions(Box<[ConstExpr]>),
278}
279
280impl TableSegmentElements {
281 /// Returns the number of elements in this segment.
282 pub fn len(&self) -> u64 {
283 match self {
284 Self::Functions(s) => u64::try_from(s.len()).unwrap(),
285 Self::Expressions(s) => u64::try_from(s.len()).unwrap(),
286 }
287 }
288}
289
290/// A translated WebAssembly module, excluding the function bodies and
291/// memory initializers.
292#[derive(Default, Debug, Serialize, Deserialize)]
293pub struct Module {
294 /// The name of this wasm module, often found in the wasm file.
295 pub name: Option<String>,
296
297 /// All import records, in the order they are declared in the module.
298 pub initializers: Vec<Initializer>,
299
300 /// Exported entities.
301 pub exports: IndexMap<String, EntityIndex>,
302
303 /// The module "start" function, if present.
304 pub start_func: Option<FuncIndex>,
305
306 /// WebAssembly table initialization data, per table.
307 pub table_initialization: TableInitialization,
308
309 /// WebAssembly linear memory initializer.
310 pub memory_initialization: MemoryInitialization,
311
312 /// WebAssembly passive elements.
313 pub passive_elements: Vec<TableSegmentElements>,
314
315 /// The map from passive element index (element segment index space) to index in `passive_elements`.
316 pub passive_elements_map: BTreeMap<ElemIndex, usize>,
317
318 /// The map from passive data index (data segment index space) to index in `passive_data`.
319 pub passive_data_map: BTreeMap<DataIndex, Range<u32>>,
320
321 /// Types declared in the wasm module.
322 pub types: PrimaryMap<TypeIndex, EngineOrModuleTypeIndex>,
323
324 /// Number of imported or aliased functions in the module.
325 pub num_imported_funcs: usize,
326
327 /// Number of imported or aliased tables in the module.
328 pub num_imported_tables: usize,
329
330 /// Number of imported or aliased memories in the module.
331 pub num_imported_memories: usize,
332
333 /// Number of imported or aliased globals in the module.
334 pub num_imported_globals: usize,
335
336 /// Number of imported or aliased tags in the module.
337 pub num_imported_tags: usize,
338
339 /// Number of functions that "escape" from this module may need to have a
340 /// `VMFuncRef` constructed for them.
341 ///
342 /// This is also the number of functions in the `functions` array below with
343 /// an `func_ref` index (and is the maximum func_ref index).
344 pub num_escaped_funcs: usize,
345
346 /// Types of functions, imported and local.
347 pub functions: PrimaryMap<FuncIndex, FunctionType>,
348
349 /// WebAssembly tables.
350 pub tables: PrimaryMap<TableIndex, Table>,
351
352 /// WebAssembly linear memory plans.
353 pub memories: PrimaryMap<MemoryIndex, Memory>,
354
355 /// WebAssembly global variables.
356 pub globals: PrimaryMap<GlobalIndex, Global>,
357
358 /// WebAssembly global initializers for locally-defined globals.
359 pub global_initializers: PrimaryMap<DefinedGlobalIndex, ConstExpr>,
360
361 /// WebAssembly exception and control tags.
362 pub tags: PrimaryMap<TagIndex, Tag>,
363}
364
365/// Initialization routines for creating an instance, encompassing imports,
366/// modules, instances, aliases, etc.
367#[derive(Debug, Serialize, Deserialize)]
368pub enum Initializer {
369 /// An imported item is required to be provided.
370 Import {
371 /// Name of this import
372 name: String,
373 /// The field name projection of this import
374 field: String,
375 /// Where this import will be placed, which also has type information
376 /// about the import.
377 index: EntityIndex,
378 },
379}
380
381impl Module {
382 /// Allocates the module data structures.
383 pub fn new() -> Self {
384 Module::default()
385 }
386
387 /// Convert a `DefinedFuncIndex` into a `FuncIndex`.
388 #[inline]
389 pub fn func_index(&self, defined_func: DefinedFuncIndex) -> FuncIndex {
390 FuncIndex::new(self.num_imported_funcs + defined_func.index())
391 }
392
393 /// Convert a `FuncIndex` into a `DefinedFuncIndex`. Returns None if the
394 /// index is an imported function.
395 #[inline]
396 pub fn defined_func_index(&self, func: FuncIndex) -> Option<DefinedFuncIndex> {
397 if func.index() < self.num_imported_funcs {
398 None
399 } else {
400 Some(DefinedFuncIndex::new(
401 func.index() - self.num_imported_funcs,
402 ))
403 }
404 }
405
406 /// Test whether the given function index is for an imported function.
407 #[inline]
408 pub fn is_imported_function(&self, index: FuncIndex) -> bool {
409 index.index() < self.num_imported_funcs
410 }
411
412 /// Convert a `DefinedTableIndex` into a `TableIndex`.
413 #[inline]
414 pub fn table_index(&self, defined_table: DefinedTableIndex) -> TableIndex {
415 TableIndex::new(self.num_imported_tables + defined_table.index())
416 }
417
418 /// Convert a `TableIndex` into a `DefinedTableIndex`. Returns None if the
419 /// index is an imported table.
420 #[inline]
421 pub fn defined_table_index(&self, table: TableIndex) -> Option<DefinedTableIndex> {
422 if table.index() < self.num_imported_tables {
423 None
424 } else {
425 Some(DefinedTableIndex::new(
426 table.index() - self.num_imported_tables,
427 ))
428 }
429 }
430
431 /// Test whether the given table index is for an imported table.
432 #[inline]
433 pub fn is_imported_table(&self, index: TableIndex) -> bool {
434 index.index() < self.num_imported_tables
435 }
436
437 /// Convert a `DefinedMemoryIndex` into a `MemoryIndex`.
438 #[inline]
439 pub fn memory_index(&self, defined_memory: DefinedMemoryIndex) -> MemoryIndex {
440 MemoryIndex::new(self.num_imported_memories + defined_memory.index())
441 }
442
443 /// Convert a `MemoryIndex` into a `DefinedMemoryIndex`. Returns None if the
444 /// index is an imported memory.
445 #[inline]
446 pub fn defined_memory_index(&self, memory: MemoryIndex) -> Option<DefinedMemoryIndex> {
447 if memory.index() < self.num_imported_memories {
448 None
449 } else {
450 Some(DefinedMemoryIndex::new(
451 memory.index() - self.num_imported_memories,
452 ))
453 }
454 }
455
456 /// Convert a `DefinedMemoryIndex` into an `OwnedMemoryIndex`. Returns None
457 /// if the index is an imported memory.
458 #[inline]
459 pub fn owned_memory_index(&self, memory: DefinedMemoryIndex) -> OwnedMemoryIndex {
460 assert!(
461 memory.index() < self.memories.len(),
462 "non-shared memory must have an owned index"
463 );
464
465 // Once we know that the memory index is not greater than the number of
466 // plans, we can iterate through the plans up to the memory index and
467 // count how many are not shared (i.e., owned).
468 let owned_memory_index = self
469 .memories
470 .iter()
471 .skip(self.num_imported_memories)
472 .take(memory.index())
473 .filter(|(_, mp)| !mp.shared)
474 .count();
475 OwnedMemoryIndex::new(owned_memory_index)
476 }
477
478 /// Test whether the given memory index is for an imported memory.
479 #[inline]
480 pub fn is_imported_memory(&self, index: MemoryIndex) -> bool {
481 index.index() < self.num_imported_memories
482 }
483
484 /// Convert a `DefinedGlobalIndex` into a `GlobalIndex`.
485 #[inline]
486 pub fn global_index(&self, defined_global: DefinedGlobalIndex) -> GlobalIndex {
487 GlobalIndex::new(self.num_imported_globals + defined_global.index())
488 }
489
490 /// Convert a `GlobalIndex` into a `DefinedGlobalIndex`. Returns None if the
491 /// index is an imported global.
492 #[inline]
493 pub fn defined_global_index(&self, global: GlobalIndex) -> Option<DefinedGlobalIndex> {
494 if global.index() < self.num_imported_globals {
495 None
496 } else {
497 Some(DefinedGlobalIndex::new(
498 global.index() - self.num_imported_globals,
499 ))
500 }
501 }
502
503 /// Test whether the given global index is for an imported global.
504 #[inline]
505 pub fn is_imported_global(&self, index: GlobalIndex) -> bool {
506 index.index() < self.num_imported_globals
507 }
508
509 /// Test whether the given tag index is for an imported tag.
510 #[inline]
511 pub fn is_imported_tag(&self, index: TagIndex) -> bool {
512 index.index() < self.num_imported_tags
513 }
514
515 /// Convert a `DefinedTagIndex` into a `TagIndex`.
516 #[inline]
517 pub fn tag_index(&self, defined_tag: DefinedTagIndex) -> TagIndex {
518 TagIndex::new(self.num_imported_tags + defined_tag.index())
519 }
520
521 /// Convert a `TagIndex` into a `DefinedTagIndex`. Returns None if the
522 /// index is an imported tag.
523 #[inline]
524 pub fn defined_tag_index(&self, tag: TagIndex) -> Option<DefinedTagIndex> {
525 if tag.index() < self.num_imported_tags {
526 None
527 } else {
528 Some(DefinedTagIndex::new(tag.index() - self.num_imported_tags))
529 }
530 }
531
532 /// Returns an iterator of all the imports in this module, along with their
533 /// module name, field name, and type that's being imported.
534 pub fn imports(&self) -> impl ExactSizeIterator<Item = (&str, &str, EntityType)> {
535 self.initializers.iter().map(move |i| match i {
536 Initializer::Import { name, field, index } => {
537 (name.as_str(), field.as_str(), self.type_of(*index))
538 }
539 })
540 }
541
542 /// Returns the type of an item based on its index
543 pub fn type_of(&self, index: EntityIndex) -> EntityType {
544 match index {
545 EntityIndex::Global(i) => EntityType::Global(self.globals[i]),
546 EntityIndex::Table(i) => EntityType::Table(self.tables[i]),
547 EntityIndex::Memory(i) => EntityType::Memory(self.memories[i]),
548 EntityIndex::Function(i) => EntityType::Function(self.functions[i].signature),
549 EntityIndex::Tag(i) => EntityType::Tag(self.tags[i]),
550 }
551 }
552
553 /// Appends a new tag to this module with the given type information.
554 pub fn push_tag(&mut self, signature: impl Into<EngineOrModuleTypeIndex>) -> TagIndex {
555 let signature = signature.into();
556 self.tags.push(Tag { signature })
557 }
558
559 /// Appends a new function to this module with the given type information,
560 /// used for functions that either don't escape or aren't certain whether
561 /// they escape yet.
562 pub fn push_function(&mut self, signature: impl Into<EngineOrModuleTypeIndex>) -> FuncIndex {
563 let signature = signature.into();
564 self.functions.push(FunctionType {
565 signature,
566 func_ref: FuncRefIndex::reserved_value(),
567 })
568 }
569
570 /// Returns an iterator over all of the defined function indices in this
571 /// module.
572 pub fn defined_func_indices(&self) -> impl Iterator<Item = DefinedFuncIndex> + use<> {
573 (0..self.functions.len() - self.num_imported_funcs).map(|i| DefinedFuncIndex::new(i))
574 }
575
576 /// Returns the number of tables defined by this module itself: all tables
577 /// minus imported tables.
578 pub fn num_defined_tables(&self) -> usize {
579 self.tables.len() - self.num_imported_tables
580 }
581
582 /// Returns the number of memories defined by this module itself: all
583 /// memories minus imported memories.
584 pub fn num_defined_memories(&self) -> usize {
585 self.memories.len() - self.num_imported_memories
586 }
587
588 /// Returns the number of tags defined by this module itself: all tags
589 /// minus imported tags.
590 pub fn num_defined_tags(&self) -> usize {
591 self.tags.len() - self.num_imported_tags
592 }
593}
594
595impl TypeTrace for Module {
596 fn trace<F, E>(&self, func: &mut F) -> Result<(), E>
597 where
598 F: FnMut(EngineOrModuleTypeIndex) -> Result<(), E>,
599 {
600 // NB: Do not `..` elide unmodified fields so that we get compile errors
601 // when adding new fields that might need re-canonicalization.
602 let Self {
603 name: _,
604 initializers: _,
605 exports: _,
606 start_func: _,
607 table_initialization: _,
608 memory_initialization: _,
609 passive_elements: _,
610 passive_elements_map: _,
611 passive_data_map: _,
612 types,
613 num_imported_funcs: _,
614 num_imported_tables: _,
615 num_imported_memories: _,
616 num_imported_globals: _,
617 num_imported_tags: _,
618 num_escaped_funcs: _,
619 functions,
620 tables,
621 memories: _,
622 globals,
623 global_initializers: _,
624 tags,
625 } = self;
626
627 for t in types.values().copied() {
628 func(t)?;
629 }
630 for f in functions.values() {
631 f.trace(func)?;
632 }
633 for t in tables.values() {
634 t.trace(func)?;
635 }
636 for g in globals.values() {
637 g.trace(func)?;
638 }
639 for t in tags.values() {
640 t.trace(func)?;
641 }
642 Ok(())
643 }
644
645 fn trace_mut<F, E>(&mut self, func: &mut F) -> Result<(), E>
646 where
647 F: FnMut(&mut EngineOrModuleTypeIndex) -> Result<(), E>,
648 {
649 // NB: Do not `..` elide unmodified fields so that we get compile errors
650 // when adding new fields that might need re-canonicalization.
651 let Self {
652 name: _,
653 initializers: _,
654 exports: _,
655 start_func: _,
656 table_initialization: _,
657 memory_initialization: _,
658 passive_elements: _,
659 passive_elements_map: _,
660 passive_data_map: _,
661 types,
662 num_imported_funcs: _,
663 num_imported_tables: _,
664 num_imported_memories: _,
665 num_imported_globals: _,
666 num_imported_tags: _,
667 num_escaped_funcs: _,
668 functions,
669 tables,
670 memories: _,
671 globals,
672 global_initializers: _,
673 tags,
674 } = self;
675
676 for t in types.values_mut() {
677 func(t)?;
678 }
679 for f in functions.values_mut() {
680 f.trace_mut(func)?;
681 }
682 for t in tables.values_mut() {
683 t.trace_mut(func)?;
684 }
685 for g in globals.values_mut() {
686 g.trace_mut(func)?;
687 }
688 for t in tags.values_mut() {
689 t.trace_mut(func)?;
690 }
691 Ok(())
692 }
693}
694
695/// Type information about functions in a wasm module.
696#[derive(Debug, Serialize, Deserialize)]
697pub struct FunctionType {
698 /// The type of this function, indexed into the module-wide type tables for
699 /// a module compilation.
700 pub signature: EngineOrModuleTypeIndex,
701 /// The index into the funcref table, if present. Note that this is
702 /// `reserved_value()` if the function does not escape from a module.
703 pub func_ref: FuncRefIndex,
704}
705
706impl TypeTrace for FunctionType {
707 fn trace<F, E>(&self, func: &mut F) -> Result<(), E>
708 where
709 F: FnMut(EngineOrModuleTypeIndex) -> Result<(), E>,
710 {
711 func(self.signature)
712 }
713
714 fn trace_mut<F, E>(&mut self, func: &mut F) -> Result<(), E>
715 where
716 F: FnMut(&mut EngineOrModuleTypeIndex) -> Result<(), E>,
717 {
718 func(&mut self.signature)
719 }
720}
721
722impl FunctionType {
723 /// Returns whether this function's type is one that "escapes" the current
724 /// module, meaning that the function is exported, used in `ref.func`, used
725 /// in a table, etc.
726 pub fn is_escaping(&self) -> bool {
727 !self.func_ref.is_reserved_value()
728 }
729}
730
731/// Index into the funcref table within a VMContext for a function.
732#[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, Debug, Serialize, Deserialize)]
733pub struct FuncRefIndex(u32);
734cranelift_entity::entity_impl!(FuncRefIndex);