https://bugs.llvm.org/show_bug.cgi?id=37048
Bug ID: 37048
Summary: polly: many tests fail if assertions and expensive
tests are enabled
Product: Polly
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Other
Assignee: polly-...@googlegroups.com
Reporter: matthias.krue...@famsik.de
CC: llvm-bugs@lists.llvm.org
Created attachment 20172
--> https://bugs.llvm.org/attachment.cgi?id=20172&action=edit
log of tests failing
Hi, I pulled the monorepo https://github.com/llvm-project/llvm-project-20170507
, 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. :/
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
