<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>SCEV currently does not model vector expressions.  <br>
    </p>
    <p>We could in theory extend SCEV to vector types, and I've given
      that a tiny bit of thought.  At the moment, I'm not convinced that
      such an extension is worthwhile.  Even if worthwhile, it's a very
      substantial piece of work.</p>
    <p>Philip<br>
    </p>
    <div class="moz-cite-prefix">On 11/3/21 6:06 AM, Darshan Bhat via
      llvm-dev wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CAEKnVhTkiE7UrGjsVCSRzVjC0FMj_htXyQHuWiJJxrghRyV+OA@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="ltr">Is it possible to get a meaningful SCEV expression
        on a vector element ?
        <div><br>
        </div>
        <div>I am having a vector and I am extracting an element using
          "extractelement" instruction like below :</div>
        <div> %2 = extractelement <5 x i32> %vecins32, i32 0</div>
        <div><br>
        </div>
        <div>The extracted value will be a scalar. This value is being
          set in each iteration of a loop. I want to see how this value
          is getting incremented.</div>
        <div><br>
        </div>
        <div>Is it possible to run Scalar Evolution analysis on this and
          get a meaningful SCEV expression ?</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>