Machine-level Memory Dependence

Is anyone working on adding a memory dependence analysis
that works on MachineInstructions? The PseudoSourceValue
code makes reference to some MachineInstruction-level alias
analysis but I can't find it.

I'm seeing the spiller do stupid things and it would be nice
to be able to run a peep that cleans things up. Unfortunately,
I need at least memory dependence information to make it safe
in the simple cases. I need full loop dependence for the general
case but I don't think that's as pressing.

I don't have the bandwidth to write this kind of analysis at the
moment. It's something I have on my long-term TODO list. Just
wondering if anyone else is working on it.