[LLVMbugs] [Bug 14060] New: Infinite Loop in Reassociate

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=14060

             Bug #: 14060
           Summary: Infinite Loop in Reassociate
           Product: new-bugs
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: willdtz at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 9331
  --> http://llvm.org/bugs/attachment.cgi?id=9331
Testcase triggering infinite loop

With the attached reduced testcase, reassociate goes into an infinite loop.

No additional memory is consumed, looks like it just gets stuck in the loop at
Reassociate.cpp:783-789 forever.

Backtrace:

#0  0x000000000068ee60 in (anonymous
namespace)::Reassociate::RewriteExprTree(llvm::BinaryOperator *,
llvm::SmallVectorImpl<<anonymous>::ValueEntry> &) (this=0xf5dc10, I=0xf5cf30,
Ops=...)
    at /home/wdietz2/llvm/32-src/lib/Transforms/Scalar/Reassociate.cpp:784
#1  0x000000000068cad7 in (anonymous
namespace)::Reassociate::ReassociateExpression (this=0xf5dc10, I=0xf5cf30) at
/home/wdietz2/llvm/32-src/lib/Transforms/Scalar/Reassociate.cpp:1670
#2  0x000000000068bbb9 in (anonymous namespace)::Reassociate::OptimizeInst
(this=0xf5dc10, I=0xf5cf30) at
/home/wdietz2/llvm/32-src/lib/Transforms/Scalar/Reassociate.cpp:1596
#3  0x000000000068b03e in (anonymous namespace)::Reassociate::runOnFunction
(this=0xf5dc10, F=...) at
/home/wdietz2/llvm/32-src/lib/Transforms/Scalar/Reassociate.cpp:1684
#4  0x0000000000b6651a in llvm::FPPassManager::runOnFunction (this=0xf5e1b0,
F=...) at /home/wdietz2/llvm/32-src/lib/VMCore/PassManager.cpp:1498
#5  0x0000000000b6681d in llvm::FPPassManager::runOnModule (this=0xf5e1b0,
M=...) at /home/wdietz2/llvm/32-src/lib/VMCore/PassManager.cpp:1518
#6  0x0000000000b66a6d in llvm::MPPassManager::runOnModule (this=0xf4d160,
M=...) at /home/wdietz2/llvm/32-src/lib/VMCore/PassManager.cpp:1572
#7  0x0000000000b670f7 in llvm::PassManagerImpl::run (this=0xf4ce50, M=...) at
/home/wdietz2/llvm/32-src/lib/VMCore/PassManager.cpp:1655
#8  0x0000000000b672d1 in llvm::PassManager::run (this=0x7fffffffcfd8, M=...)
at /home/wdietz2/llvm/32-src/lib/VMCore/PassManager.cpp:1684
#9  0x00000000004ffa99 in main (argc=5, argv=0x7fffffffd1b8) at
/home/wdietz2/llvm/32-src/tools/opt/opt.cpp:819

Happy to provide more debugging info/etc as needed, just let me know.

-- 
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.