[llvm-commits] Debug-check in SSAUpdater detecting PHI/CFG missmatches
ludw1g.m3i3r at gmail.com
Sat Jul 16 04:56:20 CDT 2011
This patch adds a debug-check to SSAUpdater, that verifies that the
predecessor list (as derived from the CFG) matches the predecessor list
in the PHI-nodes.
For performance reasons the SSAUpdater uses the incoming-edges of a
PHI-Node (if one exists) to determine the predecessors of a basic-block.
When the PHI-nodes incoming edges differ from the CFG, subsequent calls
to SSAUpdater::GetValue...() may crash.
This occurs only when the IR is currently invalid, of course.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 1270 bytes
Desc: not available
Url : http://lists.cs.uiuc.edu/pipermail/llvm-commits/attachments/20110716/55f9a781/attachment.bin
More information about the llvm-commits