[LLVMdev] SSA for memory objects

Tyler Denniston tyler at csail.mit.edu
Sun Oct 19 08:32:31 PDT 2014


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:


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.



More information about the llvm-dev mailing list