7 fn trivially_has_side_effects(opcode: Opcode) -> bool {  in trivially_has_side_effects()
8     opcode.is_call()  in trivially_has_side_effects()
9         || opcode.is_branch()  in trivially_has_side_effects()
10         || opcode.is_terminator()  in trivially_has_side_effects()
11         || opcode.is_return()  in trivially_has_side_effects()
12         || opcode.can_trap()  in trivially_has_side_effects()
13         || opcode.other_side_effects()  in trivially_has_side_effects()
14         || opcode.can_store()  in trivially_has_side_effects()
21 fn is_load_with_defined_trapping(opcode: Opcode, data: &InstructionData) -> bool {  in is_load_with_defined_trapping()
22     if !opcode.can_load() {  in is_load_with_defined_trapping()
37     let opcode = data.opcode();  in has_side_effect()  localVariable
38     trivially_has_side_effects(opcode) || is_load_with_defined_trapping(opcode, data)  in has_side_effect()
49             opcode: Opcode::Load,  in is_pure_for_egraph()
66     let op = func.dfg.insts[inst].opcode();  in is_pure_for_egraph()
77     let op = func.dfg.insts[inst].opcode();  in is_mergeable_for_egraph()
92     let op = func.dfg.insts[inst].opcode();  in has_lowering_side_effect()
214             inst => debug_assert!(!inst.opcode().is_branch()),  in visit_block_succs()