在llvm中，是否可以针对加载获取alloca的最后一个storeinst？

Question

E.g。如果我有以下代码：

alloca a;
store 3, a;
store 5, a;
%x = load a

在给定加载指令的情况下，是否可以获得指向最新商店的指针？

我知道这不是确切的llvm IR。

Answer 1

一种非常天真的方式是获取操作数值

Value* llvm::LoadInst::getPointerOperand()

并反向搜索代码。

但我认为Dominance Analysis会为您提供此类信息。