| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | annotations.rs | 72 args: &[SpecExpr], in spec_op_to_expr()
77 args.len(), in spec_op_to_expr()
85 args: &[SpecExpr], in spec_op_to_expr()
90 args.len(), in spec_op_to_expr()
102 args: &[SpecExpr], in spec_op_to_expr()
187 args.len(), in spec_op_to_expr()
199 args.len(), in spec_op_to_expr()
210 args.len(), in spec_op_to_expr()
223 args.len(), in spec_op_to_expr()
303 SpecExpr::Op { op, args, pos } => spec_op_to_expr(op, args, pos, env), in spec_to_expr()
[all …]
|
| H A D | main.rs | 84 let args = Args::parse(); in main() localVariable
87 if let Some(widths) = &args.widths { in main()
96 let inputs = if args.noprelude { in main()
98 args.input.expect("Missing input file in noprelude mode"), in main()
101 args.isle_input_files()? in main()
104 let names = if let Some(names) = args.names { in main()
114 term: args.term, in main()
116 distinct_check: !args.nodistinct, in main()
121 verify_rules(inputs, &config, &args.widths) in main()
|
| /wasmtime-44.0.1/ci/ |
| H A D | run-tests.py | 26 args = ['cargo', 'test', '--workspace', '--all-features'] variable
27 args.append('--exclude=test-programs')
28 args.append('--exclude=wasmtime-wasi-nn')
29 args.append('--exclude=wasmtime-wasi-tls')
30 args.append('--exclude=wasmtime-fuzzing')
31 args.append('--exclude=wasm-spec-interpreter')
32 args.append('--exclude=veri_engine')
33 args.append('--exclude=calculator')
34 args.extend(sys.argv[1:])
36 result = subprocess.run(args)
|
| /wasmtime-44.0.1/examples/ |
| H A D | memory.c | 52 wasmtime_val_t args[1]; in check_call1() local
54 args[0].of.i32 = arg; in check_call1()
60 wasmtime_val_t args[2]; in check_call2() local
62 args[0].of.i32 = arg1; in check_call2()
64 args[1].of.i32 = arg2; in check_call2()
79 wasmtime_val_t args[2]; in check_ok2() local
81 args[0].of.i32 = arg1; in check_ok2()
83 args[1].of.i32 = arg2; in check_ok2()
107 args[0].of.i32 = arg; in check_trap1()
115 args[0].of.i32 = arg1; in check_trap2()
[all …]
|
| H A D | multimemory.c | 48 wasmtime_val_t args[1]; in check_call1() local
50 args[0].of.i32 = arg; in check_call1()
56 wasmtime_val_t args[2]; in check_call2() local
58 args[0].of.i32 = arg1; in check_call2()
60 args[1].of.i32 = arg2; in check_call2()
75 wasmtime_val_t args[2]; in check_ok2() local
77 args[0].of.i32 = arg1; in check_ok2()
79 args[1].of.i32 = arg2; in check_ok2()
103 args[0].of.i32 = arg; in check_trap1()
111 args[0].of.i32 = arg1; in check_trap2()
[all …]
|
| H A D | multi.c | 26 const wasmtime_val_t *args, size_t nargs, in callback() argument
34 printf("> %" PRIu32 " %" PRIu64 "\n", args[0].of.i32, args[1].of.i64); in callback()
37 results[0] = args[1]; in callback()
38 results[1] = args[0]; in callback()
44 const wasmtime_val_t *args, size_t nargs, in closure_callback() argument
47 (void)args; in closure_callback()
131 wasmtime_val_t args[2]; in main() local
132 args[0].kind = WASMTIME_I32; in main()
133 args[0].of.i32 = 1; in main()
134 args[1].kind = WASMTIME_I64; in main()
[all …]
|
| H A D | threads.c | 45 own wasm_trap_t *callback(const wasm_val_vec_t *args, wasm_val_vec_t *results) { in callback() argument
46 (void)args; in callback()
59 thread_args *args = (thread_args *)args_abs; in run() local
62 own wasm_store_t *store = wasm_store_new(args->engine); in run()
63 own wasm_module_t *module = wasm_module_obtain(store, args->module); in run()
168 thread_args *args = malloc(sizeof(thread_args)); in main() local
169 args->engine = engine; in main()
170 args->module = shared; in main()
178 pthread_create(&threads[i], &attrs, &run, args); in main()
|
| H A D | mpk.rs | 43 let args = Args::parse(); in main() localVariable
46 let without_mpk = probe_engine_size(&args, Enabled::No)?; in main()
50 let with_mpk = probe_engine_size(&args, Enabled::Yes)?; in main()
93 fn probe_engine_size(args: &Args, mpk: Enabled) -> Result<Pool> { in probe_engine_size()
97 match build_engine(&args, search.next(), mpk) { in probe_engine_size()
185 fn build_engine(args: &Args, num_memories: u32, enable_mpk: Enabled) -> Result<usize> { in build_engine()
189 usize::try_from(args.memory_size).expect("memory size should fit in `usize`"); in build_engine()
196 if let Some(memory_reservation) = args.memory_reservation { in build_engine()
199 if let Some(memory_guard_size) = args.memory_guard_size { in build_engine()
|
| /wasmtime-44.0.1/cranelift/codegen/src/ |
| H A D | write.rs | 382 AtomicRmw { op, args, .. } => write!(w, " {} {}, {}", op, args[0], args[1]), in write_operands()
383 AtomicCas { args, .. } => write!(w, " {}, {}, {}", args[0], args[1], args[2]), in write_operands()
385 StoreNoOffset { flags, args, .. } => write!(w, "{} {}, {}", flags, args[0], args[1]), in write_operands()
401 Binary { args, .. } => write!(w, " {}, {}", args[0], args[1]), in write_operands()
410 Ternary { args, .. } => write!(w, " {}, {}, {}", args[0], args[1], args[2]), in write_operands()
419 TernaryImm8 { imm, args, .. } => write!(w, " {}, {}, {}", args[0], args[1], imm), in write_operands()
426 IntCompare { cond, args, .. } => write!(w, " {} {}, {}", cond, args[0], args[1]), in write_operands()
434 IntAddTrap { args, code, .. } => write!(w, " {}, {}, {}", args[0], args[1], code), in write_operands()
435 FloatCompare { cond, args, .. } => write!(w, " {} {}, {}", cond, args[0], args[1]), in write_operands()
459 let args = args.as_slice(pool); in write_operands() localVariable
[all …]
|
| H A D | inst_specs.isle | 34 ((args (bv 64)) (ret (bv 8)) (canon (bv 8)))
35 ((args (bv 64)) (ret (bv 16)) (canon (bv 16)))
36 ((args (bv 64)) (ret (bv 32)) (canon (bv 32)))
37 ((args (bv 64)) (ret (bv 64)) (canon (bv 64)))
201 ((args (bv 8)) (ret (bv 8)) (canon (bv 8)))
202 ((args (bv 8)) (ret (bv 16)) (canon (bv 8)))
203 ((args (bv 8)) (ret (bv 32)) (canon (bv 8)))
204 ((args (bv 8)) (ret (bv 64)) (canon (bv 8)))
205 ((args (bv 16)) (ret (bv 16)) (canon (bv 16)))
206 ((args (bv 16)) (ret (bv 32)) (canon (bv 16)))
[all …]
|
| /wasmtime-44.0.1/crates/core/src/error/ |
| H A D | macros.rs | 94 ( $message:literal , $( $args:tt )* ) => {
95 …crate::error::Error::from_format_args($crate::error::macros::format_args!($message , $( $args )* ))
114 ( $( $args:tt )* ) => {
115 $crate::error::format_err!( $( $args )* )
152 ( $($args:tt)* ) => {{
153 return $crate::error::macros::Err($crate::error::format_err!( $( $args )* ));
196 ( $condition:expr , $( $args:tt )* ) => {{
198 $crate::error::bail!( $( $args )* );
349 pub fn from_format_args(args: fmt::Arguments<'_>) -> Self { in from_format_args()
350 if let Some(s) = args.as_str() { in from_format_args()
[all …]
|
| /wasmtime-44.0.1/crates/test-programs/src/bin/ |
| H A D | p3_cli_random_limits.rs | 9 let args = std::env::args().collect::<Vec<_>>(); in run() localVariable
10 let args = args.iter().map(|s| s.as_str()).collect::<Vec<_>>(); in run() localVariable
11 match &args[1..] { in run()
|
| H A D | p2_cli_argv0.rs | 2 let mut args = std::env::args(); in main() localVariable
3 assert_eq!(args.next(), args.next()); in main()
|
| H A D | p2_cli_much_stdout.rs | 2 let mut args = std::env::args().skip(1); in main() localVariable
3 let string_to_write = args.next().unwrap(); in main()
4 let times_to_write = args.next().unwrap().parse::<u32>().unwrap(); in main()
|
| H A D | p1_cli_much_stdout.rs | 2 let mut args = std::env::args().skip(1); in main() localVariable
3 let string_to_write = args.next().unwrap(); in main()
4 let times_to_write = args.next().unwrap().parse::<u32>().unwrap(); in main()
|
| H A D | p1_path_open_nonblock.rs | 12 let mut args = env::args(); in main() localVariable
13 let prog = args.next().unwrap(); in main()
14 let arg = if let Some(arg) = args.next() { in main()
|
| H A D | p1_path_open_missing.rs | 18 let mut args = env::args(); in main() localVariable
19 let prog = args.next().unwrap(); in main()
20 let arg = if let Some(arg) = args.next() { in main()
|
| H A D | p1_symlink_loop.rs | 24 let mut args = env::args(); in main() localVariable
25 let prog = args.next().unwrap(); in main()
26 let arg = if let Some(arg) = args.next() { in main()
|
| H A D | p1_path_open_create_existing.rs | 25 let mut args = env::args(); in main() localVariable
26 let prog = args.next().unwrap(); in main()
27 let arg = if let Some(arg) = args.next() { in main()
|
| /wasmtime-44.0.1/crates/wasmtime/src/runtime/vm/stack_switching/stack/ |
| H A D | unix.rs | 230 args: *mut VMHostArray<ValRaw>, in initialize()
242 let args_ref = &mut *args; in initialize()
268 (0x38 + args_data_size, args.addr()), in initialize()
301 args: *mut VMHostArray<ValRaw>, in fiber_start()
307 let args = &mut *args; in fiber_start() localVariable
308 let params_and_returns: NonNull<[ValRaw]> = if args.capacity == 0 { in fiber_start()
311 std::slice::from_raw_parts_mut(args.data, usize::try_from(args.capacity).unwrap()) in fiber_start()
333 args.length = return_value_count; in fiber_start()
|
| /wasmtime-44.0.1/cranelift/isle/isle/isle_examples/pass/ |
| H A D | veri_spec.isle | 3 ((args (bv 8)) (ret (bv 8)) (canon (bv 8)))
4 ((args (bv 16)) (ret (bv 16)) (canon (bv 16)))
5 ((args (bv 32)) (ret (bv 32)) (canon (bv 32)))
6 ((args (bv 64)) (ret (bv 64)) (canon (bv 64)))
10 (instantiate A ((args (bv 8)) (ret (bv 8)) (canon (bv 8))))
|
| /wasmtime-44.0.1/tests/all/native_debug/ |
| H A D | lldb.rs | 17 fn lldb_with_script(args: &[&str], script: &str) -> Result<String> { in lldb_with_script()
25 cmd.args(&["-o", "settings set plugin.jit-loader.gdb.enable on"]); in lldb_with_script()
30 cmd.args(&["-s", &script_path]); in lldb_with_script()
43 cmd.args(args); in lldb_with_script()
452 let mut args = vec![ in test_dwarf_simple() localVariable
458 args.extend(extra_args); in test_dwarf_simple()
459 args.push(wasm); in test_dwarf_simple()
461 &args, in test_dwarf_simple()
|
| /wasmtime-44.0.1/cranelift/isle/isle/src/ |
| H A D | ast.rs | 119 args: Vec<SpecExpr>,
216 pub args: Vec<Ident>, field
299 pub args: Vec<Ident>, field
332 args: Vec<Pattern>,
417 ref args, in make_macro_template()
420 let args = args in make_macro_template() localVariable
426 args, in make_macro_template()
460 ref args, in subst_macro_args()
463 let args = args in subst_macro_args() localVariable
469 args, in subst_macro_args()
[all …]
|
| /wasmtime-44.0.1/cranelift/codegen/src/legalizer/ |
| H A D | branch_to_trap.rs | 79 let args: SmallVec<[_; 8]> = blocks[1].args(&pos.func.dfg.value_lists).collect(); localVariable
80 pos.func.dfg.replace(inst).jump(alternative, &args);
94 let args: SmallVec<[_; 8]> = blocks[0].args(&pos.func.dfg.value_lists).collect(); localVariable
95 pos.func.dfg.replace(inst).jump(consequent, &args);
|
| /wasmtime-44.0.1/examples/min-platform/src/ |
| H A D | main.rs | 15 let mut args = std::env::args(); in main() localVariable
16 let _current_exe = args.next(); in main()
17 let triple = args in main()
20 let embedding_so_path = args in main()
23 let platform_so_path = args in main()
192 let wasi_component_path = args in main()
|