Searched refs:TypingContext (Results 1 – 6 of 6) sorted by relevance
| /dports/sysutils/vector/lucet-d4fc14a03bdb99ac83173d27fddf1aca48412a86/wasmtime/cranelift/peepmatic/crates/fuzzing/src/ |
| H A D | interp.rs | 9 operator::TypingContext as TypingContextTrait,
90 .immediate_types(&mut TypingContext, op.span(), &mut imm_tys); in interp()
124 .param_types(&mut TypingContext, op.span(), &mut arg_tys); in interp()
168 let ty = match op.operator.result_type(&mut TypingContext, op.span()) { in interp()
206 struct TypingContext; struct
208 impl<'a> TypingContextTrait<'a> for TypingContext { implementation
|
| /dports/sysutils/vector/lucet-d4fc14a03bdb99ac83173d27fddf1aca48412a86/wasmtime/cranelift/peepmatic/src/ |
| H A D | verify.rs | 18 operator::{Operator, TypingContext as TypingContextTrait},
198 pub(crate) struct TypingContext<'a> { struct
226 impl<'a> TypingContext<'a> { argument
235 TypingContext { in new()
308 struct Scope<'a, 'b>(&'b mut TypingContext<'a>) in enter_operation_scope()
316 type Target = TypingContext<'a>; in enter_operation_scope()
317 fn deref(&self) -> &TypingContext<'a> { in enter_operation_scope()
641 impl<'a> TypingContextTrait<'a> for TypingContext<'a> { implementation
747 let mut context = TypingContext::new(z3); in verify_optimization()
759 context: &mut TypingContext<'a>, in collect_type_constraints()
[all …]
|
| /dports/sysutils/vector/lucet-d4fc14a03bdb99ac83173d27fddf1aca48412a86/wasmtime/cranelift/peepmatic/crates/macro/src/ |
| H A D | operator.rs | 191 C: 'a + TypingContext<'a>, in create_type_methods()
207 C: 'a + TypingContext<'a>, in create_type_methods()
223 C: 'a + TypingContext<'a>, in create_type_methods()
|
| /dports/sysutils/vector/lucet-d4fc14a03bdb99ac83173d27fddf1aca48412a86/wasmtime/cranelift/peepmatic/crates/runtime/src/ |
| H A D | operator.rs | 255 pub trait TypingContext<'a> { interface
|
| /dports/net-im/purple-googlechat/purple-googlechat-56ba7f7/ |
| H A D | googlechat.proto | 921 message TypingContext { message
931 optional TypingContext context = 2;
1341 optional TypingContext context = 3;
|
| H A D | googlechat_conversation.c | 1847 TypingContext typing_context;
|