[llvm-bugs] [Bug 33761] New: CompareSCEVComplexity(): Assertion `DT.dominates(RHead, LHead) && "No dominance between recurrences used by one SCEV?"' failed.

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=33761

            Bug ID: 33761
           Summary: CompareSCEVComplexity(): Assertion
                    `DT.dominates(RHead, LHead) && "No dominance between
                    recurrences used by one SCEV?"' failed.
           Product: libraries
           Version: trunk
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Global Analyses
          Assignee: unassignedbugs at nondot.org
          Reporter: nunoplopes at sapo.pt
                CC: efriedma at codeaurora.org, llvm-bugs at lists.llvm.org,
                    sanjoy at playingwithpointers.com

Created attachment 18783
  --> https://bugs.llvm.org/attachment.cgi?id=18783&action=edit
IR

The bug should be in SCEV not in the alias analysis.

$ opt -S -scev-aa -print-alias-sets a.ll

opt: lib/Analysis/ScalarEvolution.cpp:648: int
CompareSCEVComplexity(llvm::SmallSet<std::pair<const llvm::SCEV*, const
llvm::SCEV*>, 8u>&, const llvm::LoopInfo*, const llvm::SCEV*, const
llvm::SCEV*, llvm::DominatorTree&, unsigned int): Assertion
`DT.dominates(RHead, LHead) && "No dominance between recurrences used by one
SCEV?"' failed.

#8 0x000056535aa00c00 CompareSCEVComplexity(llvm::SmallSet<std::pair<llvm::SCEV
const*, llvm::SCEV const*>, 8u, std::less<std::pair<llvm::SCEV const*,
llvm::SCEV const*> > >&, llvm::LoopInfo const*, llvm::SCEV const*, llvm::SCEV
const*, llvm::DominatorTree&, unsigned int)
#9 0x000056535aa06e74 GroupByComplexity(llvm::SmallVectorImpl<llvm::SCEV
const*>&, llvm::LoopInfo*, llvm::DominatorTree&)
#10 0x000056535aa18daf
llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&,
llvm::SCEV::NoWrapFlags, unsigned int)
#11 0x000056535aa1b03b llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*,
llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)
#12 0x000056535aa1ffd4 llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*,
llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)
#13 0x000056535aa3436a llvm::SCEVAAResult::alias(llvm::MemoryLocation const&,
llvm::MemoryLocation const&)
#14 0x000056535a8a5cb8 llvm::AAResults::alias(llvm::MemoryLocation const&,
llvm::MemoryLocation const&)
#15 0x000056535a8c2834 llvm::BasicAAResult::aliasCheck(llvm::Value const*,
unsigned long, llvm::AAMDNodes, llvm::Value const*, unsigned long,
llvm::AAMDNodes, llvm::Value const*, llvm::Value const*)
#16 0x000056535a8c3d62 llvm::BasicAAResult::alias(llvm::MemoryLocation const&,
llvm::MemoryLocation const&)
#17 0x000056535a8a5cb8 llvm::AAResults::alias(llvm::MemoryLocation const&,
llvm::MemoryLocation const&)
#18 0x000056535a8b3262 llvm::AliasSet::aliasesPointer(llvm::Value const*,
unsigned long, llvm::AAMDNodes const&, llvm::AAResults&) const
#19 0x000056535a8b6500
llvm::AliasSetTracker::mergeAliasSetsForPointer(llvm::Value const*, unsigned
long, llvm::AAMDNodes const&)
#20 0x000056535a8b74b3
llvm::AliasSetTracker::getAliasSetForPointer(llvm::Value*, unsigned long,
llvm::AAMDNodes const&)
#21 0x000056535a8b8cf1 llvm::AliasSetTracker::addPointer(llvm::Value*, unsigned
long, llvm::AAMDNodes const&, llvm::AliasSet::AccessLattice)
#22 0x000056535a8b8fa1 llvm::AliasSetTracker::add(llvm::StoreInst*)
#23 0x000056535a8ba417 (anonymous
namespace)::AliasSetPrinter::runOnFunction(llvm::Function&)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20170712/e6e2328a/attachment.html>