[all-commits] [llvm/llvm-project] 924233: [InstCombine] add tests for bool math; NFC

[Sanjay Patel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 924233c784fa782388475a4103ac9ac00bbe0e6f
      https://github.com/llvm/llvm-project/commit/924233c784fa782388475a4103ac9ac00bbe0e6f
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-12-06 (Tue, 06 Dec 2022)

  Changed paths:
    M llvm/test/Transforms/InstCombine/lshr.ll

  Log Message:
  -----------
  [InstCombine] add tests for bool math; NFC

This pattern came up in D138814.


  Commit: 71df24dd39177ecfc440a04cd92fa4845d88347d
      https://github.com/llvm/llvm-project/commit/71df24dd39177ecfc440a04cd92fa4845d88347d
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-12-06 (Tue, 06 Dec 2022)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineShifts.cpp
    M llvm/test/Transforms/InstCombine/lshr.ll

  Log Message:
  -----------
  [InstCombine] fold add-carry of bools to logic

((zext BoolX) + (zext BoolY)) >> 1 --> zext (BoolX && BoolY)
https://alive2.llvm.org/ce/z/LvZFKj

This was noted as a missing fold in D138814.


Compare: https://github.com/llvm/llvm-project/compare/1806ce9097a6...71df24dd3917