[llvm] [X86] Prevent NUW flag forwarding in ADD->SUB peephole (PR #201612)
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Sun Sep 13 09:46:30 PDT 2026
arsenm wrote:
> * Add an **opt-in marker** for patterns where flag transfer is provably semantics-preserving — e.g. a TableGen `let CopyPoisonFlags = 1` on the pattern (similar in spirit to `SDNP*` properties), so each target has to claim flag preservation explicitly rather than getting it silently.
I suppose this is one way, but it's not great. It's not really a pattern level property. How do you map the control when there are multiple input nodes or output instructions?
https://github.com/llvm/llvm-project/pull/201612
More information about the llvm-commits
mailing list