[PATCH] D125836: [DAG] Fold (srl (shl x, c1), c2) -> and(shl/srl(x, c3), m) (WIP)

[Simon Pilgrim via Phabricator via llvm-commits]

RKSimon created this revision.
RKSimon added reviewers: dmgreen, foad, craig.topper, efriedma.
Herald added subscribers: kosarev, StephenFan, ecnelises, kerbowa, pengfei, hiraditya, jvesely.
Herald added a project: All.
RKSimon requested review of this revision.
Herald added a project: LLVM.

I'm still looking at solving the UBFX regressions

Similar to the existing (shl (srl x, c1), c2) fold

Part of the work to fix the regressions in D77804 <https://reviews.llvm.org/D77804>


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D125836

Files:
  llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
  llvm/test/CodeGen/AArch64/arm64-bitfield-extract.ll
  llvm/test/CodeGen/AArch64/arm64-rev.ll
  llvm/test/CodeGen/AArch64/ushl_sat.ll
  llvm/test/CodeGen/AMDGPU/idot4s.ll
  llvm/test/CodeGen/AMDGPU/idot8s.ll
  llvm/test/CodeGen/AMDGPU/idot8u.ll
  llvm/test/CodeGen/AMDGPU/llvm.amdgcn.ubfe.ll
  llvm/test/CodeGen/ARM/umulo-32.ll
  llvm/test/CodeGen/X86/pr32588.ll
  llvm/test/CodeGen/X86/pull-binop-through-shift.ll
  llvm/test/CodeGen/X86/rotate-extract-vector.ll
  llvm/test/CodeGen/X86/rotate-extract.ll
  llvm/test/CodeGen/X86/shift-mask.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D125836.430184.patch
Type: text/x-patch
Size: 29858 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220517/f07fa0aa/attachment-0001.bin>