fluencelabs/parity-wasm
1
0
Fork 0
mirror of https://github.com/fluencelabs/parity-wasm synced 2025-06-26 13:12:04 +00:00
Code Issues Projects Releases Wiki Activity

removed extra instruction outcomes

Browse Source
This commit is contained in:
Svyatoslav Nikolsky
2017-06-23 11:00:18 +03:00
parent 8209ff7d6d
commit 66e2d0ae10
2 changed files with 5 additions and 52 deletions
Download Patch File Download Diff File Expand all files Collapse all files

55
src/interpreter/runner.rs
View File

@ -49,16 +49,10 @@ pub struct FunctionContext<'a> {
/// Interpreter action to execute after executing instruction.
#[derive(Debug)]
pub enum InstructionOutcome<'a> {
/// Continue with current instruction.
RunInstruction,
/// Continue with next instruction.
RunNextInstruction,
/// Branch to given frame.
Branch(usize),
/// Skip if-false (aka else) branch.
SkipIfFalse,
/// Run if-false (aka else) branch (if any).
RunIfFalse,
/// Execute function call.
ExecuteCall(InternalFunctionReference<'a>),
/// End current frame.
@ -130,7 +124,6 @@ impl Interpreter {
debug!(target: "interpreter", "running {:?}", instruction);
match Interpreter::run_instruction(function_context, instruction)? {
InstructionOutcome::RunInstruction => (),
InstructionOutcome::RunNextInstruction => function_context.position += 1,
InstructionOutcome::Branch(mut index) => {
// discard index - 1 blocks
@ -144,40 +137,6 @@ impl Interpreter {
break;
}
},
InstructionOutcome::SkipIfFalse => {
// skip until else/end is found
let mut block_count = 1;
loop {
function_context.position += 1;
debug_assert!(function_context.position < function_body.len());
let instruction = &function_body[function_context.position];
match instruction {
&Opcode::End if block_count == 1 => break,
&Opcode::Block(_) | &Opcode::Loop(_) | &Opcode::If(_) => block_count += 1,
&Opcode::End => block_count -= 1,
_ => (),
}
}
function_context.position += 1;
},
InstructionOutcome::RunIfFalse => {
// skip until else/end is found
let mut block_count = 1;
loop {
function_context.position += 1;
debug_assert!(function_context.position < function_body.len());
let instruction = &function_body[function_context.position];
match instruction {
&Opcode::End | &Opcode::Else if block_count == 1 => break,
&Opcode::Block(_) | &Opcode::Loop(_) | &Opcode::If(_) => block_count += 1,
&Opcode::End => block_count -= 1,
_ => (),
}
}
function_context.position += 1;
},
InstructionOutcome::ExecuteCall(func_ref) => {
function_context.position += 1;
return Ok(RunResult::NestedCall(function_context.nested(func_ref)?));
@ -186,8 +145,6 @@ impl Interpreter {
if function_context.frame_stack().is_empty() {
break;
}
//function_context.position += 1;
},
InstructionOutcome::Return => break,
}
@ -423,18 +380,14 @@ impl Interpreter {
context.position = else_pos;
BlockFrameType::IfFalse
};
context.push_frame(block_frame_type, block_type)?;
//if branch {
Ok(InstructionOutcome::RunNextInstruction)
/*} else {
Ok(InstructionOutcome::RunIfFalse)
}*/
context.push_frame(block_frame_type, block_type).map(|_| InstructionOutcome::RunNextInstruction)
}
fn run_else<'a>(context: &mut FunctionContext) -> Result<InstructionOutcome<'a>, Error> {
let end_pos = context.function_labels[&context.position];
context.pop_frame(false)?;
Ok(InstructionOutcome::SkipIfFalse)
context.position = end_pos;
Ok(InstructionOutcome::RunNextInstruction)
}
fn run_end<'a>(context: &mut FunctionContext) -> Result<InstructionOutcome<'a>, Error> {

2
src/interpreter/validator.rs
View File

@ -114,7 +114,7 @@ impl Validator {
}
}
pub fn validate_instruction<'a>(context: &mut FunctionValidationContext, opcode: &'a Opcode) -> Result<InstructionOutcome, Error> {
fn validate_instruction<'a>(context: &mut FunctionValidationContext, opcode: &'a Opcode) -> Result<InstructionOutcome, Error> {
debug!(target: "validator", "validating {:?}", opcode);
match opcode {
&Opcode::Unreachable => Ok(InstructionOutcome::Unreachable),