[PATCH] D152068: [InstCombine] add overflow checking on AddSub `C-(X+C2) --> (C-C2)-X`

[Kohei Asano via Phabricator via llvm-commits]

khei4 added a comment.

This doesn't seem working.

  Res->setHasNoSignedWrap(I.hasNoSignedWrap() &&
                               OBO1->hasNoUnsignedWrap() &&
                               willNotOverflowSignedSub(C, C2, *Res));


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

https://reviews.llvm.org/D152068