void added a comment. @kazu and @MaskRay I modified this to just add the "convergent" attribute to is.constant. It seems to be just fine for it. PTAL. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D75799/new/ https://reviews.llvm.org/D75799