<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Arial,Helvetica,sans-serif;" dir="ltr">

<p>Thanks for the suggestion. There was a little more required because just putting assert would remove the udiv which was the problem.</p>

<p>I had to create a for loop which will look for udiv in the function and then llvm_unreachable until udiv is there and then bugpoint on that.</p>

<p><br>

</p>

<p><br>

</p>

<p><br>

</p>

-Aditya<br>

<br>

<div style="color: rgb(0, 0, 0);">

<hr tabindex="-1" style="display:inline-block; width:98%">

<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>From:</b> Daniel Berlin <dberlin@dberlin.org><br>

<b>Sent:</b> Saturday, April 29, 2017 8:39 PM<br>

<b>To:</b> reviews+D32674+public+1b3c0405cfceb398@reviews.llvm.org<br>

<b>Cc:</b> Aditya Kumar; Philip Reames; Davide Italiano; Vedant Kumar; Eli Friedman; Sebastian Pop; Michael Zolotukhin; llvm-commits<br>

<b>Subject:</b> Re: [PATCH] D32674: [LoopIdiom] PR32811 check for safety while expanding</font>

<div> </div>

</div>

<div>

<div dir="ltr">Yes, just make the isSafeToExpand an assert and bugpoint it, and it should give you something much smaller.

<div><br>

</div>

</div>

<div class="gmail_extra"><br>

<div class="gmail_quote">On Sat, Apr 29, 2017 at 7:26 PM, Davide Italiano via Phabricator

<span dir="ltr"><<a href="mailto:reviews@reviews.llvm.org" target="_blank">reviews@reviews.llvm.org</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex; border-left:1px #ccc solid; padding-left:1ex">

davide added inline comments.<br>

<br>

<br>

================<br>

Comment at: test/Transforms/LoopIdiom/<wbr>unsafe.ll:1-7<br>

<span class="">+; RUN: opt -S < %s -loop-idiom | FileCheck %s<br>

+; CHECK-NOT: memset<br>

+; check that memset is not generated (for assignment in for.body5) because that will result<br>

+; in udiv hoisted out of the loop by the SCEV Expander<br>

+; TODO: ideally we should be able to generate memset<br>

+; if SCEV expander is taught to generate the dependencies<br>

+; at the right point.<br>

</span>----------------<br>

I'm under the impression this test can be greatly reduced.<br>

<br>

<br>

<a href="https://reviews.llvm.org/D32674" rel="noreferrer" target="_blank">https://reviews.llvm.org/<wbr>D32674</a><br>

<br>

<br>

<br>

</blockquote>

</div>

<br>

</div>

</div>

</div>

</div>

</body>

</html>