https://github.com/ftynse approved this pull request. Maybe we should update the liveness check to be a dataflow analysis (it's an almost canonical one) that we run once before the interpreter starts. https://github.com/llvm/llvm-project/pull/74290