mirror of
https://github.com/RPCS3/llvm.git
synced 2025-01-10 22:46:25 +00:00
Add new UnreachableInst class
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@17037 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
731cde9447
commit
076b3f1693
@ -1187,6 +1187,43 @@ struct UnwindInst : public TerminatorInst {
|
||||
}
|
||||
};
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// UnreachableInst Class
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
//===---------------------------------------------------------------------------
|
||||
/// UnreachableInst - This function has undefined behavior. In particular, the
|
||||
/// presence of this instruction indicates some higher level knowledge that the
|
||||
/// end of the block cannot be reached.
|
||||
///
|
||||
struct UnreachableInst : public TerminatorInst {
|
||||
UnreachableInst(Instruction *InsertBefore = 0)
|
||||
: TerminatorInst(Instruction::Unreachable, InsertBefore) {
|
||||
}
|
||||
UnreachableInst(BasicBlock *InsertAtEnd)
|
||||
: TerminatorInst(Instruction::Unreachable, InsertAtEnd) {
|
||||
}
|
||||
|
||||
virtual UnreachableInst *clone() const;
|
||||
|
||||
virtual const BasicBlock *getSuccessor(unsigned idx) const {
|
||||
assert(0 && "UnreachableInst has no successors!");
|
||||
abort();
|
||||
return 0;
|
||||
}
|
||||
virtual void setSuccessor(unsigned idx, BasicBlock *NewSucc);
|
||||
virtual unsigned getNumSuccessors() const { return 0; }
|
||||
|
||||
// Methods for support type inquiry through isa, cast, and dyn_cast:
|
||||
static inline bool classof(const UnreachableInst *) { return true; }
|
||||
static inline bool classof(const Instruction *I) {
|
||||
return I->getOpcode() == Instruction::Unreachable;
|
||||
}
|
||||
static inline bool classof(const Value *V) {
|
||||
return isa<Instruction>(V) && classof(cast<Instruction>(V));
|
||||
}
|
||||
};
|
||||
|
||||
} // End llvm namespace
|
||||
|
||||
#endif
|
||||
|
Loading…
x
Reference in New Issue
Block a user