I've updated the document describing Memory SSA. The section on mixing static and dynamic partitioning is still being implemented, so it's a bit sparse on details and things will probably shift somewhat before I'm done.
http://gcc.gnu.org/wiki/mem-ssa Feedback welcome. Thanks.
