[all-commits] [llvm/llvm-project] c034c4: [InstCombine] Fold select of symmetric selects (#9...

[Tim Gymnich via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c034c44362a5dda93a8049d452625c59b76f7169
      https://github.com/llvm/llvm-project/commit/c034c44362a5dda93a8049d452625c59b76f7169
  Author: Tim Gymnich <tgymnich at icloud.com>
  Date:   2024-07-17 (Wed, 17 Jul 2024)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
    A llvm/test/Transforms/InstCombine/select-of-symmetric-selects.ll

  Log Message:
  -----------
  [InstCombine] Fold select of symmetric selects (#99245)

fixes #98800

Fold patterns like:
   select c2 (select c1 a b) (select c1 b a)
into:
   select (xor c1 c2) b a

Alive2 proofs:
https://alive2.llvm.org/ce/z/4QAm4K
https://alive2.llvm.org/ce/z/vTVRnC



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