dmgreen added a comment. Do you mean converting ule 0 -> eq 0? I wanted the code here to be correct without needing it. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D136447/new/ https://reviews.llvm.org/D136447