[llvm-bugs] [Bug 39417] New: InnerLoopVectorizer::emitSCEVChecks(llvm::Loop *, llvm::BasicBlock *): Assertion `!Cost->foldTailByMasking() && "Cannot check stride when folding tail"' failed.

[via llvm-bugs]

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

            Bug ID: 39417
           Summary: InnerLoopVectorizer::emitSCEVChecks(llvm::Loop *,
                    llvm::BasicBlock  *): Assertion
                    `!Cost->foldTailByMasking() && "Cannot check stride
                    when  folding tail"' failed.
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: bjorn.a.pettersson at ericsson.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 21030
  --> https://bugs.llvm.org/attachment.cgi?id=21030&action=edit
reduced reproducer

With

  opt bbi-19959.ll -S -o - --loop-vectorize

I hit a new assert that was added in the commit "[llvm] r344743 - [LV] Fold
tail by masking to vectorize loops of arbitrary trip count under opt for size"

opt: ../lib/Transforms/Vectorize/LoopVectorize.cpp:2519: void 
llvm::InnerLoopVectorizer::emitSCEVChecks(llvm::Loop *, llvm::BasicBlock 
*): Assertion `!Cost->foldTailByMasking() && "Cannot check stride when 
folding tail"' failed.
Stack dump:
0.      Program arguments: build-all/bin/opt bbi-19959.ll -S -o - 
--loop-vectorize
1.      Running pass 'Function Pass Manager' on module 'bbi-19959.ll'.
2.      Running pass 'Loop Vectorization' on function '@func_34'
build-all/bin/opt[0x218e074]
build-all/bin/opt(_ZN4llvm3sys17RunSignalHandlersEv+0x50)[0x218c1d0]
build-all/bin/opt[0x218e3d8]
/lib/x86_64-linux-gnu/libpthread.so.0(+0x10330)[0x7f4842f2f330]
/lib/x86_64-linux-gnu/libc.so.6(gsignal+0x37)[0x7f4841b1ec37]
/lib/x86_64-linux-gnu/libc.so.6(abort+0x148)[0x7f4841b22028]
/lib/x86_64-linux-gnu/libc.so.6(+0x2fbf6)[0x7f4841b17bf6]
/lib/x86_64-linux-gnu/libc.so.6(+0x2fca2)[0x7f4841b17ca2]
build-all/bin/opt(_ZN4llvm19InnerLoopVectorizer14emitSCEVChecksEPNS_4LoopEPNS_10BasicBlockE+0x375)[0x22a3635]
build-all/bin/opt(_ZN4llvm19InnerLoopVectorizer28createVectorizedLoopSkeletonEv+0x276)[0x22a3b26]
build-all/bin/opt(_ZN4llvm24LoopVectorizationPlanner11executePlanERNS_19InnerLoopVectorizerEPNS_13DominatorTreeE+0x121)[0x22b9f21]
build-all/bin/opt(_ZN4llvm17LoopVectorizePass11processLoopEPNS_4LoopE+0x367d)[0x22c40bd]
build-all/bin/opt(_ZN4llvm17LoopVectorizePass7runImplERNS_8FunctionERNS_15ScalarEvolutionERNS_8LoopInfoERNS_19TargetTransformInfoERNS_13DominatorTreeERNS_18BlockFrequencyInfoEPNS_17TargetLibraryInfoERNS_12DemandedBitsERNS_9AAResultsERNS_15AssumptionCacheERSt8functionIFRKNS_14LoopAccessInfoERNS_4LoopEEERNS_25OptimizationRemarkEmitterE+0x1d7)[0x22c5dc7]
build-all/bin/opt[0x22cdccb]
build-all/bin/opt(_ZN4llvm13FPPassManager13runOnFunctionERNS_8FunctionE+0x1bd)[0x1bc0acd]
build-all/bin/opt(_ZN4llvm13FPPassManager11runOnModuleERNS_6ModuleE+0x28)[0x1bc0d88]
build-all/bin/opt(_ZN4llvm6legacy15PassManagerImpl3runERNS_6ModuleE+0x30a)[0x1bc11ea]
build-all/bin/opt(main+0x2964)[0x773734]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf5)[0x7f4841b09f45]
build-all/bin/opt[0x75912d]
Abort

-- 
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/20181024/838da8e3/attachment.html>