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

expect("TODO")

Browse Source
This commit is contained in:
Svyatoslav Nikolsky
2017-06-21 09:45:54 +03:00
parent 4ad3808e20
commit 0f2530f4c5
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/interpreter/runner.rs
View File

@ -159,8 +159,9 @@ impl Interpreter {
body_stack.push_back(instruction_body); body_stack.push_back(instruction_body);
} }
let non_empty_stack_reason: &'static str = "body_stack contains entry for every frame_stack; frame_stack is not empty; qed";
loop { loop {
let block_result = Interpreter::run_block_instructions(function_context, body_stack.back().expect("TODO"))?; let block_result = Interpreter::run_block_instructions(function_context, body_stack.back().expect(non_empty_stack_reason))?;
match block_result { match block_result {
InstructionOutcome::RunInstruction | InstructionOutcome::RunNextInstruction => unreachable!("managed by run_block_instructions"), InstructionOutcome::RunInstruction | InstructionOutcome::RunNextInstruction => unreachable!("managed by run_block_instructions"),
@ -183,8 +184,9 @@ impl Interpreter {
}, },
InstructionOutcome::ExecuteBlock => { InstructionOutcome::ExecuteBlock => {
function_context.position = 0; function_context.position = 0;
let top_frame = function_context.frame_stack().top().expect("TODO");
let instruction = &body_stack.back().expect("TODO")[top_frame.begin_position]; let top_frame = function_context.frame_stack().top().expect(non_empty_stack_reason);
let instruction = &body_stack.back().expect(non_empty_stack_reason)[top_frame.begin_position];
let block_body = Interpreter::into_block(instruction, top_frame.frame_type)?; let block_body = Interpreter::into_block(instruction, top_frame.frame_type)?;
body_stack.push_back(block_body); body_stack.push_back(block_body);
}, },