[PATCH] D153785: ValueTracking: Handle !absolute_value in computeKnownBits

[Matt Arsenault via Phabricator via llvm-commits]

arsenm created this revision.
arsenm added reviewers: fhahn, nikic, aeubanks, jdoerfert, sanjoy, nlopes, MaskRay, JonChesterfield.
Herald added subscribers: foad, StephenFan, hiraditya, tpr.
Herald added a project: All.
arsenm requested review of this revision.
Herald added a subscriber: wdng.
Herald added a project: LLVM.

Use a unit test since I don't see any existing uses try to make use of
the high bits of a pointer.

      

This will also assert if the metadata type doesn't match the pointer
width, but I consider that a defect in the verifier and shouldn't be
handled.

      

AMDGPU allocates LDS globals by assigning !absolute_value with the
final fixed address. Tracking the high bits are 0 may help with
addressing mode matching.


https://reviews.llvm.org/D153785

Files:
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/unittests/Analysis/ValueTrackingTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D153785.534623.patch
Type: text/x-patch
Size: 5339 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230626/63d8df9c/attachment.bin>