3 use crate::ir::{self, Block, Function, Inst, InstructionData, Opcode, Type, Value};
7 fn trivially_has_side_effects(opcode: Opcode) -> bool {  in trivially_has_side_effects()
21 fn is_load_with_defined_trapping(opcode: Opcode, data: &InstructionData) -> bool {  in is_load_with_defined_trapping()  argument
49             opcode: Opcode::Load,  in is_pure_for_egraph()
93     op != Opcode::GetPinnedReg && (has_side_effect(func, inst) || op.can_load())  in has_lowering_side_effect()
143 pub fn has_memory_fence_semantics(op: Opcode) -> bool {  in has_memory_fence_semantics()
145         Opcode::AtomicRmw  in has_memory_fence_semantics()
146         | Opcode::AtomicCas  in has_memory_fence_semantics()
147         | Opcode::AtomicLoad  in has_memory_fence_semantics()
148         | Opcode::AtomicStore  in has_memory_fence_semantics()
149         | Opcode::Fence  in has_memory_fence_semantics()
150         | Opcode::Debugtrap  in has_memory_fence_semantics()
151         | Opcode::SequencePoint => true,  in has_memory_fence_semantics()
152         Opcode::Call | Opcode::CallIndirect | Opcode::TryCall | Opcode::TryCallIndirect => true,  in has_memory_fence_semantics()