Home
last modified time | relevance | path

Searched refs:variable (Results 1 – 25 of 37) sorted by relevance

12

/wasmtime-44.0.1/cranelift/frontend/src/
H A Dlib.rs170 pub use crate::variable::Variable;
203 mod variable; module
H A Dfrontend.rs3 use crate::variable::Variable;
233 UseVariableError::UsedBeforeDeclared(variable) => { in fmt()
237 variable.index() in fmt()
264 DefVariableError::TypeMismatch(variable, value) => { in fmt()
270 variable.index(), in fmt()
274 DefVariableError::DefinedBeforeDeclared(variable) => { in fmt()
278 variable.index() in fmt()
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/
H A Dsolver.rs1237 for (variable, value) in solution { in check_assumptions_feasibility()
1307 let var_str = self.smt.display(variable).to_string(); in display_value()
1480 for (variable, value) in solution { in display_model()
1481 let display = self.display_value(variable, value); in display_model()
1483 if variable == lhs_sexpr { in display_model()
1485 } else if variable == rhs_sexpr { in display_model()
1492 for (variable, value) in solution { in display_model()
1493 vars.push(self.display_value(variable, value)); in display_model()
1999 for (variable, value) in vals { in run_solver_with_static_widths()
2009 for (variable, value) in vals { in run_solver_with_static_widths()
[all …]
/wasmtime-44.0.1/docs/
H A Dexamples-debugging-core-dumps.md47 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
83 …note: using the `WASMTIME_BACKTRACE_DETAILS=1` environment variable may show more debugging inform…
H A Dexamples-coredump.md37 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
H A Dcli-logging.md7 Basic logging is controlled by the `WASMTIME_LOG` environment variable. For example,
H A Dexamples-debugging-native-debugger.md46 You can set the environment variable `_NO_DEBUG_HEAP` to `1` to disable them.
H A Dcontributing-code-review.md113 about variable names until phase three. If there need to be significant
/wasmtime-44.0.1/cranelift/filetests/filetests/parser/
H A Dtiny.clif123 ; The bitcast instruction has two type variables: The controlling type variable
124 ; controls the output type, and the input type is a free variable.
/wasmtime-44.0.1/crates/wasi/src/p2/wit/deps/
H A Dcli.wit7 /// Each environment variable is provided as a pair of string variable names
/wasmtime-44.0.1/crates/debugger/wit/deps/
H A Dcli.wit7 /// Each environment variable is provided as a pair of string variable names
/wasmtime-44.0.1/fuzz/
H A DREADME.md120 Fuzzgen supports passing the `FUZZGEN_ALLOWED_OPS` environment variable, which when available restr…
126 …zzgen library, thus also supports the `FUZZGEN_ALLOWED_OPS` environment variable as described in t…
/wasmtime-44.0.1/crates/wasi-http/wit/deps/
H A Dcli.wit7 /// Each environment variable is provided as a pair of string variable names
/wasmtime-44.0.1/crates/wasi/src/p3/wit/deps/
H A Dcli.wit7 /// Each environment variable is provided as a pair of string variable names
/wasmtime-44.0.1/crates/wasi-http/src/p3/wit/deps/
H A Dcli.wit7 /// Each environment variable is provided as a pair of string variable names
/wasmtime-44.0.1/cranelift/isle/docs/
H A Dlanguage-reference.md190 things like integer, string, or boolean constants, or variable names.
258 * `x` matches any subterm and captures its value in a variable
273 it does, it provides specific term values for each variable binding
278 "bind variable to subterm and also match it with subpattern", or
338 * Captured variable values (`x`).
532 to the immediately previous variable bindings (i.e., this is like a
664 environment" that specifies the type for each captured variable, and
685 * A variable capture pattern `x` is compatible with any expected type
687 variable identifier `x` in the type environment. Subsequent
922 pattern where just a variable binding occurs, even if the variable is
[all …]
/wasmtime-44.0.1/crates/test-programs/
H A DREADME.md41 environment variable.
60 the environment variable `PIPED_SIDE` with the value `PRODUCER` or `CONSUMER`
/wasmtime-44.0.1/crates/wiggle/tests/
H A Dwasi.witx29 ;;; Read environment variable data.
36 ;;; Return environment variable data sizes.
38 ;;; Returns the number of environment variable arguments and the size of the
39 ;;; environment variable data.
/wasmtime-44.0.1/crates/wasi/witx/p1/
H A Dwasi_snapshot_preview1.witx30 ;;; Read environment variable data.
38 ;;; Return environment variable data sizes.
40 ;;; Returns the number of environment variable arguments and the size of the
41 ;;; environment variable data.
/wasmtime-44.0.1/crates/wasi/witx/p0/
H A Dwasi_unstable.witx33 ;;; Read environment variable data.
41 ;;; Return environment variable data sizes.
43 ;;; Returns the number of environment variable arguments and the size of the
44 ;;; environment variable data.
/wasmtime-44.0.1/crates/wasi-common/witx/preview1/
H A Dwasi_snapshot_preview1.witx30 ;;; Read environment variable data.
38 ;;; Return environment variable data sizes.
40 ;;; Returns the number of environment variable arguments and the size of the
41 ;;; environment variable data.
/wasmtime-44.0.1/crates/wasi-common/witx/preview0/
H A Dwasi_unstable.witx33 ;;; Read environment variable data.
41 ;;; Return environment variable data sizes.
43 ;;; Returns the number of environment variable arguments and the size of the
44 ;;; environment variable data.
/wasmtime-44.0.1/pulley/
H A DREADME.md81 into a variable-length encoding where some instructions require only a single
/wasmtime-44.0.1/cranelift/docs/
H A Dir.md117 In the example above, the loop induction variable `i` is represented
120 induction variable during each iteration. Finally, `v11` is computed
121 as the induction variable value for the next iteration.
520 A global value can also be derived by treating another global variable as a
/wasmtime-44.0.1/cranelift/isle/
H A DREADME.md131 variable `c` is bound from the LHS and then reused in the RHS.
182 variable names. It checks if the input is a `Const`, and if so, translates it

12