brzycki accepted this revision. brzycki added a comment. This revision is now accepted and ready to land. When working on JumpThreading I never saw a failure due to NCD verification so I think you're intuition about other checks makes sense. https://reviews.llvm.org/D38802