[PATCH] D85593: [InstCombine] ~(~X + Y) -> X - Y

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

Please pre-commit the test file and upload diff with context.



================
Comment at: llvm/test/Transforms/InstCombine/not-add.ll:125
+  %notx = xor <4 x i32> %x, <i32 -1, i32 undef, i32 undef, i32 -1>
+  %a = add <4 x i32> %notx, %y
+  %nota = xor <4 x i32> %a, <i32 -1, i32 -1, i32 undef, i32 undef>
----------------
Maximize the disaster potential of poison/undef by making this "add nsw nuw"?


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

https://reviews.llvm.org/D85593