fhahn wrote: Had another closer look and it seems like liveness is correct after Prolog/Epilog insertion, but gets not updated properly by a transform. Will put up an alternatvie fix https://github.com/llvm/llvm-project/pull/73492