1use crate::{
37 DefinedGlobalIndex, DefinedMemoryIndex, DefinedTableIndex, DefinedTagIndex, FuncIndex,
38 FuncRefIndex, GlobalIndex, MemoryIndex, Module, OwnedMemoryIndex, TableIndex, TagIndex,
39};
40use cranelift_entity::packed_option::ReservedValue;
41
42pub const NUM_COMPONENT_CONTEXT_SLOTS: usize = 2;
45
46#[cfg(target_pointer_width = "32")]
47fn cast_to_u32(sz: usize) -> u32 {
48 u32::try_from(sz).unwrap()
49}
50#[cfg(target_pointer_width = "64")]
51fn cast_to_u32(sz: usize) -> u32 {
52 u32::try_from(sz).expect("overflow in cast from usize to u32")
53}
54
55#[inline]
57fn align(offset: u32, width: u32) -> u32 {
58 (offset + (width - 1)) / width * width
59}
60
61#[derive(Debug, Clone, Copy)]
64pub struct VMOffsets<P> {
65 pub ptr: P,
67 pub num_imported_functions: u32,
69 pub num_imported_tables: u32,
71 pub num_imported_memories: u32,
73 pub num_imported_globals: u32,
75 pub num_imported_tags: u32,
77 pub num_defined_tables: u32,
79 pub num_defined_memories: u32,
81 pub num_owned_memories: u32,
83 pub num_defined_globals: u32,
85 pub num_defined_tags: u32,
87 pub num_escaped_funcs: u32,
90
91 imported_functions: u32,
93 imported_tables: u32,
94 imported_memories: u32,
95 imported_globals: u32,
96 imported_tags: u32,
97 defined_tables: u32,
98 defined_memories: u32,
99 owned_memories: u32,
100 defined_globals: u32,
101 defined_tags: u32,
102 defined_func_refs: u32,
103 size: u32,
104}
105
106pub trait PtrSize {
108 fn size(&self) -> u8;
110
111 fn vmcontext_store_context(&self) -> u8 {
113 u8::try_from(align(
114 u32::try_from(core::mem::size_of::<u32>()).unwrap(),
115 u32::from(self.size()),
116 ))
117 .unwrap()
118 }
119
120 fn vmcontext_builtin_functions(&self) -> u8 {
122 self.vmcontext_store_context() + self.size()
123 }
124
125 #[inline]
127 fn vm_func_ref_array_call(&self) -> u8 {
128 0 * self.size()
129 }
130
131 #[inline]
133 fn vm_func_ref_wasm_call(&self) -> u8 {
134 1 * self.size()
135 }
136
137 #[inline]
139 fn vm_func_ref_type_index(&self) -> u8 {
140 2 * self.size()
141 }
142
143 #[inline]
145 fn vm_func_ref_vmctx(&self) -> u8 {
146 3 * self.size()
147 }
148
149 #[inline]
151 fn size_of_vm_func_ref(&self) -> u8 {
152 4 * self.size()
153 }
154
155 #[inline]
158 fn size_of_vmglobal_definition(&self) -> u8 {
159 16
160 }
161
162 #[inline]
164 fn size_of_vmtag_definition(&self) -> u8 {
165 4
166 }
167
168 #[inline]
170 fn maximum_value_size(&self) -> u8 {
171 self.size_of_vmglobal_definition()
172 }
173
174 #[inline]
178 fn vmstore_context_fuel_consumed(&self) -> u8 {
179 0
180 }
181
182 #[inline]
184 fn vmstore_context_epoch_deadline(&self) -> u8 {
185 self.vmstore_context_fuel_consumed() + 8
186 }
187
188 #[inline]
191 fn vmstore_context_execution_version(&self) -> u8 {
192 self.vmstore_context_epoch_deadline() + 8
193 }
194
195 #[inline]
197 fn vmstore_context_stack_limit(&self) -> u8 {
198 self.vmstore_context_execution_version() + 8
199 }
200
201 #[inline]
203 fn vmstore_context_gc_heap(&self) -> u8 {
204 self.vmstore_context_stack_limit() + self.size()
205 }
206
207 fn vmstore_context_gc_heap_base(&self) -> u8 {
209 let offset = self.vmstore_context_gc_heap() + self.vmmemory_definition_base();
210 debug_assert!(offset < self.vmstore_context_last_wasm_exit_trampoline_fp());
211 offset
212 }
213
214 fn vmstore_context_gc_heap_current_length(&self) -> u8 {
216 let offset = self.vmstore_context_gc_heap() + self.vmmemory_definition_current_length();
217 debug_assert!(offset < self.vmstore_context_last_wasm_exit_trampoline_fp());
218 offset
219 }
220
221 fn vmstore_context_last_wasm_exit_trampoline_fp(&self) -> u8 {
224 self.vmstore_context_gc_heap() + self.size_of_vmmemory_definition()
225 }
226
227 fn vmstore_context_last_wasm_exit_pc(&self) -> u8 {
229 self.vmstore_context_last_wasm_exit_trampoline_fp() + self.size()
230 }
231
232 fn vmstore_context_last_wasm_entry_sp(&self) -> u8 {
234 self.vmstore_context_last_wasm_exit_pc() + self.size()
235 }
236
237 fn vmstore_context_last_wasm_entry_fp(&self) -> u8 {
239 self.vmstore_context_last_wasm_entry_sp() + self.size()
240 }
241
242 fn vmstore_context_last_wasm_entry_trap_handler(&self) -> u8 {
244 self.vmstore_context_last_wasm_entry_fp() + self.size()
245 }
246
247 fn vmstore_context_stack_chain(&self) -> u8 {
249 self.vmstore_context_last_wasm_entry_trap_handler() + self.size()
250 }
251
252 fn vmstore_context_store_data(&self) -> u8 {
254 self.vmstore_context_stack_chain() + self.size_of_vmstack_chain()
255 }
256
257 fn vmstore_context_async_guard_range(&self) -> u8 {
259 self.vmstore_context_store_data() + self.size()
260 }
261
262 fn vmstore_context_component_context_slot(&self, i: u8) -> u8 {
265 assert!(usize::from(i) < NUM_COMPONENT_CONTEXT_SLOTS);
266 let base = self.vmstore_context_async_guard_range() + 2 * self.size();
267 let slot_size = 4;
268 base + i * slot_size
269 }
270
271 #[inline]
275 fn vmmemory_definition_base(&self) -> u8 {
276 0 * self.size()
277 }
278
279 #[inline]
281 fn vmmemory_definition_current_length(&self) -> u8 {
282 1 * self.size()
283 }
284
285 #[inline]
287 fn size_of_vmmemory_definition(&self) -> u8 {
288 2 * self.size()
289 }
290
291 #[inline]
293 fn size_of_vmmemory_pointer(&self) -> u8 {
294 self.size()
295 }
296
297 fn vmarray_call_host_func_context_func_ref(&self) -> u8 {
301 u8::try_from(align(
302 u32::try_from(core::mem::size_of::<u32>()).unwrap(),
303 u32::from(self.size()),
304 ))
305 .unwrap()
306 }
307
308 fn size_of_vmstack_chain(&self) -> u8 {
310 2 * self.size()
311 }
312
313 fn vmstack_limits_stack_limit(&self) -> u8 {
317 0
318 }
319
320 fn vmstack_limits_last_wasm_entry_fp(&self) -> u8 {
322 self.size()
323 }
324
325 fn vmhostarray_length(&self) -> u8 {
329 0
330 }
331
332 fn vmhostarray_capacity(&self) -> u8 {
334 4
335 }
336
337 fn vmhostarray_data(&self) -> u8 {
339 8
340 }
341
342 fn size_of_vmhostarray(&self) -> u8 {
344 8 + self.size()
345 }
346
347 fn vmcommon_stack_information_limits(&self) -> u8 {
351 0 * self.size()
352 }
353
354 fn vmcommon_stack_information_state(&self) -> u8 {
356 2 * self.size()
357 }
358
359 fn vmcommon_stack_information_handlers(&self) -> u8 {
361 u8::try_from(align(
362 self.vmcommon_stack_information_state() as u32 + 4,
363 u32::from(self.size()),
364 ))
365 .unwrap()
366 }
367
368 fn vmcommon_stack_information_first_switch_handler_index(&self) -> u8 {
370 self.vmcommon_stack_information_handlers() + self.size_of_vmhostarray()
371 }
372
373 fn size_of_vmcommon_stack_information(&self) -> u8 {
375 u8::try_from(align(
376 self.vmcommon_stack_information_first_switch_handler_index() as u32 + 4,
377 u32::from(self.size()),
378 ))
379 .unwrap()
380 }
381
382 fn vmcontobj_contref(&self) -> u8 {
386 0
387 }
388
389 fn vmcontobj_revision(&self) -> u8 {
391 self.size()
392 }
393
394 fn size_of_vmcontobj(&self) -> u8 {
396 u8::try_from(align(
397 u32::from(self.vmcontobj_revision())
398 + u32::try_from(core::mem::size_of::<usize>()).unwrap(),
399 u32::from(self.size()),
400 ))
401 .unwrap()
402 }
403
404 fn vmcontref_common_stack_information(&self) -> u8 {
408 0 * self.size()
409 }
410
411 fn vmcontref_parent_chain(&self) -> u8 {
413 u8::try_from(align(
414 (self.vmcontref_common_stack_information() + self.size_of_vmcommon_stack_information())
415 as u32,
416 u32::from(self.size()),
417 ))
418 .unwrap()
419 }
420
421 fn vmcontref_last_ancestor(&self) -> u8 {
423 self.vmcontref_parent_chain() + 2 * self.size()
424 }
425
426 fn vmcontref_revision(&self) -> u8 {
428 self.vmcontref_last_ancestor() + self.size()
429 }
430
431 fn vmcontref_stack(&self) -> u8 {
433 self.vmcontref_revision() + self.size()
434 }
435
436 fn vmcontref_args(&self) -> u8 {
438 self.vmcontref_stack() + 3 * self.size()
439 }
440
441 fn vmcontref_values(&self) -> u8 {
443 self.vmcontref_args() + self.size_of_vmhostarray()
444 }
445
446 #[inline]
448 fn vmctx_magic(&self) -> u8 {
449 0
453 }
454
455 #[inline]
457 fn vmctx_store_context(&self) -> u8 {
458 self.vmctx_magic() + self.size()
459 }
460
461 #[inline]
463 fn vmctx_builtin_functions(&self) -> u8 {
464 self.vmctx_store_context() + self.size()
465 }
466
467 #[inline]
470 fn vmctx_epoch_ptr(&self) -> u8 {
471 self.vmctx_builtin_functions() + self.size()
472 }
473
474 #[inline]
479 fn vmctx_gc_heap_data(&self) -> u8 {
480 self.vmctx_epoch_ptr() + self.size()
481 }
482
483 #[inline]
485 fn vmctx_type_ids_array(&self) -> u8 {
486 self.vmctx_gc_heap_data() + self.size()
487 }
488
489 #[inline]
493 fn vmctx_dynamic_data_start(&self) -> u8 {
494 self.vmctx_type_ids_array() + self.size()
495 }
496}
497
498#[derive(Clone, Copy)]
500pub struct HostPtr;
501
502impl PtrSize for HostPtr {
503 #[inline]
504 fn size(&self) -> u8 {
505 core::mem::size_of::<usize>() as u8
506 }
507}
508
509impl PtrSize for u8 {
510 #[inline]
511 fn size(&self) -> u8 {
512 *self
513 }
514}
515
516#[derive(Debug, Clone, Copy)]
518pub struct VMOffsetsFields<P> {
519 pub ptr: P,
521 pub num_imported_functions: u32,
523 pub num_imported_tables: u32,
525 pub num_imported_memories: u32,
527 pub num_imported_globals: u32,
529 pub num_imported_tags: u32,
531 pub num_defined_tables: u32,
533 pub num_defined_memories: u32,
535 pub num_owned_memories: u32,
537 pub num_defined_globals: u32,
539 pub num_defined_tags: u32,
541 pub num_escaped_funcs: u32,
544}
545
546impl<P: PtrSize> VMOffsets<P> {
547 pub fn new(ptr: P, module: &Module) -> Self {
549 let num_owned_memories = module
550 .memories
551 .iter()
552 .skip(module.num_imported_memories)
553 .filter(|p| !p.1.shared)
554 .count()
555 .try_into()
556 .unwrap();
557 VMOffsets::from(VMOffsetsFields {
558 ptr,
559 num_imported_functions: cast_to_u32(module.num_imported_funcs),
560 num_imported_tables: cast_to_u32(module.num_imported_tables),
561 num_imported_memories: cast_to_u32(module.num_imported_memories),
562 num_imported_globals: cast_to_u32(module.num_imported_globals),
563 num_imported_tags: cast_to_u32(module.num_imported_tags),
564 num_defined_tables: cast_to_u32(module.num_defined_tables()),
565 num_defined_memories: cast_to_u32(module.num_defined_memories()),
566 num_owned_memories,
567 num_defined_globals: cast_to_u32(module.globals.len() - module.num_imported_globals),
568 num_defined_tags: cast_to_u32(module.tags.len() - module.num_imported_tags),
569 num_escaped_funcs: cast_to_u32(module.num_escaped_funcs),
570 })
571 }
572
573 #[inline]
575 pub fn pointer_size(&self) -> u8 {
576 self.ptr.size()
577 }
578
579 pub fn region_sizes(&self) -> impl Iterator<Item = (&str, u32)> {
584 macro_rules! calculate_sizes {
585 ($($name:ident: $desc:tt,)*) => {{
586 let VMOffsets {
587 ptr: _,
590 num_imported_functions: _,
591 num_imported_tables: _,
592 num_imported_memories: _,
593 num_imported_globals: _,
594 num_imported_tags: _,
595 num_defined_tables: _,
596 num_defined_globals: _,
597 num_defined_memories: _,
598 num_defined_tags: _,
599 num_owned_memories: _,
600 num_escaped_funcs: _,
601
602 size,
604
605 $($name,)*
608 } = *self;
609
610 let mut last = size;
614 $(
615 assert!($name <= last);
616 let tmp = $name;
617 let $name = last - $name;
618 last = tmp;
619 )*
620 assert_ne!(last, 0);
621 IntoIterator::into_iter([
622 $(($desc, $name),)*
623 ("static vmctx data", last),
624 ])
625 }};
626 }
627
628 calculate_sizes! {
629 defined_func_refs: "module functions",
630 defined_tags: "defined tags",
631 defined_globals: "defined globals",
632 defined_tables: "defined tables",
633 imported_tags: "imported tags",
634 imported_globals: "imported globals",
635 imported_tables: "imported tables",
636 imported_functions: "imported functions",
637 owned_memories: "owned memories",
638 defined_memories: "defined memories",
639 imported_memories: "imported memories",
640 }
641 }
642}
643
644impl<P: PtrSize> From<VMOffsetsFields<P>> for VMOffsets<P> {
645 fn from(fields: VMOffsetsFields<P>) -> VMOffsets<P> {
646 let mut ret = Self {
647 ptr: fields.ptr,
648 num_imported_functions: fields.num_imported_functions,
649 num_imported_tables: fields.num_imported_tables,
650 num_imported_memories: fields.num_imported_memories,
651 num_imported_globals: fields.num_imported_globals,
652 num_imported_tags: fields.num_imported_tags,
653 num_defined_tables: fields.num_defined_tables,
654 num_defined_memories: fields.num_defined_memories,
655 num_owned_memories: fields.num_owned_memories,
656 num_defined_globals: fields.num_defined_globals,
657 num_defined_tags: fields.num_defined_tags,
658 num_escaped_funcs: fields.num_escaped_funcs,
659 imported_functions: 0,
660 imported_tables: 0,
661 imported_memories: 0,
662 imported_globals: 0,
663 imported_tags: 0,
664 defined_tables: 0,
665 defined_memories: 0,
666 owned_memories: 0,
667 defined_globals: 0,
668 defined_tags: 0,
669 defined_func_refs: 0,
670 size: 0,
671 };
672
673 #[inline]
678 fn cadd(count: u32, size: u32) -> u32 {
679 count.checked_add(size).unwrap()
680 }
681
682 #[inline]
683 fn cmul(count: u32, size: u8) -> u32 {
684 count.checked_mul(u32::from(size)).unwrap()
685 }
686
687 let mut next_field_offset = u32::from(ret.ptr.vmctx_dynamic_data_start());
688
689 macro_rules! fields {
690 (size($field:ident) = $size:expr, $($rest:tt)*) => {
691 ret.$field = next_field_offset;
692 next_field_offset = cadd(next_field_offset, u32::from($size));
693 fields!($($rest)*);
694 };
695 (align($align:expr), $($rest:tt)*) => {
696 next_field_offset = align(next_field_offset, $align);
697 fields!($($rest)*);
698 };
699 () => {};
700 }
701
702 fields! {
703 size(imported_memories)
704 = cmul(ret.num_imported_memories, ret.size_of_vmmemory_import()),
705 size(defined_memories)
706 = cmul(ret.num_defined_memories, ret.ptr.size_of_vmmemory_pointer()),
707 size(owned_memories)
708 = cmul(ret.num_owned_memories, ret.ptr.size_of_vmmemory_definition()),
709 size(imported_functions)
710 = cmul(ret.num_imported_functions, ret.size_of_vmfunction_import()),
711 size(imported_tables)
712 = cmul(ret.num_imported_tables, ret.size_of_vmtable_import()),
713 size(imported_globals)
714 = cmul(ret.num_imported_globals, ret.size_of_vmglobal_import()),
715 size(imported_tags)
716 = cmul(ret.num_imported_tags, ret.size_of_vmtag_import()),
717 size(defined_tables)
718 = cmul(ret.num_defined_tables, ret.size_of_vmtable_definition()),
719 align(16),
720 size(defined_globals)
721 = cmul(ret.num_defined_globals, ret.ptr.size_of_vmglobal_definition()),
722 size(defined_tags)
723 = cmul(ret.num_defined_tags, ret.ptr.size_of_vmtag_definition()),
724 size(defined_func_refs) = cmul(
725 ret.num_escaped_funcs,
726 ret.ptr.size_of_vm_func_ref(),
727 ),
728 }
729
730 ret.size = next_field_offset;
731
732 return ret;
733 }
734}
735
736impl<P: PtrSize> VMOffsets<P> {
737 #[inline]
739 pub fn vmfunction_import_array_call(&self) -> u8 {
740 0 * self.pointer_size()
741 }
742
743 #[inline]
745 pub fn vmfunction_import_wasm_call(&self) -> u8 {
746 1 * self.pointer_size()
747 }
748
749 #[inline]
751 pub fn vmfunction_import_type_index(&self) -> u8 {
752 2 * self.pointer_size()
753 }
754
755 #[inline]
757 pub fn vmfunction_import_vmctx(&self) -> u8 {
758 3 * self.pointer_size()
759 }
760
761 #[inline]
763 pub fn size_of_vmfunction_import(&self) -> u8 {
764 4 * self.pointer_size()
765 }
766}
767
768impl<P: PtrSize> VMOffsets<P> {
770 pub fn size_of_vmfunction_body_ptr(&self) -> u8 {
772 1 * self.pointer_size()
773 }
774}
775
776impl<P: PtrSize> VMOffsets<P> {
778 #[inline]
780 pub fn vmtable_import_from(&self) -> u8 {
781 0 * self.pointer_size()
782 }
783
784 #[inline]
786 pub fn vmtable_import_vmctx(&self) -> u8 {
787 1 * self.pointer_size()
788 }
789
790 #[inline]
792 pub fn vmtable_import_index(&self) -> u8 {
793 2 * self.pointer_size()
794 }
795
796 #[inline]
798 pub fn size_of_vmtable_import(&self) -> u8 {
799 3 * self.pointer_size()
800 }
801}
802
803impl<P: PtrSize> VMOffsets<P> {
805 #[inline]
807 pub fn vmtable_definition_base(&self) -> u8 {
808 0 * self.pointer_size()
809 }
810
811 pub fn vmtable_definition_current_elements(&self) -> u8 {
813 1 * self.pointer_size()
814 }
815
816 #[inline]
818 pub fn size_of_vmtable_definition_current_elements(&self) -> u8 {
819 self.pointer_size()
820 }
821
822 #[inline]
824 pub fn size_of_vmtable_definition(&self) -> u8 {
825 2 * self.pointer_size()
826 }
827}
828
829impl<P: PtrSize> VMOffsets<P> {
831 #[inline]
833 pub fn vmmemory_import_from(&self) -> u8 {
834 0 * self.pointer_size()
835 }
836
837 #[inline]
839 pub fn vmmemory_import_vmctx(&self) -> u8 {
840 1 * self.pointer_size()
841 }
842
843 #[inline]
845 pub fn vmmemory_import_index(&self) -> u8 {
846 2 * self.pointer_size()
847 }
848
849 #[inline]
851 pub fn size_of_vmmemory_import(&self) -> u8 {
852 3 * self.pointer_size()
853 }
854}
855
856impl<P: PtrSize> VMOffsets<P> {
858 #[inline]
860 pub fn vmglobal_import_from(&self) -> u8 {
861 0 * self.pointer_size()
862 }
863
864 #[inline]
866 pub fn size_of_vmglobal_import(&self) -> u8 {
867 2 * self.pointer_size() + 8
869 }
870}
871
872impl<P: PtrSize> VMOffsets<P> {
874 #[inline]
876 pub fn size_of_vmshared_type_index(&self) -> u8 {
877 4
878 }
879}
880
881impl<P: PtrSize> VMOffsets<P> {
883 #[inline]
885 pub fn vmtag_import_from(&self) -> u8 {
886 0 * self.pointer_size()
887 }
888
889 #[inline]
891 pub fn vmtag_import_vmctx(&self) -> u8 {
892 1 * self.pointer_size()
893 }
894
895 #[inline]
897 pub fn vmtag_import_index(&self) -> u8 {
898 2 * self.pointer_size()
899 }
900
901 #[inline]
903 pub fn size_of_vmtag_import(&self) -> u8 {
904 3 * self.pointer_size()
905 }
906}
907
908impl<P: PtrSize> VMOffsets<P> {
910 #[inline]
912 pub fn vmctx_imported_functions_begin(&self) -> u32 {
913 self.imported_functions
914 }
915
916 #[inline]
918 pub fn vmctx_imported_tables_begin(&self) -> u32 {
919 self.imported_tables
920 }
921
922 #[inline]
924 pub fn vmctx_imported_memories_begin(&self) -> u32 {
925 self.imported_memories
926 }
927
928 #[inline]
930 pub fn vmctx_imported_globals_begin(&self) -> u32 {
931 self.imported_globals
932 }
933
934 #[inline]
936 pub fn vmctx_imported_tags_begin(&self) -> u32 {
937 self.imported_tags
938 }
939
940 #[inline]
942 pub fn vmctx_tables_begin(&self) -> u32 {
943 self.defined_tables
944 }
945
946 #[inline]
948 pub fn vmctx_memories_begin(&self) -> u32 {
949 self.defined_memories
950 }
951
952 #[inline]
954 pub fn vmctx_owned_memories_begin(&self) -> u32 {
955 self.owned_memories
956 }
957
958 #[inline]
960 pub fn vmctx_globals_begin(&self) -> u32 {
961 self.defined_globals
962 }
963
964 #[inline]
966 pub fn vmctx_tags_begin(&self) -> u32 {
967 self.defined_tags
968 }
969
970 #[inline]
972 pub fn vmctx_func_refs_begin(&self) -> u32 {
973 self.defined_func_refs
974 }
975
976 #[inline]
978 pub fn size_of_vmctx(&self) -> u32 {
979 self.size
980 }
981
982 #[inline]
984 pub fn vmctx_vmfunction_import(&self, index: FuncIndex) -> u32 {
985 assert!(index.as_u32() < self.num_imported_functions);
986 self.vmctx_imported_functions_begin()
987 + index.as_u32() * u32::from(self.size_of_vmfunction_import())
988 }
989
990 #[inline]
992 pub fn vmctx_vmtable_import(&self, index: TableIndex) -> u32 {
993 assert!(index.as_u32() < self.num_imported_tables);
994 self.vmctx_imported_tables_begin()
995 + index.as_u32() * u32::from(self.size_of_vmtable_import())
996 }
997
998 #[inline]
1000 pub fn vmctx_vmmemory_import(&self, index: MemoryIndex) -> u32 {
1001 assert!(index.as_u32() < self.num_imported_memories);
1002 self.vmctx_imported_memories_begin()
1003 + index.as_u32() * u32::from(self.size_of_vmmemory_import())
1004 }
1005
1006 #[inline]
1008 pub fn vmctx_vmglobal_import(&self, index: GlobalIndex) -> u32 {
1009 assert!(index.as_u32() < self.num_imported_globals);
1010 self.vmctx_imported_globals_begin()
1011 + index.as_u32() * u32::from(self.size_of_vmglobal_import())
1012 }
1013
1014 #[inline]
1016 pub fn vmctx_vmtag_import(&self, index: TagIndex) -> u32 {
1017 assert!(index.as_u32() < self.num_imported_tags);
1018 self.vmctx_imported_tags_begin() + index.as_u32() * u32::from(self.size_of_vmtag_import())
1019 }
1020
1021 #[inline]
1023 pub fn vmctx_vmtable_definition(&self, index: DefinedTableIndex) -> u32 {
1024 assert!(index.as_u32() < self.num_defined_tables);
1025 self.vmctx_tables_begin() + index.as_u32() * u32::from(self.size_of_vmtable_definition())
1026 }
1027
1028 #[inline]
1030 pub fn vmctx_vmmemory_pointer(&self, index: DefinedMemoryIndex) -> u32 {
1031 assert!(index.as_u32() < self.num_defined_memories);
1032 self.vmctx_memories_begin()
1033 + index.as_u32() * u32::from(self.ptr.size_of_vmmemory_pointer())
1034 }
1035
1036 #[inline]
1038 pub fn vmctx_vmmemory_definition(&self, index: OwnedMemoryIndex) -> u32 {
1039 assert!(index.as_u32() < self.num_owned_memories);
1040 self.vmctx_owned_memories_begin()
1041 + index.as_u32() * u32::from(self.ptr.size_of_vmmemory_definition())
1042 }
1043
1044 #[inline]
1046 pub fn vmctx_vmglobal_definition(&self, index: DefinedGlobalIndex) -> u32 {
1047 assert!(index.as_u32() < self.num_defined_globals);
1048 self.vmctx_globals_begin()
1049 + index.as_u32() * u32::from(self.ptr.size_of_vmglobal_definition())
1050 }
1051
1052 #[inline]
1054 pub fn vmctx_vmtag_definition(&self, index: DefinedTagIndex) -> u32 {
1055 assert!(index.as_u32() < self.num_defined_tags);
1056 self.vmctx_tags_begin() + index.as_u32() * u32::from(self.ptr.size_of_vmtag_definition())
1057 }
1058
1059 #[inline]
1062 pub fn vmctx_func_ref(&self, index: FuncRefIndex) -> u32 {
1063 assert!(!index.is_reserved_value());
1064 assert!(index.as_u32() < self.num_escaped_funcs);
1065 self.vmctx_func_refs_begin() + index.as_u32() * u32::from(self.ptr.size_of_vm_func_ref())
1066 }
1067
1068 #[inline]
1070 pub fn vmctx_vmfunction_import_wasm_call(&self, index: FuncIndex) -> u32 {
1071 self.vmctx_vmfunction_import(index) + u32::from(self.vmfunction_import_wasm_call())
1072 }
1073
1074 #[inline]
1076 pub fn vmctx_vmfunction_import_array_call(&self, index: FuncIndex) -> u32 {
1077 self.vmctx_vmfunction_import(index) + u32::from(self.vmfunction_import_array_call())
1078 }
1079
1080 #[inline]
1082 pub fn vmctx_vmfunction_import_vmctx(&self, index: FuncIndex) -> u32 {
1083 self.vmctx_vmfunction_import(index) + u32::from(self.vmfunction_import_vmctx())
1084 }
1085
1086 #[inline]
1089 pub fn vmctx_vmtable_from(&self, index: TableIndex) -> u32 {
1090 self.vmctx_vmtable_import(index) + u32::from(self.vmtable_import_from())
1091 }
1092
1093 #[inline]
1095 pub fn vmctx_vmtable_definition_base(&self, index: DefinedTableIndex) -> u32 {
1096 self.vmctx_vmtable_definition(index) + u32::from(self.vmtable_definition_base())
1097 }
1098
1099 #[inline]
1101 pub fn vmctx_vmtable_definition_current_elements(&self, index: DefinedTableIndex) -> u32 {
1102 self.vmctx_vmtable_definition(index) + u32::from(self.vmtable_definition_current_elements())
1103 }
1104
1105 #[inline]
1107 pub fn vmctx_vmmemory_import_from(&self, index: MemoryIndex) -> u32 {
1108 self.vmctx_vmmemory_import(index) + u32::from(self.vmmemory_import_from())
1109 }
1110
1111 #[inline]
1113 pub fn vmctx_vmmemory_definition_base(&self, index: OwnedMemoryIndex) -> u32 {
1114 self.vmctx_vmmemory_definition(index) + u32::from(self.ptr.vmmemory_definition_base())
1115 }
1116
1117 #[inline]
1119 pub fn vmctx_vmmemory_definition_current_length(&self, index: OwnedMemoryIndex) -> u32 {
1120 self.vmctx_vmmemory_definition(index)
1121 + u32::from(self.ptr.vmmemory_definition_current_length())
1122 }
1123
1124 #[inline]
1126 pub fn vmctx_vmglobal_import_from(&self, index: GlobalIndex) -> u32 {
1127 self.vmctx_vmglobal_import(index) + u32::from(self.vmglobal_import_from())
1128 }
1129
1130 #[inline]
1132 pub fn vmctx_vmtag_import_from(&self, index: TagIndex) -> u32 {
1133 self.vmctx_vmtag_import(index) + u32::from(self.vmtag_import_from())
1134 }
1135
1136 #[inline]
1138 pub fn vmctx_vmtag_import_vmctx(&self, index: TagIndex) -> u32 {
1139 self.vmctx_vmtag_import(index) + u32::from(self.vmtag_import_vmctx())
1140 }
1141
1142 #[inline]
1144 pub fn vmctx_vmtag_import_index(&self, index: TagIndex) -> u32 {
1145 self.vmctx_vmtag_import(index) + u32::from(self.vmtag_import_index())
1146 }
1147}
1148
1149impl<P: PtrSize> VMOffsets<P> {
1151 #[inline]
1153 pub fn vm_gc_header_kind(&self) -> u32 {
1154 0
1155 }
1156
1157 #[inline]
1159 pub fn vm_gc_header_reserved_bits(&self) -> u32 {
1160 self.vm_gc_header_kind()
1162 }
1163
1164 #[inline]
1166 pub fn vm_gc_header_ty(&self) -> u32 {
1167 self.vm_gc_header_kind() + 4
1168 }
1169}
1170
1171impl<P: PtrSize> VMOffsets<P> {
1175 #[inline]
1177 pub fn vm_drc_header_ref_count(&self) -> u32 {
1178 8
1179 }
1180
1181 #[inline]
1183 pub fn vm_drc_header_next_over_approximated_stack_root(&self) -> u32 {
1184 self.vm_drc_header_ref_count() + 8
1185 }
1186}
1187
1188pub const VMCONTEXT_MAGIC: u32 = u32::from_le_bytes(*b"core");
1192
1193pub const VM_ARRAY_CALL_HOST_FUNC_MAGIC: u32 = u32::from_le_bytes(*b"ACHF");
1198
1199#[cfg(test)]
1200mod tests {
1201 use crate::vmoffsets::align;
1202
1203 #[test]
1204 fn alignment() {
1205 fn is_aligned(x: u32) -> bool {
1206 x % 16 == 0
1207 }
1208 assert!(is_aligned(align(0, 16)));
1209 assert!(is_aligned(align(32, 16)));
1210 assert!(is_aligned(align(33, 16)));
1211 assert!(is_aligned(align(31, 16)));
1212 }
1213}