[PATCH] D154735: ValueTracking: ldexp cannot return denormals based on range of exponent

[Matt Arsenault via Phabricator via llvm-commits]

arsenm created this revision.
arsenm added reviewers: foad, jcranmer-intel, kpn, sepavloff, andrew.w.kaylor.
Herald added subscribers: StephenFan, okura, kuter, hiraditya, tpr.
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.

The implementations of a number of math functions on amdgpu involve
pre and post-scaling the inputs out of the denormal range. If these
are chained together we can possibly fold them out.

      

computeConstantRange seems weaker than computeKnownBits, so this
regresses some of the older vector tests.


https://reviews.llvm.org/D154735

Files:
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/test/Transforms/Attributor/nofpclass-ldexp.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D154735.538217.patch
Type: text/x-patch
Size: 7835 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230707/8a8f5eae/attachment.bin>