[all-commits] [llvm/llvm-project] 4444a7: [InstSimplify] Simplify the expression `(a^c)&(a^~...

[ChipsSpectre via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4444a7e89a1e1c750f25e1673d54627a56fe0f9f
      https://github.com/llvm/llvm-project/commit/4444a7e89a1e1c750f25e1673d54627a56fe0f9f
  Author: ChipsSpectre <maxi.hornung at t-online.de>
  Date:   2024-01-03 (Wed, 03 Jan 2024)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstCombine/and-xor-merge.ll
    M llvm/test/Transforms/InstCombine/or-xor.ll

  Log Message:
  -----------
  [InstSimplify] Simplify the expression `(a^c)&(a^~c)` to zero and (a^c) | (a^~c) to minus one (#76637)

Changes the InstSimplify pass of the LLVM optimizer, such that the
aforementioned expression is reduced to zero if c2==~c1.
Alive2: https://alive2.llvm.org/ce/z/xkQiid
Fixes https://github.com/llvm/llvm-project/issues/75692.