0

在 C 程序中如何计算数组的总数?

LLVM IR 中的数组声明对应于操作的alloca类型。所以

int a[10]; 

对应于

%a = alloca [10 x i32], align 4

在 LLVM IR 中。

但我也注意到

 int j = 0;

也对应一个 alloca 指令

 %j = alloca i32, align 4

那么如何计算只对应数组的 alloca 指令的数量呢?

编辑:

  for (Function::iterator i = F.begin(), e = F.end(); i != e; ++i)
  {
      for (BasicBlock::iterator ii =(*i).begin(), ii_e = (*i).end(); ii != ii_e; ++ii) 
      {
           Instruction *n = dyn_cast<Instruction>(&*ii);
           for( int num = 0; num < n->getNumOperands(); ++num)  
            if(isa<ArrayType>(n->getOperand(num)->getType()))
        {
              // doesn't work
          errs()<<"yayayayay Array\n";
        }
       }
   }
4

2 回答 2

3

AllocaInst有公共方法isArrayAllocation()。您可以使用它来计算仅对应于数组的 alloca 指令的数量。

for (Function::iterator BB = F.begin(), BE = F.end(); BB != BE; ++BB)
  for (BasicBlock::iterator II = BB->begin(), IE = BB->end(); II != IE; ++II)
    if (AllocaInst *AI = dyn_cast<AllocaInst>(II))
      if (AI->isArrayAllocation())
        errs() << "Alloca of array is found!\n";
于 2012-08-20T18:42:29.697 回答
2

打开LLVM 演示页面并编译以下代码

int main(int argc, char **argv) {
  int a[10];
  return 0;
}

到 LLVM C++ API 调用。

这是如何a创建的:

AllocaInst* ptr_a = new AllocaInst(ArrayTy_6, "a", label_9);

哪里ArrayTy_6是:

ArrayType* ArrayTy_6 = ArrayType::get(IntegerType::get(mod->getContext(), 32), 10);

因此,要确定alloca您正在查看的指令是否正在定义数组,只需执行isa<ArrayType>()它的第一个参数即可。

有关更多信息,请参阅LLVM 文档

于 2012-08-20T07:51:07.890 回答