<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - Assertion failed: isAvailableAtLoopEntry(LHS, L) && "LHS is not available at Loop Entry""
href="https://bugs.llvm.org/show_bug.cgi?id=36311">36311</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Assertion failed: isAvailableAtLoopEntry(LHS, L) && "LHS is not available at Loop Entry"
</td>
</tr>
<tr>
<th>Product</th>
<td>libraries
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>All
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Loop Optimizer
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>llvm@meinersbur.de
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org, serguei.katkov@azul.com
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=19844" name="attach_19844" title="fe_q_hierarchical_0.ll">attachment 19844</a> <a href="attachment.cgi?id=19844&action=edit" title="fe_q_hierarchical_0.ll">[details]</a></span>
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</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>