[LLVMbugs] [Bug 11431] New: SCEVExpander::expandAddRecExprLiterally(const llvm::SCEVAddRecExpr*): Assertion `(!isa<Instruction>(Result) || SE.DT->dominates(cast<Instruction>(Result), Builder.GetInsertPoint())) && "postinc expansion does not dominate use"' failed.

[bugzilla-daemon at llvm.org]

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

             Bug #: 11431
           Summary: SCEVExpander::expandAddRecExprLiterally(const
                    llvm::SCEVAddRecExpr*): Assertion
                    `(!isa<Instruction>(Result) ||
                    SE.DT->dominates(cast<Instruction>(Result),
                    Builder.GetInsertPoint())) && "postinc expansion does
                    not dominate use"' failed.
           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: baldrick at free.fr
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 7643
  --> http://llvm.org/bugs/attachment.cgi?id=7643
testcase .ll

$ llc scev.ll 
llc: llvm/lib/Analysis/ScalarEvolutionExpander.cpp:1130: llvm::Value*
llvm::SCEVExpander::expandAddRecExprLiterally(const llvm::SCEVAddRecExpr*):
Assertion `(!isa<Instruction>(Result) ||
SE.DT->dominates(cast<Instruction>(Result), Builder.GetInsertPoint())) &&
"postinc expansion does not dominate use"' failed.
...
5  libc.so.6 0x00007fde2df835b1 __assert_fail + 241
6  llc       0x0000000000d87398
llvm::SCEVExpander::expandAddRecExprLiterally(llvm::SCEVAddRecExpr const*) +
888
7  llc       0x0000000000d876e5
llvm::SCEVExpander::visitAddRecExpr(llvm::SCEVAddRecExpr const*) + 277
8  llc       0x0000000000d83e0b llvm::SCEVExpander::expand(llvm::SCEV const*) +
379
9  llc       0x0000000000d83ebb llvm::SCEVExpander::expandCodeFor(llvm::SCEV
const*, llvm::Type*) + 43
...

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