| /wasmtime-44.0.1/crates/wiggle/tests/ |
| H A D | strings.rs | 111 let given = memory in test() localVariable
114 assert_eq!(self.test_word.len() as u32, given); in test()
233 let given = memory in test() localVariable
236 assert_eq!((self.a.len() + self.b.len() + self.c.len()) as u32, given); in test()
312 let given = memory in test() localVariable
317 given in test()
|
| H A D | lists.rs | 121 let given: types::Excuse = memory in test() localVariable
124 assert_eq!(expected, given, "reduce excuses return val"); in test()
|
| H A D | records.rs | 558 let given: u16 = memory in test() localVariable
563 assert_eq!(expected, given, "sum_array return val"); in test()
|
| /wasmtime-44.0.1/crates/wasi-keyvalue/wit/deps/keyvalue/ |
| H A D | watch.wit | 9 /// Handle the `set` event for the given bucket and key. It includes a reference to the `bucket`
13 /// Handle the `delete` event for the given bucket and key. It includes a reference to the
|
| H A D | atomic.wit | 14 /// Atomically increment the value associated with the key in the store by the given delta. It
18 /// to the given delta.
|
| /wasmtime-44.0.1/cranelift/codegen/src/ |
| H A D | prelude.isle | 238 ;; Get the unsigned minimum value for a given type.
243 ;; Get the unsigned maximum value for a given type.
247 ;; Get the signed minimum value for a given type.
251 ;; Get the signed maximum value for a given type.
255 ;; Get the bit width of a given type.
260 ;; Get the bit width of a given type.
266 ;; Get the bit width of a given type.
270 ;; Get a mask for the width of a given type.
278 ;; Get the number of lanes for a given type.
282 ;; Get the byte width of a given type.
[all …]
|
| H A D | prelude_lower.isle | 117 ;; Put the given value into a register.
128 ;; Put the given value into one or more registers.
251 ;; Extract the result values for the given instruction.
255 ;; Returns whether the given value is unused in this function and is a dead
260 ;; Extract the first result value of the given instruction.
440 ;; Emit given side-effectful instruction.
452 ;; Create an empty `InstOutput`, but do emit the given side-effectful
481 ;; Variant determines how result is given when combined with a
508 ;; Variant determines how result is given when combined with a
566 ;; - SideEffect + ReturnsValueRegs --> ValueReg as given from consumer
|
| H A D | prelude_opt.isle | 7 ;; Extract any node(s) for the given eclass ID.
73 ;; replace its result value with the given `val`.
76 ;; Replace the instruction being simplified with the given instruction.
78 ;; The given instruction must not already be in a block and must define
84 ;; the given `val`.
|
| /wasmtime-44.0.1/.github/workflows/ |
| H A D | triage.yml | 28 # @-mention people who are subscribed to a label when an issue/PR is given
35 # Leave pre-determined comments on issues/PRs that are given a certain label.
|
| /wasmtime-44.0.1/docs/ |
| H A D | contributing-reducing-test-cases.md | 11 automatically reduce Wasm test cases when given
14 2. a predicate script to determine whether the bug reproduces on a given reduced
44 script is given the candidate test case as its first argument and must exit zero
74 `memory.init` is given certain inputs! This means we need to double check that
|
| H A D | wmemcheck.md | 18 memory twice) you will see an error that looks like a Wasm trap. For example, given the program
|
| H A D | wasip2-plugins.md | 98 to execute a plugin given arguments.
232 name (`self.op`, which is just the name that was given on the command line)
254 method, which we call using `call_evaluate` (the name it was given
257 The other two arguments are the ones given on the command line.
|
| H A D | WASI-tutorial.md | 189 access a file by the name of `test.txt`, however it hasn't been given the
207 one of the given preopened directories, if possible (using a technique based
270 ;; Import the required fd_write WASI function which will write the given io vectors to stdout
|
| /wasmtime-44.0.1/tests/disas/ |
| H A D | bounds-check.wat | 19 ;; The greatest encodable offset. This will never be in bounds, given
|
| /wasmtime-44.0.1/crates/test-programs/ |
| H A D | README.md | 34 and is given the cli command world imports as well as the wasi-http
130 macros which iterate over the complete set of binary paths in a given test
149 Each test suite is given an iterator macro in `test-programs-artifacts` named
|
| /wasmtime-44.0.1/crates/debugger/wit/deps/ |
| H A D | clocks.wit | 132 /// Return information needed to display the given `datetime`. This includes
136 /// If the timezone cannot be determined for the given `datetime`, return a
|
| /wasmtime-44.0.1/crates/wasi/src/p2/wit/deps/ |
| H A D | clocks.wit | 132 /// Return information needed to display the given `datetime`. This includes
136 /// If the timezone cannot be determined for the given `datetime`, return a
|
| /wasmtime-44.0.1/crates/wasi-http/wit/deps/ |
| H A D | clocks.wit | 132 /// Return information needed to display the given `datetime`. This includes
136 /// If the timezone cannot be determined for the given `datetime`, return a
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/store/ |
| H A D | broken_bvsub_store_with_load.isle | 27 ;; the given MachLabel.
|
| H A D | broken_isub_store_with_load.isle | 27 ;; the given MachLabel.
|
| /wasmtime-44.0.1/crates/debugger/wit/ |
| H A D | world.wit | 18 /// implemented by this component, given the provided interface
129 /// the program contained a `call` instruction with the given
143 /// Force a return from the current function frame, with the given
226 /// Increase size by the given `delta`. Returns the old size in bytes.
|
| /wasmtime-44.0.1/cranelift/isle/ |
| H A D | README.md | 305 given operand `Value`, along with a new rule to sink loads into adds:
309 ;; given operand value.
324 instruction that defines the given operand value, in which case we want to
327 for a given operand `Value`.
333 isn't guaranteed that we can extract a defining instruction for the given
|
| /wasmtime-44.0.1/cranelift/isle/isle/isle_examples/pass/ |
| H A D | tutorial.isle | 60 ;; given operand value.
|
| /wasmtime-44.0.1/crates/wasi/src/p3/wit/deps/ |
| H A D | cli.wit | 89 /// Write the given stream to stdout.
105 /// Write the given stream to stderr.
|
| /wasmtime-44.0.1/crates/wasi-http/src/p3/wit/deps/ |
| H A D | cli.wit | 89 /// Write the given stream to stdout.
105 /// Write the given stream to stderr.
|