[PATCH] [RewriteStatepointsForGC] Generalized vector phi/select handling for base pointers

[Philip Reames]

Hi sanjoy, pgavlin, swaroop.sridhar,

This change extends the detection of base pointers for vector constructs to handle arbitrary phi and select nodes.  The existing non-vector code already handles those, so this is basically just extending the vector special case to be less special cased.  It still isn't generalized vector handling since we can't handle arbitrary vector instructions (e.g. shufflevectors), but it's a lot closer.

The general structure of the change is as follows:
- Extend the base defining value relation over a subset of vector instructions and vector typed phi & select instructions.  
- Move scalarization from before base pointer rewriting to after base pointer rewriting.  The extension of the BDV relation is sufficient to find vector base phis for vector inputs.  
- Preserve the existing special case logic for when the base of a vector element is locally obvious.  This general idea could be extended to the scalar case as well.

http://reviews.llvm.org/D10461

Files:
  lib/Transforms/Scalar/RewriteStatepointsForGC.cpp
  test/Transforms/RewriteStatepointsForGC/live-vector.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D10461.27722.patch
Type: text/x-patch
Size: 14558 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150615/a857661e/attachment.bin>