MatzeB wrote: > LGTM. I am a bit concerned that we're going to violate these rules in some transforms (e.g. by creating threadlocal.address of a phi or select), Me too, but that is all the more reason to have this verifier IMO https://github.com/llvm/llvm-project/pull/87841