anna added a comment. Sanjoy pointed out a case that might cause the comparison of the pointer to itself to be incorrect, basically this check: `PI == ICI->getOperand(OtherIndex) ` is not enough. Will update the diff to take care of such cases Repository: rL LLVM http://reviews.llvm.org/D19390