[all-commits] [llvm/llvm-project] 13ccce: [SeparateConstOffsetFromGEP] Decompose constant xo...

[Sumanth Gundapaneni via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 13ccce28776d8ad27b0c6a92b5a452d62da05663
      https://github.com/llvm/llvm-project/commit/13ccce28776d8ad27b0c6a92b5a452d62da05663
  Author: Sumanth Gundapaneni <sumanth.gundapaneni at amd.com>
  Date:   2025-06-10 (Tue, 10 Jun 2025)

  Changed paths:
    M llvm/lib/Transforms/Scalar/SeparateConstOffsetFromGEP.cpp
    A llvm/test/Transforms/SeparateConstOffsetFromGEP/AMDGPU/xor-to-or-disjoint.ll

  Log Message:
  -----------
  [SeparateConstOffsetFromGEP] Decompose constant xor operand if possible (#135788)

Try to transform XOR(A, B+C) in to XOR(A,C) + B where XOR(A,C) becomes
the base for memory operations. This transformation is true under the
following conditions
Check 1 -  B and C are disjoint.
Check 2 - XOR(A,C) and B are disjoint.

This transformation is beneficial particularly for GEPs because
Disjoint OR operations often map better to addressing modes than XOR.
This can enable further optimizations in the GEP offset folding pipeline



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