LLVM 中的内存别名

问：

有人可以告诉我如何通过 llvm 库提供的方式建立 （在 clang 生成的 IR 文件中）“foo1”不受“foo”的影响：

extern double d[3];

 __attribute__((noinline)) 
double foo1()
 {
  return d[2];
 }

void foo()
 {

  d[1] += foo1();

 }

毋庸置疑，我尝试使用 SSA 派生的功能，但无法获得任何有用的东西。

另外，有人会建议执行 llvm 内存别名分析的代码示例吗？

谢谢

大卫·利夫辛 www.dalsoft.com