ChuanqiXu9 wrote: > How does this interact with poison propagation? We should explain this in the PR description and add focused tests. Edited and test added. https://github.com/llvm/llvm-project/pull/234818