[llvm-bugs] [Bug 37048] New: polly: many tests fail if assertions and expensive tests are enabled

[via llvm-bugs]

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-dev at googlegroups.com
          Reporter: matthias.krueger at famsik.de
                CC: llvm-bugs at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20180408/65fe4c93/attachment.html>