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

Split the default edge of a br_table.

Browse Source 
When splitting critical edges for a br_table to handle arguments being
passed, split the default edge along with the normal table edges.
This commit is contained in:
Dan Gohman
2018-10-26 06:20:08 -07:00
committed by Benjamin Bouvier
parent a5cad9a748
commit 3ff8867e57
2 changed files with 39 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
cranelift/wasmtests/br_table.wat Normal file
View File

@@ -0,0 +1,30 @@
(module
(func (result i32)
(block (result i32)
(block (result i32)
(block (result i32)
(br_table 0 1 2 3 (i32.const 42) (i32.const 0))
)
)
)
)
(func (result i32)
(block (result i32)
(block (result i32)
(block (result i32)
(br_table 3 2 1 0 (i32.const 42) (i32.const 0))
)
)
)
)
(func (result i32)
(block (result i32)
(br_table 0 0 1 1 (i32.const 42) (i32.const 0))
)
)
(func (result i32)
(block (result i32)
(br_table 1 1 0 0 (i32.const 42) (i32.const 0))
)
)
)

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

@@ -307,15 +307,16 @@ pub fn translate_operator<FE: FuncEnvironment + ?Sized>(
};
data.push_entry(branch_ebb);
}
let jt = builder.create_jump_table(data);
let default_ebb = {
let i = state.control_stack.len() - 1 - (default as usize);
let frame = &mut state.control_stack[i];
frame.set_branched_to_exit();
frame.br_destination()
let default_branch_ebb = match dest_ebb_map.entry(default as usize) {
hash_map::Entry::Occupied(entry) => *entry.get(),
hash_map::Entry::Vacant(entry) => {
let ebb = builder.create_ebb();
dest_ebb_sequence.push((default as usize, ebb));
*entry.insert(ebb)
}
};
dest_ebb_sequence.push((default as usize, default_ebb));
builder.ins().br_table(val, default_ebb, jt);
let jt = builder.create_jump_table(data);
builder.ins().br_table(val, default_branch_ebb, jt);
for (depth, dest_ebb) in dest_ebb_sequence {
builder.switch_to_block(dest_ebb);
builder.seal_block(dest_ebb);