Home
last modified time | relevance | path

Searched refs:ctrl_type (Results 1 – 4 of 4) sorted by relevance

/wasmtime-44.0.1/cranelift/codegen/src/ir/
H A Dinstructions.rs922 Same => Bound(ctrl_type), in resolve()
927 ctrl_type in resolve()
934 ctrl_type in resolve()
944 ctrl_type in resolve()
953 ctrl_type in resolve()
963 ctrl_type in resolve()
970 ctrl_type in resolve()
981 if ctrl_type.is_int() { in resolve()
985 } else if ctrl_type.is_float() { in resolve()
1003 if ctrl_type.is_int() { in resolve()
[all …]
/wasmtime-44.0.1/cranelift/fuzzgen/src/
H A Dfunction_generator.rs284 let type_size = ctrl_type.bytes(); in insert_load_store()
291 let var = fgen.get_variable_of_type(ctrl_type)?; in insert_load_store()
337 let ctrl_type = *rets.first().unwrap(); in insert_atomic_rmw() localVariable
338 let type_size = ctrl_type.bytes(); in insert_atomic_rmw()
348 let source_var = fgen.get_variable_of_type(ctrl_type)?; in insert_atomic_rmw()
349 let target_var = fgen.get_variable_of_type(ctrl_type)?; in insert_atomic_rmw()
367 let ctrl_type = *rets.first().unwrap(); in insert_atomic_cas() localVariable
368 let type_size = ctrl_type.bytes(); in insert_atomic_cas()
377 let store_var = fgen.get_variable_of_type(ctrl_type)?; in insert_atomic_cas()
378 let loaded_var = fgen.get_variable_of_type(ctrl_type)?; in insert_atomic_cas()
[all …]
/wasmtime-44.0.1/cranelift/codegen/src/verifier/
H A Dmod.rs1269 let ctrl_type = if let Some(value_typeset) = constraints.ctrl_typeset() { in typecheck() localVariable
1271 let ctrl_type = self.func.dfg.ctrl_typevar(inst); in typecheck() localVariable
1273 if !value_typeset.contains(ctrl_type) { in typecheck()
1283 ctrl_type in typecheck()
1291 let _ = self.typecheck_results(inst, ctrl_type, errors); in typecheck()
1292 let _ = self.typecheck_fixed_args(inst, ctrl_type, errors); in typecheck()
1303 ctrl_type: Type, in typecheck_results()
1309 let expected_type = self.func.dfg.compute_result_type(inst, i, ctrl_type); in typecheck_results()
1331 if self.func.dfg.compute_result_type(inst, i, ctrl_type) != None { in typecheck_results()
1344 ctrl_type: Type, in typecheck_fixed_args()
[all …]
/wasmtime-44.0.1/cranelift/reader/src/
H A Dparser.rs2295 let ctrl_type = match explicit_ctrl_type { in infer_typevar() localVariable
2350 if !typeset.contains(ctrl_type) { in infer_typevar()
2354 ctrl_type, in infer_typevar()
2359 } else if ctrl_type != INVALID { in infer_typevar()
2363 Ok(ctrl_type) in infer_typevar()