Home
last modified time | relevance | path

Searched refs:ValueDef (Results 1 – 10 of 10) sorted by relevance

/wasmtime-44.0.1/cranelift/codegen/src/egraph/
H A Delaborate.rs10 use crate::ir::{Block, Function, Inst, Value, ValueDef};
254 ValueDef::Result(inst, _) => { in topo_sorted_values()
264 ValueDef::Union(a, b) => { in topo_sorted_values()
272 ValueDef::Param(..) => {} in topo_sorted_values()
320 ValueDef::Union(x, y) => { in compute_best_values()
334 ValueDef::Param(_, _) => { in compute_best_values()
342 ValueDef::Result(inst, _) => { in compute_best_values()
482 ValueDef::Result(inst, result_idx) => { in process_elab_stack()
489 ValueDef::Param(in_block, _) => { in process_elab_stack()
501 ValueDef::Union(_, _) => { in process_elab_stack()
H A Dmod.rs11 Block, DataFlowGraph, Function, Inst, InstructionData, Type, Value, ValueDef, ValueListPool,
718 ValueDef::Result(i, 0) => { in run()
1010 ValueDef::Result(i, _) => { in check_post_egraph()
1013 ValueDef::Union(..) => { in check_post_egraph()
/wasmtime-44.0.1/cranelift/codegen/src/ir/
H A Ddfg.rs248 pub fn values_and_defs(&self) -> impl Iterator<Item = (Value, ValueDef)> + '_ { in values_and_defs()
384 pub fn value_def(&self, v: Value) -> ValueDef { in value_def() argument
393 ValueData::Union { x, y, .. } => ValueDef::Union(x, y), in value_def()
631 pub enum ValueDef { enum
640 impl ValueDef { implementation
838 ir::ValueDef::Result(inst, _) => self.display_inst(inst), in display_value_inst()
1619 assert_eq!(dfg.value_def(val), ValueDef::Result(inst, 0)); in make_inst()
1628 assert_eq!(dfg.value_def(v2), ValueDef::Result(inst, 0)); in make_inst()
1669 assert_eq!(dfg.value_def(arg1), ValueDef::Param(block, 0)); in block()
1670 assert_eq!(dfg.value_def(arg2), ValueDef::Param(block, 1)); in block()
[all …]
H A Dbuilder.rs221 use crate::ir::{Function, InstBuilder, ValueDef};
255 assert_eq!(pos.func.dfg.value_def(v0), ValueDef::Result(iadd, 0)); in reuse_results()
264 assert_eq!(pos.func.dfg.value_def(v0), ValueDef::Result(iconst, 0)); in reuse_results()
H A Dmod.rs39 pub use crate::ir::dfg::{BlockData, DataFlowGraph, ValueDef};
/wasmtime-44.0.1/cranelift/codegen/src/
H A Dopts.rs7 use crate::ir::dfg::ValueDef;
97 ValueDef::Union(x, y) => { in next()
105 ValueDef::Result(inst, _) if ctx.ctx.func.dfg.inst_results(inst).len() == 1 => { in next()
H A Dwrite.rs9 use crate::ir::{Block, DataFlowGraph, Function, Inst, Opcode, SigRef, Type, Value, ValueDef};
285 ValueDef::Result(instr, _) => func.layout.inst_block(instr), in type_suffix()
286 ValueDef::Param(block, _) => Some(block), in type_suffix()
287 ValueDef::Union(..) => None, in type_suffix()
533 if let ValueDef::Result(src, _) = dfg.value_def(arg) { in write_operands()
H A Dsouper_harvest.rs96 ir::ValueDef::Result(inst, 0) => match func.dfg.insts[inst].opcode() { in harvest_candidate_lhs()
142 ir::ValueDef::Result(inst, 0) => { in harvest_candidate_lhs()
159 ir::ValueDef::Result(inst, 0) => match func.dfg.insts[inst] { in harvest_candidate_lhs()
579 if let ir::ValueDef::Result(inst, 0) = dfg.value_def(val) { in post_order_dfs()
/wasmtime-44.0.1/cranelift/codegen/src/verifier/
H A Dmod.rs75 JumpTable, MemFlags, Opcode, SigRef, StackSlot, Type, Value, ValueDef, ValueList, types,
456 ValueDef::Param(arg_block, _) => { in block_integrity()
985 ValueDef::Result(def_inst, _) => { in verify_inst_arg()
1023 ValueDef::Param(block, _) => { in verify_inst_arg()
1050 ValueDef::Union(_, _) => { in verify_inst_arg()
1067 ValueDef::Result(def_inst, _) => { in verify_inst_result()
1078 ValueDef::Param(_, _) => errors.fatal(( in verify_inst_result()
1083 ValueDef::Union(_, _) => errors.fatal(( in verify_inst_result()
/wasmtime-44.0.1/cranelift/codegen/src/machinst/
H A Dlower.rs13 RelSourceLoc, SigRef, Signature, Type, Value, ValueDef, ValueLabelAssignments, ValueLabelStart,
1288 if let ValueDef::Result(src_inst, _) = f.dfg.value_def(value) { in compute_use_states()
1567 ValueDef::Result(src_inst, result_idx) => { in get_value_as_source_or_const()