我想知道如何在LLVM中获得GetElementInstAllocaInst的左值。

IR如下:

%b15 = **getelementptr** inbounds %class.M* %c, i32 0, i32 2
%b16 = getelementptr inbounds %class.B* %b15, i32 0, i32 1
%6 = **load** i32* %b16, align 4
%add17 = add nsw i32 %6, 10
%b18 = getelementptr inbounds %class.M* %c, i32 0, i32 2
%b19 = getelementptr inbounds %class.B* %b18, i32 0, i32 1


我需要分析IR。我想知道是否有任何方法可以获取GetElementInstAllocaInstLoadIns的左值,因为我必须分析所有寄存器值之间的关系。

希望能为您提供帮助!



详细说明

实际上,我想跟踪所有对象的存储计数和负载计数。

为此,我遍历所有说明以获取加载和存储信息。但是在LLVM IR中作为跟随者,前3条指令仅表示%class.M* %c的加载操作。

简而言之,对于像GetElementPtrInst这样的%b16 = getelementptr inbounds %class.B* %b15, i32 0, i32 1,我想得出一个结论,即%b16属于%b15

%b15 = getelementptr inbounds %class.M* %c, i32 0, i32 2
%b16 = getelementptr inbounds %class.B* %b15, i32 0, i32 1
%6 = load i32* %b16, align 4
%add17 = add nsw i32 %6, 10
%b18 = getelementptr inbounds %class.M* %c, i32 0, i32 2
%b19 = getelementptr inbounds %class.B* %b18, i32 0, i32 1


我遍历所有指令的功能:

virtual bool runOnFunction(Function &F) {
    //errs() << "Begin" << "\n";
    errs() << F.getName() << "\n";
    char OpName[256];
    char OpType[256];
    for (auto &BB : F) {
        for (auto &I : BB) {
           /* if (auto *op = dyn_cast<AllocaInst>(&I)) {
                errs() << "allocaInst" << "\n";
                Value *OpV = I.getOperand(1);

                strcpy(OpName, OpV->getName().str().c_str());
                //get operand type
                auto *type = I.getAllocatedType();
                std::string typestring;
                raw_string_ostream S(typestring);
                type->print(S);
                S.flush();
                strcpy(OpType, typestring.c_str());
                createCallForParameterLine(op, 1, OpName, OpType, OpV);
            }
            else*/ if (auto *op = dyn_cast<StoreInst>(&I)) {
                errs() << "storeInst" << "\n";
                Value *OpV = I.getOperand(1);
                if (OpV->hasName() /*&& OpV->getType()->getTypeID() == 14*/) {
                    strcpy(OpName, OpV->getName().str().c_str());
                    //get operand type
                    auto *type = OpV->getType();
                    std::string typestring;
                    raw_string_ostream S(typestring);
                    type->print(S);
                    type->print(errs());
                    S.flush();
                    strcpy(OpType, typestring.c_str());
                    createCallForParameterLine(op, 1, OpName, OpType, OpV);
                }
            }
            else if (auto *op = dyn_cast<LoadInst>(&I)) {
                errs() << "loadInst" << "\n";
                Value *OpV = I.getOperand(0);
                if (OpV->hasName() /*&& OpV->getType()->getTypeID() == 14*/) {
                    strcpy(OpName, OpV->getName().str().c_str());
                    //get operand type
                    auto *type = OpV->getType();
                    std::string typestring;
                    raw_string_ostream S(typestring);
                    type->print(S);
                    S.flush();
                    strcpy(OpType, typestring.c_str());
                    createCallForParameterLine(op, 2, OpName, OpType, OpV);
                }
            }
        }
    }
}

最佳答案

[编辑以更好地匹配OP'问题]

您可以通过在指令的基础getOperand(0)上调用User来获取任何指令的操作数。

根据特定说明(例如LoadInstGetElementPtrInst),您还有许多其他方法,例如getPointerOperand

这些方法在llvm代码库中的Instructions.h中声明。

无论如何,这将返回一个Value,您可以进行处理。

例如,在:

%b16 = getelementptr inbounds %class.B* %b15, i32 0, i32 1


inst-> getPointerOperand将返回您%b15。如果您需要%b16,则只是您要处理的值。

这是一个代码示例,试图执行您想要的操作[未测试]:

std::map<Value*, Value*> result;
for(auto &BB: F)
{
  for(auto &I: BB)
  {
    switch(I.getOpcode()) {
      case Instruction::GetElementPtr:
        llvm::GetElementPtrInst* gep = llvm::dyn_cast<GetElementPtrInst>(&I);
        result.insert(std::pair<Value*, Value*>(&I, gep->getPointerOperand());
        break;
      //.. TODO other cases
    }
  }
}


然后您可以处理依赖关系图以适当显示名称。

希望这会有所帮助。

关于c++ - 如何在LLVM中获取GetElementInst,AllocaInst或LoadInst的左值?,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/39081419/

10-11 15:29