LLVM: инструкция не доминирует над всеми видами использования

m разбивая все базовые блоки с минимальным количеством инструкций (обычно 3-5):

llvm::SplitBlock(BasicBlock, &*BasicBlockiter, Pass);

и пытается получить объектный файл от ИК

llc -filetype=obj 2.ll

Я получил следующие ошибки:

Instruction does not dominate all uses!
  %1 = alloca i32
  %mul = load i32* %1
Instruction does not dominate all uses!
  %1 = alloca i32
  %99 = load i32* %1

а также

While deleting: i32 %
Use still stuck around after Def is destroyed:  %var = alloca i32
Assertion failed: use_empty() && "Uses remain when a value is destroyed!"

а также

error: expected instruction opcode
invoke.cont2:                                     ; preds = %main_block, %invoke
.cont

ИК:

  invoke.cont2:                                     ; preds = %main_block, %invoke.cont
  %call4 = invoke i32 @_ZStorSt13_Ios_OpenmodeS_(i32 8, i32 16)
          to label %invoke.cont3 unwind label %lpad1
  store i32 %call4, i32* %var4

Я думаю, что после разбиения инструкции расположены в разных основных блоках. Если я разделю блок на 10-15 инструкций, все в порядке. Как я могу предсказать / проверить и избежать этих ошибок?

Ответы на вопрос(1)

Ваш ответ на вопрос