[PATCH] D142666: [DAGCombiner] Transform ABS(X) eq/ne 0/IntMin -> X eq/ne 0/IntMIn

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n created this revision.
Herald added subscribers: ecnelises, pengfei, hiraditya.
Herald added a project: All.
goldstein.w.n requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

This is done by the middle end generally so probably rarely applied,
but was brought up in `D142345` and if it is hit, does some good.

Alive2:
https://alive2.llvm.org/ce/z/KgyhbS
https://alive2.llvm.org/ce/z/HLhHLe
https://alive2.llvm.org/ce/z/8FtEZ4
https://alive2.llvm.org/ce/z/h_NDHa
https://alive2.llvm.org/ce/z/v7DotM
https://alive2.llvm.org/ce/z/G29gj4
https://alive2.llvm.org/ce/z/yZWEzu
https://alive2.llvm.org/ce/z/RFs4iC


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D142666

Files:
  llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
  llvm/test/CodeGen/X86/abs-0-and-intmin.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D142666.492558.patch
Type: text/x-patch
Size: 23211 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230126/bda937a9/attachment.bin>