[all-commits] [llvm/llvm-project] f5cb62: [InstCombine] Introduce tests for D156811

[Antonio Frighetto via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f5cb6265eaf84b7163b86675a8b1223cda6e9795
      https://github.com/llvm/llvm-project/commit/f5cb6265eaf84b7163b86675a8b1223cda6e9795
  Author: Antonio Frighetto <me at antoniofrighetto.com>
  Date:   2023-08-08 (Tue, 08 Aug 2023)

  Changed paths:
    M llvm/test/Transforms/InstCombine/select-divrem.ll

  Log Message:
  -----------
  [InstCombine] Introduce tests for D156811

Introduce test cases for folding `select`
of `srem` and conditional add.

Differential Revision: https://reviews.llvm.org/D156862


  Commit: 211692137af45fcf6d6b14582e004a746f9e5b2e
      https://github.com/llvm/llvm-project/commit/211692137af45fcf6d6b14582e004a746f9e5b2e
  Author: Antonio Frighetto <me at antoniofrighetto.com>
  Date:   2023-08-08 (Tue, 08 Aug 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
    M llvm/test/Transforms/InstCombine/select-divrem.ll

  Log Message:
  -----------
  [InstCombine] Fold `select` of `srem` and conditional add

Simplify a pattern that may show up when computing
the remainder of euclidean division. Particularly,
when the divisor is a power of two and never negative,
the signed remainder can be folded with a bitwise and.

Fixes 64305.

Proofs: https://alive2.llvm.org/ce/z/9_KG6c

Differential Revision: https://reviews.llvm.org/D156811


Compare: https://github.com/llvm/llvm-project/compare/c9fe119869d5...211692137af4