<div dir="ltr"><div>Hi,</div><div><br></div><div>[Apologies to those receiving this mail twice - used the old list address by accident]</div><div><br></div><div>In LLVM it is currently not possible to write a Module-level pass (a pass that modifies or analyzes multiple MachineFunctions) after DAG formation. This inhibits some optimizations[1] and is something I'd like to see changed.</div><div><br></div><div>The problem is that in the backend, we emit a function at a time, from DAG formation to object emission. So no two MachineFunctions ever exist at any one time. Changing this necessarily means increasing memory usage.</div><div><br></div><div>I've prototyped this change and have measured peak memory usage in the worst case scenario - LTO'ing llc and clang. Without further ado:</div><div><br></div><div>  llvm-lto llc:   before: 1.44GB maximum resident set size</div><div>                  after:  1.68GB (+17%)</div><div><br></div><div>  llvm-lto clang: before: 2.48GB maximum resident set size</div><div>                  after:  3.42GB (+33%)</div><div><br></div><div>The increases are very large. This is worst-case (non-LTO builds would see the peak usage of the backend masked by the peak of the midend) but still - pretty big. Thoughts? Is this completely no-go? is this something that we *just need* to do? Is crippling the backend architecture to keep memory down justified? Is this something we could enable under an option?</div><div><br></div><div>Any input appreciated. I can also provide a proof-of-concept patch for people to test if wanted.</div><div><br></div><div>Cheers,</div><div><br></div><div>James</div><div><br></div><div>[1] A concrete (and the motivating) example is the sharing of constants in constantpools across multiple functions. Two small functions that use the same constant must currently create their own copy of that constant. For many reasons that I'd not like to go into in this thread, we can't implement this *at all* in the current infrastructure.</div><div><br></div></div>