[LLVMdev] SSA for memory objects

[Tyler Denniston]

Hello,

I'm looking to learn more about what is available for memory  
versioning or inducing some kind of SSA for memory objects. I found  
this page:

   http://llvm.org/docs/tutorial/OCamlLangImpl7.html#memory-in-llvm

Which says: "[LLVM] does not require (or permit) memory objects to be  
in SSA form.... In LLVM, instead of encoding dataflow analysis of  
memory into the LLVM IR, it is handled with Analysis Passes which are  
computed on demand."

However, there is no mention of which analyses provide this. I also  
haven't been able to turn up much in the way of documentation or  
examples, so I'm grateful for any additional pointers.

Thanks,

Tyler