将适当的PHI节点添加到llvm-ir

Question

我有以下情况：

       A
     /   \
     B   C
      \ /
       D
      / \
     E   F
      \ /
      ...

A,B,C,D,E,F都是基本块，|是向下箭头。

现在，在B我会有一些def，比如%mul = ...，后来会在相应的左侧区块E中使用，例如... = %mul ...。我插入了适当的控制流 - 要么只采取左侧分支，要么只采取正确的控制流，问题是我在验证过程中出现Instruction does not dominate all uses错误。

我尝试通过添加PHINode说明来解决此问题，如下所示：

B:                                     ; preds = %A
  %shl = shl ...
  br label %D

C:                                     ; preds = %A
 ...
 br label %D

D:                                      ; preds = %B , %C
 ...
 br i1 %ctrl, label %E, label %F

E:                                    ; preds = %D
  %phi_nlcs = phi i32 [ %shl, %extra_l_diff ], [ 0, %for.cond ]
  %cmp = icmp slt i32 %phi_nlcs, %1
  br label ...

省略号用于隐藏不相关的细节，我也重命名了块，但核心逻辑应该在那里。正如您所看到的，我已使%shl替换PHINode替换replaceAllUsesWith()调用。

但是，现在我收到以下新错误：

PHINode should have one entry for each predecessor of its parent basic block! 
%phi_nlcs = phi i32 [ %shl, %extra_l_diff ], [ 0, %for.cond ]

我该如何解决这个问题？

Answer 1

phi节点需要位于D的开头。

D: 
  %phi_nlcs = phi [%shl, B] [undef, C] ; if we've come from B use %shl, if from C an undef value.
  ...

这是因为phi节点说明了每个主要基本块（B和C）需要的值，因此需要将它放在基本块组合的边缘。