[PATCH] D125003: [RS4GC] Treat a value that has a single base and no derived inputs as base value

[Dmitry Makogon via Phabricator via llvm-commits]

dmakogon created this revision.
dmakogon added reviewers: mkazantsev, skatkov, reames, fhahn, sanjoy.
Herald added a subscriber: hiraditya.
Herald added a project: All.
dmakogon requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

With this patch we track a `IsDerived` state for BDVs.
It is true for a given BDV if any of its operands is not equal to its BDV (stripping pointer casts).
If we find out that a pointer for which we are finding a base has a single base and has no derived inputs, we say that this pointer is actually equal to its base, so it is a base pointer itself, hence there's no need to relocate the original base along with this 'derived' pointer.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D125003

Files:
  llvm/lib/Transforms/Scalar/RewriteStatepointsForGC.cpp
  llvm/test/Transforms/RewriteStatepointsForGC/single-base.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D125003.427274.patch
Type: text/x-patch
Size: 7267 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220505/a569a7bf/attachment.bin>