parent
a9fcf009a3
commit
29fafcccd3
|
@ -146,6 +146,10 @@ public:
|
|||
///
|
||||
LatticeVal getOrInitValueState(Value *V);
|
||||
|
||||
/// isEdgeFeasible - Return true if the control flow edge from the 'From'
|
||||
/// basic block to the 'To' basic block is currently feasible...
|
||||
bool isEdgeFeasible(BasicBlock *From, BasicBlock *To);
|
||||
|
||||
private:
|
||||
/// UpdateState - When the state for some instruction is potentially updated,
|
||||
/// this function notices and adds I to the worklist if needed.
|
||||
|
@ -163,10 +167,6 @@ private:
|
|||
/// successors are reachable from a given terminator instruction.
|
||||
void getFeasibleSuccessors(TerminatorInst &TI, SmallVectorImpl<bool> &Succs);
|
||||
|
||||
/// isEdgeFeasible - Return true if the control flow edge from the 'From'
|
||||
/// basic block to the 'To' basic block is currently feasible...
|
||||
bool isEdgeFeasible(BasicBlock *From, BasicBlock *To);
|
||||
|
||||
void visitInst(Instruction &I);
|
||||
void visitPHINode(PHINode &I);
|
||||
void visitTerminatorInst(TerminatorInst &TI);
|
||||
|
|
Loading…
Reference in New Issue