775
775
// dominates - Return true if Def dominates a use in User. This performs
776
776
// the special checks necessary if Def and User are in the same basic block.
777
777
// Note that Def doesn't dominate a use in Def itself!
778
779
bool dominates(const Instruction *Def, const Instruction *User) const;
779
780
bool dominates(const Instruction *Def, const BasicBlock *BB) const;