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

Minor refactor.

Browse Source
This commit is contained in:
Dan Gohman
2017-09-20 17:32:12 -07:00
parent df5ba8bbba
commit 9cda4eacde
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -280,7 +280,7 @@ where
// If multiple predecessor we look up a use_var in each of them: // If multiple predecessor we look up a use_var in each of them:
// if they all yield the same value no need for an Ebb argument // if they all yield the same value no need for an Ebb argument
self.def_var(var, val, block); self.def_var(var, val, block);
self.predecessors_lookup(func, val, var, ebb) self.predecessors_lookup(func, val, var, ty, ebb)
} }
} }
} }
@@ -367,7 +367,8 @@ where
// For each undef var we look up values in the predecessors and create an Ebb argument // For each undef var we look up values in the predecessors and create an Ebb argument
// only if necessary. // only if necessary.
for (var, val) in undef_vars { for (var, val) in undef_vars {
let (_, local_side_effects) = self.predecessors_lookup(func, val, var, ebb); let ty = func.dfg.value_type(val);
let (_, local_side_effects) = self.predecessors_lookup(func, val, var, ty, ebb);
side_effects.append(local_side_effects); side_effects.append(local_side_effects);
} }
self.mark_ebb_header_block_sealed(block); self.mark_ebb_header_block_sealed(block);
@@ -395,10 +396,10 @@ where
func: &mut Function, func: &mut Function,
temp_arg_val: Value, temp_arg_val: Value,
temp_arg_var: Variable, temp_arg_var: Variable,
ty: Type,
dest_ebb: Ebb, dest_ebb: Ebb,
) -> (Value, SideEffects) { ) -> (Value, SideEffects) {
let mut pred_values: ZeroOneOrMore<Value> = ZeroOneOrMore::Zero(); let mut pred_values: ZeroOneOrMore<Value> = ZeroOneOrMore::Zero();
let ty = func.dfg.value_type(temp_arg_val);
let mut side_effects = SideEffects::new(); let mut side_effects = SideEffects::new();
// Iterate over the predecessors. To avoid borrowing `self` for the whole loop, // Iterate over the predecessors. To avoid borrowing `self` for the whole loop,