Home
last modified time | relevance | path

Searched refs:expected_types (Results 1 – 2 of 2) sorted by relevance

/wasmtime-44.0.1/cranelift/codegen/src/verifier/
H A Dmod.rs1224 let expected_types = &self.func.signature.params; in typecheck_entry_block_params() localVariable
1227 if block_param_count != expected_types.len() { in typecheck_entry_block_params()
1233 expected_types.len() in typecheck_entry_block_params()
1240 if arg_type != expected_types[i].value_type { in typecheck_entry_block_params()
1245 i, expected_types[i], arg_type in typecheck_entry_block_params()
1709 let expected_types = &self.func.signature.returns; in typecheck_return_types() localVariable
1710 if actual_types.len() != expected_types.len() { in typecheck_return_types()
1713 for (i, (actual_type, &expected_type)) in actual_types.zip(expected_types).enumerate() { in typecheck_return_types()
/wasmtime-44.0.1/cranelift/isle/isle/src/
H A Dsema.rs2686 let expected_types = vec![ in build_type_env() localVariable
2738 expected_types.len() + BuiltinType::ALL.len() in build_type_env()
2744 .zip(&expected_types) in build_type_env()