[all-commits] [llvm/llvm-project] fad637: [InstCombine] Fold xor of bittests into bittest of...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fad6375428807fad466a176688e8f450ec4cab44
      https://github.com/llvm/llvm-project/commit/fad6375428807fad466a176688e8f450ec4cab44
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2025-02-05 (Wed, 05 Feb 2025)

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

  Log Message:
  -----------
  [InstCombine] Fold xor of bittests into bittest of xor'd value (#125676)

Motivating case:
https://github.com/llvm/llvm-project/blob/64927af52a3bedf2b20d6cdd98bb47d9bba630f9/llvm/lib/Analysis/ValueTracking.cpp#L8600-L8602

It is translated into `xor (X & 2) != 0, (Y & 2) != 0`.
Alive2: https://alive2.llvm.org/ce/z/dJehZ8



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications