remove old is_terminating function

for InstructionData. Use generated `is_terminator()` for `Opcode`
instead. `is_terminator`, `can_trap` and `is_branch` functions are now
public.

fix syntax error
This commit is contained in:
Dominik Inführ
2016-12-07 19:32:58 +01:00
committed by Jakob Stoklund Olesen
parent 8285f2a672
commit de0ea36942
3 changed files with 10 additions and 15 deletions

View File

@@ -465,16 +465,6 @@ impl InstructionData {
_ => CallInfo::NotACall,
}
}
/// Return true if an instruction is terminating, or false otherwise.
pub fn is_terminating<'a>(&'a self) -> bool {
match self {
&InstructionData::Jump { .. } => true,
&InstructionData::Return { .. } => true,
&InstructionData::Nullary { .. } => true,
_ => false,
}
}
}
/// Information about branch and jump instructions.

View File

@@ -109,7 +109,7 @@ impl<'a> Verifier<'a> {
fn ebb_integrity(&self, ebb: Ebb, inst: Inst) -> Result<()> {
let is_terminator = self.func.dfg[inst].is_terminating();
let is_terminator = self.func.dfg[inst].opcode().is_terminator();
let is_last_inst = self.func.layout.last_inst(ebb) == inst;
if is_terminator && !is_last_inst {