<div dir="ltr"><div>Hi Michael,<br><br>I have a similar patch to fix this here:<br><a href="http://reviews.llvm.org/D6200">http://reviews.llvm.org/D6200</a><br><br>Based on this newer bug report:<br><a href="http://llvm.org/bugs/show_bug.cgi?id=21409">http://llvm.org/bugs/show_bug.cgi?id=21409</a><br><br></div>How does your change to the prologue check affect the transform? Can you post example code with and without that change? I minimized the test case in my patch, so it might be easier to explain using that as the example code.<br><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Nov 19, 2014 at 6:36 PM, Michael Zolotukhin <span dir="ltr"><<a href="mailto:mzolotukhin@apple.com" target="_blank">mzolotukhin@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">Hi,<div><br></div><div>This patch fixes an issue with possible integer overflow that might be caused by LoopUnroll. The problem was reported here: [1], and than it was partially solved (see [2]), but not completely.</div><div><br></div><div>This fix aims the following issue in LoopUnroll pass: currently LoopUnroll generates a prologue loop before the main loop body to execute first N%UnrollFactor iterations. When UnrollFactor is 2, then this loop performs a single iteration, and thus its back-edge is optimized away, and the loop actually becomes just a linear code. </div><div><br></div><div>That would work fine, but it turns out that we also want to use this un-unrolled loop as a last resort if for some reason we can’t use unrolled loop. One of such reasons is possible trip-count overflow.</div><div><br></div><div>The attached patch makes the condition when we fully unroll the prologue more strict, and thusly fix the issue in question.</div><div><br></div><div>Does it look ok?</div><div><br></div><div></div></div><br><div style="word-wrap:break-word"><div></div><div><br></div><div>Thanks,</div><div>Michael</div><div><br></div><div>[1]: <a href="http://stackoverflow.com/questions/23838661/why-is-clang-optimizing-this-code-out" target="_blank">http://stackoverflow.com/questions/23838661/why-is-clang-optimizing-this-code-out</a></div><div>[2]: <a href="http://llvm.org/bugs/show_bug.cgi?id=19846" target="_blank">http://llvm.org/bugs/show_bug.cgi?id=19846</a></div><div><br></div></div><br>_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
<br></blockquote></div><br></div>