[LLVMdev] SSA for memory objects
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
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