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 инструкций, все в порядке. Как я могу предсказать / проверить и избежать этих ошибок?