<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 - ISL: "spaces don't match""
   href="https://bugs.llvm.org/show_bug.cgi?id=38218">38218</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>ISL: "spaces don't match"
          </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>normal
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>isl
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>polly-dev@googlegroups.com
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>wichard@vitalitystudios.com
          </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=20575" name="attach_20575" title="bugpoint">attachment 20575</a> <a href="attachment.cgi?id=20575&action=edit" title="bugpoint">[details]</a></span>
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 ()</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>