[all-commits] [llvm/llvm-project] 4aa32e: [InstCombine] Add tests for masked icmps with bitw...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4aa32e1b17da4d29fe2db0fe1cfb0171243b4fed
      https://github.com/llvm/llvm-project/commit/4aa32e1b17da4d29fe2db0fe1cfb0171243b4fed
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-05-24 (Tue, 24 May 2022)

  Changed paths:
    M llvm/test/Transforms/InstCombine/and-or-icmps.ll

  Log Message:
  -----------
  [InstCombine] Add tests for masked icmps with bitwise+logical and (NFC)


  Commit: a7c079aaa227d55ad9cb6b916500d99b4fdf26d2
      https://github.com/llvm/llvm-project/commit/a7c079aaa227d55ad9cb6b916500d99b4fdf26d2
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-05-24 (Tue, 24 May 2022)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
    M llvm/test/Transforms/InstCombine/and-or-icmps.ll

  Log Message:
  -----------
  [InstCombine] Support logical and in masked icmp fold

Most of the folds implemented in this function work fine with
logical operations. We only need to be careful for the cases that
work on non-constant masks, where the RHS operand shouldn't be
poison.

This is a conservative implementation that bails out of illegal
transforms, but we could also change these to insert freeze instead.


Compare: https://github.com/llvm/llvm-project/compare/5abaabed22d7...a7c079aaa227