https://github.com/jmorse approved this pull request. LGTM (after reminding myself that the "WhenDefined" method is only there to match the Instruction version, it doesn't really mean it interacts with Undef/Poison). https://github.com/llvm/llvm-project/pull/82257