[all-commits] [llvm/llvm-project] a7265f: [InstCombine] add tests for branch on logical and/...

[Sanjay Patel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a7265f910242bb9bfea4717574a38cff436e34c9
      https://github.com/llvm/llvm-project/commit/a7265f910242bb9bfea4717574a38cff436e34c9
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-10-31 (Mon, 31 Oct 2022)

  Changed paths:
    M llvm/test/Transforms/InstCombine/branch.ll
    M llvm/test/Transforms/PhaseOrdering/simplifycfg-options.ll

  Log Message:
  -----------
  [InstCombine] add tests for branch on logical and/or; NFC


  Commit: 115d2f69a515cd756fa51969f5dba433475c459c
      https://github.com/llvm/llvm-project/commit/115d2f69a515cd756fa51969f5dba433475c459c
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-10-31 (Mon, 31 Oct 2022)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstructionCombining.cpp
    M llvm/test/Transforms/InstCombine/branch.ll
    M llvm/test/Transforms/PhaseOrdering/simplifycfg-options.ll

  Log Message:
  -----------
  [InstCombine] canonicalize branch with logical-and-not condition

https://alive2.llvm.org/ce/z/EfHlWN

In the motivating case from issue #58313,
this allows forming a duplicate 'not' op
which then gets CSE'd and simplifyCFG'd
and combined into the expected 'xor'.


Compare: https://github.com/llvm/llvm-project/compare/3f532e052487...115d2f69a515