dmgreen added a comment. I would still prefer the code here to be correct. It shouldn't need to rely on canonicalization to produce the correct result (or not crash). CHANGES SINCE LAST ACTION https://reviews.llvm.org/D136447/new/ https://reviews.llvm.org/D136447