<br><br><div class="gmail_quote">On Wed Nov 12 2014 at 4:44:26 AM Robin Morisset <<a href="mailto:robin.morisset@normalesup.org">robin.morisset@normalesup.org</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
To dberlin: I looked at this article, but they explain well that the reason min-cut is so expensive for PRE is because it must be repeated for each computation in the function (of which there can be 10s of thousand in very large function) and must look at a potentially huge graph. In comparison we only run this twice: once for hwsync and one for lwsync. Furthermore, because the graph is stopped by any memory access (and not just use/kill of some very specific computation as in PRE), I expect each of these runs of min-cut to be quite cheap. I have not had the time to benchmark the compile-time cost of this pass (deadline tomorrow for PLDI..), but in summary I expect it to be small, even for large functions full of fences.<br></blockquote><div><br></div><div>Sounds great. If you get compile time numbers, i'd be really interested them in seeing them.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Thanks for the comments.<br>
<br>
================<br>
Comment at: lib/Target/PowerPC/<u></u>PPCTargetMachine.cpp:184<br>
@@ +183,3 @@<br>
+    // FIXME: breaks a bunch of brittle tests<br>
+    // addPass(<u></u>createCFGSimplificationPass())<u></u>;<br>
+  }<br>
----------------<br>
hfinkel wrote:<br>
> If doing this is generally a good thing, then we should always do it (and on what target would that not be true?).<br>
><br>
> Otherwise, the CFG simplification pass is mostly a wrapper around the SimplifyCFG utility function, and perhaps it should just be called directly from the FencesPRE pass?<br>
><br>
I agree it might be a good thing to run it anyway on all targets, but some tests (at least) on Power contain conditional jumps based on undef, and SimplifyCFG makes a complete mess of them.<br>
<br>
The cleanup is mostly because of requiring BreakCriticalEdges (that I have not found how to do on demand while preserving BlockFrequencyInfo yet), so calling it directly from FencesPRE would not solve the issue.<br>
<br>
<a href="http://reviews.llvm.org/D5758" target="_blank">http://reviews.llvm.org/D5758</a><br>
<br>
<br>
</blockquote></div>