[PATCH] D139930: [InstCombine] Combine ZExt (B - A) + ZExt(A) to ZExt(B)

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

In D139930#3991653 <https://reviews.llvm.org/D139930#3991653>, @dmgreen wrote:

> Just a drive-by comment, but I believe it needs nuw on the sub.

Yes - the last test is a miscompile:
https://alive2.llvm.org/ce/z/xd8Pdp


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D139930/new/

https://reviews.llvm.org/D139930