1use std::num::NonZeroUsize;
15use std::{fmt, num::NonZeroU32, path::PathBuf, time::Duration};
16use wasmtime::{Config, Engine, Result, WasmBacktraceDetails, WasmFeatures, bail};
17
18pub mod opt;
19
20#[cfg(feature = "logging")]
21fn init_file_per_thread_logger(prefix: &'static str) {
22 file_per_thread_logger::initialize(prefix);
23 file_per_thread_logger::allow_uninitialized();
24
25 #[cfg(feature = "parallel-compilation")]
30 rayon::ThreadPoolBuilder::new()
31 .spawn_handler(move |thread| {
32 let mut b = std::thread::Builder::new();
33 if let Some(name) = thread.name() {
34 b = b.name(name.to_owned());
35 }
36 if let Some(stack_size) = thread.stack_size() {
37 b = b.stack_size(stack_size);
38 }
39 b.spawn(move || {
40 file_per_thread_logger::initialize(prefix);
41 thread.run()
42 })?;
43 Ok(())
44 })
45 .build_global()
46 .unwrap();
47}
48
49wasmtime_option_group! {
50 #[env = "OPTIMIZE"]
51 pub struct OptimizeOptions {
52 #[serde(default)]
54 #[serde(deserialize_with = "crate::opt::deserialize_cli_parse_wrapper")]
55 #[serde(serialize_with = "crate::opt::serialize_cli_parse_wrapper")]
56 pub opt_level: Option<wasmtime::OptLevel>,
57
58 #[serde(default)]
60 #[serde(deserialize_with = "crate::opt::deserialize_cli_parse_wrapper")]
61 #[serde(serialize_with = "crate::opt::serialize_cli_parse_wrapper")]
62 pub regalloc_algorithm: Option<wasmtime::RegallocAlgorithm>,
63
64 pub memory_may_move: Option<bool>,
67
68 pub memory_reservation: Option<u64>,
70
71 pub memory_reservation_for_growth: Option<u64>,
73
74 pub memory_guard_size: Option<u64>,
76
77 pub gc_heap_may_move: Option<bool>,
80
81 pub gc_heap_reservation: Option<u64>,
83
84 pub gc_heap_reservation_for_growth: Option<u64>,
86
87 pub gc_heap_guard_size: Option<u64>,
89
90 pub gc_heap_initial_size: Option<u64>,
92
93 pub guard_before_linear_memory: Option<bool>,
96
97 pub table_lazy_init: Option<bool>,
102
103 pub pooling_allocator: Option<bool>,
105
106 pub pooling_decommit_batch_size: Option<usize>,
109
110 pub pooling_memory_keep_resident: Option<usize>,
113
114 pub pooling_table_keep_resident: Option<usize>,
117
118 #[serde(default)]
121 #[serde(deserialize_with = "crate::opt::deserialize_cli_parse_wrapper")]
122 #[serde(serialize_with = "crate::opt::serialize_cli_parse_wrapper")]
123 pub pooling_memory_protection_keys: Option<wasmtime::Enabled>,
124
125 pub pooling_max_memory_protection_keys: Option<usize>,
128
129 pub memory_init_cow: Option<bool>,
132
133 pub memory_guaranteed_dense_image_size: Option<u64>,
136
137 pub pooling_total_core_instances: Option<u32>,
140
141 pub pooling_total_component_instances: Option<u32>,
144
145 pub pooling_total_memories: Option<u32>,
148
149 pub pooling_total_tables: Option<u32>,
152
153 pub pooling_total_stacks: Option<u32>,
156
157 pub pooling_max_memory_size: Option<usize>,
160
161 pub pooling_table_elements: Option<usize>,
164
165 pub pooling_max_core_instance_size: Option<usize>,
168
169 pub pooling_max_unused_warm_slots: Option<u32>,
172
173 pub pooling_async_stack_keep_resident: Option<usize>,
176
177 pub pooling_max_component_instance_size: Option<usize>,
180
181 pub pooling_max_core_instances_per_component: Option<u32>,
184
185 pub pooling_max_memories_per_component: Option<u32>,
188
189 pub pooling_max_tables_per_component: Option<u32>,
192
193 pub pooling_max_tables_per_module: Option<u32>,
195
196 pub pooling_max_memories_per_module: Option<u32>,
198
199 pub pooling_total_gc_heaps: Option<u32>,
201
202 pub signals_based_traps: Option<bool>,
204
205 pub dynamic_memory_guard_size: Option<u64>,
207
208 pub static_memory_guard_size: Option<u64>,
210
211 pub static_memory_forced: Option<bool>,
213
214 pub static_memory_maximum_size: Option<u64>,
216
217 pub dynamic_memory_reserved_for_growth: Option<u64>,
219
220 #[serde(default)]
223 #[serde(deserialize_with = "crate::opt::deserialize_cli_parse_wrapper")]
224 #[serde(serialize_with = "crate::opt::serialize_cli_parse_wrapper")]
225 pub pooling_pagemap_scan: Option<wasmtime::Enabled>,
226
227 #[doc(hidden)]
229 pub gc_zeal_alloc_counter: Option<NonZeroU32>,
230 }
231
232 enum Optimize {
233 ...
234 }
235}
236
237wasmtime_option_group! {
238 #[env = "CODEGEN"]
239 pub struct CodegenOptions {
240 #[serde(default)]
245 #[serde(deserialize_with = "crate::opt::deserialize_cli_parse_wrapper")]
246 #[serde(serialize_with = "crate::opt::serialize_cli_parse_wrapper")]
247 pub compiler: Option<wasmtime::Strategy>,
248 #[serde(default)]
260 #[serde(deserialize_with = "crate::opt::deserialize_cli_parse_wrapper")]
261 #[serde(serialize_with = "crate::opt::serialize_cli_parse_wrapper")]
262 pub collector: Option<wasmtime::Collector>,
263 pub cranelift_debug_verifier: Option<bool>,
265 pub cache: Option<bool>,
267 pub cache_config: Option<String>,
269 pub parallel_compilation: Option<bool>,
271 pub native_unwind_info: Option<bool>,
274
275 #[serde(default)]
277 #[serde(deserialize_with = "crate::opt::deserialize_cli_parse_wrapper")]
278 #[serde(serialize_with = "crate::opt::serialize_cli_parse_wrapper")]
279 pub inlining: Option<wasmtime::Inlining>,
280
281 pub metadata_for_internal_asserts: Option<bool>,
284 pub metadata_for_gc_heap_corruption: Option<bool>,
287
288 #[serde(default)]
308 #[serde(deserialize_with = "crate::opt::deserialize_cli_parse_wrapper")]
309 #[serde(serialize_with = "crate::opt::serialize_cli_parse_wrapper")]
310 pub unsafe_intrinsics: Option<UnsafeIntrinsicsImport>,
311
312 #[serde(skip)]
335 pub compile_time_builtin: Vec<CompileTimeBuiltin>,
336
337 #[prefixed = "cranelift"]
338 #[serde(default)]
339 pub cranelift: Vec<(String, Option<String>)>,
342 }
343
344 enum Codegen {
345 ...
346 }
347}
348
349wasmtime_option_group! {
350 #[env = "DEBUG"]
351 pub struct DebugOptions {
352 pub debug_info: Option<bool>,
354 pub guest_debug: Option<bool>,
356 pub address_map: Option<bool>,
358 pub logging: Option<bool>,
360 pub log_to_files: Option<bool>,
362 pub coredump: Option<String>,
364 pub debugger: Option<PathBuf>,
367 #[serde(default)]
370 pub arg: Vec<String>,
371 pub inherit_stdin: Option<bool>,
374 pub inherit_stdout: Option<bool>,
377 pub inherit_stderr: Option<bool>,
380 pub max_backtrace: Option<usize>,
382 pub symbols: Option<bool>,
384 }
385
386 enum Debug {
387 ...
388 }
389}
390
391wasmtime_option_group! {
392 #[env = "WASM"]
393 pub struct WasmOptions {
394 pub nan_canonicalization: Option<bool>,
396 pub fuel: Option<u64>,
404 pub epoch_interruption: Option<bool>,
407 pub max_wasm_stack: Option<usize>,
410 pub async_stack_size: Option<usize>,
416 pub async_stack_zeroing: Option<bool>,
419 pub unknown_exports_allow: Option<bool>,
421 pub unknown_imports_trap: Option<bool>,
424 pub unknown_imports_default: Option<bool>,
427 pub wmemcheck: Option<bool>,
429 pub max_memory_size: Option<usize>,
434 pub max_table_elements: Option<usize>,
436 pub max_instances: Option<usize>,
438 pub max_tables: Option<usize>,
440 pub max_memories: Option<usize>,
442 pub trap_on_grow_failure: Option<bool>,
449 pub timeout: Option<Duration>,
451 pub all_proposals: Option<bool>,
453 pub bulk_memory: Option<bool>,
455 pub multi_memory: Option<bool>,
457 pub multi_value: Option<bool>,
459 pub reference_types: Option<bool>,
461 pub simd: Option<bool>,
463 pub relaxed_simd: Option<bool>,
465 pub relaxed_simd_deterministic: Option<bool>,
474 pub tail_call: Option<bool>,
476 pub threads: Option<bool>,
478 pub shared_memory: Option<bool>,
480 pub shared_everything_threads: Option<bool>,
482 pub memory64: Option<bool>,
484 pub component_model: Option<bool>,
486 pub component_model_async: Option<bool>,
488 pub component_model_more_async_builtins: Option<bool>,
491 pub component_model_async_stackful: Option<bool>,
494 pub component_model_threading: Option<bool>,
497 pub component_model_error_context: Option<bool>,
500 pub component_model_gc: Option<bool>,
503 pub component_model_map: Option<bool>,
505 pub component_model_memory64: Option<bool>,
508 pub function_references: Option<bool>,
510 pub stack_switching: Option<bool>,
512 pub gc: Option<bool>,
514 pub custom_page_sizes: Option<bool>,
516 pub wide_arithmetic: Option<bool>,
518 pub branch_hinting: Option<bool>,
520 pub extended_const: Option<bool>,
522 pub exceptions: Option<bool>,
524 pub gc_support: Option<bool>,
526 pub component_model_fixed_length_lists: Option<bool>,
529 pub component_model_implements: Option<bool>,
532 pub concurrency_support: Option<bool>,
535 }
536
537 enum Wasm {
538 ...
539 }
540}
541
542wasmtime_option_group! {
543 #[env = "WASI"]
544 pub struct WasiOptions {
545 pub cli: Option<bool>,
547 pub cli_exit_with_code: Option<bool>,
549 pub common: Option<bool>,
551 pub nn: Option<bool>,
553 pub threads: Option<bool>,
555 pub http: Option<bool>,
557 pub http_outgoing_body_buffer_chunks: Option<usize>,
561 pub http_outgoing_body_chunk_size: Option<usize>,
564 pub config: Option<bool>,
566 pub keyvalue: Option<bool>,
568 pub listenfd: Option<bool>,
572 #[serde(default)]
575 pub tcplisten: Vec<String>,
576 pub tls: Option<bool>,
578 pub preview2: Option<bool>,
581 #[serde(skip)]
590 pub nn_graph: Vec<WasiNnGraph>,
591 pub inherit_network: Option<bool>,
594 pub allow_ip_name_lookup: Option<bool>,
596 pub tcp: Option<bool>,
598 pub udp: Option<bool>,
600 pub network_error_code: Option<bool>,
602 pub preview0: Option<bool>,
604 pub inherit_env: Option<bool>,
608 pub inherit_stdin: Option<bool>,
610 pub inherit_stdout: Option<bool>,
612 pub inherit_stderr: Option<bool>,
614 pub cwd: Option<String>,
616 #[serde(skip)]
618 pub config_var: Vec<KeyValuePair>,
619 #[serde(skip)]
621 pub keyvalue_in_memory_data: Vec<KeyValuePair>,
622 pub p3: Option<bool>,
624 pub max_resources: Option<usize>,
626 pub hostcall_fuel: Option<usize>,
628 pub max_random_size: Option<u64>,
632 pub max_http_fields_size: Option<usize>,
636 }
637
638 enum Wasi {
639 ...
640 }
641}
642
643wasmtime_option_group! {
644 #[env = "RECORD"]
645 pub struct RecordOptions {
646 pub path: Option<String>,
648 pub validation_metadata: Option<bool>,
651 pub event_window_size: Option<usize>,
654 }
655
656 enum Record {
657 ...
658 }
659}
660
661#[derive(Debug, Clone, PartialEq)]
662pub struct WasiNnGraph {
663 pub format: String,
664 pub dir: String,
665}
666
667#[derive(Debug, Clone, PartialEq)]
668pub struct KeyValuePair {
669 pub key: String,
670 pub value: String,
671}
672
673#[derive(Debug, Clone, PartialEq)]
676pub struct UnsafeIntrinsicsImport(pub String);
677
678#[derive(Debug, Clone, PartialEq)]
680pub struct CompileTimeBuiltin {
681 pub name: String,
683 pub path: PathBuf,
685}
686
687#[derive(Clone)]
689#[cfg_attr(feature = "clap", derive(clap::Parser))]
690#[cfg_attr(
691 feature = "serde",
692 derive(serde_derive::Deserialize, serde_derive::Serialize)
693)]
694#[cfg_attr(feature = "serde", serde(deny_unknown_fields))]
695pub struct CommonOptions {
696 #[cfg_attr(
706 feature = "clap",
707 arg(short = 'O', long = "optimize", value_name = "KEY[=VAL[,..]]")
708 )]
709 #[cfg_attr(feature = "serde", serde(skip))]
710 opts_raw: Vec<opt::CommaSeparated<Optimize>>,
711
712 #[cfg_attr(
714 feature = "clap",
715 arg(short = 'C', long = "codegen", value_name = "KEY[=VAL[,..]]")
716 )]
717 #[cfg_attr(feature = "serde", serde(skip))]
718 codegen_raw: Vec<opt::CommaSeparated<Codegen>>,
719
720 #[cfg_attr(
722 feature = "clap",
723 arg(short = 'D', long = "debug", value_name = "KEY[=VAL[,..]]")
724 )]
725 #[cfg_attr(feature = "serde", serde(skip))]
726 debug_raw: Vec<opt::CommaSeparated<Debug>>,
727
728 #[cfg_attr(
731 feature = "clap",
732 arg(short = 'W', long = "wasm", value_name = "KEY[=VAL[,..]]")
733 )]
734 #[cfg_attr(feature = "serde", serde(skip))]
735 wasm_raw: Vec<opt::CommaSeparated<Wasm>>,
736
737 #[cfg_attr(
739 feature = "clap",
740 arg(short = 'S', long = "wasi", value_name = "KEY[=VAL[,..]]")
741 )]
742 #[cfg_attr(feature = "serde", serde(skip))]
743 wasi_raw: Vec<opt::CommaSeparated<Wasi>>,
744
745 #[cfg_attr(
754 feature = "clap",
755 arg(short = 'R', long = "record", value_name = "KEY[=VAL[,..]]")
756 )]
757 #[cfg_attr(feature = "serde", serde(skip))]
758 record_raw: Vec<opt::CommaSeparated<Record>>,
759
760 #[cfg_attr(feature = "clap", arg(skip))]
763 #[cfg_attr(feature = "serde", serde(skip))]
764 configured: bool,
765
766 #[cfg_attr(feature = "clap", arg(skip))]
767 #[cfg_attr(feature = "serde", serde(rename = "optimize", default))]
768 pub opts: OptimizeOptions,
769
770 #[cfg_attr(feature = "clap", arg(skip))]
771 #[cfg_attr(feature = "serde", serde(default))]
772 pub codegen: CodegenOptions,
773
774 #[cfg_attr(feature = "clap", arg(skip))]
775 #[cfg_attr(feature = "serde", serde(default))]
776 pub debug: DebugOptions,
777
778 #[cfg_attr(feature = "clap", arg(skip))]
779 #[cfg_attr(feature = "serde", serde(default))]
780 pub wasm: WasmOptions,
781
782 #[cfg_attr(feature = "clap", arg(skip))]
783 #[cfg_attr(feature = "serde", serde(default))]
784 pub wasi: WasiOptions,
785
786 #[cfg_attr(feature = "clap", arg(skip))]
787 #[cfg_attr(feature = "serde", serde(default))]
788 pub record: RecordOptions,
789
790 #[cfg_attr(feature = "clap", arg(long, value_name = "TARGET"))]
792 #[cfg_attr(feature = "serde", serde(skip))]
793 pub target: Option<String>,
794
795 #[cfg_attr(feature = "clap", arg(long = "config", value_name = "FILE"))]
802 #[cfg_attr(feature = "serde", serde(skip))]
803 pub config: Option<PathBuf>,
804}
805
806macro_rules! match_feature {
807 (
808 [$feat:tt : $config:expr]
809 $val:ident => $e:expr,
810 $p:pat => err,
811 ) => {
812 #[cfg(feature = $feat)]
813 {
814 if let Some($val) = $config {
815 $e;
816 }
817 }
818 #[cfg(not(feature = $feat))]
819 {
820 if let Some($p) = $config {
821 bail!(concat!("support for ", $feat, " disabled at compile time"));
822 }
823 }
824 };
825}
826
827impl CommonOptions {
828 pub fn new() -> CommonOptions {
830 CommonOptions {
831 opts_raw: Vec::new(),
832 codegen_raw: Vec::new(),
833 debug_raw: Vec::new(),
834 wasm_raw: Vec::new(),
835 wasi_raw: Vec::new(),
836 record_raw: Vec::new(),
837 configured: true,
838 opts: Default::default(),
839 codegen: Default::default(),
840 debug: Default::default(),
841 wasm: Default::default(),
842 wasi: Default::default(),
843 record: Default::default(),
844 target: None,
845 config: None,
846 }
847 }
848
849 fn configure(&mut self) -> Result<()> {
850 if self.configured {
851 return Ok(());
852 }
853 self.configured = true;
854 if let Some(toml_config_path) = &self.config {
855 #[cfg(feature = "toml")]
856 {
857 let toml_options = CommonOptions::from_file(toml_config_path)?;
858 self.opts = toml_options.opts;
859 self.codegen = toml_options.codegen;
860 self.debug = toml_options.debug;
861 self.wasm = toml_options.wasm;
862 self.wasi = toml_options.wasi;
863 self.record = toml_options.record;
864 }
865 #[cfg(not(feature = "toml"))]
866 {
867 bail!(
868 "support for loading a configuration file from \
869 {toml_config_path:?} disabled at compile time"
870 );
871 }
872 }
873 self.opts.configure_with(&self.opts_raw)?;
874 self.codegen.configure_with(&self.codegen_raw)?;
875 self.debug.configure_with(&self.debug_raw)?;
876 self.wasm.configure_with(&self.wasm_raw)?;
877 self.wasi.configure_with(&self.wasi_raw)?;
878 self.record.configure_with(&self.record_raw)?;
879 Ok(())
880 }
881
882 pub fn init_logging(&mut self) -> Result<()> {
883 self.configure()?;
884 if self.debug.logging == Some(false) {
885 return Ok(());
886 }
887 #[cfg(feature = "logging")]
888 if self.debug.log_to_files == Some(true) {
889 let prefix = "wasmtime.dbg.";
890 init_file_per_thread_logger(prefix);
891 } else {
892 use std::io::IsTerminal;
893 use tracing_subscriber::{EnvFilter, FmtSubscriber};
894 let builder = FmtSubscriber::builder()
895 .with_writer(std::io::stderr)
896 .with_env_filter(EnvFilter::from_env("WASMTIME_LOG"))
897 .with_ansi(std::io::stderr().is_terminal());
898 if std::env::var("WASMTIME_LOG_NO_CONTEXT").is_ok_and(|value| value.eq("1")) {
899 builder
900 .with_level(false)
901 .with_target(false)
902 .without_time()
903 .init()
904 } else {
905 builder.init();
906 }
907 }
908 #[cfg(not(feature = "logging"))]
909 if self.debug.log_to_files == Some(true) || self.debug.logging == Some(true) {
910 bail!("support for logging disabled at compile time");
911 }
912 Ok(())
913 }
914
915 pub fn config(&mut self, pooling_allocator_default: Option<bool>) -> Result<Config> {
916 self.configure()?;
917 let mut config = Config::new();
918
919 match_feature! {
920 ["cranelift" : self.codegen.compiler]
921 strategy => config.strategy(strategy),
922 _ => err,
923 }
924 match_feature! {
925 ["gc" : self.codegen.collector]
926 collector => config.collector(collector),
927 _ => err,
928 }
929 if let Some(target) = &self.target {
930 config.target(target)?;
931 }
932 match_feature! {
933 ["cranelift" : self.codegen.cranelift_debug_verifier]
934 enable => config.cranelift_debug_verifier(enable),
935 true => err,
936 }
937 if let Some(enable) = self.debug.debug_info {
938 config.debug_info(enable);
939 }
940 match_feature! {
941 ["debug" : self.debug.guest_debug]
942 enable => config.guest_debug(enable),
943 _ => err,
944 }
945 if self.debug.coredump.is_some() {
946 #[cfg(feature = "coredump")]
947 config.coredump_on_trap(true);
948 #[cfg(not(feature = "coredump"))]
949 bail!("support for coredumps disabled at compile time");
950 }
951 match_feature! {
952 ["cranelift" : self.opts.opt_level]
953 level => config.cranelift_opt_level(level),
954 _ => err,
955 }
956 match_feature! {
957 ["cranelift": self.opts.regalloc_algorithm]
958 algo => config.cranelift_regalloc_algorithm(algo),
959 _ => err,
960 }
961 match_feature! {
962 ["cranelift" : self.wasm.nan_canonicalization]
963 enable => config.cranelift_nan_canonicalization(enable),
964 true => err,
965 }
966
967 self.enable_wasm_features(&mut config)?;
968
969 #[cfg(feature = "cranelift")]
970 for (name, value) in self.codegen.cranelift.iter() {
971 let name = name.replace('-', "_");
972 unsafe {
973 match value {
974 Some(val) => {
975 config.cranelift_flag_set(&name, val);
976 }
977 None => {
978 config.cranelift_flag_enable(&name);
979 }
980 }
981 }
982 }
983 #[cfg(not(feature = "cranelift"))]
984 if !self.codegen.cranelift.is_empty() {
985 bail!("support for cranelift disabled at compile time");
986 }
987
988 #[cfg(feature = "cache")]
989 if self.codegen.cache != Some(false) {
990 use wasmtime::Cache;
991 let cache = match &self.codegen.cache_config {
992 Some(path) => Cache::from_file(Some(std::path::Path::new(path)))?,
993 None => Cache::from_file(None)?,
994 };
995 config.cache(Some(cache));
996 }
997 #[cfg(not(feature = "cache"))]
998 if self.codegen.cache == Some(true) {
999 bail!("support for caching disabled at compile time");
1000 }
1001
1002 match_feature! {
1003 ["parallel-compilation" : self.codegen.parallel_compilation]
1004 enable => config.parallel_compilation(enable),
1005 true => err,
1006 }
1007
1008 let memory_reservation = self
1009 .opts
1010 .memory_reservation
1011 .or(self.opts.static_memory_maximum_size);
1012 if let Some(size) = memory_reservation {
1013 config.memory_reservation(size);
1014 }
1015
1016 if let Some(enable) = self.opts.static_memory_forced {
1017 config.memory_may_move(!enable);
1018 }
1019 if let Some(enable) = self.opts.memory_may_move {
1020 config.memory_may_move(enable);
1021 }
1022
1023 let memory_guard_size = self
1024 .opts
1025 .static_memory_guard_size
1026 .or(self.opts.dynamic_memory_guard_size)
1027 .or(self.opts.memory_guard_size);
1028 if let Some(size) = memory_guard_size {
1029 config.memory_guard_size(size);
1030 }
1031
1032 let mem_for_growth = self
1033 .opts
1034 .memory_reservation_for_growth
1035 .or(self.opts.dynamic_memory_reserved_for_growth);
1036 if let Some(size) = mem_for_growth {
1037 config.memory_reservation_for_growth(size);
1038 }
1039 if let Some(enable) = self.opts.guard_before_linear_memory {
1040 config.guard_before_linear_memory(enable);
1041 }
1042
1043 if let Some(size) = self.opts.gc_heap_reservation {
1044 config.gc_heap_reservation(size);
1045 }
1046 if let Some(enable) = self.opts.gc_heap_may_move {
1047 config.gc_heap_may_move(enable);
1048 }
1049 if let Some(size) = self.opts.gc_heap_guard_size {
1050 config.gc_heap_guard_size(size);
1051 }
1052 if let Some(size) = self.opts.gc_heap_reservation_for_growth {
1053 config.gc_heap_reservation_for_growth(size);
1054 }
1055
1056 if let Some(size) = self.opts.gc_heap_initial_size {
1057 config.gc_heap_initial_size(size);
1058 }
1059
1060 if let Some(enable) = self.opts.table_lazy_init {
1061 config.table_lazy_init(enable);
1062 }
1063
1064 if let Some(n) = self.opts.gc_zeal_alloc_counter
1065 && (cfg!(gc_zeal) || cfg!(fuzzing))
1066 {
1067 config.gc_zeal_alloc_counter(Some(n))?;
1068 }
1069
1070 if self.wasm.fuel.is_some() {
1072 config.consume_fuel(true);
1073 }
1074
1075 if let Some(enable) = self.wasm.epoch_interruption {
1076 config.epoch_interruption(enable);
1077 }
1078 if let Some(enable) = self.debug.address_map {
1079 config.generate_address_map(enable);
1080 }
1081 if let Some(frames) = self.debug.max_backtrace {
1082 match NonZeroUsize::new(frames) {
1083 None => {
1084 config.wasm_backtrace_details(WasmBacktraceDetails::Disable);
1085 }
1086 Some(amt) => {
1087 config.wasm_backtrace_max_frames(Some(amt));
1088 }
1089 }
1090 }
1091 if let Some(enable) = self.debug.symbols {
1092 config.debug_symbols(enable);
1093 }
1094 if let Some(enable) = self.opts.memory_init_cow {
1095 config.memory_init_cow(enable);
1096 }
1097 if let Some(size) = self.opts.memory_guaranteed_dense_image_size {
1098 config.memory_guaranteed_dense_image_size(size);
1099 }
1100 if let Some(enable) = self.opts.signals_based_traps {
1101 config.signals_based_traps(enable);
1102 }
1103 if let Some(enable) = self.codegen.native_unwind_info {
1104 config.native_unwind_info(enable);
1105 }
1106 if let Some(enable) = self.codegen.inlining {
1107 config.compiler_inlining(enable);
1108 }
1109 if let Some(enable) = self.codegen.metadata_for_internal_asserts {
1110 config.metadata_for_internal_asserts(enable);
1111 }
1112 if let Some(enable) = self.codegen.metadata_for_gc_heap_corruption {
1113 config.metadata_for_gc_heap_corruption(enable);
1114 }
1115
1116 #[cfg(any(feature = "async", feature = "stack-switching"))]
1119 {
1120 if let Some(size) = self.wasm.async_stack_size {
1121 config.async_stack_size(size);
1122 }
1123 }
1124 #[cfg(not(any(feature = "async", feature = "stack-switching")))]
1125 {
1126 if let Some(_size) = self.wasm.async_stack_size {
1127 bail!(concat!(
1128 "support for async/stack-switching disabled at compile time"
1129 ));
1130 }
1131 }
1132
1133 match_feature! {
1134 ["pooling-allocator" : self.opts.pooling_allocator.or(pooling_allocator_default)]
1135 enable => {
1136 if enable {
1137 let mut cfg = wasmtime::PoolingAllocationConfig::default();
1138 if let Some(size) = self.opts.pooling_memory_keep_resident {
1139 cfg.linear_memory_keep_resident(size);
1140 }
1141 if let Some(size) = self.opts.pooling_table_keep_resident {
1142 cfg.table_keep_resident(size);
1143 }
1144 if let Some(limit) = self.opts.pooling_total_core_instances {
1145 cfg.total_core_instances(limit);
1146 }
1147 if let Some(limit) = self.opts.pooling_total_component_instances {
1148 cfg.total_component_instances(limit);
1149 }
1150 if let Some(limit) = self.opts.pooling_total_memories {
1151 cfg.total_memories(limit);
1152 }
1153 if let Some(limit) = self.opts.pooling_total_tables {
1154 cfg.total_tables(limit);
1155 }
1156 if let Some(limit) = self.opts.pooling_table_elements
1157 .or(self.wasm.max_table_elements)
1158 {
1159 cfg.table_elements(limit);
1160 }
1161 if let Some(limit) = self.opts.pooling_max_core_instance_size {
1162 cfg.max_core_instance_size(limit);
1163 }
1164 match_feature! {
1165 ["async" : self.opts.pooling_total_stacks]
1166 limit => cfg.total_stacks(limit),
1167 _ => err,
1168 }
1169 if let Some(max) = self.opts.pooling_max_memory_size
1170 .or(self.wasm.max_memory_size)
1171 {
1172 cfg.max_memory_size(max);
1173 }
1174 if let Some(size) = self.opts.pooling_decommit_batch_size {
1175 cfg.decommit_batch_size(size);
1176 }
1177 if let Some(max) = self.opts.pooling_max_unused_warm_slots {
1178 cfg.max_unused_warm_slots(max);
1179 }
1180 match_feature! {
1181 ["async" : self.opts.pooling_async_stack_keep_resident]
1182 size => cfg.async_stack_keep_resident(size),
1183 _ => err,
1184 }
1185 if let Some(max) = self.opts.pooling_max_component_instance_size {
1186 cfg.max_component_instance_size(max);
1187 }
1188 if let Some(max) = self.opts.pooling_max_core_instances_per_component {
1189 cfg.max_core_instances_per_component(max);
1190 }
1191 if let Some(max) = self.opts.pooling_max_memories_per_component {
1192 cfg.max_memories_per_component(max);
1193 }
1194 if let Some(max) = self.opts.pooling_max_tables_per_component {
1195 cfg.max_tables_per_component(max);
1196 }
1197 if let Some(max) = self.opts.pooling_max_tables_per_module {
1198 cfg.max_tables_per_module(max);
1199 }
1200 if let Some(max) = self.opts.pooling_max_memories_per_module {
1201 cfg.max_memories_per_module(max);
1202 }
1203 match_feature! {
1204 ["memory-protection-keys" : self.opts.pooling_memory_protection_keys]
1205 enable => cfg.memory_protection_keys(enable),
1206 _ => err,
1207 }
1208 match_feature! {
1209 ["memory-protection-keys" : self.opts.pooling_max_memory_protection_keys]
1210 max => cfg.max_memory_protection_keys(max),
1211 _ => err,
1212 }
1213 match_feature! {
1214 ["gc" : self.opts.pooling_total_gc_heaps]
1215 max => cfg.total_gc_heaps(max),
1216 _ => err,
1217 }
1218 if let Some(enabled) = self.opts.pooling_pagemap_scan {
1219 cfg.pagemap_scan(enabled);
1220 }
1221 config.allocation_strategy(wasmtime::InstanceAllocationStrategy::Pooling(cfg));
1222 }
1223 },
1224 true => err,
1225 }
1226
1227 if self.opts.pooling_memory_protection_keys.is_some()
1228 && !self.opts.pooling_allocator.unwrap_or(false)
1229 {
1230 bail!("memory protection keys require the pooling allocator");
1231 }
1232
1233 if self.opts.pooling_max_memory_protection_keys.is_some()
1234 && !self.opts.pooling_memory_protection_keys.is_some()
1235 {
1236 bail!("max memory protection keys requires memory protection keys to be enabled");
1237 }
1238
1239 match_feature! {
1240 ["async" : self.wasm.async_stack_zeroing]
1241 enable => config.async_stack_zeroing(enable),
1242 _ => err,
1243 }
1244
1245 if let Some(max) = self.wasm.max_wasm_stack {
1246 config.max_wasm_stack(max);
1247
1248 #[cfg(any(feature = "async", feature = "stack-switching"))]
1252 if self.wasm.async_stack_size.is_none() {
1253 const DEFAULT_HOST_STACK: usize = 512 << 10;
1254 config.async_stack_size(max + DEFAULT_HOST_STACK);
1255 }
1256 }
1257
1258 if let Some(enable) = self.wasm.relaxed_simd_deterministic {
1259 config.relaxed_simd_deterministic(enable);
1260 }
1261 match_feature! {
1262 ["cranelift" : self.wasm.wmemcheck]
1263 enable => config.wmemcheck(enable),
1264 true => err,
1265 }
1266
1267 if let Some(enable) = self.wasm.gc_support {
1268 config.gc_support(enable);
1269 }
1270
1271 if let Some(enable) = self.wasm.concurrency_support {
1272 config.concurrency_support(enable);
1273 }
1274
1275 if let Some(enable) = self.wasm.shared_memory {
1276 config.shared_memory(enable);
1277 }
1278
1279 let record = &self.record;
1280 match_feature! {
1281 ["rr" : &record.path]
1282 _path => {
1283 bail!("recording configuration for `rr` feature is not supported yet");
1284 },
1285 _ => err,
1286 }
1287
1288 Ok(config)
1289 }
1290
1291 pub fn enable_wasm_features(&self, config: &mut Config) -> Result<()> {
1292 let all = self.wasm.all_proposals;
1293
1294 if let Some(enable) = self.wasm.simd.or(all) {
1295 config.wasm_simd(enable);
1296 }
1297 if let Some(enable) = self.wasm.relaxed_simd.or(all) {
1298 config.wasm_relaxed_simd(enable);
1299 }
1300 if let Some(enable) = self.wasm.bulk_memory.or(all) {
1301 config.wasm_bulk_memory(enable);
1302 }
1303 if let Some(enable) = self.wasm.multi_value.or(all) {
1304 config.wasm_multi_value(enable);
1305 }
1306 if let Some(enable) = self.wasm.tail_call.or(all) {
1307 config.wasm_tail_call(enable);
1308 }
1309 if let Some(enable) = self.wasm.multi_memory.or(all) {
1310 config.wasm_multi_memory(enable);
1311 }
1312 if let Some(enable) = self.wasm.memory64.or(all) {
1313 config.wasm_memory64(enable);
1314 }
1315 if let Some(enable) = self.wasm.stack_switching {
1316 config.wasm_stack_switching(enable);
1317 }
1318 if let Some(enable) = self.wasm.custom_page_sizes.or(all) {
1319 config.wasm_custom_page_sizes(enable);
1320 }
1321 if let Some(enable) = self.wasm.wide_arithmetic.or(all) {
1322 config.wasm_wide_arithmetic(enable);
1323 }
1324 if let Some(enable) = self.wasm.branch_hinting {
1326 config.wasm_branch_hinting(enable);
1327 }
1328 if let Some(enable) = self.wasm.extended_const.or(all) {
1329 config.wasm_extended_const(enable);
1330 }
1331
1332 macro_rules! handle_conditionally_compiled {
1333 ($(($feature:tt, $field:tt, $method:tt))*) => ($(
1334 if let Some(enable) = self.wasm.$field.or(all) {
1335 #[cfg(feature = $feature)]
1336 config.$method(enable);
1337 #[cfg(not(feature = $feature))]
1338 if enable && all.is_none() {
1339 bail!("support for {} was disabled at compile-time", $feature);
1340 }
1341 }
1342 )*)
1343 }
1344
1345 handle_conditionally_compiled! {
1346 ("component-model", component_model, wasm_component_model)
1347 ("component-model-async", component_model_async, wasm_component_model_async)
1348 ("component-model-async", component_model_more_async_builtins, wasm_component_model_more_async_builtins)
1349 ("component-model-async", component_model_async_stackful, wasm_component_model_async_stackful)
1350 ("component-model-async", component_model_threading, wasm_component_model_threading)
1351 ("component-model", component_model_error_context, wasm_component_model_error_context)
1352 ("component-model", component_model_map, wasm_component_model_map)
1353 ("component-model", component_model_fixed_length_lists, wasm_component_model_fixed_length_lists)
1354 ("component-model", component_model_implements, wasm_component_model_implements)
1355 ("component-model", component_model_memory64, wasm_component_model_memory64)
1356 ("threads", threads, wasm_threads)
1357 ("gc", gc, wasm_gc)
1358 ("gc", reference_types, wasm_reference_types)
1359 ("gc", function_references, wasm_function_references)
1360 ("gc", exceptions, wasm_exceptions)
1361 ("stack-switching", stack_switching, wasm_stack_switching)
1362 }
1363
1364 if let Some(enable) = self.wasm.component_model_gc {
1365 #[cfg(all(feature = "component-model", feature = "gc"))]
1366 config.wasm_component_model_gc(enable);
1367 #[cfg(not(all(feature = "component-model", feature = "gc")))]
1368 if enable && all.is_none() {
1369 bail!("support for `component-model-gc` was disabled at compile time")
1370 }
1371 }
1372
1373 Ok(())
1374 }
1375
1376 #[cfg(feature = "toml")]
1377 pub fn from_file<P: AsRef<std::path::Path>>(path: P) -> Result<Self> {
1378 use wasmtime::error::Context;
1379
1380 let path_ref = path.as_ref();
1381 let file_contents = std::fs::read_to_string(path_ref)
1382 .with_context(|| format!("failed to read config file: {path_ref:?}"))?;
1383 toml::from_str::<CommonOptions>(&file_contents)
1384 .with_context(|| format!("failed to parse TOML config file {path_ref:?}"))
1385 }
1386
1387 pub fn from_engine(engine: &Engine) -> Self {
1400 let features = engine.get_wasm_features();
1401 let pooling = engine.get_pooling_config();
1402 CommonOptions {
1403 target: engine.get_target(),
1404 opts: OptimizeOptions {
1405 memory_may_move: Some(engine.get_memory_may_move()),
1406 memory_reservation: Some(engine.get_memory_reservation()),
1407 memory_reservation_for_growth: Some(engine.get_memory_reservation_for_growth()),
1408 memory_guard_size: Some(engine.get_memory_guard_size()),
1409 gc_heap_may_move: Some(engine.get_gc_heap_may_move()),
1410 gc_heap_reservation: Some(engine.get_gc_heap_reservation()),
1411 gc_heap_reservation_for_growth: Some(engine.get_gc_heap_reservation_for_growth()),
1412 gc_heap_guard_size: Some(engine.get_gc_heap_guard_size()),
1413 gc_heap_initial_size: Some(engine.get_gc_heap_initial_size()),
1414 guard_before_linear_memory: Some(engine.get_guard_before_linear_memory()),
1415 table_lazy_init: Some(engine.get_table_lazy_init()),
1416 memory_init_cow: Some(engine.get_memory_init_cow()),
1417 memory_guaranteed_dense_image_size: Some(
1418 engine.get_memory_guaranteed_dense_image_size(),
1419 ),
1420 signals_based_traps: Some(engine.get_signals_based_traps()),
1421 gc_zeal_alloc_counter: engine.get_gc_zeal_alloc_counter(),
1422 opt_level: engine.get_cranelift_opt_level(),
1423 regalloc_algorithm: engine.get_cranelift_regalloc_algorithm(),
1424 pooling_allocator: Some(pooling.is_some()),
1425 pooling_decommit_batch_size: pooling.map(|c| c.get_decommit_batch_size()),
1426 pooling_memory_keep_resident: pooling.map(|c| c.get_memory_keep_resident()),
1427 pooling_table_keep_resident: pooling.map(|c| c.get_table_keep_resident()),
1428 pooling_max_unused_warm_slots: pooling.map(|c| c.get_max_unused_warm_slots()),
1429 pooling_pagemap_scan: pooling.map(|c| c.get_pagemap_scan()),
1430 pooling_total_core_instances: pooling.map(|c| c.get_total_core_instances()),
1431 pooling_total_component_instances: pooling
1432 .map(|c| c.get_total_component_instances()),
1433 pooling_total_memories: pooling.map(|c| c.get_total_memories()),
1434 pooling_total_tables: pooling.map(|c| c.get_total_tables()),
1435 pooling_max_memory_size: pooling.map(|c| c.get_max_memory_size()),
1436 pooling_table_elements: pooling.map(|c| c.get_table_elements()),
1437 pooling_max_core_instance_size: pooling.map(|c| c.get_max_core_instance_size()),
1438 pooling_max_component_instance_size: pooling
1439 .map(|c| c.get_max_component_instance_size()),
1440 pooling_max_core_instances_per_component: pooling
1441 .map(|c| c.get_max_core_instances_per_component()),
1442 pooling_max_memories_per_component: pooling
1443 .map(|c| c.get_max_memories_per_component()),
1444 pooling_max_tables_per_component: pooling.map(|c| c.get_max_tables_per_component()),
1445 pooling_max_tables_per_module: pooling.map(|c| c.get_max_tables_per_module()),
1446 pooling_max_memories_per_module: pooling.map(|c| c.get_max_memories_per_module()),
1447 pooling_async_stack_keep_resident: pooling
1448 .map(|c| c.get_async_stack_keep_resident()),
1449 pooling_total_stacks: pooling.map(|c| c.get_total_stacks()),
1450 pooling_total_gc_heaps: pooling.map(|c| c.get_total_gc_heaps()),
1451 pooling_memory_protection_keys: pooling.map(|c| c.get_memory_protection_keys()),
1452 pooling_max_memory_protection_keys: pooling
1453 .map(|c| c.get_max_memory_protection_keys()),
1454 dynamic_memory_guard_size: None,
1457 static_memory_guard_size: None,
1458 static_memory_forced: None,
1459 static_memory_maximum_size: None,
1460 dynamic_memory_reserved_for_growth: None,
1461 },
1462 codegen: CodegenOptions {
1463 compiler: engine.get_strategy(),
1464 collector: engine.get_collector(),
1465 cranelift_debug_verifier: engine.get_cranelift_debug_verifier(),
1466 inlining: Some(engine.get_compiler_inlining()),
1467 native_unwind_info: engine.get_native_unwind_info(),
1468 parallel_compilation: Some(engine.get_parallel_compilation()),
1469 metadata_for_internal_asserts: Some(engine.get_metadata_for_internal_asserts()),
1470 metadata_for_gc_heap_corruption: Some(engine.get_metadata_for_gc_heap_corruption()),
1471 cranelift: engine
1472 .get_cranelift_flags_set()
1473 .map(|(k, v)| (k.to_string(), Some(v.to_string())))
1474 .chain(
1475 engine
1476 .get_cranelift_flags_enabled()
1477 .map(|k| (k.to_string(), None)),
1478 )
1479 .collect(),
1480
1481 cache: None,
1484 cache_config: None,
1485
1486 unsafe_intrinsics: None,
1489 compile_time_builtin: Vec::new(),
1490 },
1491 debug: DebugOptions {
1492 address_map: Some(engine.get_generate_address_map()),
1493 debug_info: Some(engine.get_debug_info()),
1494 guest_debug: Some(engine.get_guest_debug()),
1495 symbols: Some(engine.get_debug_symbols()),
1496 max_backtrace: Some(engine.get_wasm_backtrace_max_frames()),
1497
1498 coredump: None,
1501 debugger: None,
1503 arg: Vec::new(),
1504 inherit_stderr: None,
1505 inherit_stdout: None,
1506 inherit_stdin: None,
1507 log_to_files: None,
1509 logging: None,
1510 },
1511 wasm: WasmOptions {
1512 async_stack_size: Some(engine.get_async_stack_size()),
1513 async_stack_zeroing: Some(engine.get_async_stack_zeroing()),
1514 branch_hinting: Some(engine.get_wasm_branch_hinting()),
1515 bulk_memory: Some(features.contains(WasmFeatures::BULK_MEMORY)),
1516 component_model: Some(features.contains(WasmFeatures::COMPONENT_MODEL)),
1517 component_model_async: Some(features.contains(WasmFeatures::CM_ASYNC)),
1518 component_model_async_stackful: Some(
1519 features.contains(WasmFeatures::CM_ASYNC_STACKFUL),
1520 ),
1521 component_model_error_context: Some(
1522 features.contains(WasmFeatures::CM_ERROR_CONTEXT),
1523 ),
1524 component_model_gc: Some(features.contains(WasmFeatures::CM_GC)),
1525 component_model_fixed_length_lists: Some(
1526 features.contains(WasmFeatures::CM_FIXED_LENGTH_LISTS),
1527 ),
1528 component_model_implements: Some(features.contains(WasmFeatures::CM_IMPLEMENTS)),
1529 component_model_map: Some(features.contains(WasmFeatures::CM_MAP)),
1530 component_model_memory64: Some(features.contains(WasmFeatures::CM64)),
1531 component_model_more_async_builtins: Some(
1532 features.contains(WasmFeatures::CM_MORE_ASYNC_BUILTINS),
1533 ),
1534 component_model_threading: Some(features.contains(WasmFeatures::CM_THREADING)),
1535 custom_page_sizes: Some(features.contains(WasmFeatures::CUSTOM_PAGE_SIZES)),
1536 exceptions: Some(features.contains(WasmFeatures::EXCEPTIONS)),
1537 extended_const: Some(features.contains(WasmFeatures::EXTENDED_CONST)),
1538 function_references: Some(features.contains(WasmFeatures::FUNCTION_REFERENCES)),
1539 gc: Some(features.contains(WasmFeatures::GC)),
1540 gc_support: Some(features.contains(WasmFeatures::GC_TYPES)),
1541 memory64: Some(features.contains(WasmFeatures::MEMORY64)),
1542 multi_memory: Some(features.contains(WasmFeatures::MULTI_MEMORY)),
1543 multi_value: Some(features.contains(WasmFeatures::MULTI_VALUE)),
1544 reference_types: Some(features.contains(WasmFeatures::REFERENCE_TYPES)),
1545 relaxed_simd: Some(features.contains(WasmFeatures::RELAXED_SIMD)),
1546 shared_everything_threads: Some(
1547 features.contains(WasmFeatures::SHARED_EVERYTHING_THREADS),
1548 ),
1549 simd: Some(features.contains(WasmFeatures::SIMD)),
1550 stack_switching: Some(features.contains(WasmFeatures::STACK_SWITCHING)),
1551 tail_call: Some(features.contains(WasmFeatures::TAIL_CALL)),
1552 threads: Some(features.contains(WasmFeatures::THREADS)),
1553 wide_arithmetic: Some(features.contains(WasmFeatures::WIDE_ARITHMETIC)),
1554 concurrency_support: Some(engine.get_concurrency_support()),
1555 epoch_interruption: Some(engine.get_epoch_interruption()),
1556 fuel: if engine.get_consume_fuel() {
1557 Some(1)
1558 } else {
1559 None
1560 },
1561 max_wasm_stack: Some(engine.get_max_wasm_stack()),
1562 nan_canonicalization: engine.get_cranelift_nan_canonicalization(),
1563 relaxed_simd_deterministic: Some(engine.get_relaxed_simd_deterministic()),
1564 shared_memory: Some(engine.get_shared_memory()),
1565
1566 all_proposals: None,
1568 max_instances: None,
1571 max_memories: None,
1572 max_memory_size: None,
1573 max_table_elements: None,
1574 max_tables: None,
1575 timeout: None,
1577 trap_on_grow_failure: None,
1578 unknown_exports_allow: None,
1579 unknown_imports_default: None,
1580 unknown_imports_trap: None,
1581 wmemcheck: None,
1582 },
1583
1584 record: RecordOptions::default(),
1586
1587 wasi: Default::default(),
1589
1590 configured: true,
1592 codegen_raw: Default::default(),
1593 debug_raw: Default::default(),
1594 opts_raw: Default::default(),
1595 record_raw: Default::default(),
1596 wasi_raw: Default::default(),
1597 wasm_raw: Default::default(),
1598
1599 config: None,
1601 }
1606 }
1607}
1608
1609#[cfg(test)]
1610mod tests {
1611 use wasmtime::{OptLevel, RegallocAlgorithm};
1612
1613 use super::*;
1614
1615 #[test]
1616 fn from_toml() {
1617 let empty_toml = "";
1619 let mut common_options: CommonOptions = toml::from_str(empty_toml).unwrap();
1620 common_options.config(None).unwrap();
1621
1622 let basic_toml = r#"
1624 [optimize]
1625 [codegen]
1626 [debug]
1627 [wasm]
1628 [wasi]
1629 [record]
1630 "#;
1631 let mut common_options: CommonOptions = toml::from_str(basic_toml).unwrap();
1632 common_options.config(None).unwrap();
1633
1634 for (opt_value, expected) in [
1636 ("0", Some(OptLevel::None)),
1637 ("1", Some(OptLevel::Speed)),
1638 ("2", Some(OptLevel::Speed)),
1639 ("\"s\"", Some(OptLevel::SpeedAndSize)),
1640 ("\"hello\"", None), ("3", None), ] {
1643 let toml = format!(
1644 r#"
1645 [optimize]
1646 opt-level = {opt_value}
1647 "#,
1648 );
1649 let parsed_opt_level = toml::from_str::<CommonOptions>(&toml)
1650 .ok()
1651 .and_then(|common_options| common_options.opts.opt_level);
1652
1653 assert_eq!(
1654 parsed_opt_level, expected,
1655 "Mismatch for input '{opt_value}'. Parsed: {parsed_opt_level:?}, Expected: {expected:?}"
1656 );
1657 }
1658
1659 for (regalloc_value, expected) in [
1661 ("\"backtracking\"", Some(RegallocAlgorithm::Backtracking)),
1662 ("\"single-pass\"", Some(RegallocAlgorithm::SinglePass)),
1663 ("\"hello\"", None), ("3", None), ("true", None), ] {
1667 let toml = format!(
1668 r#"
1669 [optimize]
1670 regalloc-algorithm = {regalloc_value}
1671 "#,
1672 );
1673 let parsed_regalloc_algorithm = toml::from_str::<CommonOptions>(&toml)
1674 .ok()
1675 .and_then(|common_options| common_options.opts.regalloc_algorithm);
1676 assert_eq!(
1677 parsed_regalloc_algorithm, expected,
1678 "Mismatch for input '{regalloc_value}'. Parsed: {parsed_regalloc_algorithm:?}, Expected: {expected:?}"
1679 );
1680 }
1681
1682 for (strategy_value, expected) in [
1684 ("\"cranelift\"", Some(wasmtime::Strategy::Cranelift)),
1685 ("\"winch\"", Some(wasmtime::Strategy::Winch)),
1686 ("\"hello\"", None), ("5", None), ("true", None), ] {
1690 let toml = format!(
1691 r#"
1692 [codegen]
1693 compiler = {strategy_value}
1694 "#,
1695 );
1696 let parsed_strategy = toml::from_str::<CommonOptions>(&toml)
1697 .ok()
1698 .and_then(|common_options| common_options.codegen.compiler);
1699 assert_eq!(
1700 parsed_strategy, expected,
1701 "Mismatch for input '{strategy_value}'. Parsed: {parsed_strategy:?}, Expected: {expected:?}",
1702 );
1703 }
1704
1705 for (collector_value, expected) in [
1707 (
1708 "\"drc\"",
1709 Some(wasmtime::Collector::DeferredReferenceCounting),
1710 ),
1711 ("\"null\"", Some(wasmtime::Collector::Null)),
1712 ("\"copying\"", Some(wasmtime::Collector::Copying)),
1713 ("\"hello\"", None), ("5", None), ("true", None), ] {
1717 let toml = format!(
1718 r#"
1719 [codegen]
1720 collector = {collector_value}
1721 "#,
1722 );
1723 let parsed_collector = toml::from_str::<CommonOptions>(&toml)
1724 .ok()
1725 .and_then(|common_options| common_options.codegen.collector);
1726 assert_eq!(
1727 parsed_collector, expected,
1728 "Mismatch for input '{collector_value}'. Parsed: {parsed_collector:?}, Expected: {expected:?}",
1729 );
1730 }
1731 }
1732}
1733
1734impl Default for CommonOptions {
1735 fn default() -> CommonOptions {
1736 CommonOptions::new()
1737 }
1738}
1739
1740impl fmt::Display for CommonOptions {
1741 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
1742 let CommonOptions {
1743 codegen_raw,
1744 codegen,
1745 debug_raw,
1746 debug,
1747 opts_raw,
1748 opts,
1749 wasm_raw,
1750 wasm,
1751 wasi_raw,
1752 wasi,
1753 record_raw,
1754 record,
1755 configured,
1756 target,
1757 config,
1758 } = self;
1759 if let Some(target) = target {
1760 write!(f, "--target {target} ")?;
1761 }
1762 if let Some(config) = config {
1763 write!(f, "--config {} ", config.display())?;
1764 }
1765
1766 let codegen_flags;
1767 let opts_flags;
1768 let wasi_flags;
1769 let wasm_flags;
1770 let debug_flags;
1771 let record_flags;
1772
1773 if *configured {
1774 codegen_flags = codegen.to_options();
1775 debug_flags = debug.to_options();
1776 wasi_flags = wasi.to_options();
1777 wasm_flags = wasm.to_options();
1778 opts_flags = opts.to_options();
1779 record_flags = record.to_options();
1780 } else {
1781 codegen_flags = codegen_raw
1782 .iter()
1783 .flat_map(|t| t.0.iter())
1784 .cloned()
1785 .collect();
1786 debug_flags = debug_raw.iter().flat_map(|t| t.0.iter()).cloned().collect();
1787 wasi_flags = wasi_raw.iter().flat_map(|t| t.0.iter()).cloned().collect();
1788 wasm_flags = wasm_raw.iter().flat_map(|t| t.0.iter()).cloned().collect();
1789 opts_flags = opts_raw.iter().flat_map(|t| t.0.iter()).cloned().collect();
1790 record_flags = record_raw
1791 .iter()
1792 .flat_map(|t| t.0.iter())
1793 .cloned()
1794 .collect();
1795 }
1796
1797 for flag in codegen_flags {
1798 write!(f, "-C{flag} ")?;
1799 }
1800 for flag in opts_flags {
1801 write!(f, "-O{flag} ")?;
1802 }
1803 for flag in wasi_flags {
1804 write!(f, "-S{flag} ")?;
1805 }
1806 for flag in wasm_flags {
1807 write!(f, "-W{flag} ")?;
1808 }
1809 for flag in debug_flags {
1810 write!(f, "-D{flag} ")?;
1811 }
1812 for flag in record_flags {
1813 write!(f, "-R{flag} ")?;
1814 }
1815
1816 Ok(())
1817 }
1818}