T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Simplify the "am I in unreachable code" predicate.

Browse Source 
The phantom unreachable stack is only used when the real unreachable stack is
active, so it's sufficient to check whether the real unreachable stack is empty.
This commit is contained in:
Dan Gohman
2017-08-29 03:36:38 -07:00
parent c71d4fc01b
commit ea1d053831
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
lib/wasm/src/code_translator.rs
View File

@@ -236,8 +236,9 @@ pub fn translate_function_body(parser: &mut Parser,
let parser_state = parser.read(); let parser_state = parser.read();
match *parser_state { match *parser_state {
ParserState::CodeOperator(ref op) => { ParserState::CodeOperator(ref op) => {
if state.phantom_unreachable_stack_depth + debug_assert!(state.phantom_unreachable_stack_depth == 0 ||
state.real_unreachable_stack_depth > 0 { state.real_unreachable_stack_depth > 0);
if state.real_unreachable_stack_depth > 0 {
translate_unreachable_operator(op, translate_unreachable_operator(op,
&mut builder, &mut builder,
&mut stack, &mut stack,