1 //===-- llvm/iPHINode.h - PHI instruction definition -------------*- C++ -*--=//
3 // This file defines the PHINode class.
5 //===----------------------------------------------------------------------===//
7 #ifndef LLVM_IPHINODE_H
8 #define LLVM_IPHINODE_H
10 #include "llvm/Instruction.h"
13 //===----------------------------------------------------------------------===//
15 //===----------------------------------------------------------------------===//
17 // PHINode - The PHINode class is used to represent the magical mystical PHI
18 // node, that can not exist in nature, but can be synthesized in a computer
19 // scientist's overactive imagination.
21 class PHINode : public Instruction {
22 PHINode(const PHINode &PN);
24 PHINode(const Type *Ty, const std::string &Name = "",
25 Instruction *InsertBefore = 0)
26 : Instruction(Ty, Instruction::PHINode, Name, InsertBefore) {
29 virtual Instruction *clone() const { return new PHINode(*this); }
31 /// getNumIncomingValues - Return the number of incoming edges the PHI node
33 unsigned getNumIncomingValues() const { return Operands.size()/2; }
35 /// getIncomingValue - Return incoming value #x
36 const Value *getIncomingValue(unsigned i) const {
39 Value *getIncomingValue(unsigned i) {
42 void setIncomingValue(unsigned i, Value *V) {
45 inline unsigned getOperandNumForIncomingValue(unsigned i) {
49 /// getIncomingBlock - Return incoming basic block #x
50 const BasicBlock *getIncomingBlock(unsigned i) const {
51 return (const BasicBlock*)Operands[i*2+1].get();
53 inline BasicBlock *getIncomingBlock(unsigned i) {
54 return (BasicBlock*)Operands[i*2+1].get();
56 inline void setIncomingBlock(unsigned i, BasicBlock *BB) {
57 Operands[i*2+1] = (Value*)BB;
59 inline unsigned getOperandNumForIncomingBlock(unsigned i) {
63 /// addIncoming - Add an incoming value to the end of the PHI list
64 void addIncoming(Value *D, BasicBlock *BB);
66 /// removeIncomingValue - Remove an incoming value. This is useful if a
67 /// predecessor basic block is deleted. The value removed is returned.
69 /// If the last incoming value for a PHI node is removed (and DeletePHIIfEmpty
70 /// is true), the PHI node is destroyed and any uses of it are replaced with
71 /// dummy values. The only time there should be zero incoming values to a PHI
72 /// node is when the block is dead, so this strategy is sound.
74 Value *removeIncomingValue(const BasicBlock *BB,
75 bool DeletePHIIfEmpty = true);
77 /// getBasicBlockIndex - Return the first index of the specified basic
78 /// block in the value list for this PHI. Returns -1 if no instance.
80 int getBasicBlockIndex(const BasicBlock *BB) const {
81 for (unsigned i = 0; i < Operands.size()/2; ++i)
82 if (getIncomingBlock(i) == BB) return i;
86 /// Methods for support type inquiry through isa, cast, and dyn_cast:
87 static inline bool classof(const PHINode *) { return true; }
88 static inline bool classof(const Instruction *I) {
89 return I->getOpcode() == Instruction::PHINode;
91 static inline bool classof(const Value *V) {
92 return isa<Instruction>(V) && classof(cast<Instruction>(V));