Allen added a comment. hi @aeubanks, I fixed your case with **alive2** proved the new generated IR. would you help me check if there are any problems with the new version? Thanks CHANGES SINCE LAST ACTION https://reviews.llvm.org/D141188/new/ https://reviews.llvm.org/D141188