<div dir="ltr"><span style="font-size:13px">>I may be missing something. Why not calling `unifySubscriptType(Pairs[SJ])</span><span style="font-size:13px">` here? Do we have to unify the subscript types across the entire group?</span><br style="font-size:13px">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.<br><br>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().</div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature"><div dir="ltr">  - Vaivaswatha<br></div></div></div>
<br><div class="gmail_quote">On Wed, May 13, 2015 at 5:34 AM, Jingyue Wu <span dir="ltr"><<a href="mailto:jingyue@google.com" target="_blank">jingyue@google.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">REPOSITORY<br>
  rL LLVM<br>
<br>
================<br>
Comment at: lib/Analysis/DependenceAnalysis.cpp:3599<br>
@@ -3564,2 +3598,3 @@<br>
           Mivs.set(SJ);<br>
+        PairsInGroup.push_back(&Pair[SJ]);<br>
       }<br>
----------------<br>
I may be missing something. Why not calling `unifySubscriptType(Pairs[SJ])` here? Do we have to unify the subscript types across the entire group?<br>
<br>
<a href="http://reviews.llvm.org/D9698" target="_blank">http://reviews.llvm.org/D9698</a><br>
<br>
EMAIL PREFERENCES<br>
  <a href="http://reviews.llvm.org/settings/panel/emailpreferences/" target="_blank">http://reviews.llvm.org/settings/panel/emailpreferences/</a><br>
<br>
<br>
</blockquote></div><br></div>