[all-commits] [llvm/llvm-project] a56a02: [InstSimplify] add commuted variants of logical an...

[Sanjay Patel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a56a02bc7eda421bb43db4936e70ba7f3362ccbc
      https://github.com/llvm/llvm-project/commit/a56a02bc7eda421bb43db4936e70ba7f3362ccbc
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2023-01-26 (Thu, 26 Jan 2023)

  Changed paths:
    M llvm/test/Transforms/InstSimplify/select-logical.ll

  Log Message:
  -----------
  [InstSimplify] add commuted variants of logical and/or pattern; NFC

Existing tests were added with D138853, but that patch failed
to handle all of the commutes. The poison-safety behavior is
symmetric, so I'm not duplicating all of the tests that were
added with that patch.


  Commit: 7dbeb127eaf6639aa7d0839ade964cf6f1528597
      https://github.com/llvm/llvm-project/commit/7dbeb127eaf6639aa7d0839ade964cf6f1528597
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2023-01-26 (Thu, 26 Jan 2023)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/select-logical.ll

  Log Message:
  -----------
  [InstSimplify] X && !(X || Y) --> false

https://alive2.llvm.org/ce/z/7J8Exr

This is a commuted variant that was not included in:
D138853 / f2973327496fc966c4e89597


Compare: https://github.com/llvm/llvm-project/compare/df0488369d32...7dbeb127eaf6