[LLVMbugs] [Bug 4238] New: Many passes do not preserve domtree and/ or domfrontier info properly

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Wed May 20 08:25:22 PDT 2009


           Summary: Many passes do not preserve domtree and/or domfrontier
                    info properly
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: baldrick at free.fr
                CC: llvmbugs at cs.uiuc.edu

Making this change in lib/VMCore/PassManager.cpp

-bool VerifyDomInfo = false;
+bool VerifyDomInfo = true;

so it always verifies dominator info, then running "make check" shows
that many transforms are failing to correctly preserve dom info.  The
loop passes are particularly bad, for example "loop-index-split".

Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

More information about the llvm-bugs mailing list