SamTebbs33 wrote: I've pushed a commit that adds the `AddChainWithSubs` recur kind to make the fact that an add recurrence can have a subtraction less confusing. https://github.com/llvm/llvm-project/pull/147026