[InstSimplify] Handle commutativity for 'and' and 'outer or' for (~A & B) | ~(A ...
authorDávid Bolvanský <david.bolvansky@gmail.com>
Sat, 16 Jan 2021 18:40:29 +0000 (19:40 +0100)
committerDávid Bolvanský <david.bolvansky@gmail.com>
Sat, 16 Jan 2021 18:42:50 +0000 (19:42 +0100)
commit63bedc80da36cf5eb71b06b453c186e057607bf4
treecfb1e21ad9f084cd204b373d4f5cfd0f858219b3
parent372eb2bbb6fb903ce76266e659dfefbaee67722b
[InstSimplify] Handle commutativity for 'and' and 'outer or' for (~A & B) | ~(A | B) --> ~A

Reviewed By: lebedev.ri

Differential Revision: https://reviews.llvm.org/D94870
llvm/lib/Analysis/InstructionSimplify.cpp
llvm/test/Transforms/InstSimplify/or.ll