<div dir="ltr">I looked into this back when we were working on Windows EH around four years ago, and at the time, so far as I could tell, no, nothing depends on reg2mem. I asked Dan Gohman about it at the time, and he said that essentially SSAUpdater was introduced and rolled out across the codebase to address these CFG manipulation use cases properly.<div><br></div><div>I believe there may exist passes that call into reg2mem helper functions to demote specific values into memory across certain operations such as setjmp, for example. Parts of the code may still be in use, but IMO the pass can be deleted.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Jan 16, 2022 at 5:10 AM Russell Wallace via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">According to the documentation,<div><br></div><div>> This file demotes all registers to memory references. It is intended to be the inverse of mem2reg. By converting to load instructions, the only values live across basic blocks are alloca instructions and load instructions before phi nodes. It is intended that this should make CFG hacking much easier. To make later hacking easier, the entry block is split into two, such that all introduced alloca instructions (and nothing else) are in the entry block.</div><div><br></div><div>It does make sense that converting everything back to memory references, would make CFG hacking easier. For example, simplifycfg would have an easier job if it requires reg2mem to have been run first.</div><div><br></div><div>Does simplifycfg, or any other pass, actually have a 'reg2mem must have been run first' dependency?</div></div>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div>