| /wasmtime-44.0.1/crates/fuzzing/tests/oom/ |
| H A D | global.rs | 15 let ty = GlobalType::new(ValType::I32, Mutability::Var); in global_new()
30 let ty = GlobalType::new(ValType::I32, Mutability::Var); in global_get()
47 let ty = GlobalType::new(ValType::I32, Mutability::Var); in global_set()
65 let ty = GlobalType::new(ValType::I32, Mutability::Var); in global_ty()
|
| H A D | types.rs | 47 let ty = GlobalType::new(ValType::I32, Mutability::Var); in global_type_accessors()
49 assert_eq!(ty.mutability(), Mutability::Var); in global_type_accessors()
|
| /wasmtime-44.0.1/cranelift/isle/isle/src/ |
| H A D | ast.rs | 112 Var { enumerator
315 Var { var: Ident, pos: Pos }, enumerator
368 Pattern::Var { .. } in terms()
401 &Pattern::Var { ref var, pos } => { in make_macro_template()
474 &Pattern::Var { .. } in subst_macro_args()
491 | &Pattern::Var { pos, .. } in pos()
512 Var { name: Ident, pos: Pos }, enumerator
531 | &Expr::Var { pos, .. } in pos()
554 Expr::Var { .. } in terms()
|
| H A D | sema.rs | 706 Var(TypeId, VarId), enumerator
736 Var(TypeId, VarId), enumerator
799 Self::Var(t, ..) => t, in ty()
824 Pattern::Var(ty, var) => { in visit()
928 Self::Var(t, ..) => t, in ty()
960 Expr::Var(_ty, var_id) => *vars.get(&var_id).unwrap(), in visit()
2171 &ast::Pattern::Var { ref var, pos } => { in translate_pattern()
2200 Some(Pattern::Var(bv.ty, bv.id)) in translate_pattern()
2464 &ast::Expr::Var { ref name, pos } => { in translate_expr()
2501 Some(Expr::Var(bv.ty, bv.id)) in translate_expr()
|
| H A D | printer.rs | 483 SpecExpr::Var { var, pos: _ } => var.to_sexpr(), in to_sexpr()
557 Pattern::Var { in to_sexpr()
608 Expr::Var { name, pos: _ } => name.to_sexpr(), in to_sexpr()
|
| H A D | parser.rs | 429 return Ok(SpecExpr::Var { var, pos }); in parse_spec_expr()
852 Ok(Pattern::Var { var, pos }) in parse_pattern()
930 Ok(Expr::Var { name, pos }) in parse_expr()
|
| /wasmtime-44.0.1/tests/all/ |
| H A D | globals.rs | 49 GlobalType::new(ValType::I32, Mutability::Var), in mutability()
97 GlobalType::new(ValType::V128, Mutability::Var), in v128()
115 for mutability in [Mutability::Const, Mutability::Var] { in i31ref_global_new()
139 for mutability in [Mutability::Const, Mutability::Var] { in i31ref_global_get()
185 GlobalType::new(ValType::I31REF, Mutability::Var), in i31ref_global_set()
215 for mutability in [Mutability::Const, Mutability::Var] { in i31ref_global_ty()
239 for mutability in [Mutability::Const, Mutability::Var] { in i31ref_as_anyref_global_new()
263 for mutability in [Mutability::Const, Mutability::Var] { in i31ref_as_anyref_global_get()
309 GlobalType::new(ValType::ANYREF, Mutability::Var), in i31ref_as_anyref_global_set()
339 for mutability in [Mutability::Const, Mutability::Var] { in i31ref_as_anyref_global_ty()
|
| H A D | structs.rs | 40 Mutability::Var, in struct_new_unrooted_field()
62 Mutability::Var, in struct_new_cross_store_field()
120 Mutability::Var, in struct_field_simple()
137 Mutability::Var, in struct_field_out_of_bounds()
153 Mutability::Var, in struct_field_on_unrooted()
173 Mutability::Var, in struct_set_field_simple()
191 Mutability::Var, in struct_set_field_out_of_bounds()
207 Mutability::Var, in struct_set_field_on_unrooted()
227 Mutability::Var, in struct_set_field_with_unrooted()
248 Mutability::Var, in struct_set_field_cross_store_value()
[all …]
|
| H A D | arrays.rs | 38 FieldType::new(Mutability::Var, StorageType::ValType(ValType::ANYREF)), in array_new_unrooted_initial_elem()
60 FieldType::new(Mutability::Var, StorageType::ValType(ValType::ANYREF)), in array_new_cross_store_initial_elem()
78 FieldType::new(Mutability::Var, StorageType::ValType(ValType::ANYREF)), in array_new_cross_store_pre()
123 FieldType::new(Mutability::Var, StorageType::ValType(ValType::ANYREF)), in array_new_fixed_unrooted_initial_elem()
145 FieldType::new(Mutability::Var, StorageType::ValType(ValType::ANYREF)), in array_new_fixed_cross_store_initial_elem()
317 FieldType::new(Mutability::Var, ValType::I32.into()), in array_set_in_bounds()
336 FieldType::new(Mutability::Var, ValType::I32.into()), in array_set_out_of_bounds()
354 FieldType::new(Mutability::Var, ValType::I32.into()), in array_set_on_unrooted()
373 FieldType::new(Mutability::Var, ValType::ANYREF.into()), in array_set_given_unrooted()
396 FieldType::new(Mutability::Var, ValType::ANYREF.into()), in array_set_cross_store_value()
[all …]
|
| H A D | externals.rs | 6 let ty = GlobalType::new(ValType::I32, Mutability::Var); in bad_globals()
15 let ty = GlobalType::new(ValType::I32, Mutability::Var); in bad_globals()
94 let ty = GlobalType::new(ValType::FUNCREF, Mutability::Var); in cross_store()
166 GlobalType::new(ValType::EXTERNREF, Mutability::Var), in get_set_externref_globals_via_api()
222 GlobalType::new(ValType::FUNCREF, Mutability::Var), in get_set_funcref_globals_via_api()
235 GlobalType::new(ValType::FUNCREF, Mutability::Var), in get_set_funcref_globals_via_api()
535 for mutability in [Mutability::Var, Mutability::Const] { in new_global_func_subtyping()
574 Mutability::Var, in global_set_func_subtyping()
|
| H A D | missing_async.rs | 219 FieldType::new(Mutability::Var, StorageType::I8), in async_disallows_array_ref_new()
232 FieldType::new(Mutability::Var, StorageType::I8), in async_disallows_array_ref_new_fixed()
265 [FieldType::new(Mutability::Var, StorageType::I8)], in async_disallows_structref_new()
|
| H A D | coredump.rs | 144 GlobalType::new(ValType::I32, Mutability::Var), in coredump_has_host_globals_and_memory()
218 GlobalType::new(ValType::I32, Mutability::Var), in multiple_globals_memories_and_instances()
|
| H A D | types.rs | 5 Mutability::Var, in field()
24 for mutability in [Mutability::Const, Mutability::Var] { in basic_array_types()
59 [Mutability::Const, Mutability::Var] in basic_struct_types()
|
| H A D | linker.rs | 65 let ty = GlobalType::new(ValType::I32, Mutability::Var); in link_twice_bad()
701 GlobalType::new(ValType::FUNCREF, Mutability::Var), in linker_defines_global_subtype_mut_err()
712 GlobalType::new(ValType::NULLFUNCREF, Mutability::Var), in linker_defines_global_subtype_mut_err()
|
| H A D | async_functions.rs | 1097 FieldType::new(Mutability::Var, ValType::I32.into()), in async_gc_with_func_new_and_func_wrap()
1122 FieldType::new(Mutability::Var, ValType::I32.into()), in async_gc_with_func_new_and_func_wrap()
|
| /wasmtime-44.0.1/crates/c-api/src/types/ |
| H A D | global.rs | 63 WASM_VAR => Var, in wasm_globaltype_new()
84 Var => WASM_VAR, in wasm_globaltype_mutability()
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_ir/src/ |
| H A D | annotation_ir.rs | 31 Expr::Var(self.name.clone()) in as_expr()
144 Var(String), enumerator
241 Expr::Var(s.to_string()) in var()
|
| H A D | lib.rs | 105 Var(String), enumerator
225 Terminal::Var(v) => write!(f, "{v}"), in fmt()
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | termname.rs | 14 | Pattern::Var(..) in pattern_contains_termname()
|
| H A D | type_inference.rs | 44 Var, enumerator
362 annotation_ir::Expr::Var(x, ..) => { in add_annotation_constraints()
368 (veri_ir::Expr::Terminal(veri_ir::Terminal::Var(name)), t) in add_annotation_constraints()
1424 TypeVarConstruct::Var => { in add_rule_constraints()
1428 Some(veri_ir::Expr::Terminal(veri_ir::Terminal::Var( in add_rule_constraints()
1665 Some(veri_ir::Expr::Terminal(veri_ir::Terminal::Var( in add_rule_constraints()
2065 isle::sema::Pattern::Var(_, var_id) => { in create_parse_tree_pattern()
2080 construct: TypeVarConstruct::Var, in create_parse_tree_pattern()
2107 construct: TypeVarConstruct::Var, in create_parse_tree_pattern()
2252 isle::sema::Expr::Var(_, var_id) => { in create_parse_tree_expr()
[all …]
|
| H A D | annotations.rs | 302 SpecExpr::Var { var, pos: _ } => Expr::Var(var.0.clone()), in spec_to_expr()
381 Box::new(Expr::Var(RESULT.to_string())), in parse_annotations()
|
| /wasmtime-44.0.1/cranelift/codegen/src/ |
| H A D | souper_harvest.rs | 452 _ => ast::AssignmentRhs::Var, in harvest_candidate_lhs()
494 _ => ast::AssignmentRhs::Var, in harvest_candidate_lhs()
497 _ => ast::AssignmentRhs::Var, in harvest_candidate_lhs()
501 ast::AssignmentRhs::Var => 0, in harvest_candidate_lhs()
|
| /wasmtime-44.0.1/crates/wasmtime/src/runtime/trampoline/ |
| H A D | global.rs | 25 Mutability::Var => true, in generate_global_export()
|
| /wasmtime-44.0.1/crates/wasmtime/src/runtime/ |
| H A D | types.rs | 32 Var, enumerator
45 *self == Self::Var in is_var()
1797 (M::Var, M::Var) => StorageType::eq(&self.element_type, &other.element_type), in matches()
1823 Mutability::Var in from_wasm_field_type()
1834 mutable: matches!(self.mutability, Mutability::Var), in to_wasm_field_type()
2247 Mutability::Var in mutability()
3000 Mutability::Var in from_wasmtime_global()
|
| H A D | coredump.rs | 170 let mutable = matches!(ty.mutability(), crate::Mutability::Var); in _serialize()
|