将适当的 PHI 节点添加到 llvm-ir
Adding appropriate PHI Nodes to llvm-ir
我有以下场景：
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 ...
省略号是为了隐藏不相关的细节，我也重命名了块，但核心逻辑应该在那里。如您所见，我已使用适当的 replaceAllUsesWith() 调用将 %shl 替换为 PHINode。
但是，现在我收到以下新错误：
PHINode should have one entry for each predecessor of its parent basic block!
%phi_nlcs = phi i32 [ %shl, %extra_l_diff ], [ 0, %for.cond ]
我该如何解决这个问题？
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）的值需要是什么，因此需要将其放置在基本块组合的边缘。
我有以下场景：
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 ...
省略号是为了隐藏不相关的细节，我也重命名了块，但核心逻辑应该在那里。如您所见，我已使用适当的 replaceAllUsesWith() 调用将 %shl 替换为 PHINode。
但是，现在我收到以下新错误：
PHINode should have one entry for each predecessor of its parent basic block!
%phi_nlcs = phi i32 [ %shl, %extra_l_diff ], [ 0, %for.cond ]
我该如何解决这个问题？
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）的值需要是什么，因此需要将其放置在基本块组合的边缘。