Verify that the instruction encoding matches what the ISA would encode.

Fixes #69
2017-04-22 16:58:29 -07:00
parent 5d9e703e4f
commit 100666e300
6 changed files with 78 additions and 12 deletions
--- a/lib/cretonne/src/regalloc/context.rs
+++ b/lib/cretonne/src/regalloc/context.rs
@@ -63,7 +63,7 @@ impl Context {
            .run(isa, func, domtree, &mut self.liveness, &mut self.tracker);

        if isa.flags().enable_verifier() {
-            verify_context(func, cfg, domtree)?;
+            verify_context(func, cfg, domtree, Some(isa))?;
            verify_liveness(isa, func, cfg, &self.liveness)?;
        }
        Ok(())