[LLVMbugs] [Bug 2011] New: Loop Index Splitting Pass asserts on SPASS

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Loop Index Splitting Pass asserts on SPASS
           Product: libraries
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Loop Optimizer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: evan.cheng at apple.com
                CC: llvmbugs at cs.uiuc.edu


Compile rules-inf.c at -O3:

~/LLVM/install/bin/llvm-gcc -DCLOCK_NO_TIMING -fno-strict-aliasing -w
-I/Volumes/Muggles/LLVM/llvm/projects/llvm-test/MultiSource/Applications/SPASS
-I/U\
sers/echeng/LLVM/llvm/projects/llvm-test/MultiSource/Applications/SPASS
-I/Users/echeng/LLVM/llvm/include
-I/Users/echeng/LLVM/llvm/projects/llvm-test/include -I../../../inc\
lude -I/Users/echeng/LLVM/llvm/include -D_GNU_SOURCE -D__STDC_LIMIT_MACROS
-DNDEBUG  -O3 -mdynamic-no-pic -fomit-frame-pointer -c rules-inf.c -o
Output/rules-inf.bc -emit-ll\
vm -mllvm -debug-pass=Arguments
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -preverify -domtree -verify -simplifycfg -domtree -domfrontier
-scalarrepl -instcombine
Pass Arguments:  -raiseallocs -simplifycfg -domtree -domfrontier -mem2reg
-globalopt -globaldce -ipconstprop -deadargelim -instcombine -simplifycfg
-basiccg -prune-eh -inlin\
e -simplify-libcalls -basiccg -argpromotion -tailduplicate -instcombine
-simplifycfg -domtree -domfrontier -scalarrepl -instcombine -break-crit-edges
-condprop -tailcallelim\
 -simplifycfg -reassociate -domtree -loops -loopsimplify -domfrontier
-scalar-evolution -lcssa -loop-rotate -licm -lcssa -loop-unswitch
-scalar-evolution -lcssa -loop-index-\
split -instcombine -scalar-evolution -lcssa -indvars -scalar-evolution -lcssa
-loop-unroll -instcombine -domtree -memdep -gvn -sccp -instcombine
-break-crit-edges -condprop \
-memdep -dse -mergereturn -postdomtree -postdomfrontier -adce -simplifycfg
-constmerge -strip-dead-prototypes
Assertion failed: (NewV && "Unable to find new incoming value for exit block
PHI"), function updatePHINodes, file LoopIndexSplit.cpp, line 1651.
rules-inf.c:4281: internal compiler error: Abort trap
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://developer.apple.com/bugreporter> for instructions.


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