Skip to main content

wasmtime_cli_flags/
lib.rs

1//! A utility crate for managing Wasmtime configuration options in a
2//! serializable format.
3//!
4//! This crate primarily provides a [`CommonOptions`] structure which can be
5//! parsed from CLI flags via [`clap`] or with [`serde::Deserialize`]. This
6//! structure can additionally be created from a [`wasmtime::Engine`] to
7//! serialize some of the significant configuration options affecting an engine.
8//!
9//! This is intended to be a shared way for embedders to configure Wasmtime with
10//! serializable configuration. The source of truth for Wasmtime's configuration
11//! is the [`Config`] type but this additionally serves as a means of creating
12//! that type.
13
14use 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    // Extending behavior of default spawner:
26    // https://docs.rs/rayon/1.1.0/rayon/struct.ThreadPoolBuilder.html#method.spawn_handler
27    // Source code says DefaultSpawner is implementation detail and
28    // shouldn't be used directly.
29    #[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        /// Optimization level of generated code (0-2, s; default: 2)
53        #[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        /// Register allocator algorithm choice.
59        #[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        /// Do not allow Wasm linear memories to move in the host process's
65        /// address space.
66        pub memory_may_move: Option<bool>,
67
68        /// Initial virtual memory allocation size for memories.
69        pub memory_reservation: Option<u64>,
70
71        /// Bytes to reserve at the end of linear memory for growth into.
72        pub memory_reservation_for_growth: Option<u64>,
73
74        /// Size, in bytes, of guard pages for linear memories.
75        pub memory_guard_size: Option<u64>,
76
77        /// Do not allow the GC heap to move in the host process's address
78        /// space.
79        pub gc_heap_may_move: Option<bool>,
80
81        /// Initial virtual memory allocation size for the GC heap.
82        pub gc_heap_reservation: Option<u64>,
83
84        /// Bytes to reserve at the end of the GC heap for growth into.
85        pub gc_heap_reservation_for_growth: Option<u64>,
86
87        /// Size, in bytes, of guard pages for the GC heap.
88        pub gc_heap_guard_size: Option<u64>,
89
90        /// Initial allocated size for the GC heap.
91        pub gc_heap_initial_size: Option<u64>,
92
93        /// Indicates whether an unmapped region of memory is placed before all
94        /// linear memories.
95        pub guard_before_linear_memory: Option<bool>,
96
97        /// Whether to initialize tables lazily, so that instantiation is
98        /// fast but indirect calls are a little slower. If no, tables are
99        /// initialized eagerly from any active element segments that apply to
100        /// them during instantiation. (default: yes)
101        pub table_lazy_init: Option<bool>,
102
103        /// Enable the pooling allocator, in place of the on-demand allocator.
104        pub pooling_allocator: Option<bool>,
105
106        /// The number of decommits to do per batch. A batch size of 1
107        /// effectively disables decommit batching. (default: 1)
108        pub pooling_decommit_batch_size: Option<usize>,
109
110        /// How many bytes to keep resident between instantiations for the
111        /// pooling allocator in linear memories.
112        pub pooling_memory_keep_resident: Option<usize>,
113
114        /// How many bytes to keep resident between instantiations for the
115        /// pooling allocator in tables.
116        pub pooling_table_keep_resident: Option<usize>,
117
118        /// Enable memory protection keys for the pooling allocator; this can
119        /// optimize the size of memory slots.
120        #[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        /// Sets an upper limit on how many memory protection keys (MPK) Wasmtime
126        /// will use. (default: 16)
127        pub pooling_max_memory_protection_keys: Option<usize>,
128
129        /// Configure attempting to initialize linear memory via a
130        /// copy-on-write mapping (default: yes)
131        pub memory_init_cow: Option<bool>,
132
133        /// Threshold below which CoW images are guaranteed to be used and be
134        /// dense.
135        pub memory_guaranteed_dense_image_size: Option<u64>,
136
137        /// The maximum number of WebAssembly instances which can be created
138        /// with the pooling allocator.
139        pub pooling_total_core_instances: Option<u32>,
140
141        /// The maximum number of WebAssembly components which can be created
142        /// with the pooling allocator.
143        pub pooling_total_component_instances: Option<u32>,
144
145        /// The maximum number of WebAssembly memories which can be created with
146        /// the pooling allocator.
147        pub pooling_total_memories: Option<u32>,
148
149        /// The maximum number of WebAssembly tables which can be created with
150        /// the pooling allocator.
151        pub pooling_total_tables: Option<u32>,
152
153        /// The maximum number of WebAssembly stacks which can be created with
154        /// the pooling allocator.
155        pub pooling_total_stacks: Option<u32>,
156
157        /// The maximum runtime size of each linear memory in the pooling
158        /// allocator, in bytes.
159        pub pooling_max_memory_size: Option<usize>,
160
161        /// The maximum table elements for any table defined in a module when
162        /// using the pooling allocator.
163        pub pooling_table_elements: Option<usize>,
164
165        /// The maximum size, in bytes, allocated for a core instance's metadata
166        /// when using the pooling allocator.
167        pub pooling_max_core_instance_size: Option<usize>,
168
169        /// Configures the maximum number of "unused warm slots" to retain in the
170        /// pooling allocator. (default: 100)
171        pub pooling_max_unused_warm_slots: Option<u32>,
172
173        /// How much memory, in bytes, to keep resident for async stacks allocated
174        /// with the pooling allocator. (default: 0)
175        pub pooling_async_stack_keep_resident: Option<usize>,
176
177        /// The maximum size, in bytes, allocated for a component instance's
178        /// `VMComponentContext` metadata. (default: 1MiB)
179        pub pooling_max_component_instance_size: Option<usize>,
180
181        /// The maximum number of core instances a single component may contain
182        /// (default is unlimited).
183        pub pooling_max_core_instances_per_component: Option<u32>,
184
185        /// The maximum number of Wasm linear memories that a single component may
186        /// transitively contain (default is unlimited).
187        pub pooling_max_memories_per_component: Option<u32>,
188
189        /// The maximum number of tables that a single component may transitively
190        /// contain (default is unlimited).
191        pub pooling_max_tables_per_component: Option<u32>,
192
193        /// The maximum number of defined tables for a core module. (default: 1)
194        pub pooling_max_tables_per_module: Option<u32>,
195
196        /// The maximum number of defined linear memories for a module. (default: 1)
197        pub pooling_max_memories_per_module: Option<u32>,
198
199        /// The maximum number of concurrent GC heaps supported. (default: 1000)
200        pub pooling_total_gc_heaps: Option<u32>,
201
202        /// Enable or disable the use of host signal handlers for traps.
203        pub signals_based_traps: Option<bool>,
204
205        /// DEPRECATED: Use `-Cmemory-guard-size=N` instead.
206        pub dynamic_memory_guard_size: Option<u64>,
207
208        /// DEPRECATED: Use `-Cmemory-guard-size=N` instead.
209        pub static_memory_guard_size: Option<u64>,
210
211        /// DEPRECATED: Use `-Cmemory-may-move` instead.
212        pub static_memory_forced: Option<bool>,
213
214        /// DEPRECATED: Use `-Cmemory-reservation=N` instead.
215        pub static_memory_maximum_size: Option<u64>,
216
217        /// DEPRECATED: Use `-Cmemory-reservation-for-growth=N` instead.
218        pub dynamic_memory_reserved_for_growth: Option<u64>,
219
220        /// Whether or not `PAGEMAP_SCAN` ioctls are used to reset linear
221        /// memory.
222        #[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        /// XXX: For internal fuzzing and debugging use only!
228        #[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        /// Either `cranelift` or `winch`.
241        ///
242        /// Currently only `cranelift` and `winch` are supported, but not all
243        /// builds of Wasmtime have both built in.
244        #[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        /// Which garbage collector to use: `drc`, `null`, or `copying`.
249        ///
250        /// `drc` is the deferred reference-counting collector.
251        ///
252        /// `null` is the null garbage collector, which does not collect any
253        /// garbage.
254        ///
255        /// `copying` is the copying garbage collector (not yet implemented).
256        ///
257        /// Note that not all builds of Wasmtime will have support for garbage
258        /// collection included.
259        #[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        /// Enable Cranelift's internal debug verifier (expensive)
264        pub cranelift_debug_verifier: Option<bool>,
265        /// Whether or not to enable caching of compiled modules.
266        pub cache: Option<bool>,
267        /// Configuration for compiled module caching.
268        pub cache_config: Option<String>,
269        /// Whether or not to enable parallel compilation of modules.
270        pub parallel_compilation: Option<bool>,
271        /// Controls whether native unwind information is present in compiled
272        /// object files.
273        pub native_unwind_info: Option<bool>,
274
275        /// Whether to perform function inlining during compilation.
276        #[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        /// Whether or not trap metadata is present for wasm internal assertions
282        /// in compiled code.
283        pub metadata_for_internal_asserts: Option<bool>,
284        /// Whether or not trap metadata is present for detection of gc
285        /// corruption in compiled code.
286        pub metadata_for_gc_heap_corruption: Option<bool>,
287
288        /// Expose Wasmtime's unsafe intrinsics to the Wasm being compiled under
289        /// the given instance import name, which defaults to
290        /// `unsafe-intrinsics` when the name is omitted.
291        ///
292        /// The unsafe intrinsics are a set of raw, unchecked load and store
293        /// operations on the host's address space, along with the address of
294        /// the store's data. They may only be used with components, not core
295        /// Wasm modules.
296        ///
297        /// This is wildly unsafe: the Wasm is given the ability to read and
298        /// write arbitrary host memory. Only use this with Wasm that you trust
299        /// as much as you trust the CLI itself.
300        ///
301        /// When `-C compile-time-builtin` is also given, the intrinsics are
302        /// exposed only to the compile-time builtins and not to the main Wasm
303        /// program.
304        ///
305        /// See the API documentation for
306        /// `CodeBuilder::expose_unsafe_intrinsics` for more details.
307        #[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        /// Define a compile-time builtin: satisfy the `<name>` instance import
313        /// of the main component with the component at `<path>` at compile
314        /// time, rather than with a host-defined import at instantiation time.
315        ///
316        /// May be specified multiple times, once per builtin. Compile-time
317        /// builtins may only be used with components, not core Wasm modules,
318        /// and require `-C unsafe-intrinsics`.
319        ///
320        /// The `<name>=` prefix may be omitted, in which case `<name>` defaults
321        /// to the file name of `<path>` without its extension. For example
322        /// `-C compile-time-builtin=path/to/my-host-api.wat` satisfies the
323        /// `my-host-api` import. Note that a `<path>` which itself contains an
324        /// `=` is interpreted as the `<name>=<path>` form; pass the explicit
325        /// form to disambiguate.
326        ///
327        /// Compile-time builtins are part of your trusted compute base: they
328        /// are given access to the unsafe intrinsics described above. Calls
329        /// into them become direct calls, so pass `-C inlining=y` to let them
330        /// be inlined into their callers.
331        ///
332        /// See the API documentation for
333        /// `CodeBuilder::compile_time_builtin_binary` for more details.
334        #[serde(skip)]
335        pub compile_time_builtin: Vec<CompileTimeBuiltin>,
336
337        #[prefixed = "cranelift"]
338        #[serde(default)]
339        /// Set a cranelift-specific option. Use `wasmtime settings` to see
340        /// all.
341        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        /// Enable generation of DWARF debug information in compiled code.
353        pub debug_info: Option<bool>,
354        /// Enable guest debugging insrumentation.
355        pub guest_debug: Option<bool>,
356        /// Configure whether compiled code can map native addresses to wasm.
357        pub address_map: Option<bool>,
358        /// Configure whether logging is enabled.
359        pub logging: Option<bool>,
360        /// Configure whether logs are emitted to files
361        pub log_to_files: Option<bool>,
362        /// Enable coredump generation to this file after a WebAssembly trap.
363        pub coredump: Option<String>,
364        /// Load the given debugger component and attach it to the
365        /// main module or component.
366        pub debugger: Option<PathBuf>,
367        /// Pass the given command-line arguments to the debugger
368        /// component. May be specified multiple times.
369        #[serde(default)]
370        pub arg: Vec<String>,
371        /// Allow the debugger component to inherit stdin.Off by
372        /// default.
373        pub inherit_stdin: Option<bool>,
374        /// Allow the debugger component to inherit stdout. Off by
375        /// default.
376        pub inherit_stdout: Option<bool>,
377        /// Allow the debugger component to inherit stderr. Off by
378        /// default.
379        pub inherit_stderr: Option<bool>,
380        /// Maximum number of frames to capture in backtraces.
381        pub max_backtrace: Option<usize>,
382        /// Whether or not `*.cwasm` files have symbols in them.
383        pub symbols: Option<bool>,
384    }
385
386    enum Debug {
387        ...
388    }
389}
390
391wasmtime_option_group! {
392    #[env = "WASM"]
393    pub struct WasmOptions {
394        /// Enable canonicalization of all NaN values.
395        pub nan_canonicalization: Option<bool>,
396        /// Enable execution fuel with N units fuel, trapping after running out
397        /// of fuel.
398        ///
399        /// Most WebAssembly instructions consume 1 unit of fuel. Some
400        /// instructions, such as `nop`, `drop`, `block`, and `loop`, consume 0
401        /// units, as any execution cost associated with them involves other
402        /// instructions which do consume fuel.
403        pub fuel: Option<u64>,
404        /// Yield when a global epoch counter changes, allowing for async
405        /// operation without blocking the executor.
406        pub epoch_interruption: Option<bool>,
407        /// Maximum stack size, in bytes, that wasm is allowed to consume before a
408        /// stack overflow is reported.
409        pub max_wasm_stack: Option<usize>,
410        /// Stack size, in bytes, that will be allocated for async stacks.
411        ///
412        /// Note that this must be larger than `max-wasm-stack` and the
413        /// difference between the two is how much stack the host has to execute
414        /// on.
415        pub async_stack_size: Option<usize>,
416        /// Configures whether or not stacks used for async futures are zeroed
417        /// before (re)use as a defense-in-depth mechanism. (default: false)
418        pub async_stack_zeroing: Option<bool>,
419        /// Allow unknown exports when running commands.
420        pub unknown_exports_allow: Option<bool>,
421        /// Allow the main module to import unknown functions, using an
422        /// implementation that immediately traps, when running commands.
423        pub unknown_imports_trap: Option<bool>,
424        /// Allow the main module to import unknown functions, using an
425        /// implementation that returns default values, when running commands.
426        pub unknown_imports_default: Option<bool>,
427        /// Enables memory error checking. (see wmemcheck.md for more info)
428        pub wmemcheck: Option<bool>,
429        /// Maximum size, in bytes, that a linear memory is allowed to reach.
430        ///
431        /// Growth beyond this limit will cause `memory.grow` instructions in
432        /// WebAssembly modules to return -1 and fail.
433        pub max_memory_size: Option<usize>,
434        /// Maximum size, in table elements, that a table is allowed to reach.
435        pub max_table_elements: Option<usize>,
436        /// Maximum number of WebAssembly instances allowed to be created.
437        pub max_instances: Option<usize>,
438        /// Maximum number of WebAssembly tables allowed to be created.
439        pub max_tables: Option<usize>,
440        /// Maximum number of WebAssembly linear memories allowed to be created.
441        pub max_memories: Option<usize>,
442        /// Force a trap to be raised on `memory.grow` and `table.grow` failure
443        /// instead of returning -1 from these instructions.
444        ///
445        /// This is not necessarily a spec-compliant option to enable but can be
446        /// useful for tracking down a backtrace of what is requesting so much
447        /// memory, for example.
448        pub trap_on_grow_failure: Option<bool>,
449        /// Maximum execution time of wasm code before timing out (1, 2s, 100ms, etc)
450        pub timeout: Option<Duration>,
451        /// Configures support for all WebAssembly proposals implemented.
452        pub all_proposals: Option<bool>,
453        /// Configure support for the bulk memory proposal.
454        pub bulk_memory: Option<bool>,
455        /// Configure support for the multi-memory proposal.
456        pub multi_memory: Option<bool>,
457        /// Configure support for the multi-value proposal.
458        pub multi_value: Option<bool>,
459        /// Configure support for the reference-types proposal.
460        pub reference_types: Option<bool>,
461        /// Configure support for the simd proposal.
462        pub simd: Option<bool>,
463        /// Configure support for the relaxed-simd proposal.
464        pub relaxed_simd: Option<bool>,
465        /// Configure forcing deterministic and host-independent behavior of
466        /// the relaxed-simd instructions.
467        ///
468        /// By default these instructions may have architecture-specific behavior as
469        /// allowed by the specification, but this can be used to force the behavior
470        /// of these instructions to match the deterministic behavior classified in
471        /// the specification. Note that enabling this option may come at a
472        /// performance cost.
473        pub relaxed_simd_deterministic: Option<bool>,
474        /// Configure support for the tail-call proposal.
475        pub tail_call: Option<bool>,
476        /// Configure support for the threads proposal.
477        pub threads: Option<bool>,
478        /// Configure the ability to create a `shared` memory.
479        pub shared_memory: Option<bool>,
480        /// Configure support for the shared-everything-threads proposal.
481        pub shared_everything_threads: Option<bool>,
482        /// Configure support for the memory64 proposal.
483        pub memory64: Option<bool>,
484        /// Configure support for the component-model proposal.
485        pub component_model: Option<bool>,
486        /// Component model support for async lifting/lowering.
487        pub component_model_async: Option<bool>,
488        /// Component model support for async lifting/lowering: this corresponds
489        /// to the ๐Ÿš emoji in the component model specification.
490        pub component_model_more_async_builtins: Option<bool>,
491        /// Component model support for async lifting/lowering: this corresponds
492        /// to the ๐ŸšŸ emoji in the component model specification.
493        pub component_model_async_stackful: Option<bool>,
494        /// Component model support for threading: this corresponds
495        /// to the ๐Ÿงต emoji in the component model specification.
496        pub component_model_threading: Option<bool>,
497        /// Component model support for `error-context`: this corresponds
498        /// to the ๐Ÿ“ emoji in the component model specification.
499        pub component_model_error_context: Option<bool>,
500        /// GC support in the component model: this corresponds to the ๐Ÿ›ธ emoji
501        /// in the component model specification.
502        pub component_model_gc: Option<bool>,
503        /// Map support in the component model.
504        pub component_model_map: Option<bool>,
505        /// Component model support for `memory64`: this corresponds
506        /// to the ๐Ÿ˜ emoji in the component model specification.
507        pub component_model_memory64: Option<bool>,
508        /// Configure support for the function-references proposal.
509        pub function_references: Option<bool>,
510        /// Configure support for the stack-switching proposal.
511        pub stack_switching: Option<bool>,
512        /// Configure support for the GC proposal.
513        pub gc: Option<bool>,
514        /// Configure support for the custom-page-sizes proposal.
515        pub custom_page_sizes: Option<bool>,
516        /// Configure support for the wide-arithmetic proposal.
517        pub wide_arithmetic: Option<bool>,
518        /// Configure support for the branch-hinting proposal.
519        pub branch_hinting: Option<bool>,
520        /// Configure support for the extended-const proposal.
521        pub extended_const: Option<bool>,
522        /// Configure support for the exceptions proposal.
523        pub exceptions: Option<bool>,
524        /// Whether or not any GC infrastructure in Wasmtime is enabled or not.
525        pub gc_support: Option<bool>,
526        /// Component model support for fixed-length lists: this corresponds
527        /// to the ๐Ÿ”ง emoji in the component model specification
528        pub component_model_fixed_length_lists: Option<bool>,
529        /// Component model support for `(implements ...)`, corresponds to the
530        /// ๐Ÿท๏ธ emoji in the upstream spec.
531        pub component_model_implements: Option<bool>,
532        /// Component model support for canonical names, corresponds to the
533        /// ๐Ÿ”— emoji in the upstream spec.
534        pub component_model_canonical_names: Option<bool>,
535        /// Whether or not any concurrency infrastructure in Wasmtime is
536        /// enabled or not.
537        pub concurrency_support: Option<bool>,
538    }
539
540    enum Wasm {
541        ...
542    }
543}
544
545wasmtime_option_group! {
546    #[env = "WASI"]
547    pub struct WasiOptions {
548        /// Enable support for WASI CLI APIs, including filesystems, sockets, clocks, and random.
549        pub cli: Option<bool>,
550        /// Enable WASI APIs marked as: @unstable(feature = cli-exit-with-code)
551        pub cli_exit_with_code: Option<bool>,
552        /// Deprecated alias for `cli`
553        pub common: Option<bool>,
554        /// Enable support for WASI neural network imports (experimental)
555        pub nn: Option<bool>,
556        /// Enable support for WASI threading imports (experimental). Implies preview2=false.
557        pub threads: Option<bool>,
558        /// Enable support for WASI HTTP imports
559        pub http: Option<bool>,
560        /// Number of distinct write calls to the outgoing body's output-stream
561        /// that the implementation will buffer.
562        /// Default: 1.
563        pub http_outgoing_body_buffer_chunks: Option<usize>,
564        /// Maximum size allowed in a write call to the outgoing body's output-stream.
565        /// Default: 1024 * 1024.
566        pub http_outgoing_body_chunk_size: Option<usize>,
567        /// Enable support for WASI config imports (experimental)
568        pub config: Option<bool>,
569        /// Enable support for WASI key-value imports (experimental)
570        pub keyvalue: Option<bool>,
571        /// Grant access to the given TCP listen socket (experimental, legacy
572        /// wasip1 implementation only)
573        #[serde(default)]
574        pub tcplisten: Vec<String>,
575        /// Enable support for WASI TLS (Transport Layer Security) imports (experimental)
576        pub tls: Option<bool>,
577        /// Implement WASI Preview1 using new Preview2 implementation (true, default) or legacy
578        /// implementation (false)
579        pub preview2: Option<bool>,
580        /// Pre-load machine learning graphs (i.e., models) for use by wasi-nn.
581        ///
582        /// Each use of the flag will preload a ML model from the host directory
583        /// using the given model encoding. The model will be mapped to the
584        /// directory name: e.g., `--wasi-nn-graph openvino:/foo/bar` will preload
585        /// an OpenVINO model named `bar`. Note that which model encodings are
586        /// available is dependent on the backends implemented in the
587        /// `wasmtime_wasi_nn` crate.
588        #[serde(skip)]
589        pub nn_graph: Vec<WasiNnGraph>,
590        /// Flag for WASI preview2 to inherit the host's network within the
591        /// guest so it has full access to all addresses/ports/etc.
592        pub inherit_network: Option<bool>,
593        /// Indicates whether `wasi:sockets/ip-name-lookup` is enabled or not.
594        pub allow_ip_name_lookup: Option<bool>,
595        /// Indicates whether `wasi:sockets` TCP support is enabled or not.
596        pub tcp: Option<bool>,
597        /// Indicates whether `wasi:sockets` UDP support is enabled or not.
598        pub udp: Option<bool>,
599        /// Enable WASI APIs marked as: @unstable(feature = network-error-code)
600        pub network_error_code: Option<bool>,
601        /// Allows imports from the `wasi_unstable` core wasm module.
602        pub preview0: Option<bool>,
603        /// Inherit all environment variables from the parent process.
604        ///
605        /// This option can be further overwritten with `--env` flags.
606        pub inherit_env: Option<bool>,
607        /// Inherit stdin from the parent process. On by default.
608        pub inherit_stdin: Option<bool>,
609        /// Inherit stdout from the parent process. On by default.
610        pub inherit_stdout: Option<bool>,
611        /// Inherit stderr from the parent process. On by default.
612        pub inherit_stderr: Option<bool>,
613        /// Initial current working directory reported through `wasi:cli/environment`.
614        pub cwd: Option<String>,
615        /// Pass a wasi config variable to the program.
616        #[serde(skip)]
617        pub config_var: Vec<KeyValuePair>,
618        /// Preset data for the In-Memory provider of WASI key-value API.
619        #[serde(skip)]
620        pub keyvalue_in_memory_data: Vec<KeyValuePair>,
621        /// Enable support for WASIp3 APIs.
622        pub p3: Option<bool>,
623        /// Maximum resources the guest is allowed to create simultaneously.
624        pub max_resources: Option<usize>,
625        /// Fuel to use for all hostcalls to limit guest<->host data transfer.
626        pub hostcall_fuel: Option<usize>,
627        /// Maximum value, in bytes, for a wasi-random 0.2
628        /// `get{,-insecure}-random-bytes` `len` parameter. Calls with a value
629        /// exceeding this limit will trap.
630        pub max_random_size: Option<u64>,
631        /// Maximum value, in bytes, for the contents of a wasi-http 0.2
632        /// `fields` resource (aka `headers` and `trailers`). `fields` methods
633        /// which cause the contents to exceed this size limit will trap.
634        pub max_http_fields_size: Option<usize>,
635    }
636
637    enum Wasi {
638        ...
639    }
640}
641
642wasmtime_option_group! {
643    #[env = "RECORD"]
644    pub struct RecordOptions {
645        /// Filename for the recorded execution trace (or empty string to skip writing a file).
646        pub path: Option<String>,
647        /// Include (optional) signatures to facilitate validation checks during replay
648        /// (see `wasmtime replay` for details).
649        pub validation_metadata: Option<bool>,
650        /// Window size of internal buffering for record events (large windows offer more opportunities
651        /// for coalescing events at the cost of memory usage).
652        pub event_window_size: Option<usize>,
653    }
654
655    enum Record {
656        ...
657    }
658}
659
660#[derive(Debug, Clone, PartialEq)]
661pub struct WasiNnGraph {
662    pub format: String,
663    pub dir: String,
664}
665
666#[derive(Debug, Clone, PartialEq)]
667pub struct KeyValuePair {
668    pub key: String,
669    pub value: String,
670}
671
672/// The instance import name under which Wasmtime's unsafe intrinsics are
673/// exposed to the Wasm being compiled.
674#[derive(Debug, Clone, PartialEq)]
675pub struct UnsafeIntrinsicsImport(pub String);
676
677/// A compile-time builtin.
678#[derive(Debug, Clone, PartialEq)]
679pub struct CompileTimeBuiltin {
680    /// The instance import name that this satisfies in the main component.
681    pub name: String,
682    /// The path to the component that implements this builtin.
683    pub path: PathBuf,
684}
685
686/// Common options for commands that translate WebAssembly modules
687#[derive(Clone)]
688#[cfg_attr(feature = "clap", derive(clap::Parser))]
689#[cfg_attr(
690    feature = "serde",
691    derive(serde_derive::Deserialize, serde_derive::Serialize)
692)]
693#[cfg_attr(feature = "serde", serde(deny_unknown_fields))]
694pub struct CommonOptions {
695    // These options groups are used to parse `-O` and such options but aren't
696    // the raw form consumed by the CLI. Instead they're pushed into the `pub`
697    // fields below as part of the `configure` method.
698    //
699    // Ideally clap would support `pub opts: OptimizeOptions` and parse directly
700    // into that but it does not appear to do so for multiple `-O` flags for
701    // now.
702    /// Optimization and tuning related options for wasm performance, `-O help` to
703    /// see all.
704    #[cfg_attr(
705        feature = "clap",
706        arg(short = 'O', long = "optimize", value_name = "KEY[=VAL[,..]]")
707    )]
708    #[cfg_attr(feature = "serde", serde(skip))]
709    opts_raw: Vec<opt::CommaSeparated<Optimize>>,
710
711    /// Codegen-related configuration options, `-C help` to see all.
712    #[cfg_attr(
713        feature = "clap",
714        arg(short = 'C', long = "codegen", value_name = "KEY[=VAL[,..]]")
715    )]
716    #[cfg_attr(feature = "serde", serde(skip))]
717    codegen_raw: Vec<opt::CommaSeparated<Codegen>>,
718
719    /// Debug-related configuration options, `-D help` to see all.
720    #[cfg_attr(
721        feature = "clap",
722        arg(short = 'D', long = "debug", value_name = "KEY[=VAL[,..]]")
723    )]
724    #[cfg_attr(feature = "serde", serde(skip))]
725    debug_raw: Vec<opt::CommaSeparated<Debug>>,
726
727    /// Options for configuring semantic execution of WebAssembly, `-W help` to see
728    /// all.
729    #[cfg_attr(
730        feature = "clap",
731        arg(short = 'W', long = "wasm", value_name = "KEY[=VAL[,..]]")
732    )]
733    #[cfg_attr(feature = "serde", serde(skip))]
734    wasm_raw: Vec<opt::CommaSeparated<Wasm>>,
735
736    /// Options for configuring WASI and its proposals, `-S help` to see all.
737    #[cfg_attr(
738        feature = "clap",
739        arg(short = 'S', long = "wasi", value_name = "KEY[=VAL[,..]]")
740    )]
741    #[cfg_attr(feature = "serde", serde(skip))]
742    wasi_raw: Vec<opt::CommaSeparated<Wasi>>,
743
744    /// Options to enable and configure execution recording, `-R help` to see all.
745    ///
746    /// Generates a serialized trace of the Wasm module execution that captures all
747    /// non-determinism observable by the module. This trace can subsequently be
748    /// re-executed in a deterministic, embedding-agnostic manner (see the `wasmtime replay` command).
749    ///
750    /// Note: Minimal configuration options for deterministic Wasm semantics will be
751    /// enforced during recording by default (NaN canonicalization, deterministic relaxed SIMD).
752    #[cfg_attr(
753        feature = "clap",
754        arg(short = 'R', long = "record", value_name = "KEY[=VAL[,..]]")
755    )]
756    #[cfg_attr(feature = "serde", serde(skip))]
757    record_raw: Vec<opt::CommaSeparated<Record>>,
758
759    // These fields are filled in by the `configure` method below via the
760    // options parsed from the CLI above. This is what the CLI should use.
761    #[cfg_attr(feature = "clap", arg(skip))]
762    #[cfg_attr(feature = "serde", serde(skip))]
763    configured: bool,
764
765    #[cfg_attr(feature = "clap", arg(skip))]
766    #[cfg_attr(feature = "serde", serde(rename = "optimize", default))]
767    pub opts: OptimizeOptions,
768
769    #[cfg_attr(feature = "clap", arg(skip))]
770    #[cfg_attr(feature = "serde", serde(default))]
771    pub codegen: CodegenOptions,
772
773    #[cfg_attr(feature = "clap", arg(skip))]
774    #[cfg_attr(feature = "serde", serde(default))]
775    pub debug: DebugOptions,
776
777    #[cfg_attr(feature = "clap", arg(skip))]
778    #[cfg_attr(feature = "serde", serde(default))]
779    pub wasm: WasmOptions,
780
781    #[cfg_attr(feature = "clap", arg(skip))]
782    #[cfg_attr(feature = "serde", serde(default))]
783    pub wasi: WasiOptions,
784
785    #[cfg_attr(feature = "clap", arg(skip))]
786    #[cfg_attr(feature = "serde", serde(default))]
787    pub record: RecordOptions,
788
789    /// The target triple; default is the host triple
790    #[cfg_attr(feature = "clap", arg(long, value_name = "TARGET"))]
791    #[cfg_attr(feature = "serde", serde(skip))]
792    pub target: Option<String>,
793
794    /// Use the specified TOML configuration file.
795    /// This TOML configuration file can provide same configuration options as the
796    /// `--optimize`, `--codegen`, `--debug`, `--wasm`, `--wasi` CLI options, with a couple exceptions.
797    ///
798    /// Additional options specified on the command line will take precedent over options loaded from
799    /// this TOML file.
800    #[cfg_attr(feature = "clap", arg(long = "config", value_name = "FILE"))]
801    #[cfg_attr(feature = "serde", serde(skip))]
802    pub config: Option<PathBuf>,
803}
804
805macro_rules! match_feature {
806    (
807        [$feat:tt : $config:expr]
808        $val:ident => $e:expr,
809        $p:pat => err,
810    ) => {
811        #[cfg(feature = $feat)]
812        {
813            if let Some($val) = $config {
814                $e;
815            }
816        }
817        #[cfg(not(feature = $feat))]
818        {
819            if let Some($p) = $config {
820                bail!(concat!("support for ", $feat, " disabled at compile time"));
821            }
822        }
823    };
824}
825
826impl CommonOptions {
827    /// Creates a blank new set of [`CommonOptions`] that can be configured.
828    pub fn new() -> CommonOptions {
829        CommonOptions {
830            opts_raw: Vec::new(),
831            codegen_raw: Vec::new(),
832            debug_raw: Vec::new(),
833            wasm_raw: Vec::new(),
834            wasi_raw: Vec::new(),
835            record_raw: Vec::new(),
836            configured: true,
837            opts: Default::default(),
838            codegen: Default::default(),
839            debug: Default::default(),
840            wasm: Default::default(),
841            wasi: Default::default(),
842            record: Default::default(),
843            target: None,
844            config: None,
845        }
846    }
847
848    fn configure(&mut self) -> Result<()> {
849        if self.configured {
850            return Ok(());
851        }
852        self.configured = true;
853        if let Some(toml_config_path) = &self.config {
854            #[cfg(feature = "toml")]
855            {
856                let toml_options = CommonOptions::from_file(toml_config_path)?;
857                self.opts = toml_options.opts;
858                self.codegen = toml_options.codegen;
859                self.debug = toml_options.debug;
860                self.wasm = toml_options.wasm;
861                self.wasi = toml_options.wasi;
862                self.record = toml_options.record;
863            }
864            #[cfg(not(feature = "toml"))]
865            {
866                bail!(
867                    "support for loading a configuration file from \
868                     {toml_config_path:?} disabled at compile time"
869                );
870            }
871        }
872        self.opts.configure_with(&self.opts_raw)?;
873        self.codegen.configure_with(&self.codegen_raw)?;
874        self.debug.configure_with(&self.debug_raw)?;
875        self.wasm.configure_with(&self.wasm_raw)?;
876        self.wasi.configure_with(&self.wasi_raw)?;
877        self.record.configure_with(&self.record_raw)?;
878        Ok(())
879    }
880
881    pub fn init_logging(&mut self) -> Result<()> {
882        self.configure()?;
883        if self.debug.logging == Some(false) {
884            return Ok(());
885        }
886        #[cfg(feature = "logging")]
887        if self.debug.log_to_files == Some(true) {
888            let prefix = "wasmtime.dbg.";
889            init_file_per_thread_logger(prefix);
890        } else {
891            use std::io::IsTerminal;
892            use tracing_subscriber::{EnvFilter, FmtSubscriber};
893            let builder = FmtSubscriber::builder()
894                .with_writer(std::io::stderr)
895                .with_env_filter(EnvFilter::from_env("WASMTIME_LOG"))
896                .with_ansi(std::io::stderr().is_terminal());
897            if std::env::var("WASMTIME_LOG_NO_CONTEXT").is_ok_and(|value| value.eq("1")) {
898                builder
899                    .with_level(false)
900                    .with_target(false)
901                    .without_time()
902                    .init()
903            } else {
904                builder.init();
905            }
906        }
907        #[cfg(not(feature = "logging"))]
908        if self.debug.log_to_files == Some(true) || self.debug.logging == Some(true) {
909            bail!("support for logging disabled at compile time");
910        }
911        Ok(())
912    }
913
914    pub fn config(&mut self, pooling_allocator_default: Option<bool>) -> Result<Config> {
915        self.configure()?;
916        let mut config = Config::new();
917
918        match_feature! {
919            ["cranelift" : self.codegen.compiler]
920            strategy => config.strategy(strategy),
921            _ => err,
922        }
923        match_feature! {
924            ["gc" : self.codegen.collector]
925            collector => config.collector(collector),
926            _ => err,
927        }
928        if let Some(target) = &self.target {
929            config.target(target)?;
930        }
931        match_feature! {
932            ["cranelift" : self.codegen.cranelift_debug_verifier]
933            enable => config.cranelift_debug_verifier(enable),
934            true => err,
935        }
936        if let Some(enable) = self.debug.debug_info {
937            config.debug_info(enable);
938        }
939        match_feature! {
940            ["debug" : self.debug.guest_debug]
941            enable => config.guest_debug(enable),
942            _ => err,
943        }
944        if self.debug.coredump.is_some() {
945            #[cfg(feature = "coredump")]
946            config.coredump_on_trap(true);
947            #[cfg(not(feature = "coredump"))]
948            bail!("support for coredumps disabled at compile time");
949        }
950        match_feature! {
951            ["cranelift" : self.opts.opt_level]
952            level => config.cranelift_opt_level(level),
953            _ => err,
954        }
955        match_feature! {
956            ["cranelift": self.opts.regalloc_algorithm]
957            algo => config.cranelift_regalloc_algorithm(algo),
958            _ => err,
959        }
960        match_feature! {
961            ["cranelift" : self.wasm.nan_canonicalization]
962            enable => config.cranelift_nan_canonicalization(enable),
963            true => err,
964        }
965
966        self.enable_wasm_features(&mut config)?;
967
968        #[cfg(feature = "cranelift")]
969        for (name, value) in self.codegen.cranelift.iter() {
970            let name = name.replace('-', "_");
971            unsafe {
972                match value {
973                    Some(val) => {
974                        config.cranelift_flag_set(&name, val);
975                    }
976                    None => {
977                        config.cranelift_flag_enable(&name);
978                    }
979                }
980            }
981        }
982        #[cfg(not(feature = "cranelift"))]
983        if !self.codegen.cranelift.is_empty() {
984            bail!("support for cranelift disabled at compile time");
985        }
986
987        #[cfg(feature = "cache")]
988        if self.codegen.cache != Some(false) {
989            use wasmtime::Cache;
990            let cache = match &self.codegen.cache_config {
991                Some(path) => Cache::from_file(Some(std::path::Path::new(path)))?,
992                None => Cache::from_file(None)?,
993            };
994            config.cache(Some(cache));
995        }
996        #[cfg(not(feature = "cache"))]
997        if self.codegen.cache == Some(true) {
998            bail!("support for caching disabled at compile time");
999        }
1000
1001        match_feature! {
1002            ["parallel-compilation" : self.codegen.parallel_compilation]
1003            enable => config.parallel_compilation(enable),
1004            true => err,
1005        }
1006
1007        let memory_reservation = self
1008            .opts
1009            .memory_reservation
1010            .or(self.opts.static_memory_maximum_size);
1011        if let Some(size) = memory_reservation {
1012            config.memory_reservation(size);
1013        }
1014
1015        if let Some(enable) = self.opts.static_memory_forced {
1016            config.memory_may_move(!enable);
1017        }
1018        if let Some(enable) = self.opts.memory_may_move {
1019            config.memory_may_move(enable);
1020        }
1021
1022        let memory_guard_size = self
1023            .opts
1024            .static_memory_guard_size
1025            .or(self.opts.dynamic_memory_guard_size)
1026            .or(self.opts.memory_guard_size);
1027        if let Some(size) = memory_guard_size {
1028            config.memory_guard_size(size);
1029        }
1030
1031        let mem_for_growth = self
1032            .opts
1033            .memory_reservation_for_growth
1034            .or(self.opts.dynamic_memory_reserved_for_growth);
1035        if let Some(size) = mem_for_growth {
1036            config.memory_reservation_for_growth(size);
1037        }
1038        if let Some(enable) = self.opts.guard_before_linear_memory {
1039            config.guard_before_linear_memory(enable);
1040        }
1041
1042        if let Some(size) = self.opts.gc_heap_reservation {
1043            config.gc_heap_reservation(size);
1044        }
1045        if let Some(enable) = self.opts.gc_heap_may_move {
1046            config.gc_heap_may_move(enable);
1047        }
1048        if let Some(size) = self.opts.gc_heap_guard_size {
1049            config.gc_heap_guard_size(size);
1050        }
1051        if let Some(size) = self.opts.gc_heap_reservation_for_growth {
1052            config.gc_heap_reservation_for_growth(size);
1053        }
1054
1055        if let Some(size) = self.opts.gc_heap_initial_size {
1056            config.gc_heap_initial_size(size);
1057        }
1058
1059        if let Some(enable) = self.opts.table_lazy_init {
1060            config.table_lazy_init(enable);
1061        }
1062
1063        if let Some(n) = self.opts.gc_zeal_alloc_counter
1064            && (cfg!(gc_zeal) || cfg!(fuzzing))
1065        {
1066            config.gc_zeal_alloc_counter(Some(n))?;
1067        }
1068
1069        // If fuel has been configured, set the `consume fuel` flag on the config.
1070        if self.wasm.fuel.is_some() {
1071            config.consume_fuel(true);
1072        }
1073
1074        if let Some(enable) = self.wasm.epoch_interruption {
1075            config.epoch_interruption(enable);
1076        }
1077        if let Some(enable) = self.debug.address_map {
1078            config.generate_address_map(enable);
1079        }
1080        if let Some(frames) = self.debug.max_backtrace {
1081            match NonZeroUsize::new(frames) {
1082                None => {
1083                    config.wasm_backtrace_details(WasmBacktraceDetails::Disable);
1084                }
1085                Some(amt) => {
1086                    config.wasm_backtrace_max_frames(Some(amt));
1087                }
1088            }
1089        }
1090        if let Some(enable) = self.debug.symbols {
1091            config.debug_symbols(enable);
1092        }
1093        if let Some(enable) = self.opts.memory_init_cow {
1094            config.memory_init_cow(enable);
1095        }
1096        if let Some(size) = self.opts.memory_guaranteed_dense_image_size {
1097            config.memory_guaranteed_dense_image_size(size);
1098        }
1099        if let Some(enable) = self.opts.signals_based_traps {
1100            config.signals_based_traps(enable);
1101        }
1102        if let Some(enable) = self.codegen.native_unwind_info {
1103            config.native_unwind_info(enable);
1104        }
1105        if let Some(enable) = self.codegen.inlining {
1106            config.compiler_inlining(enable);
1107        }
1108        if let Some(enable) = self.codegen.metadata_for_internal_asserts {
1109            config.metadata_for_internal_asserts(enable);
1110        }
1111        if let Some(enable) = self.codegen.metadata_for_gc_heap_corruption {
1112            config.metadata_for_gc_heap_corruption(enable);
1113        }
1114
1115        // async_stack_size enabled by either async or stack-switching, so
1116        // cannot directly use match_feature!
1117        #[cfg(any(feature = "async", feature = "stack-switching"))]
1118        {
1119            if let Some(size) = self.wasm.async_stack_size {
1120                config.async_stack_size(size);
1121            }
1122        }
1123        #[cfg(not(any(feature = "async", feature = "stack-switching")))]
1124        {
1125            if let Some(_size) = self.wasm.async_stack_size {
1126                bail!(concat!(
1127                    "support for async/stack-switching disabled at compile time"
1128                ));
1129            }
1130        }
1131
1132        match_feature! {
1133            ["pooling-allocator" : self.opts.pooling_allocator.or(pooling_allocator_default)]
1134            enable => {
1135                if enable {
1136                    let mut cfg = wasmtime::PoolingAllocationConfig::default();
1137                    if let Some(size) = self.opts.pooling_memory_keep_resident {
1138                        cfg.linear_memory_keep_resident(size);
1139                    }
1140                    if let Some(size) = self.opts.pooling_table_keep_resident {
1141                        cfg.table_keep_resident(size);
1142                    }
1143                    if let Some(limit) = self.opts.pooling_total_core_instances {
1144                        cfg.total_core_instances(limit);
1145                    }
1146                    if let Some(limit) = self.opts.pooling_total_component_instances {
1147                        cfg.total_component_instances(limit);
1148                    }
1149                    if let Some(limit) = self.opts.pooling_total_memories {
1150                        cfg.total_memories(limit);
1151                    }
1152                    if let Some(limit) = self.opts.pooling_total_tables {
1153                        cfg.total_tables(limit);
1154                    }
1155                    if let Some(limit) = self.opts.pooling_table_elements
1156                        .or(self.wasm.max_table_elements)
1157                    {
1158                        cfg.table_elements(limit);
1159                    }
1160                    if let Some(limit) = self.opts.pooling_max_core_instance_size {
1161                        cfg.max_core_instance_size(limit);
1162                    }
1163                    match_feature! {
1164                        ["async" : self.opts.pooling_total_stacks]
1165                        limit => cfg.total_stacks(limit),
1166                        _ => err,
1167                    }
1168                    if let Some(max) = self.opts.pooling_max_memory_size
1169                        .or(self.wasm.max_memory_size)
1170                    {
1171                        cfg.max_memory_size(max);
1172                    }
1173                    if let Some(size) = self.opts.pooling_decommit_batch_size {
1174                        cfg.decommit_batch_size(size);
1175                    }
1176                    if let Some(max) = self.opts.pooling_max_unused_warm_slots {
1177                        cfg.max_unused_warm_slots(max);
1178                    }
1179                    match_feature! {
1180                        ["async" : self.opts.pooling_async_stack_keep_resident]
1181                        size => cfg.async_stack_keep_resident(size),
1182                        _ => err,
1183                    }
1184                    if let Some(max) = self.opts.pooling_max_component_instance_size {
1185                        cfg.max_component_instance_size(max);
1186                    }
1187                    if let Some(max) = self.opts.pooling_max_core_instances_per_component {
1188                        cfg.max_core_instances_per_component(max);
1189                    }
1190                    if let Some(max) = self.opts.pooling_max_memories_per_component {
1191                        cfg.max_memories_per_component(max);
1192                    }
1193                    if let Some(max) = self.opts.pooling_max_tables_per_component {
1194                        cfg.max_tables_per_component(max);
1195                    }
1196                    if let Some(max) = self.opts.pooling_max_tables_per_module {
1197                        cfg.max_tables_per_module(max);
1198                    }
1199                    if let Some(max) = self.opts.pooling_max_memories_per_module {
1200                        cfg.max_memories_per_module(max);
1201                    }
1202                    match_feature! {
1203                        ["memory-protection-keys" : self.opts.pooling_memory_protection_keys]
1204                        enable => cfg.memory_protection_keys(enable),
1205                        _ => err,
1206                    }
1207                    match_feature! {
1208                        ["memory-protection-keys" : self.opts.pooling_max_memory_protection_keys]
1209                        max => cfg.max_memory_protection_keys(max),
1210                        _ => err,
1211                    }
1212                    match_feature! {
1213                        ["gc" : self.opts.pooling_total_gc_heaps]
1214                        max => cfg.total_gc_heaps(max),
1215                        _ => err,
1216                    }
1217                    if let Some(enabled) = self.opts.pooling_pagemap_scan {
1218                        cfg.pagemap_scan(enabled);
1219                    }
1220                    config.allocation_strategy(wasmtime::InstanceAllocationStrategy::Pooling(cfg));
1221                }
1222            },
1223            true => err,
1224        }
1225
1226        if self.opts.pooling_memory_protection_keys.is_some()
1227            && !self.opts.pooling_allocator.unwrap_or(false)
1228        {
1229            bail!("memory protection keys require the pooling allocator");
1230        }
1231
1232        if self.opts.pooling_max_memory_protection_keys.is_some()
1233            && !self.opts.pooling_memory_protection_keys.is_some()
1234        {
1235            bail!("max memory protection keys requires memory protection keys to be enabled");
1236        }
1237
1238        match_feature! {
1239            ["async" : self.wasm.async_stack_zeroing]
1240            enable => config.async_stack_zeroing(enable),
1241            _ => err,
1242        }
1243
1244        if let Some(max) = self.wasm.max_wasm_stack {
1245            config.max_wasm_stack(max);
1246
1247            // If `-Wasync-stack-size` isn't passed then automatically adjust it
1248            // to the wasm stack size provided here too. That prevents the need
1249            // to pass both when one can generally be inferred from the other.
1250            #[cfg(any(feature = "async", feature = "stack-switching"))]
1251            if self.wasm.async_stack_size.is_none() {
1252                const DEFAULT_HOST_STACK: usize = 512 << 10;
1253                config.async_stack_size(max + DEFAULT_HOST_STACK);
1254            }
1255        }
1256
1257        if let Some(enable) = self.wasm.relaxed_simd_deterministic {
1258            config.relaxed_simd_deterministic(enable);
1259        }
1260        match_feature! {
1261            ["cranelift" : self.wasm.wmemcheck]
1262            enable => config.wmemcheck(enable),
1263            true => err,
1264        }
1265
1266        if let Some(enable) = self.wasm.gc_support {
1267            config.gc_support(enable);
1268        }
1269
1270        if let Some(enable) = self.wasm.concurrency_support {
1271            config.concurrency_support(enable);
1272        }
1273
1274        if let Some(enable) = self.wasm.shared_memory {
1275            config.shared_memory(enable);
1276        }
1277
1278        let record = &self.record;
1279        match_feature! {
1280            ["rr" : &record.path]
1281            _path => {
1282                bail!("recording configuration for `rr` feature is not supported yet");
1283            },
1284            _ => err,
1285        }
1286
1287        Ok(config)
1288    }
1289
1290    pub fn enable_wasm_features(&self, config: &mut Config) -> Result<()> {
1291        let all = self.wasm.all_proposals;
1292
1293        if let Some(enable) = self.wasm.simd.or(all) {
1294            config.wasm_simd(enable);
1295        }
1296        if let Some(enable) = self.wasm.relaxed_simd.or(all) {
1297            config.wasm_relaxed_simd(enable);
1298        }
1299        if let Some(enable) = self.wasm.bulk_memory.or(all) {
1300            config.wasm_bulk_memory(enable);
1301        }
1302        if let Some(enable) = self.wasm.multi_value.or(all) {
1303            config.wasm_multi_value(enable);
1304        }
1305        if let Some(enable) = self.wasm.tail_call.or(all) {
1306            config.wasm_tail_call(enable);
1307        }
1308        if let Some(enable) = self.wasm.multi_memory.or(all) {
1309            config.wasm_multi_memory(enable);
1310        }
1311        if let Some(enable) = self.wasm.memory64.or(all) {
1312            config.wasm_memory64(enable);
1313        }
1314        if let Some(enable) = self.wasm.stack_switching {
1315            config.wasm_stack_switching(enable);
1316        }
1317        if let Some(enable) = self.wasm.custom_page_sizes.or(all) {
1318            config.wasm_custom_page_sizes(enable);
1319        }
1320        if let Some(enable) = self.wasm.wide_arithmetic.or(all) {
1321            config.wasm_wide_arithmetic(enable);
1322        }
1323        // Not included in `all_proposals`: off by default until fuzzed.
1324        if let Some(enable) = self.wasm.branch_hinting {
1325            config.wasm_branch_hinting(enable);
1326        }
1327        if let Some(enable) = self.wasm.extended_const.or(all) {
1328            config.wasm_extended_const(enable);
1329        }
1330
1331        macro_rules! handle_conditionally_compiled {
1332            ($(($feature:tt, $field:tt, $method:tt))*) => ($(
1333                if let Some(enable) = self.wasm.$field.or(all) {
1334                    #[cfg(feature = $feature)]
1335                    config.$method(enable);
1336                    #[cfg(not(feature = $feature))]
1337                    if enable && all.is_none() {
1338                        bail!("support for {} was disabled at compile-time", $feature);
1339                    }
1340                }
1341            )*)
1342        }
1343
1344        handle_conditionally_compiled! {
1345            ("component-model", component_model, wasm_component_model)
1346            ("component-model-async", component_model_async, wasm_component_model_async)
1347            ("component-model-async", component_model_more_async_builtins, wasm_component_model_more_async_builtins)
1348            ("component-model-async", component_model_async_stackful, wasm_component_model_async_stackful)
1349            ("component-model-async", component_model_threading, wasm_component_model_threading)
1350            ("component-model", component_model_error_context, wasm_component_model_error_context)
1351            ("component-model", component_model_map, wasm_component_model_map)
1352            ("component-model", component_model_fixed_length_lists, wasm_component_model_fixed_length_lists)
1353            ("component-model", component_model_implements, wasm_component_model_implements)
1354            ("component-model", component_model_canonical_names, wasm_component_model_canonical_names)
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    /// Creates an instance of [`CommonOptions`] by reflecting on the
1388    /// configuration present in the provided [`Engine`].
1389    ///
1390    /// This will extract all configuration values that can be set by this
1391    /// [`CommonOptions`] into a [`Config`] into the returned structure to the
1392    /// best of its ability. Not all configuration options present on [`Engine`]
1393    /// can be reflected back into [`CommonOptions`], and not all options on
1394    /// [`CommonOptions`] can be set on an [`Engine`]. This means that this
1395    /// is a lossy operation that doesn't fully capture 100% of the
1396    /// configuration of [`Engine`]. That being said, however, it can capture
1397    /// almost all of the configuration related to codegen and major other
1398    /// configuration options.
1399    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                // Deprecated aliases for the above options; intentionally left
1455                // unset in favor of their replacements.
1456                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                // not easily extractable from `Engine` since that supports
1482                // arbitrary code-defined caches.
1483                cache: None,
1484                cache_config: None,
1485
1486                // These are configured per-`CodeBuilder`, so they cannot be
1487                // recovered here.
1488                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                // Can't infer a path to emit a core dump to from engine
1499                // configuration.
1500                coredump: None,
1501                // debugger configuration not part of engine config
1502                debugger: None,
1503                arg: Vec::new(),
1504                inherit_stderr: None,
1505                inherit_stdout: None,
1506                inherit_stdin: None,
1507                // logging not part of engine config
1508                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_canonical_names: Some(
1530                    features.contains(WasmFeatures::CM_CANON_NAMES),
1531                ),
1532                component_model_map: Some(features.contains(WasmFeatures::CM_MAP)),
1533                component_model_memory64: Some(features.contains(WasmFeatures::CM64)),
1534                component_model_more_async_builtins: Some(
1535                    features.contains(WasmFeatures::CM_MORE_ASYNC_BUILTINS),
1536                ),
1537                component_model_threading: Some(features.contains(WasmFeatures::CM_THREADING)),
1538                custom_page_sizes: Some(features.contains(WasmFeatures::CUSTOM_PAGE_SIZES)),
1539                exceptions: Some(features.contains(WasmFeatures::EXCEPTIONS)),
1540                extended_const: Some(features.contains(WasmFeatures::EXTENDED_CONST)),
1541                function_references: Some(features.contains(WasmFeatures::FUNCTION_REFERENCES)),
1542                gc: Some(features.contains(WasmFeatures::GC)),
1543                gc_support: Some(features.contains(WasmFeatures::GC_TYPES)),
1544                memory64: Some(features.contains(WasmFeatures::MEMORY64)),
1545                multi_memory: Some(features.contains(WasmFeatures::MULTI_MEMORY)),
1546                multi_value: Some(features.contains(WasmFeatures::MULTI_VALUE)),
1547                reference_types: Some(features.contains(WasmFeatures::REFERENCE_TYPES)),
1548                relaxed_simd: Some(features.contains(WasmFeatures::RELAXED_SIMD)),
1549                shared_everything_threads: Some(
1550                    features.contains(WasmFeatures::SHARED_EVERYTHING_THREADS),
1551                ),
1552                simd: Some(features.contains(WasmFeatures::SIMD)),
1553                stack_switching: Some(features.contains(WasmFeatures::STACK_SWITCHING)),
1554                tail_call: Some(features.contains(WasmFeatures::TAIL_CALL)),
1555                threads: Some(features.contains(WasmFeatures::THREADS)),
1556                wide_arithmetic: Some(features.contains(WasmFeatures::WIDE_ARITHMETIC)),
1557                concurrency_support: Some(engine.get_concurrency_support()),
1558                epoch_interruption: Some(engine.get_epoch_interruption()),
1559                fuel: if engine.get_consume_fuel() {
1560                    Some(1)
1561                } else {
1562                    None
1563                },
1564                max_wasm_stack: Some(engine.get_max_wasm_stack()),
1565                nan_canonicalization: engine.get_cranelift_nan_canonicalization(),
1566                relaxed_simd_deterministic: Some(engine.get_relaxed_simd_deterministic()),
1567                shared_memory: Some(engine.get_shared_memory()),
1568
1569                // This is covered by individual `WasmFeatures::*` flags above.
1570                all_proposals: None,
1571                // These aren't set in `Config` any more, they're just
1572                // historical
1573                max_instances: None,
1574                max_memories: None,
1575                max_memory_size: None,
1576                max_table_elements: None,
1577                max_tables: None,
1578                // not part of engine config, specific to `run` command
1579                timeout: None,
1580                trap_on_grow_failure: None,
1581                unknown_exports_allow: None,
1582                unknown_imports_default: None,
1583                unknown_imports_trap: None,
1584                wmemcheck: None,
1585            },
1586
1587            // Not currently reflected in `Engine`.
1588            record: RecordOptions::default(),
1589
1590            // WASI options aren't reflected in an `Engine`.
1591            wasi: Default::default(),
1592
1593            // CLI flags are represented above, they have default values here.
1594            configured: true,
1595            codegen_raw: Default::default(),
1596            debug_raw: Default::default(),
1597            opts_raw: Default::default(),
1598            record_raw: Default::default(),
1599            wasi_raw: Default::default(),
1600            wasm_raw: Default::default(),
1601
1602            // No external configuration file, it's all above.
1603            config: None,
1604            //
1605            // Note that an exhaustive listing is explicitly used to avoid
1606            // forgetting to configure a field. Please don't add `..something`
1607            // here at the end.
1608        }
1609    }
1610}
1611
1612#[cfg(test)]
1613mod tests {
1614    use wasmtime::{OptLevel, RegallocAlgorithm};
1615
1616    use super::*;
1617
1618    #[test]
1619    fn from_toml() {
1620        // empty toml
1621        let empty_toml = "";
1622        let mut common_options: CommonOptions = toml::from_str(empty_toml).unwrap();
1623        common_options.config(None).unwrap();
1624
1625        // basic toml
1626        let basic_toml = r#"
1627            [optimize]
1628            [codegen]
1629            [debug]
1630            [wasm]
1631            [wasi]
1632            [record]
1633        "#;
1634        let mut common_options: CommonOptions = toml::from_str(basic_toml).unwrap();
1635        common_options.config(None).unwrap();
1636
1637        // toml with custom deserialization to match CLI flag parsing
1638        for (opt_value, expected) in [
1639            ("0", Some(OptLevel::None)),
1640            ("1", Some(OptLevel::Speed)),
1641            ("2", Some(OptLevel::Speed)),
1642            ("\"s\"", Some(OptLevel::SpeedAndSize)),
1643            ("\"hello\"", None), // should fail
1644            ("3", None),         // should fail
1645        ] {
1646            let toml = format!(
1647                r#"
1648                    [optimize]
1649                    opt-level = {opt_value}
1650                "#,
1651            );
1652            let parsed_opt_level = toml::from_str::<CommonOptions>(&toml)
1653                .ok()
1654                .and_then(|common_options| common_options.opts.opt_level);
1655
1656            assert_eq!(
1657                parsed_opt_level, expected,
1658                "Mismatch for input '{opt_value}'. Parsed: {parsed_opt_level:?}, Expected: {expected:?}"
1659            );
1660        }
1661
1662        // Regalloc algorithm
1663        for (regalloc_value, expected) in [
1664            ("\"backtracking\"", Some(RegallocAlgorithm::Backtracking)),
1665            ("\"single-pass\"", Some(RegallocAlgorithm::SinglePass)),
1666            ("\"hello\"", None), // should fail
1667            ("3", None),         // should fail
1668            ("true", None),      // should fail
1669        ] {
1670            let toml = format!(
1671                r#"
1672                    [optimize]
1673                    regalloc-algorithm = {regalloc_value}
1674                "#,
1675            );
1676            let parsed_regalloc_algorithm = toml::from_str::<CommonOptions>(&toml)
1677                .ok()
1678                .and_then(|common_options| common_options.opts.regalloc_algorithm);
1679            assert_eq!(
1680                parsed_regalloc_algorithm, expected,
1681                "Mismatch for input '{regalloc_value}'. Parsed: {parsed_regalloc_algorithm:?}, Expected: {expected:?}"
1682            );
1683        }
1684
1685        // Strategy
1686        for (strategy_value, expected) in [
1687            ("\"cranelift\"", Some(wasmtime::Strategy::Cranelift)),
1688            ("\"winch\"", Some(wasmtime::Strategy::Winch)),
1689            ("\"hello\"", None), // should fail
1690            ("5", None),         // should fail
1691            ("true", None),      // should fail
1692        ] {
1693            let toml = format!(
1694                r#"
1695                    [codegen]
1696                    compiler = {strategy_value}
1697                "#,
1698            );
1699            let parsed_strategy = toml::from_str::<CommonOptions>(&toml)
1700                .ok()
1701                .and_then(|common_options| common_options.codegen.compiler);
1702            assert_eq!(
1703                parsed_strategy, expected,
1704                "Mismatch for input '{strategy_value}'. Parsed: {parsed_strategy:?}, Expected: {expected:?}",
1705            );
1706        }
1707
1708        // Collector
1709        for (collector_value, expected) in [
1710            (
1711                "\"drc\"",
1712                Some(wasmtime::Collector::DeferredReferenceCounting),
1713            ),
1714            ("\"null\"", Some(wasmtime::Collector::Null)),
1715            ("\"copying\"", Some(wasmtime::Collector::Copying)),
1716            ("\"hello\"", None), // should fail
1717            ("5", None),         // should fail
1718            ("true", None),      // should fail
1719        ] {
1720            let toml = format!(
1721                r#"
1722                    [codegen]
1723                    collector = {collector_value}
1724                "#,
1725            );
1726            let parsed_collector = toml::from_str::<CommonOptions>(&toml)
1727                .ok()
1728                .and_then(|common_options| common_options.codegen.collector);
1729            assert_eq!(
1730                parsed_collector, expected,
1731                "Mismatch for input '{collector_value}'. Parsed: {parsed_collector:?}, Expected: {expected:?}",
1732            );
1733        }
1734    }
1735}
1736
1737impl Default for CommonOptions {
1738    fn default() -> CommonOptions {
1739        CommonOptions::new()
1740    }
1741}
1742
1743impl fmt::Display for CommonOptions {
1744    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
1745        let CommonOptions {
1746            codegen_raw,
1747            codegen,
1748            debug_raw,
1749            debug,
1750            opts_raw,
1751            opts,
1752            wasm_raw,
1753            wasm,
1754            wasi_raw,
1755            wasi,
1756            record_raw,
1757            record,
1758            configured,
1759            target,
1760            config,
1761        } = self;
1762        if let Some(target) = target {
1763            write!(f, "--target {target} ")?;
1764        }
1765        if let Some(config) = config {
1766            write!(f, "--config {} ", config.display())?;
1767        }
1768
1769        let codegen_flags;
1770        let opts_flags;
1771        let wasi_flags;
1772        let wasm_flags;
1773        let debug_flags;
1774        let record_flags;
1775
1776        if *configured {
1777            codegen_flags = codegen.to_options();
1778            debug_flags = debug.to_options();
1779            wasi_flags = wasi.to_options();
1780            wasm_flags = wasm.to_options();
1781            opts_flags = opts.to_options();
1782            record_flags = record.to_options();
1783        } else {
1784            codegen_flags = codegen_raw
1785                .iter()
1786                .flat_map(|t| t.0.iter())
1787                .cloned()
1788                .collect();
1789            debug_flags = debug_raw.iter().flat_map(|t| t.0.iter()).cloned().collect();
1790            wasi_flags = wasi_raw.iter().flat_map(|t| t.0.iter()).cloned().collect();
1791            wasm_flags = wasm_raw.iter().flat_map(|t| t.0.iter()).cloned().collect();
1792            opts_flags = opts_raw.iter().flat_map(|t| t.0.iter()).cloned().collect();
1793            record_flags = record_raw
1794                .iter()
1795                .flat_map(|t| t.0.iter())
1796                .cloned()
1797                .collect();
1798        }
1799
1800        for flag in codegen_flags {
1801            write!(f, "-C{flag} ")?;
1802        }
1803        for flag in opts_flags {
1804            write!(f, "-O{flag} ")?;
1805        }
1806        for flag in wasi_flags {
1807            write!(f, "-S{flag} ")?;
1808        }
1809        for flag in wasm_flags {
1810            write!(f, "-W{flag} ")?;
1811        }
1812        for flag in debug_flags {
1813            write!(f, "-D{flag} ")?;
1814        }
1815        for flag in record_flags {
1816            write!(f, "-R{flag} ")?;
1817        }
1818
1819        Ok(())
1820    }
1821}