<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On 18 Feb 2021, at 18:57, Dangeti Tharun kumar <<a href="mailto:cs15mtech11002@iith.ac.in" class="">cs15mtech11002@iith.ac.in</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">Hi Florian,<div class=""><br class=""></div><div class="">Thanks for the reply.</div><div class=""><br class=""></div><div class="">We have tried a condition like this:</div><div class=""><span style="color:rgb(38,50,56);font-family:Roboto,sans-serif;font-size:13px" class=""><b class=""><br class=""></b></span></div><div class=""><span style="color:rgb(38,50,56);font-family:Roboto,sans-serif;font-size:13px" class=""><b class="">if (LAI.getMaxSafeDepDistBytes() == -1ULL && !LAI.canVectorizeMemory()) {</b></span></div><div class=""><span style="color:rgb(38,50,56);font-family:Roboto,sans-serif;font-size:13px" class=""><b class="">  print("Unknown dependences in loop");</b></span></div><div class=""><span style="color:rgb(38,50,56);font-family:Roboto,sans-serif;font-size:13px" class=""><b class="">  return false;</b></span></div><div class=""><span style="color:rgb(38,50,56);font-family:Roboto,sans-serif;font-size:13px" class=""><b class="">}</b></span></div><div class=""><span style="color:rgb(38,50,56);font-family:Roboto,sans-serif;font-size:13px" class=""><b class=""><br class=""></b></span></div><div class=""><span style="color:rgb(38,50,56);font-family:Roboto,sans-serif;font-size:13px" class="">Looks like </span><b class="">LAI.getMaxSafeDepDistBytes() </b>is <b class="">not always </b>capturing the distance for non-vectorizable loops.</div></div></div></blockquote><br class=""></div><div>I think getMaxSafeDepDistBytes should only be used if canVectorizeMemory is true. It sounds like you might be asking LAI questions it isn’t really built for. If you are interested in information about dependences and do not require runtime-check generation, <a href="https://github.com/llvm/llvm-project/blob/main/llvm/include/llvm/Analysis/DependenceAnalysis.h" class="">https://github.com/llvm/llvm-project/blob/main/llvm/include/llvm/Analysis/DependenceAnalysis.h</a> might give you the information you need.</div><br class=""></div></body></html>