[LLVMbugs] [Bug 1539] NEW: passmanger assertion on -analyze -indvars

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Wed Jul 4 16:06:15 PDT 2007


           Summary: passmanger assertion on -analyze -indvars
           Product: libraries
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Core LLVM classes
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: nicholas at mxc.ca

This works on any bytecode:

$ opt -debug-pass=Structure -analyze -indvars b.bc -disable-output
Pass Arguments:  -domtree -loops -loopsimplify -lcssa -scalar-evolution -indvars
-domtree -verify
Target Data Layout
  ModulePass Manager
    FunctionPass Manager
      Dominator Tree Construction
      Natural Loop Construction
      Canonicalize natural loops
      Loop-Closed SSA Form Pass
      Scalar Evolution Analysis
      Loop Pass Manager
        Canonicalize Induction Variables
--        Canonicalize Induction Variables
--      Loop-Closed SSA Form Pass
--      Canonicalize natural loops
--      Natural Loop Construction
--      Dominator Tree Construction
--      Scalar Evolution Analysis
    'Pass' Printer
--    'Pass' Printer
    FunctionPass Manager
      Dominator Tree Construction
      Module Verifier
--      Module Verifier
--      Dominator Tree Construction
Printing analysis 'Canonicalize Induction Variables':
opt: /home/nicholas/llvm-commit/include/llvm/PassAnalysisSupport.h:193:
AnalysisType& llvm::Pass::getAnalysisID(const llvm::PassInfo*) const [with
AnalysisType = llvm::Pass]: Assertion `ResultPass && "getAnalysis*() called on
an analysis that was not " "'required' by pass!"' failed.
llvm-commit/Debug/bin/opt((anonymous namespace)::PrintStackTrace()+0x1a)[0x86599c6]

The backtrace is this:

Program received signal SIGABRT, Aborted.
[Switching to Thread -137570608 (LWP 14170)]
0xffffe405 in __kernel_vsyscall ()
(gdb) bt
#0  0xffffe405 in __kernel_vsyscall ()
#1  0xf7cf8d60 in raise () from /lib/i686/cmov/libc.so.6
#2  0xf7cfa5b1 in abort () from /lib/i686/cmov/libc.so.6
#3  0xf7cf242b in __assert_fail () from /lib/i686/cmov/libc.so.6
#4  0x083820aa in llvm::Pass::getAnalysisID<llvm::Pass> (this=0x872b8a0, 
    at /home/nicholas/llvm-commit/include/llvm/PassAnalysisSupport.h:191
#5  0x08384c91 in (anonymous namespace)::ModulePassPrinter::runOnModule (
    this=0x872b8a0, M=@0x8729798) at opt.cpp:138
#6  0x085f350f in llvm::MPPassManager::runOnModule (this=0x87290f8, 
    M=@0x8729798) at PassManager.cpp:1208
#7  0x085f36dc in llvm::PassManagerImpl::run (this=0x8728f08, M=@0x8729798)
    at PassManager.cpp:1281
#8  0x085f372e in llvm::PassManager::run (this=0xff9bd108, M=@0x8729798)
    at PassManager.cpp:1313
#9  0x0837e141 in main (argc=5, argv=0xff9bd304) at opt.cpp:397

This is the same assertion as PR1503 but an entirely different backtrace. They
may or may not be the same problem.

Also, "N4llvm23FunctionPassManagerImplE" should be fixed.

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.

More information about the llvm-bugs mailing list