[PATCH] D148652: ValueTracking: Sign handling for minnum/maxnum

[Matt Arsenault via Phabricator via llvm-commits]

arsenm created this revision.
arsenm added reviewers: foad, jcranmer-intel, kpn, sepavloff, andrew.w.kaylor, cameron.mcinally.
Herald added subscribers: StephenFan, okura, kuter, hiraditya.
Herald added a project: All.
arsenm requested review of this revision.
Herald added a subscriber: wdng.
Herald added a reviewer: jdoerfert.
Herald added a reviewer: sstefan1.
Herald added a project: LLVM.

If we know one operand is positive for maxnum, or one is negative
for minnum, the result will have the same sign.


https://reviews.llvm.org/D148652

Files:
  llvm/include/llvm/Analysis/ValueTracking.h
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/test/Transforms/Attributor/nofpclass-minimum-maximum.ll
  llvm/test/Transforms/Attributor/nofpclass-minnum-maxnum.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D148652.514715.patch
Type: text/x-patch
Size: 10128 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230418/0a8ab365/attachment.bin>