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 compact_imports: Option<bool>,
522 pub extended_const: Option<bool>,
524 pub exceptions: Option<bool>,
526 pub gc_support: Option<bool>,
528 pub component_model_fixed_length_lists: Option<bool>,
531 pub component_model_implements: Option<bool>,
534 pub component_model_canonical_names: Option<bool>,
537 pub component_model_accessors: Option<bool>,
540 pub concurrency_support: Option<bool>,
543 }
544
545 enum Wasm {
546 ...
547 }
548}
549
550wasmtime_option_group! {
551 #[env = "WASI"]
552 pub struct WasiOptions {
553 pub cli: Option<bool>,
555 pub cli_exit_with_code: Option<bool>,
557 pub common: Option<bool>,
559 pub nn: Option<bool>,
561 pub threads: Option<bool>,
563 pub http: Option<bool>,
565 pub http_outgoing_body_buffer_chunks: Option<NonZeroUsize>,
569 pub http_outgoing_body_chunk_size: Option<NonZeroUsize>,
572 pub config: Option<bool>,
574 pub keyvalue: Option<bool>,
576 #[serde(default)]
579 pub tcplisten: Vec<String>,
580 pub tls: Option<bool>,
582 pub preview2: Option<bool>,
585 #[serde(skip)]
594 pub nn_graph: Vec<WasiNnGraph>,
595 pub inherit_network: Option<bool>,
598 pub allow_ip_name_lookup: Option<bool>,
600 pub tcp: Option<bool>,
602 pub udp: Option<bool>,
604 pub network_error_code: Option<bool>,
606 pub preview0: Option<bool>,
608 pub inherit_env: Option<bool>,
612 pub inherit_stdin: Option<bool>,
614 pub inherit_stdout: Option<bool>,
616 pub inherit_stderr: Option<bool>,
618 pub cwd: Option<String>,
620 #[serde(skip)]
622 pub config_var: Vec<KeyValuePair>,
623 #[serde(skip)]
625 pub keyvalue_in_memory_data: Vec<KeyValuePair>,
626 pub p3: Option<bool>,
628 pub max_resources: Option<usize>,
630 pub hostcall_fuel: Option<usize>,
632 pub max_random_size: Option<u64>,
636 pub max_http_fields_size: Option<usize>,
640 }
641
642 enum Wasi {
643 ...
644 }
645}
646
647wasmtime_option_group! {
648 #[env = "RECORD"]
649 pub struct RecordOptions {
650 pub path: Option<String>,
652 pub validation_metadata: Option<bool>,
655 pub event_window_size: Option<usize>,
658 }
659
660 enum Record {
661 ...
662 }
663}
664
665#[derive(Debug, Clone, PartialEq)]
666pub struct WasiNnGraph {
667 pub format: String,
668 pub dir: String,
669}
670
671#[derive(Debug, Clone, PartialEq)]
672pub struct KeyValuePair {
673 pub key: String,
674 pub value: String,
675}
676
677#[derive(Debug, Clone, PartialEq)]
680pub struct UnsafeIntrinsicsImport(pub String);
681
682#[derive(Debug, Clone, PartialEq)]
684pub struct CompileTimeBuiltin {
685 pub name: String,
687 pub path: PathBuf,
689}
690
691#[derive(Clone)]
693#[cfg_attr(feature = "clap", derive(clap::Parser))]
694#[cfg_attr(
695 feature = "serde",
696 derive(serde_derive::Deserialize, serde_derive::Serialize)
697)]
698#[cfg_attr(feature = "serde", serde(deny_unknown_fields))]
699pub struct CommonOptions {
700 #[cfg_attr(
710 feature = "clap",
711 arg(short = 'O', long = "optimize", value_name = "KEY[=VAL[,..]]")
712 )]
713 #[cfg_attr(feature = "serde", serde(skip))]
714 opts_raw: Vec<opt::CommaSeparated<Optimize>>,
715
716 #[cfg_attr(
718 feature = "clap",
719 arg(short = 'C', long = "codegen", value_name = "KEY[=VAL[,..]]")
720 )]
721 #[cfg_attr(feature = "serde", serde(skip))]
722 codegen_raw: Vec<opt::CommaSeparated<Codegen>>,
723
724 #[cfg_attr(
726 feature = "clap",
727 arg(short = 'D', long = "debug", value_name = "KEY[=VAL[,..]]")
728 )]
729 #[cfg_attr(feature = "serde", serde(skip))]
730 debug_raw: Vec<opt::CommaSeparated<Debug>>,
731
732 #[cfg_attr(
735 feature = "clap",
736 arg(short = 'W', long = "wasm", value_name = "KEY[=VAL[,..]]")
737 )]
738 #[cfg_attr(feature = "serde", serde(skip))]
739 wasm_raw: Vec<opt::CommaSeparated<Wasm>>,
740
741 #[cfg_attr(
743 feature = "clap",
744 arg(short = 'S', long = "wasi", value_name = "KEY[=VAL[,..]]")
745 )]
746 #[cfg_attr(feature = "serde", serde(skip))]
747 wasi_raw: Vec<opt::CommaSeparated<Wasi>>,
748
749 #[cfg_attr(
758 feature = "clap",
759 arg(short = 'R', long = "record", value_name = "KEY[=VAL[,..]]")
760 )]
761 #[cfg_attr(feature = "serde", serde(skip))]
762 record_raw: Vec<opt::CommaSeparated<Record>>,
763
764 #[cfg_attr(feature = "clap", arg(skip))]
767 #[cfg_attr(feature = "serde", serde(skip))]
768 configured: bool,
769
770 #[cfg_attr(feature = "clap", arg(skip))]
771 #[cfg_attr(feature = "serde", serde(rename = "optimize", default))]
772 pub opts: OptimizeOptions,
773
774 #[cfg_attr(feature = "clap", arg(skip))]
775 #[cfg_attr(feature = "serde", serde(default))]
776 pub codegen: CodegenOptions,
777
778 #[cfg_attr(feature = "clap", arg(skip))]
779 #[cfg_attr(feature = "serde", serde(default))]
780 pub debug: DebugOptions,
781
782 #[cfg_attr(feature = "clap", arg(skip))]
783 #[cfg_attr(feature = "serde", serde(default))]
784 pub wasm: WasmOptions,
785
786 #[cfg_attr(feature = "clap", arg(skip))]
787 #[cfg_attr(feature = "serde", serde(default))]
788 pub wasi: WasiOptions,
789
790 #[cfg_attr(feature = "clap", arg(skip))]
791 #[cfg_attr(feature = "serde", serde(default))]
792 pub record: RecordOptions,
793
794 #[cfg_attr(feature = "clap", arg(long, value_name = "TARGET"))]
796 #[cfg_attr(feature = "serde", serde(skip))]
797 pub target: Option<String>,
798
799 #[cfg_attr(feature = "clap", arg(long = "config", value_name = "FILE"))]
806 #[cfg_attr(feature = "serde", serde(skip))]
807 pub config: Option<PathBuf>,
808}
809
810macro_rules! match_feature {
811 (
812 [$feat:tt : $config:expr]
813 $val:ident => $e:expr,
814 $p:pat => err,
815 ) => {
816 #[cfg(feature = $feat)]
817 {
818 if let Some($val) = $config {
819 $e;
820 }
821 }
822 #[cfg(not(feature = $feat))]
823 {
824 if let Some($p) = $config {
825 bail!(concat!("support for ", $feat, " disabled at compile time"));
826 }
827 }
828 };
829}
830
831impl CommonOptions {
832 pub fn new() -> CommonOptions {
834 CommonOptions {
835 opts_raw: Vec::new(),
836 codegen_raw: Vec::new(),
837 debug_raw: Vec::new(),
838 wasm_raw: Vec::new(),
839 wasi_raw: Vec::new(),
840 record_raw: Vec::new(),
841 configured: true,
842 opts: Default::default(),
843 codegen: Default::default(),
844 debug: Default::default(),
845 wasm: Default::default(),
846 wasi: Default::default(),
847 record: Default::default(),
848 target: None,
849 config: None,
850 }
851 }
852
853 fn configure(&mut self) -> Result<()> {
854 if self.configured {
855 return Ok(());
856 }
857 self.configured = true;
858 if let Some(toml_config_path) = &self.config {
859 #[cfg(feature = "toml")]
860 {
861 let toml_options = CommonOptions::from_file(toml_config_path)?;
862 self.opts = toml_options.opts;
863 self.codegen = toml_options.codegen;
864 self.debug = toml_options.debug;
865 self.wasm = toml_options.wasm;
866 self.wasi = toml_options.wasi;
867 self.record = toml_options.record;
868 }
869 #[cfg(not(feature = "toml"))]
870 {
871 bail!(
872 "support for loading a configuration file from \
873 {toml_config_path:?} disabled at compile time"
874 );
875 }
876 }
877 self.opts.configure_with(&self.opts_raw)?;
878 self.codegen.configure_with(&self.codegen_raw)?;
879 self.debug.configure_with(&self.debug_raw)?;
880 self.wasm.configure_with(&self.wasm_raw)?;
881 self.wasi.configure_with(&self.wasi_raw)?;
882 self.record.configure_with(&self.record_raw)?;
883 Ok(())
884 }
885
886 pub fn init_logging(&mut self) -> Result<()> {
887 self.configure()?;
888 if self.debug.logging == Some(false) {
889 return Ok(());
890 }
891 #[cfg(feature = "logging")]
892 if self.debug.log_to_files == Some(true) {
893 let prefix = "wasmtime.dbg.";
894 init_file_per_thread_logger(prefix);
895 } else {
896 use std::io::IsTerminal;
897 use tracing_subscriber::{EnvFilter, FmtSubscriber};
898 let builder = FmtSubscriber::builder()
899 .with_writer(std::io::stderr)
900 .with_env_filter(EnvFilter::from_env("WASMTIME_LOG"))
901 .with_ansi(std::io::stderr().is_terminal());
902 if std::env::var("WASMTIME_LOG_NO_CONTEXT").is_ok_and(|value| value.eq("1")) {
903 builder
904 .with_level(false)
905 .with_target(false)
906 .without_time()
907 .init()
908 } else {
909 builder.init();
910 }
911 }
912 #[cfg(not(feature = "logging"))]
913 if self.debug.log_to_files == Some(true) || self.debug.logging == Some(true) {
914 bail!("support for logging disabled at compile time");
915 }
916 Ok(())
917 }
918
919 pub fn config(&mut self, pooling_allocator_default: Option<bool>) -> Result<Config> {
920 self.configure()?;
921 let mut config = Config::new();
922
923 match_feature! {
924 ["cranelift" : self.codegen.compiler]
925 strategy => config.strategy(strategy),
926 _ => err,
927 }
928 match_feature! {
929 ["gc" : self.codegen.collector]
930 collector => config.collector(collector),
931 _ => err,
932 }
933 if let Some(target) = &self.target {
934 config.target(target)?;
935 }
936 match_feature! {
937 ["cranelift" : self.codegen.cranelift_debug_verifier]
938 enable => config.cranelift_debug_verifier(enable),
939 true => err,
940 }
941 if let Some(enable) = self.debug.debug_info {
942 config.debug_info(enable);
943 }
944 match_feature! {
945 ["debug" : self.debug.guest_debug]
946 enable => config.guest_debug(enable),
947 _ => err,
948 }
949 if self.debug.coredump.is_some() {
950 #[cfg(feature = "coredump")]
951 config.coredump_on_trap(true);
952 #[cfg(not(feature = "coredump"))]
953 bail!("support for coredumps disabled at compile time");
954 }
955 match_feature! {
956 ["cranelift" : self.opts.opt_level]
957 level => config.cranelift_opt_level(level),
958 _ => err,
959 }
960 match_feature! {
961 ["cranelift": self.opts.regalloc_algorithm]
962 algo => config.cranelift_regalloc_algorithm(algo),
963 _ => err,
964 }
965 match_feature! {
966 ["cranelift" : self.wasm.nan_canonicalization]
967 enable => config.cranelift_nan_canonicalization(enable),
968 true => err,
969 }
970
971 self.enable_wasm_features(&mut config)?;
972
973 #[cfg(feature = "cranelift")]
974 for (name, value) in self.codegen.cranelift.iter() {
975 let name = name.replace('-', "_");
976 unsafe {
977 match value {
978 Some(val) => {
979 config.cranelift_flag_set(&name, val);
980 }
981 None => {
982 config.cranelift_flag_enable(&name);
983 }
984 }
985 }
986 }
987 #[cfg(not(feature = "cranelift"))]
988 if !self.codegen.cranelift.is_empty() {
989 bail!("support for cranelift disabled at compile time");
990 }
991
992 #[cfg(feature = "cache")]
993 if self.codegen.cache != Some(false) {
994 use wasmtime::Cache;
995 let cache = match &self.codegen.cache_config {
996 Some(path) => Cache::from_file(Some(std::path::Path::new(path)))?,
997 None => Cache::from_file(None)?,
998 };
999 config.cache(Some(cache));
1000 }
1001 #[cfg(not(feature = "cache"))]
1002 if self.codegen.cache == Some(true) {
1003 bail!("support for caching disabled at compile time");
1004 }
1005
1006 match_feature! {
1007 ["parallel-compilation" : self.codegen.parallel_compilation]
1008 enable => config.parallel_compilation(enable),
1009 true => err,
1010 }
1011
1012 let memory_reservation = self
1013 .opts
1014 .memory_reservation
1015 .or(self.opts.static_memory_maximum_size);
1016 if let Some(size) = memory_reservation {
1017 config.memory_reservation(size);
1018 }
1019
1020 if let Some(enable) = self.opts.static_memory_forced {
1021 config.memory_may_move(!enable);
1022 }
1023 if let Some(enable) = self.opts.memory_may_move {
1024 config.memory_may_move(enable);
1025 }
1026
1027 let memory_guard_size = self
1028 .opts
1029 .static_memory_guard_size
1030 .or(self.opts.dynamic_memory_guard_size)
1031 .or(self.opts.memory_guard_size);
1032 if let Some(size) = memory_guard_size {
1033 config.memory_guard_size(size);
1034 }
1035
1036 let mem_for_growth = self
1037 .opts
1038 .memory_reservation_for_growth
1039 .or(self.opts.dynamic_memory_reserved_for_growth);
1040 if let Some(size) = mem_for_growth {
1041 config.memory_reservation_for_growth(size);
1042 }
1043 if let Some(enable) = self.opts.guard_before_linear_memory {
1044 config.guard_before_linear_memory(enable);
1045 }
1046
1047 if let Some(size) = self.opts.gc_heap_reservation {
1048 config.gc_heap_reservation(size);
1049 }
1050 if let Some(enable) = self.opts.gc_heap_may_move {
1051 config.gc_heap_may_move(enable);
1052 }
1053 if let Some(size) = self.opts.gc_heap_guard_size {
1054 config.gc_heap_guard_size(size);
1055 }
1056 if let Some(size) = self.opts.gc_heap_reservation_for_growth {
1057 config.gc_heap_reservation_for_growth(size);
1058 }
1059
1060 if let Some(size) = self.opts.gc_heap_initial_size {
1061 config.gc_heap_initial_size(size);
1062 }
1063
1064 if let Some(enable) = self.opts.table_lazy_init {
1065 config.table_lazy_init(enable);
1066 }
1067
1068 if let Some(n) = self.opts.gc_zeal_alloc_counter
1069 && (cfg!(gc_zeal) || cfg!(fuzzing))
1070 {
1071 config.gc_zeal_alloc_counter(Some(n))?;
1072 }
1073
1074 if self.wasm.fuel.is_some() {
1076 config.consume_fuel(true);
1077 }
1078
1079 if let Some(enable) = self.wasm.epoch_interruption {
1080 config.epoch_interruption(enable);
1081 }
1082 if let Some(enable) = self.debug.address_map {
1083 config.generate_address_map(enable);
1084 }
1085 if let Some(frames) = self.debug.max_backtrace {
1086 match NonZeroUsize::new(frames) {
1087 None => {
1088 config.wasm_backtrace_details(WasmBacktraceDetails::Disable);
1089 }
1090 Some(amt) => {
1091 config.wasm_backtrace_max_frames(Some(amt));
1092 }
1093 }
1094 }
1095 if let Some(enable) = self.debug.symbols {
1096 config.debug_symbols(enable);
1097 }
1098 if let Some(enable) = self.opts.memory_init_cow {
1099 config.memory_init_cow(enable);
1100 }
1101 if let Some(size) = self.opts.memory_guaranteed_dense_image_size {
1102 config.memory_guaranteed_dense_image_size(size);
1103 }
1104 if let Some(enable) = self.opts.signals_based_traps {
1105 config.signals_based_traps(enable);
1106 }
1107 if let Some(enable) = self.codegen.native_unwind_info {
1108 config.native_unwind_info(enable);
1109 }
1110 if let Some(enable) = self.codegen.inlining {
1111 config.compiler_inlining(enable);
1112 }
1113 if let Some(enable) = self.codegen.metadata_for_internal_asserts {
1114 config.metadata_for_internal_asserts(enable);
1115 }
1116 if let Some(enable) = self.codegen.metadata_for_gc_heap_corruption {
1117 config.metadata_for_gc_heap_corruption(enable);
1118 }
1119
1120 #[cfg(any(feature = "async", feature = "stack-switching"))]
1123 {
1124 if let Some(size) = self.wasm.async_stack_size {
1125 config.async_stack_size(size);
1126 }
1127 }
1128 #[cfg(not(any(feature = "async", feature = "stack-switching")))]
1129 {
1130 if let Some(_size) = self.wasm.async_stack_size {
1131 bail!(concat!(
1132 "support for async/stack-switching disabled at compile time"
1133 ));
1134 }
1135 }
1136
1137 match_feature! {
1138 ["pooling-allocator" : self.opts.pooling_allocator.or(pooling_allocator_default)]
1139 enable => {
1140 if enable {
1141 let mut cfg = wasmtime::PoolingAllocationConfig::default();
1142 if let Some(size) = self.opts.pooling_memory_keep_resident {
1143 cfg.linear_memory_keep_resident(size);
1144 }
1145 if let Some(size) = self.opts.pooling_table_keep_resident {
1146 cfg.table_keep_resident(size);
1147 }
1148 if let Some(limit) = self.opts.pooling_total_core_instances {
1149 cfg.total_core_instances(limit);
1150 }
1151 if let Some(limit) = self.opts.pooling_total_component_instances {
1152 cfg.total_component_instances(limit);
1153 }
1154 if let Some(limit) = self.opts.pooling_total_memories {
1155 cfg.total_memories(limit);
1156 }
1157 if let Some(limit) = self.opts.pooling_total_tables {
1158 cfg.total_tables(limit);
1159 }
1160 if let Some(limit) = self.opts.pooling_table_elements
1161 .or(self.wasm.max_table_elements)
1162 {
1163 cfg.table_elements(limit);
1164 }
1165 if let Some(limit) = self.opts.pooling_max_core_instance_size {
1166 cfg.max_core_instance_size(limit);
1167 }
1168 match_feature! {
1169 ["async" : self.opts.pooling_total_stacks]
1170 limit => cfg.total_stacks(limit),
1171 _ => err,
1172 }
1173 if let Some(max) = self.opts.pooling_max_memory_size
1174 .or(self.wasm.max_memory_size)
1175 {
1176 cfg.max_memory_size(max);
1177 }
1178 if let Some(size) = self.opts.pooling_decommit_batch_size {
1179 cfg.decommit_batch_size(size);
1180 }
1181 if let Some(max) = self.opts.pooling_max_unused_warm_slots {
1182 cfg.max_unused_warm_slots(max);
1183 }
1184 match_feature! {
1185 ["async" : self.opts.pooling_async_stack_keep_resident]
1186 size => cfg.async_stack_keep_resident(size),
1187 _ => err,
1188 }
1189 if let Some(max) = self.opts.pooling_max_component_instance_size {
1190 cfg.max_component_instance_size(max);
1191 }
1192 if let Some(max) = self.opts.pooling_max_core_instances_per_component {
1193 cfg.max_core_instances_per_component(max);
1194 }
1195 if let Some(max) = self.opts.pooling_max_memories_per_component {
1196 cfg.max_memories_per_component(max);
1197 }
1198 if let Some(max) = self.opts.pooling_max_tables_per_component {
1199 cfg.max_tables_per_component(max);
1200 }
1201 if let Some(max) = self.opts.pooling_max_tables_per_module {
1202 cfg.max_tables_per_module(max);
1203 }
1204 if let Some(max) = self.opts.pooling_max_memories_per_module {
1205 cfg.max_memories_per_module(max);
1206 }
1207 match_feature! {
1208 ["memory-protection-keys" : self.opts.pooling_memory_protection_keys]
1209 enable => cfg.memory_protection_keys(enable),
1210 _ => err,
1211 }
1212 match_feature! {
1213 ["memory-protection-keys" : self.opts.pooling_max_memory_protection_keys]
1214 max => cfg.max_memory_protection_keys(max),
1215 _ => err,
1216 }
1217 match_feature! {
1218 ["gc" : self.opts.pooling_total_gc_heaps]
1219 max => cfg.total_gc_heaps(max),
1220 _ => err,
1221 }
1222 if let Some(enabled) = self.opts.pooling_pagemap_scan {
1223 cfg.pagemap_scan(enabled);
1224 }
1225 config.allocation_strategy(wasmtime::InstanceAllocationStrategy::Pooling(cfg));
1226 }
1227 },
1228 true => err,
1229 }
1230
1231 if self.opts.pooling_memory_protection_keys.is_some()
1232 && !self.opts.pooling_allocator.unwrap_or(false)
1233 {
1234 bail!("memory protection keys require the pooling allocator");
1235 }
1236
1237 if self.opts.pooling_max_memory_protection_keys.is_some()
1238 && !self.opts.pooling_memory_protection_keys.is_some()
1239 {
1240 bail!("max memory protection keys requires memory protection keys to be enabled");
1241 }
1242
1243 match_feature! {
1244 ["async" : self.wasm.async_stack_zeroing]
1245 enable => config.async_stack_zeroing(enable),
1246 _ => err,
1247 }
1248
1249 if let Some(max) = self.wasm.max_wasm_stack {
1250 config.max_wasm_stack(max);
1251
1252 #[cfg(any(feature = "async", feature = "stack-switching"))]
1256 if self.wasm.async_stack_size.is_none() {
1257 const DEFAULT_HOST_STACK: usize = 512 << 10;
1258 config.async_stack_size(max + DEFAULT_HOST_STACK);
1259 }
1260 }
1261
1262 if let Some(enable) = self.wasm.relaxed_simd_deterministic {
1263 config.relaxed_simd_deterministic(enable);
1264 }
1265 match_feature! {
1266 ["cranelift" : self.wasm.wmemcheck]
1267 enable => config.wmemcheck(enable),
1268 true => err,
1269 }
1270
1271 if let Some(enable) = self.wasm.gc_support {
1272 config.gc_support(enable);
1273 }
1274
1275 if let Some(enable) = self.wasm.concurrency_support {
1276 config.concurrency_support(enable);
1277 }
1278
1279 if let Some(enable) = self.wasm.shared_memory {
1280 config.shared_memory(enable);
1281 }
1282
1283 let record = &self.record;
1284 match_feature! {
1285 ["rr" : &record.path]
1286 _path => {
1287 bail!("recording configuration for `rr` feature is not supported yet");
1288 },
1289 _ => err,
1290 }
1291
1292 Ok(config)
1293 }
1294
1295 pub fn enable_wasm_features(&self, config: &mut Config) -> Result<()> {
1296 let all = self.wasm.all_proposals;
1297
1298 if let Some(enable) = self.wasm.simd.or(all) {
1299 config.wasm_simd(enable);
1300 }
1301 if let Some(enable) = self.wasm.relaxed_simd.or(all) {
1302 config.wasm_relaxed_simd(enable);
1303 }
1304 if let Some(enable) = self.wasm.bulk_memory.or(all) {
1305 config.wasm_bulk_memory(enable);
1306 }
1307 if let Some(enable) = self.wasm.multi_value.or(all) {
1308 config.wasm_multi_value(enable);
1309 }
1310 if let Some(enable) = self.wasm.tail_call.or(all) {
1311 config.wasm_tail_call(enable);
1312 }
1313 if let Some(enable) = self.wasm.multi_memory.or(all) {
1314 config.wasm_multi_memory(enable);
1315 }
1316 if let Some(enable) = self.wasm.memory64.or(all) {
1317 config.wasm_memory64(enable);
1318 }
1319 if let Some(enable) = self.wasm.stack_switching {
1320 config.wasm_stack_switching(enable);
1321 }
1322 if let Some(enable) = self.wasm.custom_page_sizes.or(all) {
1323 config.wasm_custom_page_sizes(enable);
1324 }
1325 if let Some(enable) = self.wasm.wide_arithmetic.or(all) {
1326 config.wasm_wide_arithmetic(enable);
1327 }
1328 if let Some(enable) = self.wasm.branch_hinting {
1330 config.wasm_branch_hinting(enable);
1331 }
1332 if let Some(enable) = self.wasm.compact_imports {
1334 config.wasm_compact_imports(enable);
1335 }
1336 if let Some(enable) = self.wasm.extended_const.or(all) {
1337 config.wasm_extended_const(enable);
1338 }
1339
1340 macro_rules! handle_conditionally_compiled {
1341 ($(($feature:tt, $field:tt, $method:tt))*) => ($(
1342 if let Some(enable) = self.wasm.$field.or(all) {
1343 #[cfg(feature = $feature)]
1344 config.$method(enable);
1345 #[cfg(not(feature = $feature))]
1346 if enable && all.is_none() {
1347 bail!("support for {} was disabled at compile-time", $feature);
1348 }
1349 }
1350 )*)
1351 }
1352
1353 handle_conditionally_compiled! {
1354 ("component-model", component_model, wasm_component_model)
1355 ("component-model-async", component_model_async, wasm_component_model_async)
1356 ("component-model-async", component_model_more_async_builtins, wasm_component_model_more_async_builtins)
1357 ("component-model-async", component_model_async_stackful, wasm_component_model_async_stackful)
1358 ("component-model-async", component_model_threading, wasm_component_model_threading)
1359 ("component-model", component_model_error_context, wasm_component_model_error_context)
1360 ("component-model", component_model_map, wasm_component_model_map)
1361 ("component-model", component_model_fixed_length_lists, wasm_component_model_fixed_length_lists)
1362 ("component-model", component_model_implements, wasm_component_model_implements)
1363 ("component-model", component_model_canonical_names, wasm_component_model_canonical_names)
1364 ("component-model", component_model_accessors, wasm_component_model_accessors)
1365 ("component-model", component_model_memory64, wasm_component_model_memory64)
1366 ("threads", threads, wasm_threads)
1367 ("gc", gc, wasm_gc)
1368 ("gc", reference_types, wasm_reference_types)
1369 ("gc", function_references, wasm_function_references)
1370 ("gc", exceptions, wasm_exceptions)
1371 ("stack-switching", stack_switching, wasm_stack_switching)
1372 }
1373
1374 if let Some(enable) = self.wasm.component_model_gc {
1375 #[cfg(all(feature = "component-model", feature = "gc"))]
1376 config.wasm_component_model_gc(enable);
1377 #[cfg(not(all(feature = "component-model", feature = "gc")))]
1378 if enable && all.is_none() {
1379 bail!("support for `component-model-gc` was disabled at compile time")
1380 }
1381 }
1382
1383 Ok(())
1384 }
1385
1386 #[cfg(feature = "toml")]
1387 pub fn from_file<P: AsRef<std::path::Path>>(path: P) -> Result<Self> {
1388 use wasmtime::error::Context;
1389
1390 let path_ref = path.as_ref();
1391 let file_contents = std::fs::read_to_string(path_ref)
1392 .with_context(|| format!("failed to read config file: {path_ref:?}"))?;
1393 toml::from_str::<CommonOptions>(&file_contents)
1394 .with_context(|| format!("failed to parse TOML config file {path_ref:?}"))
1395 }
1396
1397 pub fn from_engine(engine: &Engine) -> Self {
1410 let features = engine.get_wasm_features();
1411 let pooling = engine.get_pooling_config();
1412 CommonOptions {
1413 target: engine.get_target(),
1414 opts: OptimizeOptions {
1415 memory_may_move: Some(engine.get_memory_may_move()),
1416 memory_reservation: Some(engine.get_memory_reservation()),
1417 memory_reservation_for_growth: Some(engine.get_memory_reservation_for_growth()),
1418 memory_guard_size: Some(engine.get_memory_guard_size()),
1419 gc_heap_may_move: Some(engine.get_gc_heap_may_move()),
1420 gc_heap_reservation: Some(engine.get_gc_heap_reservation()),
1421 gc_heap_reservation_for_growth: Some(engine.get_gc_heap_reservation_for_growth()),
1422 gc_heap_guard_size: Some(engine.get_gc_heap_guard_size()),
1423 gc_heap_initial_size: Some(engine.get_gc_heap_initial_size()),
1424 guard_before_linear_memory: Some(engine.get_guard_before_linear_memory()),
1425 table_lazy_init: Some(engine.get_table_lazy_init()),
1426 memory_init_cow: Some(engine.get_memory_init_cow()),
1427 memory_guaranteed_dense_image_size: Some(
1428 engine.get_memory_guaranteed_dense_image_size(),
1429 ),
1430 signals_based_traps: Some(engine.get_signals_based_traps()),
1431 gc_zeal_alloc_counter: engine.get_gc_zeal_alloc_counter(),
1432 opt_level: engine.get_cranelift_opt_level(),
1433 regalloc_algorithm: engine.get_cranelift_regalloc_algorithm(),
1434 pooling_allocator: Some(pooling.is_some()),
1435 pooling_decommit_batch_size: pooling.map(|c| c.get_decommit_batch_size()),
1436 pooling_memory_keep_resident: pooling.map(|c| c.get_memory_keep_resident()),
1437 pooling_table_keep_resident: pooling.map(|c| c.get_table_keep_resident()),
1438 pooling_max_unused_warm_slots: pooling.map(|c| c.get_max_unused_warm_slots()),
1439 pooling_pagemap_scan: pooling.map(|c| c.get_pagemap_scan()),
1440 pooling_total_core_instances: pooling.map(|c| c.get_total_core_instances()),
1441 pooling_total_component_instances: pooling
1442 .map(|c| c.get_total_component_instances()),
1443 pooling_total_memories: pooling.map(|c| c.get_total_memories()),
1444 pooling_total_tables: pooling.map(|c| c.get_total_tables()),
1445 pooling_max_memory_size: pooling.map(|c| c.get_max_memory_size()),
1446 pooling_table_elements: pooling.map(|c| c.get_table_elements()),
1447 pooling_max_core_instance_size: pooling.map(|c| c.get_max_core_instance_size()),
1448 pooling_max_component_instance_size: pooling
1449 .map(|c| c.get_max_component_instance_size()),
1450 pooling_max_core_instances_per_component: pooling
1451 .map(|c| c.get_max_core_instances_per_component()),
1452 pooling_max_memories_per_component: pooling
1453 .map(|c| c.get_max_memories_per_component()),
1454 pooling_max_tables_per_component: pooling.map(|c| c.get_max_tables_per_component()),
1455 pooling_max_tables_per_module: pooling.map(|c| c.get_max_tables_per_module()),
1456 pooling_max_memories_per_module: pooling.map(|c| c.get_max_memories_per_module()),
1457 pooling_async_stack_keep_resident: pooling
1458 .map(|c| c.get_async_stack_keep_resident()),
1459 pooling_total_stacks: pooling.map(|c| c.get_total_stacks()),
1460 pooling_total_gc_heaps: pooling.map(|c| c.get_total_gc_heaps()),
1461 pooling_memory_protection_keys: pooling.map(|c| c.get_memory_protection_keys()),
1462 pooling_max_memory_protection_keys: pooling
1463 .map(|c| c.get_max_memory_protection_keys()),
1464 dynamic_memory_guard_size: None,
1467 static_memory_guard_size: None,
1468 static_memory_forced: None,
1469 static_memory_maximum_size: None,
1470 dynamic_memory_reserved_for_growth: None,
1471 },
1472 codegen: CodegenOptions {
1473 compiler: engine.get_strategy(),
1474 collector: engine.get_collector(),
1475 cranelift_debug_verifier: engine.get_cranelift_debug_verifier(),
1476 inlining: Some(engine.get_compiler_inlining()),
1477 native_unwind_info: engine.get_native_unwind_info(),
1478 parallel_compilation: Some(engine.get_parallel_compilation()),
1479 metadata_for_internal_asserts: Some(engine.get_metadata_for_internal_asserts()),
1480 metadata_for_gc_heap_corruption: Some(engine.get_metadata_for_gc_heap_corruption()),
1481 cranelift: engine
1482 .get_cranelift_flags_set()
1483 .map(|(k, v)| (k.to_string(), Some(v.to_string())))
1484 .chain(
1485 engine
1486 .get_cranelift_flags_enabled()
1487 .map(|k| (k.to_string(), None)),
1488 )
1489 .collect(),
1490
1491 cache: None,
1494 cache_config: None,
1495
1496 unsafe_intrinsics: None,
1499 compile_time_builtin: Vec::new(),
1500 },
1501 debug: DebugOptions {
1502 address_map: Some(engine.get_generate_address_map()),
1503 debug_info: Some(engine.get_debug_info()),
1504 guest_debug: Some(engine.get_guest_debug()),
1505 symbols: Some(engine.get_debug_symbols()),
1506 max_backtrace: Some(engine.get_wasm_backtrace_max_frames()),
1507
1508 coredump: None,
1511 debugger: None,
1513 arg: Vec::new(),
1514 inherit_stderr: None,
1515 inherit_stdout: None,
1516 inherit_stdin: None,
1517 log_to_files: None,
1519 logging: None,
1520 },
1521 wasm: WasmOptions {
1522 async_stack_size: Some(engine.get_async_stack_size()),
1523 async_stack_zeroing: Some(engine.get_async_stack_zeroing()),
1524 branch_hinting: Some(engine.get_wasm_branch_hinting()),
1525 compact_imports: Some(features.contains(WasmFeatures::COMPACT_IMPORTS)),
1526 bulk_memory: Some(features.contains(WasmFeatures::BULK_MEMORY)),
1527 component_model: Some(features.contains(WasmFeatures::COMPONENT_MODEL)),
1528 component_model_async: Some(features.contains(WasmFeatures::CM_ASYNC)),
1529 component_model_async_stackful: Some(
1530 features.contains(WasmFeatures::CM_ASYNC_STACKFUL),
1531 ),
1532 component_model_error_context: Some(
1533 features.contains(WasmFeatures::CM_ERROR_CONTEXT),
1534 ),
1535 component_model_gc: Some(features.contains(WasmFeatures::CM_GC)),
1536 component_model_fixed_length_lists: Some(
1537 features.contains(WasmFeatures::CM_FIXED_LENGTH_LISTS),
1538 ),
1539 component_model_implements: Some(features.contains(WasmFeatures::CM_IMPLEMENTS)),
1540 component_model_canonical_names: Some(
1541 features.contains(WasmFeatures::CM_CANON_NAMES),
1542 ),
1543 component_model_accessors: Some(features.contains(WasmFeatures::CM_ACCESSORS)),
1544 component_model_map: Some(features.contains(WasmFeatures::CM_MAP)),
1545 component_model_memory64: Some(features.contains(WasmFeatures::CM64)),
1546 component_model_more_async_builtins: Some(
1547 features.contains(WasmFeatures::CM_MORE_ASYNC_BUILTINS),
1548 ),
1549 component_model_threading: Some(features.contains(WasmFeatures::CM_THREADING)),
1550 custom_page_sizes: Some(features.contains(WasmFeatures::CUSTOM_PAGE_SIZES)),
1551 exceptions: Some(features.contains(WasmFeatures::EXCEPTIONS)),
1552 extended_const: Some(features.contains(WasmFeatures::EXTENDED_CONST)),
1553 function_references: Some(features.contains(WasmFeatures::FUNCTION_REFERENCES)),
1554 gc: Some(features.contains(WasmFeatures::GC)),
1555 gc_support: Some(features.contains(WasmFeatures::GC_TYPES)),
1556 memory64: Some(features.contains(WasmFeatures::MEMORY64)),
1557 multi_memory: Some(features.contains(WasmFeatures::MULTI_MEMORY)),
1558 multi_value: Some(features.contains(WasmFeatures::MULTI_VALUE)),
1559 reference_types: Some(features.contains(WasmFeatures::REFERENCE_TYPES)),
1560 relaxed_simd: Some(features.contains(WasmFeatures::RELAXED_SIMD)),
1561 shared_everything_threads: Some(
1562 features.contains(WasmFeatures::SHARED_EVERYTHING_THREADS),
1563 ),
1564 simd: Some(features.contains(WasmFeatures::SIMD)),
1565 stack_switching: Some(features.contains(WasmFeatures::STACK_SWITCHING)),
1566 tail_call: Some(features.contains(WasmFeatures::TAIL_CALL)),
1567 threads: Some(features.contains(WasmFeatures::THREADS)),
1568 wide_arithmetic: Some(features.contains(WasmFeatures::WIDE_ARITHMETIC)),
1569 concurrency_support: Some(engine.get_concurrency_support()),
1570 epoch_interruption: Some(engine.get_epoch_interruption()),
1571 fuel: if engine.get_consume_fuel() {
1572 Some(1)
1573 } else {
1574 None
1575 },
1576 max_wasm_stack: Some(engine.get_max_wasm_stack()),
1577 nan_canonicalization: engine.get_cranelift_nan_canonicalization(),
1578 relaxed_simd_deterministic: Some(engine.get_relaxed_simd_deterministic()),
1579 shared_memory: Some(engine.get_shared_memory()),
1580
1581 all_proposals: None,
1583 max_instances: None,
1586 max_memories: None,
1587 max_memory_size: None,
1588 max_table_elements: None,
1589 max_tables: None,
1590 timeout: None,
1592 trap_on_grow_failure: None,
1593 unknown_exports_allow: None,
1594 unknown_imports_default: None,
1595 unknown_imports_trap: None,
1596 wmemcheck: None,
1597 },
1598
1599 record: RecordOptions::default(),
1601
1602 wasi: Default::default(),
1604
1605 configured: true,
1607 codegen_raw: Default::default(),
1608 debug_raw: Default::default(),
1609 opts_raw: Default::default(),
1610 record_raw: Default::default(),
1611 wasi_raw: Default::default(),
1612 wasm_raw: Default::default(),
1613
1614 config: None,
1616 }
1621 }
1622}
1623
1624#[cfg(test)]
1625mod tests {
1626 use wasmtime::{OptLevel, RegallocAlgorithm};
1627
1628 use super::*;
1629
1630 #[test]
1631 fn from_toml() {
1632 let empty_toml = "";
1634 let mut common_options: CommonOptions = toml::from_str(empty_toml).unwrap();
1635 common_options.config(None).unwrap();
1636
1637 let basic_toml = r#"
1639 [optimize]
1640 [codegen]
1641 [debug]
1642 [wasm]
1643 [wasi]
1644 [record]
1645 "#;
1646 let mut common_options: CommonOptions = toml::from_str(basic_toml).unwrap();
1647 common_options.config(None).unwrap();
1648
1649 for (opt_value, expected) in [
1651 ("0", Some(OptLevel::None)),
1652 ("1", Some(OptLevel::Speed)),
1653 ("2", Some(OptLevel::Speed)),
1654 ("\"s\"", Some(OptLevel::SpeedAndSize)),
1655 ("\"hello\"", None), ("3", None), ] {
1658 let toml = format!(
1659 r#"
1660 [optimize]
1661 opt-level = {opt_value}
1662 "#,
1663 );
1664 let parsed_opt_level = toml::from_str::<CommonOptions>(&toml)
1665 .ok()
1666 .and_then(|common_options| common_options.opts.opt_level);
1667
1668 assert_eq!(
1669 parsed_opt_level, expected,
1670 "Mismatch for input '{opt_value}'. Parsed: {parsed_opt_level:?}, Expected: {expected:?}"
1671 );
1672 }
1673
1674 for (regalloc_value, expected) in [
1676 ("\"backtracking\"", Some(RegallocAlgorithm::Backtracking)),
1677 ("\"single-pass\"", Some(RegallocAlgorithm::SinglePass)),
1678 ("\"hello\"", None), ("3", None), ("true", None), ] {
1682 let toml = format!(
1683 r#"
1684 [optimize]
1685 regalloc-algorithm = {regalloc_value}
1686 "#,
1687 );
1688 let parsed_regalloc_algorithm = toml::from_str::<CommonOptions>(&toml)
1689 .ok()
1690 .and_then(|common_options| common_options.opts.regalloc_algorithm);
1691 assert_eq!(
1692 parsed_regalloc_algorithm, expected,
1693 "Mismatch for input '{regalloc_value}'. Parsed: {parsed_regalloc_algorithm:?}, Expected: {expected:?}"
1694 );
1695 }
1696
1697 for (strategy_value, expected) in [
1699 ("\"cranelift\"", Some(wasmtime::Strategy::Cranelift)),
1700 ("\"winch\"", Some(wasmtime::Strategy::Winch)),
1701 ("\"hello\"", None), ("5", None), ("true", None), ] {
1705 let toml = format!(
1706 r#"
1707 [codegen]
1708 compiler = {strategy_value}
1709 "#,
1710 );
1711 let parsed_strategy = toml::from_str::<CommonOptions>(&toml)
1712 .ok()
1713 .and_then(|common_options| common_options.codegen.compiler);
1714 assert_eq!(
1715 parsed_strategy, expected,
1716 "Mismatch for input '{strategy_value}'. Parsed: {parsed_strategy:?}, Expected: {expected:?}",
1717 );
1718 }
1719
1720 for (collector_value, expected) in [
1722 (
1723 "\"drc\"",
1724 Some(wasmtime::Collector::DeferredReferenceCounting),
1725 ),
1726 ("\"null\"", Some(wasmtime::Collector::Null)),
1727 ("\"copying\"", Some(wasmtime::Collector::Copying)),
1728 ("\"hello\"", None), ("5", None), ("true", None), ] {
1732 let toml = format!(
1733 r#"
1734 [codegen]
1735 collector = {collector_value}
1736 "#,
1737 );
1738 let parsed_collector = toml::from_str::<CommonOptions>(&toml)
1739 .ok()
1740 .and_then(|common_options| common_options.codegen.collector);
1741 assert_eq!(
1742 parsed_collector, expected,
1743 "Mismatch for input '{collector_value}'. Parsed: {parsed_collector:?}, Expected: {expected:?}",
1744 );
1745 }
1746 }
1747}
1748
1749impl Default for CommonOptions {
1750 fn default() -> CommonOptions {
1751 CommonOptions::new()
1752 }
1753}
1754
1755impl fmt::Display for CommonOptions {
1756 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
1757 let CommonOptions {
1758 codegen_raw,
1759 codegen,
1760 debug_raw,
1761 debug,
1762 opts_raw,
1763 opts,
1764 wasm_raw,
1765 wasm,
1766 wasi_raw,
1767 wasi,
1768 record_raw,
1769 record,
1770 configured,
1771 target,
1772 config,
1773 } = self;
1774 if let Some(target) = target {
1775 write!(f, "--target {target} ")?;
1776 }
1777 if let Some(config) = config {
1778 write!(f, "--config {} ", config.display())?;
1779 }
1780
1781 let codegen_flags;
1782 let opts_flags;
1783 let wasi_flags;
1784 let wasm_flags;
1785 let debug_flags;
1786 let record_flags;
1787
1788 if *configured {
1789 codegen_flags = codegen.to_options();
1790 debug_flags = debug.to_options();
1791 wasi_flags = wasi.to_options();
1792 wasm_flags = wasm.to_options();
1793 opts_flags = opts.to_options();
1794 record_flags = record.to_options();
1795 } else {
1796 codegen_flags = codegen_raw
1797 .iter()
1798 .flat_map(|t| t.0.iter())
1799 .cloned()
1800 .collect();
1801 debug_flags = debug_raw.iter().flat_map(|t| t.0.iter()).cloned().collect();
1802 wasi_flags = wasi_raw.iter().flat_map(|t| t.0.iter()).cloned().collect();
1803 wasm_flags = wasm_raw.iter().flat_map(|t| t.0.iter()).cloned().collect();
1804 opts_flags = opts_raw.iter().flat_map(|t| t.0.iter()).cloned().collect();
1805 record_flags = record_raw
1806 .iter()
1807 .flat_map(|t| t.0.iter())
1808 .cloned()
1809 .collect();
1810 }
1811
1812 for flag in codegen_flags {
1813 write!(f, "-C{flag} ")?;
1814 }
1815 for flag in opts_flags {
1816 write!(f, "-O{flag} ")?;
1817 }
1818 for flag in wasi_flags {
1819 write!(f, "-S{flag} ")?;
1820 }
1821 for flag in wasm_flags {
1822 write!(f, "-W{flag} ")?;
1823 }
1824 for flag in debug_flags {
1825 write!(f, "-D{flag} ")?;
1826 }
1827 for flag in record_flags {
1828 write!(f, "-R{flag} ")?;
1829 }
1830
1831 Ok(())
1832 }
1833}