Написание простой посадкой для очистки на llvm

Я создал базовую функцию Foo1, которая вызывает другой Bar2 через invoke. Первой инструкцией в базовом блоке очистки разматывания должна быть посадочная площадка:

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 может вызывать вызовы С++-функций, которые сами бросают (или реконструируют существующее исключение)

ОТВЕТЫ

Ответ 1

Я признаю, что у меня мало опыта здесь, но вы видели пример демонстрационного кода исключения? Кажется, он содержит точно такую ​​последовательность, которую вы надеетесь найти.

В принципе, вы начинаете с создания личности, чтобы вести себя как на С++:

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, из которого сделаны эти сегменты кода, содержит более полную последовательность; в частности, он показывает, как проверять корень типа пойманного исключения и входить в конкретный блок - ваш код очистки - когда он что-то соответствует:

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);

Наконец, еще один пример, наряду с пояснениями, доступен в сообщении блога, в котором представлен новый механизм обработки исключений.