10 use crate::step::{ControlFlow, CraneliftTrap, StepError, step};
48     ) -> Result<ControlFlow<'a>, InterpreterError> {  in call_by_name()
63     ) -> Result<ControlFlow<'a>, InterpreterError> {  in call_by_index()
75     ) -> Result<ControlFlow<'a>, InterpreterError> {  in call()
93     fn block(&mut self, block: Block) -> Result<ControlFlow<'a>, InterpreterError> {  in block()
105                 ControlFlow::Assign(values) => {  in block()
111                 ControlFlow::Continue => maybe_inst = layout.next_inst(inst),  in block()
112                 ControlFlow::ContinueAt(block, block_arguments) => {  in block()
119                 ControlFlow::Call(called_function, arguments) => {  in block()
121                         ControlFlow::Return(rets) => {  in block()
127                         ControlFlow::Trap(trap) => return Ok(ControlFlow::Trap(trap)),  in block()
133                 ControlFlow::ReturnCall(callee, args) => {  in block()
137                         ControlFlow::Return(rets) => Ok(ControlFlow::Return(rets)),  in block()
138                         ControlFlow::Trap(trap) => Ok(ControlFlow::Trap(trap)),  in block()
144                 ControlFlow::Return(returned_values) => {  in block()
146                     return Ok(ControlFlow::Return(returned_values));  in block()
148                 ControlFlow::Trap(trap) => return Ok(ControlFlow::Trap(trap)),  in block()
590         assert_eq!(result, ControlFlow::Return(smallvec![DataValue::I8(1)]));  in sanity()
611             ControlFlow::Trap(CraneliftTrap::User(TrapCode::INTEGER_DIVISION_BY_ZERO))  in udiv_by_zero_traps()
631             ControlFlow::Trap(CraneliftTrap::User(TrapCode::INTEGER_OVERFLOW)) => {}  in sdiv_min_by_neg_one_traps_with_overflow()
666         assert_eq!(result, ControlFlow::Return(smallvec![DataValue::I32(0)]));  in function_references()
686         assert_eq!(result, ControlFlow::Return(smallvec![DataValue::I32(2)]));  in fuel()
706         assert_eq!(result, ControlFlow::Return(smallvec![DataValue::I32(2)]));  in fuel()
764         assert_eq!(result, ControlFlow::Return(smallvec![DataValue::I64(26)]))  in stack_slots_multi_functions()
789             ControlFlow::Trap(CraneliftTrap::User(TrapCode::HEAP_OUT_OF_BOUNDS))  in out_of_slot_write_traps()
815             ControlFlow::Trap(CraneliftTrap::User(TrapCode::HEAP_OUT_OF_BOUNDS))  in partial_out_of_slot_write_traps()
840             ControlFlow::Trap(CraneliftTrap::User(TrapCode::HEAP_OUT_OF_BOUNDS))  in out_of_slot_read_traps()
865             ControlFlow::Trap(CraneliftTrap::User(TrapCode::HEAP_OUT_OF_BOUNDS))  in partial_out_of_slot_read_traps()
893             ControlFlow::Trap(CraneliftTrap::User(TrapCode::HEAP_OUT_OF_BOUNDS))  in partial_out_of_slot_read_by_addr_traps()
921             ControlFlow::Trap(CraneliftTrap::User(TrapCode::HEAP_OUT_OF_BOUNDS))  in partial_out_of_slot_write_by_addr_traps()
943             ControlFlow::Trap(CraneliftTrap::User(TrapCode::INTEGER_OVERFLOW))  in srem_trap()
973             ControlFlow::Return(smallvec![DataValue::F32(Ieee32::with_float(1.0))])  in libcall()
996         assert_eq!(trap, ControlFlow::Trap(CraneliftTrap::HeapMisaligned));  in misaligned_store_traps()
1019         assert_eq!(trap, ControlFlow::Trap(CraneliftTrap::HeapMisaligned));  in misaligned_load_traps()
1060         assert_eq!(trap, ControlFlow::Trap(CraneliftTrap::HeapMisaligned));  in trap_across_call_propagates_correctly()