eli.friedman added a comment. I think you missed the point of my suggestion... as long as you can prove both sides have enough sign bits, it doesn't matter what kind of node you're dealing with. Repository: rL LLVM https://reviews.llvm.org/D22933