[PATCH] [RewriteStatepointsForGC] Use an actual liveness algorithm

[Philip Reames]

Hi sanjoy, swaroop.sridhar,

When rewriting statepoints to make relocations explicit, we need to have a conservative but consistent notion of where a particular pointer is live at a particular site.  The old code just used dominance, which is correct, but decidedly more conservative then it needed to be.  This patch implements a simple dataflow algorithm that's run one per function (well, twice counting fixup after base pointer insertion).  There's still lots of room to make this faster, but it's fast enough for all practical purposes today.

http://reviews.llvm.org/D8674

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

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D8674.22822.patch
Type: text/x-patch
Size: 22668 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150327/757e61a5/attachment.bin>