<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>I don't believe we have any good way to model a conditionally
incremented induction variable when the condition is loop varying
and data dependent. This is not exactly a common or interesting
case.<br>
</p>
<p>Just out of curiosity, what do you expect to be able to do with
this loop optimization wise? We could maybe vectorize if we had
bounds information on 'c', but that's about all I see here.</p>
<p>Philip<br>
</p>
<div class="moz-cite-prefix">On 11/6/21 12:44 AM, Bangtian Liu via
llvm-dev wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAC4gZ_bu91YQSU-vYVT4RTRS7nVWqzr5ccYgDQeXWhSsv8Vi8w@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<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>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
LLVM Developers mailing list
<a class="moz-txt-link-abbreviated" href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>
<a class="moz-txt-link-freetext" href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a>
</pre>
</blockquote>
</body>
</html>