[all-commits] [llvm/llvm-project] 88cc35: [InstCombine] Fold `binop (select cond, a, b), (se...

[Sizov Nikita via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 88cc35b27e6c7966ab2463fa06d3dd970e88df64
      https://github.com/llvm/llvm-project/commit/88cc35b27e6c7966ab2463fa06d3dd970e88df64
  Author: Sizov Nikita <s.nikita.v at gmail.com>
  Date:   2023-12-13 (Wed, 13 Dec 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
    M llvm/lib/Transforms/InstCombine/InstCombineInternal.h
    M llvm/lib/Transforms/InstCombine/InstructionCombining.cpp
    A llvm/test/Transforms/InstCombine/commutative-operation-over-selects.ll

  Log Message:
  -----------
  [InstCombine] Fold `binop (select cond, a, b), (select cond, b, a)` to `binop a, b` (#74953)

```
CommutativeBinOp(select(V, A, B), select(V, B, A) --> CommutativeBinOp(A, B)
CommutativeIntrinsicCall(select(V, A, B), select(V, B, A), ...) --> CommutativeIntrinsicCall(A, B, ...)
```

https://alive2.llvm.org/ce/z/8CDUZ4

Closes #73904