<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 - polly: many tests fail if assertions and expensive tests are enabled"
href="https://bugs.llvm.org/show_bug.cgi?id=37048">37048</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>polly: many tests fail if assertions and expensive tests are enabled
</td>
</tr>
<tr>
<th>Product</th>
<td>Polly
</td>
</tr>
<tr>
<th>Version</th>
<td>unspecified
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</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>Other
</td>
</tr>
<tr>
<th>Assignee</th>
<td>polly-dev@googlegroups.com
</td>
</tr>
<tr>
<th>Reporter</th>
<td>matthias.krueger@famsik.de
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=20172" name="attach_20172" title="log of tests failing">attachment 20172</a> <a href="attachment.cgi?id=20172&action=edit" title="log of tests failing">[details]</a></span>
log of tests failing
Hi, I pulled the monorepo <a href="https://github.com/llvm-project/llvm-project-20170507">https://github.com/llvm-project/llvm-project-20170507</a>
, configured with ENABLE_EXPENSIVE_CHECKS and ENABLE_ASSERTIONS
cmake ../llvm-project-20170507/llvm -G "Ninja" \
-DCMAKE_BUILD_TYPE=Release \
-DLLVM_BINUTILS_INCDIR=/usr/include \
-DCMAKE_C_FLAGS="-march=native -O3 -g" \
-DCMAKE_CXX_FLAGS="-march=native -O3 -g" \
-DLLVM_PARALLEL_LINK_JOBS=1 \
-DLLVM_TARGETS_TO_BUILD="X86" \
-DLLVM_OPTIMIZED_TABLEGEN=1 \
-DLLVM_BUILD_TOOLS=0 \
-DLLVM_ENABLE_EXPENSIVE_CHECKS=1 \
-DLLVM_ENABLE_ASSERTIONS=1 \
-DLLVM_ENABLE_PROJECTS="llvm;clang;lld;polly" \
-DLLVM_LIT_ARGS="--timeout 300 -sv"
, ran check-polly and 31 tests failed because they hit assertions:
opt: llvm/include/llvm/Analysis/LoopInfoImpl.h:658: void
llvm::LoopInfoBase<llvm::BasicBlock, llvm::Loop>::verify(const
DomTreeBase<BlockT> &) const [N = llvm::BasicBlock, M = llvm::Loop]: Assertion
`OtherL
&& "Top level loop is missing in computed loop info!"' failed.
Polly :: CodeGen/OpenMP/floord-as-argument-to-subfunction.ll
Polly :: Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded.ll
Polly :: Isl/CodeGen/OpenMP/alias-metadata.ll
Polly :: Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded_different_bb.ll
Polly :: Isl/CodeGen/OpenMP/invariant_base_pointers_preloaded.ll
Polly ::
Isl/CodeGen/OpenMP/invariant_base_pointer_preloaded_pass_only_needed.ll
Polly :: Isl/CodeGen/OpenMP/loop-body-references-outer-values-2.ll
Polly :: Isl/CodeGen/OpenMP/loop-body-references-outer-iv.ll
Polly :: Isl/CodeGen/OpenMP/loop-body-references-outer-values-3.ll
Polly :: Isl/CodeGen/OpenMP/loop-body-references-outer-values.ll
Polly :: Isl/CodeGen/OpenMP/mapped-phi-access.ll
Polly :: Isl/CodeGen/OpenMP/loop-bounds-reference-outer-ids.ll
Polly :: Isl/CodeGen/OpenMP/new_multidim_access.ll
Polly :: Isl/CodeGen/OpenMP/reference-argument-from-non-affine-region.ll
Polly :: Isl/CodeGen/OpenMP/reference-other-bb.ll
Polly :: Isl/CodeGen/OpenMP/recomputed-srem.ll
Polly :: Isl/CodeGen/OpenMP/single_loop.ll
Polly :: Isl/CodeGen/OpenMP/reference-preceeding-loop.ll
Polly :: Isl/CodeGen/OpenMP/reference_latest.ll
Polly :: Isl/CodeGen/OpenMP/single_loop_with_param.ll
Polly :: Isl/CodeGen/OpenMP/single_loop_with_loop_invariant_baseptr.ll
Polly :: Isl/CodeGen/OpenMP/two-parallel-loops-reference-outer-indvar.ll
Polly :: Isl/CodeGen/openmp_limit_threads.ll
LLVM ERROR: BB map does not match region nesting
Polly :: Isl/CodeGen/invariant-load-dimension.ll
Polly :: Isl/CodeGen/stack-overflow-in-load-hoisting.l
Polly :: ScopInfo/partially_invariant_load_1.ll
LLVM ERROR: Broken region found: edges entering the region must go to the entry
node!
Polly :: ScopDetect/error-block-unreachable.ll
llvm/Analysis/LoopInfoImpl.h:251: void llvm::LoopBase<llvm::BasicBlock,
llvm::Loop>::verifyLoop() const [BlockT = llvm::BasicBlock, LoopT =
llvm::Loop]: Assertion `std::any_of(GraphTraits<BlockT *>::child_begin(BB),
GraphTraits<BlockT *>::child_end(BB), [&](BlockT *B) { return contains(B); })
&& "Loop block has no in-loop successors!"' failed.
Polly :: Isl/CodeGen/invariant_verify_function_failed_2.ll
UNREACHABLE executed at llvm/include/llvm/Analysis/LoopInfoImpl.h:670!
Polly :: Isl/CodeGen/non-affine-region-phi-references-in-scop-value.ll
Polly :: Isl/CodeGen/partial_write_in_region_with_loop.ll
I attached the a log of the tests running.
I'm not sure why there is no proper address info in the stacktrace, I tried
building with -g but it didn't seem to help. :/</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>