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

[Vaivaswatha Nagaraj]

> I may be missing something. Why not calling `unifySubscriptType(Pairs[SJ])`


here? Do we have to unify the subscript types across the entire group?
Thats right. All subscripts across the entire group need to have the same
type. This is because when testing coupled groups, the information obtained
by testing one subscript (constraints) may be propagated to another
subscript in the group. These constraints are used when testing the other
subscript, and at this point, different SCEVs may be created, all of which
need to have the same operand type.

So in short, its not just within a pair, but also across pairs in a coupled
group that the type must match. Hence the extension of unifySubscriptType().

- Vaivaswatha


REPOSITORY
  rL LLVM

http://reviews.llvm.org/D9698

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/