<div dir="ltr"><div><p>Hi,</p>
<p>I have the following code as an example:  <br> int j=-1;  <br>for (int i = 0; i < 100; ++i) <br>{       <br>     if (c[i] > 0.) {      <br>              j++;      <br>              e[j] = d[i];   <br> }  }</p>
<p>How can I use LLVM's existing SCEV module to infer that e[j] could be consecutive if consecutive iterations' conditions are true?</p>
<p>Bests,</p>
<p>Bangtian</p><br clear="all"><div><br></div>-- <br><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><i><span style="color:rgb(153,153,153)"><span style="font-family:georgia,serif"><b><font size="2">Bangtian Liu   刘 邦天 </font></b></span></span></i></div><div><i><span style="color:rgb(153,153,153)"><span style="font-family:georgia,serif"><b><font size="2">CS PhD Candidate<br></font></b></span></span></i></div><div><div><br></div></div><div><i><span style="color:rgb(153,153,153)"><span style="font-family:georgia,serif"><b><font size="2">Department of Computer Science </font><br></b></span><font size="2"><font face="tahoma, sans-serif"><b><span style="font-family:georgia,serif">University of Toronto<br>Pratt 265C, 6 King's College Road, Toronto, ON M5S 3G4, Canada</span></b></font></font></span></i></div></div></div></div></div></div></div></div></div></div></div></div></div>