3

我有以下情况：

       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 ]

我怎样才能解决这个问题？

4

1 回答 1

3

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）的值需要是多少，所以它需要放置在基本块组合的边缘。

于 2015-01-19T22:47:18.607 回答