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

Change dfg.inst_results to return a slice.

Browse Source 
Now we can access instruction results and arguments as well as EBB
arguments as slices.

Delete the Values iterator which was traversing the linked lists of
values. It is no longer needed.
This commit is contained in:
Jakob Stoklund Olesen
2017-04-11 16:53:54 -07:00
parent 7d47053645
commit 3c99dc0eb4
9 changed files with 33 additions and 81 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
lib/cretonne/src/verifier.rs
View File

@@ -193,7 +193,7 @@ impl<'a> Verifier<'a> {
}
} else {
// All result values for multi-valued instructions are created
let got_results = dfg.inst_results(inst).count();
let got_results = dfg.inst_results(inst).len();
if got_results != total_results {
return err!(inst,
"expected {} result values, found {}",
@@ -212,7 +212,7 @@ impl<'a> Verifier<'a> {
self.verify_value(inst, arg)?;
}
for res in self.func.dfg.inst_results(inst) {
for &res in self.func.dfg.inst_results(inst) {
self.verify_value(inst, res)?;
}
@@ -448,7 +448,7 @@ impl<'a> Verifier<'a> {
fn typecheck_results(&self, inst: Inst, ctrl_type: Type) -> Result<()> {
let mut i = 0;
for result in self.func.dfg.inst_results(inst) {
for &result in self.func.dfg.inst_results(inst) {
let result_type = self.func.dfg.value_type(result);
let expected_type = self.func.dfg.compute_result_type(inst, i, ctrl_type);
if let Some(expected_type) = expected_type {