[all-commits] [llvm/llvm-project] 8075f6: [InstCombine] add fold (X > C - 1) ^ (X < C + 1) -...

[ZCBing via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8075f680c8fbff9d56055520ded00579b3c45ddc
      https://github.com/llvm/llvm-project/commit/8075f680c8fbff9d56055520ded00579b3c45ddc
  Author: Chenbing Zheng <Chenbing.Zheng at streamcomputing.com>
  Date:   2022-07-21 (Thu, 21 Jul 2022)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
    M llvm/test/Transforms/InstCombine/set.ll

  Log Message:
  -----------
  [InstCombine] add fold (X > C - 1) ^ (X < C + 1) --> X != C

Considering the correctness of this pattern, we should avoid that C - 1
is non-negative and C + 1 is negative.

Alive2: https://alive2.llvm.org/ce/z/c_rBaq

Reviewed By: spatel

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