Displaying 1 result from an estimated 1 matches for "unconditional_branch".
2018 May 16
0
Bug in TailDuplicator?
...implicit fall-through.
Suppose you have the following blocks
BB#1:
Predecessors according to CFG: BB#2
...
conditional_branch <BB#3>
< implicit fall-through to BB#2 >
Successors according to CFG: BB#2 BB#3
BB#2:
Predecessors according to CFG: BB#1 BB#0
...
unconditional_branch <BB#1>
Successors according to CFG: BB#1
BB#3:
Predecessors according to CFG: BB#1
...
It duplicates BB#1 into BB#2 but misses out the branch that goes back up:
BB#2:
Predecessors according to CFG: BB#1 BB#0
<BB#2 instructions>
<BB#1 instructions>
conditio...