spatel added a comment. Thanks, all. Note: I added the nsw flag to the wider add created here since that looks correct, but I haven't found a way to expose that difference in a test case or even the debug output yet. Repository: rL LLVM http://reviews.llvm.org/D13757