From 076b3f169379df5e8362dcb37403b14444d5dafb Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sat, 16 Oct 2004 18:05:54 +0000 Subject: [PATCH] Add new UnreachableInst class git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@17037 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/Instructions.h | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/include/llvm/Instructions.h b/include/llvm/Instructions.h index bd39db658b1..96772edd769 100644 --- a/include/llvm/Instructions.h +++ b/include/llvm/Instructions.h @@ -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(V) && classof(cast(V)); + } +}; + } // End llvm namespace #endif -- 2.11.0