[PATCH] D157598: [InstCombine] Transform sub(sext(add(X, Y)), sext(add(X, Z))) to sub(Y, Z) given nsw adds

[Nikita Popov via Phabricator via llvm-commits]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

LGTM



================
Comment at: llvm/test/Transforms/InstCombine/sub-ext-add.ll:49
 
 define i32 @subaddnuw_c3(i8 %a, i8 %C1, i8 %C2) {
 ; CHECK-LABEL: @subaddnuw_c3(
----------------
This test case looks the same as subaddnuw_c1?


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

https://reviews.llvm.org/D157598