llvmでは、負荷に関するallocaの最後のstoreinstを取得することは可能ですか？

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

ロード命令では、最新のストアへのポインタを取得できますか？

私はこれが正確なllvm IRではないことを知っています。

店舗が荷物と同じ基本ブロックにあるとしますか？ – sepp2k

必ずしもそうではありませんが、それはスタートになります。 –

同じ基本ブロックにない場合は、通常、ロードに達した時点で最新の可能性のあるストアが複数存在します。それが私が尋ねた理由です。 – sepp2k

非常に素朴な方法は、オペランド値

Value* llvm::LoadInst::getPointerOperand()

とを得ることになるバック反復することを探して、あなたのコードを。

しかし、私はDominance Analysisがあなたにこのような情報を与えると思います。

2017-03-06 13:54:41

答えて