[all-commits] [llvm/llvm-project] c2f010: [InstCombine] ~(~X + Y) -> X - Y

[Dávid Bolvanský via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: c2f0101310133ed282d6dd187b2d3f4cac356a83
      https://github.com/llvm/llvm-project/commit/c2f0101310133ed282d6dd187b2d3f4cac356a83
  Author: Dávid Bolvanský <david.bolvansky at gmail.com>
  Date:   2020-08-11 (Tue, 11 Aug 2020)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
    M llvm/test/Transforms/InstCombine/not-add.ll

  Log Message:
  -----------
  [InstCombine] ~(~X + Y) -> X - Y

Proof:
https://alive2.llvm.org/ce/z/4xharr

Solves PR47051

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D85593