Verify integrity of the existing control flow graph of the context. (#70)

* Verify integrity of the existing control flow graph of the context.

* Make checking more thorough.
This commit is contained in:
Angus Holder
2017-03-30 23:34:50 +01:00
committed by Jakob Stoklund Olesen
parent cfe2c7f46f
commit 353dc72b5b
2 changed files with 52 additions and 38 deletions

View File

@@ -170,7 +170,7 @@ impl Display for Value {
}
/// An opaque reference to an instruction in a function.
#[derive(Copy, Clone, PartialEq, Eq, Hash, Debug)]
#[derive(Copy, Clone, PartialEq, Eq, Hash, Debug, PartialOrd, Ord)]
pub struct Inst(u32);
entity_impl!(Inst, "inst");