Home
last modified time | relevance | path

Searched refs:binding (Results 1 – 13 of 13) sorted by relevance

/wasmtime-44.0.1/cranelift/isle/isle/src/
H A Dtrie_again.rs255 pub fn find_binding(&self, binding: &Binding) -> Option<BindingId> { in find_binding()
256 self.binding_map.get(binding).copied() in find_binding()
334 for (binding, a) in small.constraints.iter() { in may_overlap()
335 if let Some(b) = big.constraints.get(binding) { in may_overlap()
486 let mut defer = |this: &Self, binding| { in normalize_equivalence_classes()
512 fn dedup_binding(&mut self, binding: Binding) -> BindingId { in dedup_binding()
513 if let Some(binding) = self.rules.binding_map.get(&binding) { in dedup_binding()
514 *binding in dedup_binding()
517 self.rules.bindings.push(binding.clone()); in dedup_binding()
518 self.rules.binding_map.insert(binding, id); in dedup_binding()
[all …]
H A Dcodegen.rs150 fn set_ref(&mut self, binding: BindingId, is_ref: bool) { in set_ref()
152 self.is_ref.insert(binding); in set_ref()
154 debug_assert!(!self.is_ref.contains(&binding)); in set_ref()
500 ctx.set_ref(binding, is_ref); in generate_internal_term_constructors()
891 match binding { in emit_expr()
991 for binding in bindings.iter() { in emit_constraint()
992 if let &Some(binding) = binding { in emit_constraint()
993 ctx.is_bound.insert(binding); in emit_constraint()
1018 if let Some(binding) = binding { in emit_constraint()
1027 ctx.set_ref(binding, true); in emit_constraint()
[all …]
H A Dserialize.rs420 for (idx, binding) in self.rules.bindings.iter().enumerate() { in add_bindings()
424 binding, in add_bindings()
437 if binding in add_bindings()
510 let binding = &self.rules.bindings[name.index()]; in use_expr() localVariable
511 for &source in binding.sources() { in use_expr()
515 let should_let_bind = match binding { in use_expr()
572 for &binding in bindings.iter() { in make_control_flow()
573 if let Some(binding) = binding { in make_control_flow()
577 child.set_ready(binding, BindingState::Emitted); in make_control_flow()
H A Drecursion.rs109 fn binding_used_term(binding: &Binding) -> Option<TermId> { in binding_used_term()
110 match binding { in binding_used_term()
H A Dsema.rs1383 .find(|binding| binding.name == name && self.in_scope.contains(&binding.scope)) in lookup()
/wasmtime-44.0.1/crates/wasi-nn/src/backend/
H A Dwinml.rs95 binding: LearningModelBinding, field
102 binding: LearningModelBinding::CreateFromSession(&session).unwrap(), in new()
149 self.binding.Bind(&input.Name()?, &inspectable)?; in set_input()
161 self.binding = LearningModelBinding::CreateFromSession(&self.session)?; in compute()
178 self.binding.Bind(&input_feature.Name()?, &inspectable)?; in compute()
181 self.result = Some(self.session.Evaluate(&self.binding, &HSTRING::new())?); in compute()
214 self.result = Some(self.session.Evaluate(&self.binding, &HSTRING::new())?); in compute()
/wasmtime-44.0.1/cranelift/isle/isle/isle_examples/run/
H A Dlet_shadowing.isle16 ;; Shadowing of this binding's name
/wasmtime-44.0.1/cranelift/isle/docs/
H A Dlanguage-reference.md259 binding, which can be used later when we specify the right-hand side
273 it does, it provides specific term values for each variable binding
590 ;; in surrounding code. Useful for binding to
843 turn the `T` into two `u32`s, binding `x` and `y`. `A` can succeed or
922 pattern where just a variable binding occurs, even if the variable is
939 2. A single external extractor binding (see next section); AND
944 4. A single external constructor binding (see next section).
1165 data structures, in order to allow for very flexible binding to the
1529 | "(" "let" "(" <let-binding>* ")" <expr> ")"
1532 <let-binding> ::= "(" <ident> <ty> <expr> ")"
/wasmtime-44.0.1/crates/wasi/src/p3/wit/deps/
H A Dsockets.wit156 /// port binding is released.
193 /// binding can't be changed anymore.
/wasmtime-44.0.1/crates/wasi-http/src/p3/wit/deps/
H A Dsockets.wit156 /// port binding is released.
193 /// binding can't be changed anymore.
/wasmtime-44.0.1/crates/debugger/wit/deps/
H A Dsockets.wit269 /// binding can't be changed anymore.
283 /// When binding to a non-zero port, this bind operation shouldn't be affected by the TIME_WAIT
/wasmtime-44.0.1/crates/wasi/src/p2/wit/deps/
H A Dsockets.wit269 /// binding can't be changed anymore.
283 /// When binding to a non-zero port, this bind operation shouldn't be affected by the TIME_WAIT
/wasmtime-44.0.1/crates/wasi-http/wit/deps/
H A Dsockets.wit269 /// binding can't be changed anymore.
283 /// When binding to a non-zero port, this bind operation shouldn't be affected by the TIME_WAIT