aqjune added a comment. Thank you! :) I'll implement the corresponding semantics in Alive2 and see whether there is regression. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D90529/new/ https://reviews.llvm.org/D90529