[LLVMbugs] [Bug 18589] New: Different pass sequences can cause LICM to assert during doFinalization

[bugzilla-daemon at llvm.org]

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

            Bug ID: 18589
           Summary: Different pass sequences can cause LICM to assert
                    during doFinalization
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: chandlerc at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

% ./bin/opt -basicaa -loop-rotate -licm -instcombine -scalar-evolution
-loop-simplify -licm -indvars -loop-unroll -debug-pass=Structure -S
llvm/test/Transforms/LoopSimplify/ashr-crash.ll
Pass Arguments:  -targetlibinfo -datalayout -notti -basictti -x86tti -no-aa
-basicaa -domtree -loops -loop-simplify -lcssa -loop-rotate -licm -instcombine
-scalar-evolution -loop-simplify -licm -lcssa -indvars -loop-unroll -verify
-print-module
Target Library Information
Data Layout
No target information
Target independent code generator's TTI
X86 Target Transform Info
No Alias Analysis (always returns 'may' alias)
Basic Alias Analysis (stateless AA impl)
  ModulePass Manager
    FunctionPass Manager
      Dominator Tree Construction
      Natural Loop Information
      Canonicalize natural loops
      Loop Pass Manager
        Loop-Closed SSA Form Pass
        Rotate Loops
        Loop Invariant Code Motion
      Combine redundant instructions
      Scalar Evolution Analysis
      Canonicalize natural loops
      Loop Pass Manager
        Loop Invariant Code Motion
        Loop-Closed SSA Form Pass
        Induction Variable Simplification
        Unroll loops
      Module Verifier
    Print module to stderr
opt: ../lib/Transforms/Scalar/LICM.cpp:97: virtual bool <anonymous
namespace>::LICM::doFinalization(): Assertion `LoopToAliasSetMap.empty() &&
"Didn't free loop alias sets"' failed.

-- 
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/20140123/2f4baddc/attachment.html>