[llvm-dev] Scalar Evolution Analysis

[Bangtian Liu via llvm-dev]

Hi,

I have the following code as an example:
 int j=-1;
for (int i = 0; i < 100; ++i)
{
     if (c[i] > 0.) {
              j++;
              e[j] = d[i];
 }  }

How can I use LLVM's existing SCEV module to infer that e[j] could be
consecutive if consecutive iterations' conditions are true?

Bests,

Bangtian


-- 
*Bangtian Liu   刘 邦天 *

*CS PhD Candidate*



*Department of Computer Science University of TorontoPratt 265C, 6 King's
College Road, Toronto, ON M5S 3G4, Canada*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20211106/24ab4a4c/attachment.html>