[llvm-bugs] [Bug 38218] New: ISL: "spaces don't match"

[via llvm-bugs]

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

            Bug ID: 38218
           Summary: ISL: "spaces don't match"
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: isl
          Assignee: polly-dev at googlegroups.com
          Reporter: wichard at vitalitystudios.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 20575
  --> https://bugs.llvm.org/attachment.cgi?id=20575&action=edit
bugpoint

Reproduce with `opt bugpoint-reduced-simplified.bc -scoped-noalias -inline
-loop-rotate -gvn -memcpyopt -jump-threading -instcombine -polly-codegen
-simplifycfg -o /dev/null`.

Backtrace:
#0  0x00007f8665984e97 in raise () from /lib/x86_64-linux-gnu/libc.so.6
#1  0x00007f8665986801 in abort () from /lib/x86_64-linux-gnu/libc.so.6
#2  0x0000000004b534a1 in isl_handle_error (ctx=0x5e365d0,
error=isl_error_invalid, msg=0x8921b1 "spaces don't match", file=0xe409cc
"llvm/tools/polly/lib/External/isl/isl_map.c", line=7715) at
llvm/tools/polly/lib/External/isl/isl_ctx.c:118
#3  0x0000000004b9b15a in map_union_disjoint (map1=0x5ed4650, map2=0x5eca6b0)
at llvm/tools/polly/lib/External/isl/isl_map.c:7714
#4  0x0000000004b9b44b in map_union_aligned (map1=0x5ed4650, map2=0x5eca6b0) at
llvm/tools/polly/lib/External/isl/isl_map.c:7813
#5  0x0000000004b8c000 in isl_map_align_params_map_map_and (map1=0x5ed4650,
map2=0x5eca6b0, fn=0x4b9b3d0 <map_union_aligned>) at
llvm/tools/polly/lib/External/isl/isl_map.c:1392
#6  0x0000000004b9af44 in isl_map_union (map1=0x5ed4040, map2=0x5ecc4e0) at
llvm/tools/polly/lib/External/isl/isl_map.c:7831
#7  0x0000000004b9b532 in isl_set_union (set1=0x5ed4040, set2=0x5ecc4e0) at
llvm/tools/polly/lib/External/isl/isl_map.c:7843
#8  0x00000000042b3c40 in isl::noexceptions::set::unite (this=0x5e9de98,
set2=...) at
llvm/tools/polly/lib/External/isl/include/isl/isl-noexceptions.h:14276
#9  0x00000000042943d7 in getPwAff (S=..., BB=0x5ecdf60, InvalidDomainMap=...,
E=0x5eafdb0, NonNegative=false) at
llvm/tools/polly/lib/Analysis/ScopInfo.cpp:1415
#10 0x000000000429553d in buildConditionSets (S=..., BB=0x5ecdf60,
Condition=0x5ec9080, TI=0x0, L=0x0, Domain=0x5e30af0, InvalidDomainMap=...,
ConditionSets=...) at llvm/tools/polly/lib/Analysis/ScopInfo.cpp:1599
#11 0x0000000004298ca6 in polly::Scop::addUserAssumptions (this=0x5ea6c60,
AC=..., DT=..., LI=..., InvalidDomainMap=...) at
llvm/tools/polly/lib/Analysis/ScopInfo.cpp:2068
#12 0x00000000043aac60 in polly::ScopBuilder::buildScop (this=0x7fff2c836568,
R=..., AC=..., ORE=...) at llvm/tools/polly/lib/Analysis/ScopBuilder.cpp:1519
#13 0x00000000043abc52 in polly::ScopBuilder::ScopBuilder (this=0x7fff2c836568,
R=0x5ec9320, AC=..., AA=..., DL=..., DT=..., LI=..., SD=..., SE=..., ORE=...)
at llvm/tools/polly/lib/Analysis/ScopBuilder.cpp:1612
#14 0x00000000042a9937 in polly::ScopInfoRegionPass::runOnRegion
(this=0x5e286c0, R=0x5ec9320, RGM=...) at
llvm/tools/polly/lib/Analysis/ScopInfo.cpp:5028
#15 0x0000000002c1f008 in llvm::RGPassManager::runOnFunction (this=0x5e28c80,
F=...) at llvm/lib/Analysis/RegionPass.cpp:97
#16 0x0000000003484b27 in llvm::FPPassManager::runOnFunction (this=0x5dec420,
F=...) at llvm/lib/IR/LegacyPassManager.cpp:1585
#17 0x0000000002a37e7e in (anonymous namespace)::CGPassManager::RunPassOnSCC
(this=0x5ddf2b0, P=0x5dec420, CurSCC=..., CG=...,
CallGraphUpToDate=@0x7fff2c836e9e: true, DevirtualizedCall=@0x7fff2c836f43:
false) at llvm/lib/Analysis/CallGraphSCCPass.cpp:162
#18 0x0000000002a377bd in (anonymous
namespace)::CGPassManager::RunAllPassesOnSCC (this=0x5ddf2b0, CurSCC=...,
CG=..., DevirtualizedCall=@0x7fff2c836f43: false) at
llvm/lib/Analysis/CallGraphSCCPass.cpp:426
#19 0x0000000002a37061 in (anonymous namespace)::CGPassManager::runOnModule
(this=0x5ddf2b0, M=...) at llvm/lib/Analysis/CallGraphSCCPass.cpp:482
#20 0x000000000348564c in (anonymous namespace)::MPPassManager::runOnModule
(this=0x5de6460, M=...) at llvm/lib/IR/LegacyPassManager.cpp:1664
#21 0x0000000003485123 in llvm::legacy::PassManagerImpl::run (this=0x5de6740,
M=...) at llvm/lib/IR/LegacyPassManager.cpp:1768
#22 0x0000000003485b81 in llvm::legacy::PassManager::run (this=0x7fff2c837a20,
M=...) at llvm/lib/IR/LegacyPassManager.cpp:1799
#23 0x0000000002121efe in main (argc=13, argv=0x7fff2c838238) at
llvm/tools/opt/opt.cpp:810
#24 0x00007f8665967b97 in __libc_start_main () from
/lib/x86_64-linux-gnu/libc.so.6
#25 0x00000000020e202a in _start ()

-- 
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/20180719/c9b1cca9/attachment.html>