I'm not planning to check this in at the moment, but feedback is very welcome, in particular how this affects performance.
The feedback obtains here will guide the next steps towards enabling this.
This patch enables the use of MemorySSA in the loop pass manager.
Passes that currently use MemorySSA:
Passes that use MemorySSA after this patch:
Loop passes that update MemorySSA (and do not use it yet, but could use it after this patch):
Loop passes that do *not* update MemorySSA:
Function passes that may be desirable to update MemorySSA: