[all-commits] [llvm/llvm-project] cf5cd9: [InstCombine] Support and/or in `getFreelyInverted...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cf5cd98e74275ed6198b4bbe76cec250ade2c186
      https://github.com/llvm/llvm-project/commit/cf5cd98e74275ed6198b4bbe76cec250ade2c186
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2024-03-15 (Fri, 15 Mar 2024)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstructionCombining.cpp
    M llvm/test/Transforms/InstCombine/icmp-and-lowbit-mask.ll
    M llvm/test/Transforms/InstCombine/not.ll
    M llvm/test/Transforms/InstCombine/pr63791.ll

  Log Message:
  -----------
  [InstCombine] Support and/or in `getFreelyInvertedImpl` using DeMorgan's Law (#85193)

This patch adds the support for and/or in `getFreelyInvertedImpl` using
DeMorgan's Law:
```
(~(A | B)) -> (~A & ~B)
(~(A & B)) -> (~A | ~B)
```
Alive2: https://alive2.llvm.org/ce/z/Uig8-j



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications