[llvm-bugs] [Bug 36311] New: Assertion failed: isAvailableAtLoopEntry(LHS, L) && "LHS is not available at Loop Entry"

via llvm-bugs llvm-bugs at lists.llvm.org
Thu Feb 8 22:32:14 PST 2018


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

            Bug ID: 36311
           Summary: Assertion failed: isAvailableAtLoopEntry(LHS, L) &&
                    "LHS is not available at Loop Entry"
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Loop Optimizer
          Assignee: unassignedbugs at nondot.org
          Reporter: llvm at meinersbur.de
                CC: llvm-bugs at lists.llvm.org, serguei.katkov at azul.com

Created attachment 19844
  --> https://bugs.llvm.org/attachment.cgi?id=19844&action=edit
fe_q_hierarchical_0.ll

The attached test case crashes with an assertion. Trunk r324705.

Might be related to r324204.


FAIL: Polly :: fe_q_hierarchical_0.ll (1126 of 1128)
******************** TEST 'Polly :: fe_q_hierarchical_0.ll' FAILED
********************
Script:
--
opt -loop-vectorize -S <
C:\Users\Meinersbur\src\llvm\tools\polly\test\fe_q_hierarchical_0.ll
--
Exit Code: 2147483651

Command Output (stdout):
--
$ "opt" "-polly-process-unprofitable" "-polly-remarks-minimal"
"-polly-use-llvm-names"
"-polly-import-jscop-dir=C:\Users\Meinersbur\src\llvm\tools\polly\test"
"-polly-codegen-verify" "-loop-vectorize" "-S"
# command stderr:
Assertion failed: isAvailableAtLoopEntry(LHS, L) && "LHS is not available at
Loop Entry", file
C:\Users\Meinersbur\src\llvm\lib\Analysis\ScalarEvolution.cpp, line 9069
0x00007FF7B355A235 (0x00007FF7B43E8901 0x00007FFBF0B88741 0x000000A700000006
0x00007FFBF0C55510), HandleAbort() + 0x5 bytes(s),
c:\users\meinersbur\src\llvm\lib\support\windows\signals.inc, line 411
0x00007FFBF0BDA9FF (0x0000000000002301 0x00007FF700000000 0x000000000000236D
0x00007FF7B43EC7F0), raise() + 0x1CF bytes(s)
0x00007FFBF0BDB6F1 (0x00007FFB00000003 0x00007FFB00000003 0x00007FF7B43EC7F0
0x00007FF7B43E89B0), abort() + 0x31 bytes(s)
0x00007FFBF0BDD3A5 (0x000000000000236D 0x00007FF7B43EC7F0 0x000001A99796EFC8
0x000001A9978C2878), _get_wpgmptr() + 0x1BF5 bytes(s)
0x00007FFBF0BDD68F (0x000001A997901B10 0x000000A799F8D251 0x000001A9978C2878
0x000001A997901B10), _wassert() + 0x3F bytes(s)
0x00007FF7B2B2D36E (0x000001A997901B10 0x000001A9978C2800 0x000001A900000024
0x000001A99796EF78), llvm::ScalarEvolution::isLoopEntryGuardedByCond() + 0x5E
bytes(s), c:\users\meinersbur\src\llvm\lib\analysis\scalarevolution.cpp, line
9070
0x00007FF7B2AE9E1C (0x000001A997901B10 0x000001A9978B2D58 0x000001A99796EFC8
0x00007FF7B2FD6AA5), llvm::ScalarEvolution::getZeroExtendExpr() + 0x90C
bytes(s), c:\users\meinersbur\src\llvm\lib\analysis\scalarevolution.cpp, line
1729 + 0x44 byte(s)
0x00007FF7B2B0D82C (0x000001A9992225B0 0x000001A9978EC788 0x000001A9978F0B70
0x0000000000000090), llvm::ScalarEvolution::createSCEV() + 0x121C bytes(s),
c:\users\meinersbur\src\llvm\lib\analysis\scalarevolution.cpp, line 6238 + 0x29
byte(s)
0x00007FF7B2B1FC16 (0x000001A997821680 0x000001A9978EC788 0x000001A997820000
0x00007FF7B2F8D75D), llvm::ScalarEvolution::getSCEV() + 0x76 bytes(s),
c:\users\meinersbur\src\llvm\lib\analysis\scalarevolution.cpp, line 3807
0x00007FF7B2B0BC6B (0x000001A9978F0B70 0x000001A9978F0B70 0x000001A997901B10
0x0000000000000068), llvm::ScalarEvolution::createNodeForGEP() + 0xCB bytes(s),
c:\users\meinersbur\src\llvm\lib\analysis\scalarevolution.cpp, line 5265 + 0xB
byte(s)
0x00007FF7B2B0D947 (0x000001A999222A30 0x000001A9978F0B70 0x000001A9978F0B70
0x0000000000000000), llvm::ScalarEvolution::createSCEV() + 0x1337 bytes(s),
c:\users\meinersbur\src\llvm\lib\analysis\scalarevolution.cpp, line 6270 + 0x13
byte(s)
0x00007FF7B2B1FC16 (0x000001A9978C2860 0x000001A9978F0B70 0x000001A9978F04F0
0x000000A799F8F0A0), llvm::ScalarEvolution::getSCEV() + 0x76 bytes(s),
c:\users\meinersbur\src\llvm\lib\analysis\scalarevolution.cpp, line 3807
0x00007FF7B3DCE586 (0x0000000000000000 0x0000000000000004 0x0000000000000001
0x0000000000000004), llvm::LoopAccessInfo::isUniform() + 0x46 bytes(s),
c:\users\meinersbur\src\llvm\lib\analysis\loopaccessanalysis.cpp, line 1961 +
0xB byte(s)
0x00007FF7B36D6FC2 (0x000001A99796CC00 0x000000A799F8E010 0x0000000000000000
0x000000A799F8E010), llvm::InnerLoopVectorizer::vectorizeMemoryInstruction() +
0x1F2 bytes(s),
c:\users\meinersbur\src\llvm\lib\transforms\vectorize\loopvectorize.cpp, line
3051 + 0x14 byte(s)
0x00007FF7B36BFBA7 (0x000000A799F8DE30 0x0000000000000001 0x000001A9978F1B58
0x000001A9978F1D98), llvm::VPWidenMemoryInstructionRecipe::execute() + 0x37
bytes(s),
c:\users\meinersbur\src\llvm\lib\transforms\vectorize\loopvectorize.cpp, line
8282 + 0x13 byte(s)
0x00007FF7B3710878 (0x000001A99797BAD0 0x000000A799F8E070 0x000000A799F8F100
0x0000000000000000), llvm::VPBasicBlock::execute() + 0x438 bytes(s),
c:\users\meinersbur\src\llvm\lib\transforms\vectorize\vplan.cpp, line 184
0x00007FF7B3711641 (0x000001A99792C988 0x0000000000000000 0x000000A799F8EAB0
0x000001A9978C1BE0), llvm::VPlan::execute() + 0x561 bytes(s),
c:\users\meinersbur\src\llvm\lib\transforms\vectorize\vplan.cpp, line 309
0x00007FF7B36BFED9 (0x0000000000000000 0x000000A799F8E240 0x0000000000000000
0x0000000000000000), llvm::LoopVectorizationPlanner::executePlan() + 0x139
bytes(s),
c:\users\meinersbur\src\llvm\lib\transforms\vectorize\loopvectorize.cpp, line
7477
0x00007FF7B36D0B8F (0x000001A997900B00 0x000001A9978F6580 0x000001A9978F6A00
0x000001A997901B10), llvm::LoopVectorizePass::processLoop() + 0x181F bytes(s),
c:\users\meinersbur\src\llvm\lib\transforms\vectorize\loopvectorize.cpp, line
8543
0x00007FF7B36D1A6E (0x000001A9978F69E0 0x000001A9978F69E0 0x000001A997887BE8
0x000001A9978FDED0), llvm::LoopVectorizePass::runImpl() + 0x22E bytes(s),
c:\users\meinersbur\src\llvm\lib\transforms\vectorize\loopvectorize.cpp, line
8617
0x00007FF7B36D1E43 (0x0000000000000000 0x000001A9978F69E0 0x000001A9978F69E0
0x00007FF7B43D9D88), `anonymous namespace'::LoopVectorize::runOnFunction() +
0x383 bytes(s),
c:\users\meinersbur\src\llvm\lib\transforms\vectorize\loopvectorize.cpp, line
2349 + 0x13 byte(s)
0x00007FF7B2F6BD8F (0x000001A9978F4180 0x000001A9978F6100 0x000001A997885CB8
0x000001A9978F4180), llvm::FPPassManager::runOnFunction() + 0x1BF bytes(s),
c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp, line 1520 + 0xF
byte(s)
0x00007FF7B2F6BF17 (0x0000000000000000 0x000001A997885D80 0x0000000000000000
0x000001A9978F61C0), llvm::FPPassManager::runOnModule() + 0x67 bytes(s),
c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp, line 1540
0x00007FF7B2F6C1E3 (0x000001A900000000 0x000001A997885C80 0x0000000000000000
0x0000000000000004), `anonymous namespace'::MPPassManager::runOnModule() +
0x293 bytes(s), c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp, line
1597 + 0xF byte(s)
0x00007FF7B2F6B7A3 (0x000001A9978F0BC0 0x000000A799F8F9A0 0x0000000000000000
0x000000A799F8F9A0), llvm::legacy::PassManagerImpl::run() + 0x183 bytes(s),
c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp, line 1701
0x00007FF7B278D6BD (0x0000000000000000 0x0000000000000000 0x0000000000000000
0x0000000000000000), main() + 0x1BED bytes(s),
c:\users\meinersbur\src\llvm\tools\opt\opt.cpp, line 778
0x00007FF7B3D9AD69 (0x0000000000000000 0x0000000000000000 0x0000000000000000
0x0000000000000000), __scrt_common_main_seh() + 0x11D bytes(s),
f:\dd\vctools\crt\vcstartup\src\startup\exe_common.inl, line 253 + 0x22 byte(s)
0x00007FFBF35D1FE4 (0x0000000000000000 0x0000000000000000 0x0000000000000000
0x0000000000000000), BaseThreadInitThunk() + 0x14 bytes(s)
0x00007FFBF3FBEF91 (0x0000000000000000 0x0000000000000000 0x0000000000000000
0x0000000000000000), RtlUserThreadStart() + 0x21 bytes(s)

error: command failed with exit status: 2147483651

-- 
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/20180209/b43e69be/attachment-0001.html>


More information about the llvm-bugs mailing list