[llvm] [InstCombine] Canoncalize complex boolean expressions into ~((y | z) ^ x) (PR #149530)

[via llvm-commits]

yafet-a wrote:

Hi @dtcxzyw, gentle ping but I have implemented a version of the table you suggested in issue #97044 and covers/solves the use case described in that issue
> I am fine to convert an expression tree with <=3 leaf nodes into a truth table, then fold it into the optimal form. We have a similar thing called createLogicFromTable in InstCombine.
...
> I'd like to add a separate function like create3BitLogicFromTable
...

https://github.com/llvm/llvm-project/pull/149530