We are planning to implement an alias analysis for a C compiler
backend (LLVM), because e.g. for VLIW architectures, this is our main
performance limitation.

Could I ask which alias analysis algorithm you would recommend? I
knoiw some older algorithms, but I am really not an expert on alias
analysis, so I would like to ask here. Regarding the scalability, it
ok for us, if the algorithm would run e.g. 1 hour for a 100 KLOC
application.