<div dir="auto"><div>Hi Florian,</div><div dir="auto"><br></div><div dir="auto">> <span style="font-family:sans-serif">I'd also like to lift the post-domination requirement for cases where we can prove that an overriding store on all paths to the exit/other reads.</span><br><br>Could you provide an example of what this means? It's unclear to me.<br><br>Bryant<br><br><div class="gmail_quote" dir="auto"><div dir="ltr">On Fri, Dec 6, 2019, 5:43 AM Florian Hahn via Phabricator <<a href="mailto:reviews@reviews.llvm.org">reviews@reviews.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">fhahn added a comment.<br>
Herald added a subscriber: asbirlea.<br>
Herald added a project: LLVM.<br>
<br>
Hi!<br>
<br>
I would be interested giving dead store elimination using MemorySSA another push. We've hit plenty DSE limitations especially together with `-ftrivial-auto-var-init` and I think modernizing DSE to use MemorySSA will help us to improve the situation.<br>
<br>
@rnk, @dmgreen are you still interested in pushing for DSE + MSSA? Otherwise I would be happy to look into that. I think this patch is a great foundation and I think it be possible to break it up into a few distinct parts, starting with just replacing completely overwritten stores and adding additional cases as follow ups. I also have a few potential simplifications in mind I'd like to try. I rebased the patch and I tried to build SPEC2006/MultiSource tests, but it does not get very far without crashing. Again, my main goal would be to break it up into more manageable pieces :)<br>
<br>
Looking a bit further ahead, I'd also like to lift the post-domination requirement for cases where we can prove that an overriding store on all paths to the exit/other reads.<br>
<br>
Please let me know what you think!<br>
<br>
<br>
CHANGES SINCE LAST ACTION<br>
  <a href="https://reviews.llvm.org/D40480/new/" rel="noreferrer noreferrer" target="_blank">https://reviews.llvm.org/D40480/new/</a><br>
<br>
<a href="https://reviews.llvm.org/D40480" rel="noreferrer noreferrer" target="_blank">https://reviews.llvm.org/D40480</a><br>
<br>
<br>
<br>
</blockquote></div></div></div>