[llvm-commits] [PATCH 3/3] Patch to trigger post dominator bug

Tobias Grosser grosser at fim.uni-passau.de
Wed Jan 6 15:27:19 PST 2010


1. Add assert to trigger the bug.
2. Add a pass that just calls the PDT->dominance() method for every pair of BBS.
   This triggers the assert checking for the post dominance bug.

!!! Not intended to commit as the assert is very expensive.
---
 include/llvm/Analysis/Dominators.h |    2 ++
 lib/Analysis/PostDominators.cpp    |   27 +++++++++++++++++++++++++++
 2 files changed, 29 insertions(+), 0 deletions(-)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0003-Patch-to-trigger-post-dominator-bug.patch
Type: text/x-patch
Size: 1575 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20100107/a11ff312/attachment.bin>


More information about the llvm-commits mailing list