[all-commits] [llvm/llvm-project] 47208f: [X86] matchAddressRecursively - support zext(and(s...

[Simon Pilgrim via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 47208f8d343791d47a487f0139743d607b8bb965
      https://github.com/llvm/llvm-project/commit/47208f8d343791d47a487f0139743d607b8bb965
  Author: Simon Pilgrim <llvm-dev at redking.me.uk>
  Date:   2023-03-12 (Sun, 12 Mar 2023)

  Changed paths:
    M llvm/lib/Target/X86/X86ISelDAGToDAG.cpp
    M llvm/test/CodeGen/X86/lea-dagdag.ll

  Log Message:
  -----------
  [X86] matchAddressRecursively - support zext(and(shl(x,c1)),c2) -> shl(zext(and(x, c2 >> c1),c1)

This came about while investigating ways to handle D145468 in a more generic manner, which involves trying harder to fold and(zext(x),c) -> zext(and(x,c))

Alive2: https://alive2.llvm.org/ce/z/7fXtDt (generic fold)

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