https://github.com/lukel97 commented: Thanks, this looks sensible and correct to me! I only have some small suggestions and questions, e.g. do we need to fix all ExtractFromEnd instructions https://github.com/llvm/llvm-project/pull/124093