<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>