wasmtime-cli 44.0.1

Command-line interface for Wasmtime
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99

use super::dump::{DwarfDumpSection, get_dwarfdump};
use super::obj::compile_cranelift;
use filecheck::{CheckerBuilder, NO_VARIABLES};
use tempfile::NamedTempFile;
use wasmtime::{Result, format_err};
use wat::parse_str;

#[allow(dead_code, reason = "used by conditionally-defined tests below")]
fn check_wat(wat: &str) -> Result<()> {
    let wasm = parse_str(wat)?;
    let obj_file = NamedTempFile::new()?;
    let obj_path = obj_file.path().to_str().unwrap();
    compile_cranelift(&wasm, None, None, obj_path)?;
    let dump = get_dwarfdump(obj_path, DwarfDumpSection::DebugInfo)?;
    let mut builder = CheckerBuilder::new();
    builder
        .text(wat)
        .map_err(|e| format_err!("unable to build checker: {e:?}"))?;
    let checker = builder.finish();
    let check = checker
        .explain(&dump, NO_VARIABLES)
        .map_err(|e| format_err!("{e:?}"))?;
    assert!(check.0, "didn't pass check {}", check.1);
    Ok(())
}

#[test]
#[ignore]
#[cfg(all(
    any(target_os = "linux", target_os = "macos"),
    target_pointer_width = "64"
))]
fn test_debug_dwarf_simulate_simple_x86_64() -> Result<()> {
    check_wat(
        r#"
;; check: DW_TAG_compile_unit
(module
;; check: DW_TAG_subprogram
;; check: DW_AT_name	("wasm-function[0]")
;; check:   DW_TAG_formal_parameter
;; check:     DW_AT_name	("var0")
;; check:     DW_AT_type
;; sameln:	            "i32"
;; check:   DW_TAG_variable
;; check:     DW_AT_name	("var1")
;; check:     DW_AT_type
;; sameln:	            "i32"
    (func (param i32) (result i32)
        (local i32)
        local.get 0
        local.set 1
        local.get 1
    )
)"#,
    )
}

#[test]
#[ignore]
#[cfg(all(
    any(target_os = "linux", target_os = "macos"),
    target_pointer_width = "64"
))]
fn test_debug_dwarf_simulate_with_imports_x86_64() -> Result<()> {
    check_wat(
        r#"
;; check: DW_TAG_compile_unit
(module
;; check: DW_TAG_subprogram
;; check: DW_AT_name	("func1")
    (import "foo" "bar" (func $import1) )
    (func $func1 (result i32)
        i32.const 1
    )
)"#,
    )
}

#[test]
#[ignore]
#[cfg(all(
    any(target_os = "linux", target_os = "macos"),
    target_pointer_width = "64"
))]
fn test_debug_dwarf_simulate_with_invalid_name_x86_64() -> Result<()> {
    check_wat(
        r#"
;; check: DW_TAG_compile_unit
(module (@name "\00")
;; check: DW_TAG_subprogram
;; check: DW_AT_name	("wasm-function[1]")
    (import "foo" "bar" (func $import1) )
    (func (@name "\00f") (result i32)
        (local (@name "l\00") i32)
        i32.const 1
    )
)"#,
    )
}