Question

我用最少的指令（通常是3-5）分割所有基本块：

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

并尝试从IR获取目标文件

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

IR：

  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条指令，一切正常。如何预测/检查并避免此错误？

Answer 1

在你的第一个版本中，你有一个终止符指令之后的指令，这是不正确的，因为这个指令永远不会被执行。

在你的第二个版本中（这里没有提到，请使用stackoverflow而不是私人电子邮件......）在定义它之前使用％调用（在商店中）（％call = ...），所以显然你的定义确实如此不是每次使用之前...... 但正如我所说，商店不应该在调用之后，因为调用是一个终结者。

解决方案是将您的商店放在下一个基本块中（您可以创建一个新的）：

%invoke.cont
  %call = invoke i8* @_ZNKSs5c_strEv(%"class.std::basic_string"* @loadedFile)
          to label %invoke.cont2_before unwind label %lpad1

invoke.cont2_before:                                     ; preds = %invoke.cont
  store i8* %call, i8** %reduced_var
  br label %invoke.cont2

invoke.cont2:                                     ; preds = %main_block, %invoke.cont2_before
  %call4 = invoke i32 @_ZStorSt13_Ios_OpenmodeS_(i32 8, i32 16)
          to label %invoke.cont3_before unwind label %lpad1

等...

LLVM：指令并不支配所有用途

1 个答案: