[PATCH] [DependenceAnalysis] Extend unifySubscriptType for handling coupled subscript groups.

[Vaivaswatha Nagaraj]

Hi spop, sebpop, jingyue,

In continuation to an earlier commit to DependenceAnalysis.cpp by jingyue (r222100), the type for all subscripts in a coupled group need to be the same since constraints from one subscript may be propagated to another during testing. During testing, new SCEVs may be created and the operands for these need to be the same.
This patch extends unifySubscriptType() to work on lists of subscript pairs, ensuring a common extended type for all of them.

REPOSITORY
  rL LLVM

http://reviews.llvm.org/D9698

Files:
  include/llvm/Analysis/DependenceAnalysis.h
  lib/Analysis/DependenceAnalysis.cpp
  test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D9698.25563.patch
Type: text/x-patch
Size: 8758 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150512/9d639b7f/attachment.bin>