RKSimon added a comment. Yes, we're going to need a KnownBits check to ensure we were truncating away known zero bits Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D151916/new/ https://reviews.llvm.org/D151916