Lines Matching refs:ControlFlow

62 pub fn step<'a, I>(state: &mut dyn State<'a>, inst_context: I) -> Result<ControlFlow<'a>, StepError>  in step()
173 let assign = |value: DataValue| ControlFlow::Assign(smallvec![value]); in step()
176 let assign_multiple = |values: &[DataValue]| ControlFlow::Assign(SmallVec::from(values)); in step()
181 Err(ValueError::IntegerDivisionByZero) => Ok(ControlFlow::Trap(CraneliftTrap::User( in step()
184 Err(ValueError::IntegerOverflow) => Ok(ControlFlow::Trap(CraneliftTrap::User( in step()
208 Err(e) => ControlFlow::Trap(memerror_to_trap(e)), in step()
213 Ok(_) => ControlFlow::Continue, in step()
214 Err(e) => ControlFlow::Trap(memerror_to_trap(e)), in step()
231 |op: fn(DataValue) -> ValueResult<DataValue>, arg: DataValue| -> ValueResult<ControlFlow> { in step()
242 -> ValueResult<ControlFlow> { in step()
252 -> ValueResult<ControlFlow> { in step()
259 let choose = |condition: bool, left: DataValue, right: DataValue| -> ControlFlow { in step()
270 Ok(ControlFlow::ContinueAt( in step()
278 let branch_when = |condition: bool, block| -> Result<ControlFlow, StepError> { in step()
282 Ok(ControlFlow::Continue) in step()
290 let trap_when = |condition: bool, trap: CraneliftTrap| -> ControlFlow { in step()
292 ControlFlow::Trap(trap) in step()
294 ControlFlow::Continue in step()
302 make_ctrl_flow: fn(&'a Function, SmallVec<[DataValue; 1]>) -> ControlFlow<'a>| in step()
303 -> Result<ControlFlow<'a>, StepError> { in step()
310 return Ok(ControlFlow::Trap(CraneliftTrap::BadSignature)); in step()
328 Err(trap) => return Ok(ControlFlow::Trap(trap)), in step()
334 ControlFlow::Assign(res) in step()
336 ControlFlow::Trap(CraneliftTrap::BadSignature) in step()
387 Opcode::Trap => ControlFlow::Trap(CraneliftTrap::User(trap_code())), in step()
388 Opcode::Debugtrap => ControlFlow::Trap(CraneliftTrap::Debug), in step()
391 Opcode::Return => ControlFlow::Return(args()), in step()
420 Opcode::Call => ControlFlow::Call, in step()
421 Opcode::ReturnCall => ControlFlow::ReturnCall, in step()
439 Opcode::CallIndirect => ControlFlow::Call, in step()
440 Opcode::ReturnCallIndirect => ControlFlow::ReturnCall, in step()
508 (ControlFlow::Assign(ret), Some(c)) => ControlFlow::Assign( in step()
585 ControlFlow::Continue in step()
593 Opcode::Nop => ControlFlow::Continue, in step()
777 ControlFlow::Trap(CraneliftTrap::User(trap_code())) in step()
1120 return Ok(ControlFlow::Trap(CraneliftTrap::User( in step()
1134 return Ok(ControlFlow::Trap(CraneliftTrap::User( in step()
1252 Err(e) => return Ok(ControlFlow::Trap(memerror_to_trap(e))), in step()
1279 Err(e) => return Ok(ControlFlow::Trap(memerror_to_trap(e))), in step()
1314 ControlFlow::Continue in step()
1384 pub enum ControlFlow<'a> { enum