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

Avoid allocating a vector for predecessor variables in the single-value case.

Browse Source
This commit is contained in:
Dan Gohman
2017-08-31 17:42:19 -07:00
parent 52335c9e0f
commit ec3972f515
1 changed files with 18 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

37
lib/frontend/src/ssa.rs
View File

@@ -161,7 +161,7 @@ where
enum ZeroOneOrMore<T> { enum ZeroOneOrMore<T> {
Zero(), Zero(),
One(T), One(T),
More(), More(Vec<T>),
} }
#[derive(Debug)] #[derive(Debug)]
@@ -409,9 +409,7 @@ where
temp_arg_var: Variable, temp_arg_var: Variable,
dest_ebb: Ebb, dest_ebb: Ebb,
) -> (Value, SideEffects) { ) -> (Value, SideEffects) {
let mut pred_values: ZeroOneOrMore<Value> = ZeroOneOrMore::Zero(); let mut pred_values: ZeroOneOrMore<(Block, Inst, Value)> = ZeroOneOrMore::Zero();
// TODO: find a way to not allocate a vector
let mut jump_args_to_append: Vec<(Block, Inst, Value)> = Vec::new();
let ty = dfg.value_type(temp_arg_val); let ty = dfg.value_type(temp_arg_val);
let mut side_effects = SideEffects::new(); let mut side_effects = SideEffects::new();
@@ -425,24 +423,25 @@ where
// to var and we put it as an argument of the branch instruction. // to var and we put it as an argument of the branch instruction.
let (pred_val, mut local_side_effects) = let (pred_val, mut local_side_effects) =
self.use_var(dfg, layout, jts, temp_arg_var, ty, pred); self.use_var(dfg, layout, jts, temp_arg_var, ty, pred);
pred_values = match pred_values { match pred_values {
ZeroOneOrMore::Zero() => { ZeroOneOrMore::Zero() => {
if pred_val == temp_arg_val { if pred_val != temp_arg_val {
ZeroOneOrMore::Zero() pred_values = ZeroOneOrMore::One((pred, last_inst, pred_val))
} else {
ZeroOneOrMore::One(pred_val)
} }
} }
ZeroOneOrMore::One(old_val) => { ZeroOneOrMore::One((old_pred, old_last_inst, old_val)) => {
if pred_val == temp_arg_val || pred_val == old_val { if pred_val != temp_arg_val && pred_val != old_val {
ZeroOneOrMore::One(old_val) // TODO: find a way to not allocate a vector
} else { pred_values = ZeroOneOrMore::More(vec![
ZeroOneOrMore::More() (old_pred, old_last_inst, old_val),
(pred, last_inst, pred_val),
]);
} }
} }
ZeroOneOrMore::More() => ZeroOneOrMore::More(), ZeroOneOrMore::More(ref mut jump_args_to_append) => {
}; jump_args_to_append.push((pred, last_inst, pred_val));
jump_args_to_append.push((pred, last_inst, pred_val)); }
}
side_effects.split_ebbs_created.append( side_effects.split_ebbs_created.append(
&mut local_side_effects &mut local_side_effects
.split_ebbs_created, .split_ebbs_created,
@@ -479,7 +478,7 @@ where
side_effects.instructions_added_to_ebbs.push(dest_ebb); side_effects.instructions_added_to_ebbs.push(dest_ebb);
(val, side_effects) (val, side_effects)
} }
ZeroOneOrMore::One(pred_val) => { ZeroOneOrMore::One((_, _, pred_val)) => {
// Here all the predecessors use a single value to represent our variable // Here all the predecessors use a single value to represent our variable
// so we don't need to have it as an ebb argument. // so we don't need to have it as an ebb argument.
// We need to replace all the occurences of val with pred_val but since // We need to replace all the occurences of val with pred_val but since
@@ -488,7 +487,7 @@ where
dfg.change_to_alias(temp_arg_val, pred_val); dfg.change_to_alias(temp_arg_val, pred_val);
(pred_val, side_effects) (pred_val, side_effects)
} }
ZeroOneOrMore::More() => { ZeroOneOrMore::More(jump_args_to_append) => {
// There is disagreement in the predecessors on which value to use so we have // There is disagreement in the predecessors on which value to use so we have
// to keep the ebb argument. // to keep the ebb argument.
for (pred_block, last_inst, pred_val) in jump_args_to_append { for (pred_block, last_inst, pred_val) in jump_args_to_append {