Home
last modified time | relevance | path

Searched refs:ctrl_typevar (Results 1 – 12 of 12) sorted by relevance

/wasmtime-44.0.1/cranelift/codegen/src/ir/
H A Dbuilder.rs32 fn build(self, data: InstructionData, ctrl_typevar: Type) -> (Inst, &'f mut DataFlowGraph); in build()
125 fn build(mut self, data: InstructionData, ctrl_typevar: Type) -> (Inst, &'f mut DataFlowGraph) { in build()
130 dfg.make_inst_results(inst, ctrl_typevar); in build()
160 fn build(mut self, data: InstructionData, ctrl_typevar: Type) -> (Inst, &'f mut DataFlowGraph) { in build()
167 dfg.make_inst_results_reusing(inst, ctrl_typevar, ru); in build()
202 fn build(self, data: InstructionData, ctrl_typevar: Type) -> (Inst, &'f mut DataFlowGraph) { in build()
209 self.dfg.make_inst_results(self.inst, ctrl_typevar); in build()
H A Ddfg.rs957 self.make_inst_results_reusing(inst, ctrl_typevar, iter::empty()) in make_inst_results()
968 ctrl_typevar: Type, in make_inst_results_reusing()
1055 let ctrl_typevar = self.ctrl_typevar(inst); in clone_inst() localVariable
1057 self.make_inst_results(new_inst, ctrl_typevar); in clone_inst()
1132 ctrl_typevar: Type, in inst_result_types()
1138 InstResultTypes::Constraints(constraints, ctrl_typevar, 0) in inst_result_types()
1196 ctrl_typevar: Type, in compute_result_type()
1198 self.inst_result_types(inst, ctrl_typevar).nth(result_idx) in compute_result_type()
1202 pub fn ctrl_typevar(&self, inst: Inst) -> Type { in ctrl_typevar() method
1435 let typevar = dfg.ctrl_typevar(inst); in fmt()
[all …]
H A Dinstructions.rs629 pub(crate) fn mask_immediates(&mut self, ctrl_typevar: Type) { in mask_immediates()
630 if ctrl_typevar.is_invalid() { in mask_immediates()
634 let bit_width = ctrl_typevar.bits(); in mask_immediates()
/wasmtime-44.0.1/cranelift/codegen/meta/src/cdsl/
H A Dinstructions.rs29 pub ctrl_typevar: TypeVar, field
392 ctrl_typevar: tv.clone(), in verify_polymorphic()
427 ctrl_typevar: tv.clone(), in verify_polymorphic()
441 ctrl_typevar: &TypeVar, in is_ctrl_typevar_candidate()
461 if &free_typevar == ctrl_typevar { in is_ctrl_typevar_candidate()
469 input, typ.name, ctrl_typevar, free_typevar in is_ctrl_typevar_candidate()
496 if free_typevar.is_none() || &free_typevar.unwrap() == ctrl_typevar { in is_ctrl_typevar_candidate()
/wasmtime-44.0.1/cranelift/codegen/meta/src/
H A Dgen_inst.rs785 ctrl_typevar: Option<&TypeVar>, in get_constraint()
796 if ctrl_typevar.is_some() && free_typevar != *ctrl_typevar.unwrap() { in get_constraint()
803 assert!(base.type_var == *ctrl_typevar.unwrap()); in get_constraint()
807 assert!(type_var == ctrl_typevar.unwrap()); in get_constraint()
900 let (ctrl_typevar, ctrl_typeset) = if let Some(poly) = &inst.polymorphic_info { in gen_type_constraints()
901 let index = type_sets.add(poly.ctrl_typevar.get_raw_typeset()); in gen_type_constraints()
902 (Some(&poly.ctrl_typevar), index) in gen_type_constraints()
914 … constraints.push(get_constraint(&inst.operands_in[index], ctrl_typevar, &mut type_sets)); in gen_type_constraints()
1119 args.push(format!("{}: crate::ir::Type", poly.ctrl_typevar.name)); in gen_inst_builder()
1122 poly.ctrl_typevar.name, poly.ctrl_typevar.doc in gen_inst_builder()
[all …]
/wasmtime-44.0.1/cranelift/interpreter/src/
H A Dinstruction.rs40 Some(self.1.ctrl_typevar(self.0)) in controlling_type()
/wasmtime-44.0.1/cranelift/codegen/src/verifier/
H A Dmod.rs1098 let typ = self.func.dfg.ctrl_typevar(inst); in verify_bitcast()
1138 Opcode::Vconst => self.func.dfg.ctrl_typevar(inst).bytes(), in verify_constant_size()
1271 let ctrl_type = self.func.dfg.ctrl_typevar(inst); in typecheck()
1895 let ctrl_typevar = self.func.dfg.ctrl_typevar(inst); in iconst_bounds() localVariable
1896 let bounds_mask = match ctrl_typevar { in iconst_bounds()
2177 fn test_iconst_bounds(immediate: i64, ctrl_typevar: Type) -> VerifierErrors { in test_iconst_bounds()
2192 func.dfg.make_inst_results(test_inst, ctrl_typevar); in test_iconst_bounds()
2204 fn test_iconst_bounds_err(immediate: i64, ctrl_typevar: Type) { in test_iconst_bounds_err()
2206 test_iconst_bounds(immediate, ctrl_typevar), in test_iconst_bounds_err()
2211 fn test_iconst_bounds_ok(immediate: i64, ctrl_typevar: Type) { in test_iconst_bounds_ok()
[all …]
/wasmtime-44.0.1/cranelift/codegen/src/
H A Dwrite.rs294 let rtype = func.dfg.ctrl_typevar(inst); in type_suffix()
380 let ctrl_ty = dfg.ctrl_typevar(inst); in write_operands()
537 if dfg.ctrl_typevar(src).bits() != 0 { in write_operands()
538 imm = imm.sign_extend_from_width(dfg.ctrl_typevar(src).bits()); in write_operands()
H A Dinline.rs471 let ctrl_typevar = callee.dfg.ctrl_typevar(callee_inst); in inline_one() localVariable
472 func.dfg.make_inst_results(inlined_inst, ctrl_typevar); in inline_one()
/wasmtime-44.0.1/cranelift/codegen/src/egraph/
H A Dmod.rs115 let ty = dfg.ctrl_typevar(*inst); in get_inst_key()
185 let ty = self.func.dfg.ctrl_typevar(inst); in insert_pure_enode()
443 let ty = self.func.dfg.ctrl_typevar(inst); in optimize_skeleton_inst()
/wasmtime-44.0.1/cranelift/frontend/src/
H A Dfrontend.rs117 fn build(self, data: InstructionData, ctrl_typevar: Type) -> (Inst, &'short mut DataFlowGraph) { in build()
122 self.builder.func.dfg.make_inst_results(inst, ctrl_typevar); in build()
/wasmtime-44.0.1/cranelift/reader/src/
H A Dparser.rs2201 let ctrl_typevar = self.infer_typevar(ctx, opcode, explicit_ctrl_type, &inst_data)?; in parse_instruction() localVariable
2251 .make_inst_results_for_parser(inst, ctrl_typevar, results); in parse_instruction()