c++ - 在 llvm 上编写一个简单的清理着陆板

Question

我创建了一个基本函数Foo1调用另一个 Bar2通过调用。 unwind cleanup 基本 block 中的第一条指令必须是着陆台:

void bar2()
{ 
  throw;
}
llvm::Function* Bar2Fn = llvm::Function::Create( voidSig , &bar2);
engine->addGlobalMapping( Bar2Fn, (void*)&bar2 );
llvm::InvokeInst* inv = builder.CreateInvoke( Bar2Fn , continueBlock, unwindBlock, llvmArgValues , "invoke");
builder.CreateBr(continueBlock);
builder.SetInsertPoint(unwindBlock);
llvm::LandingPadInst* landPadInst = builder.CreateLandingPad(...);
//add some cleanup code? where??

我真的不知道我需要在 CreateLandingPad 的参数之间添加什么为了获得一个基本的着陆台，它为当前 Foo1 调用自定义清理代码堆叠对象。 Bar2可能会通过调用自身抛出(或重新抛出现有异常)的 c++ 函数来抛出

Answer 1

我承认我在这里没有什么经验，但是你看过异常演示代码示例吗？它似乎包含您希望找到的那种序列。

基本上，您首先需要将个性设置为在 C++ 中的行为:

llvm::Function *personality = module.getFunction("__gxx_personality_v0");

然后您创建具有该个性的登陆板并定义其类型:

llvm::LandingPadInst *caughtResult = 
  builder.CreateLandingPad(ourCaughtResultType,
                           personality,
                           numExceptionsToCatch,
                           "landingPad");

设置要捕获的类型:

for (unsigned i = 0; i < numExceptionsToCatch; ++i) {
  // Set up type infos to be caught
  caughtResult->addClause(module.getGlobalVariable(
                          ourTypeInfoNames[exceptionTypesToCatch[i]]));
}

并表示它是一个清理处理程序:

caughtResult->setCleanup(true);

就是这样，我相信；现在你可以得到异常本身:

llvm::Value *unwindException = builder.CreateExtractValue(caughtResult, 0);

ExceptionDemo.cpp从中获取这些代码段的文件包含更完整的序列；具体来说，它展示了如何检查捕获的异常的类型根并分支到特定 block - 您的清理代码 - 当它匹配某些内容时:

llvm::Value *retTypeInfoIndex = builder.CreateExtractValue(caughtResult, 1);

// FIXME: Redundant storage which, beyond utilizing value of
//        caughtResultStore for unwindException storage, may be alleviated
//        altogether with a block rearrangement
builder.CreateStore(caughtResult, caughtResultStorage);
builder.CreateStore(unwindException, exceptionStorage);
builder.CreateStore(ourExceptionThrownState, exceptionCaughtFlag);

// Retrieve exception_class member from thrown exception
// (_Unwind_Exception instance). This member tells us whether or not
// the exception is foreign.
llvm::Value *unwindExceptionClass =
  builder.CreateLoad(builder.CreateStructGEP(
           builder.CreatePointerCast(unwindException,
                                     ourUnwindExceptionType->getPointerTo()),
                                             0));

// Branch to the externalExceptionBlock if the exception is foreign or
// to a catch router if not. Either way the finally block will be run.
builder.CreateCondBr(builder.CreateICmpEQ(unwindExceptionClass,
                          llvm::ConstantInt::get(builder.getInt64Ty(),
                                                 ourBaseExceptionClass)),
                     exceptionRouteBlock,
                     externalExceptionBlock);

最后，提供了一个附加示例以及说明on the blog post that introduced the new exception handling mechanism .