RKSimon added a comment. I'm a bit worried this will end up fighting the existing "(sext (truncate x)) -> (sextinreg x)" fold Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D140993/new/ https://reviews.llvm.org/D140993