[DeLICM] Use polly::singleton to allow empty result.
commit9ab8027c03f384a04afeebed048f7bee1a1ec90c
authorMichael Kruse <llvm@meinersbur.de>
Tue, 21 May 2019 19:18:26 +0000 (21 19:18 +0000)
committerMichael Kruse <llvm@meinersbur.de>
Tue, 21 May 2019 19:18:26 +0000 (21 19:18 +0000)
treec1e112b0ed4ad6fae74202520873005aae3f7813
parentd92241a910cb9807008f610e06fa4010229ea17d
[DeLICM] Use polly::singleton to allow empty result.

isl_map_from_union_map cannot determine the map's space if the union_map
is empty. polly::singleton was designed for this case. We pass the
expected map space to avoid crashing in isl_map_from_union_map.

This fixes an issue found by the aosp buildbot. Thanks to Eli Friedman
for the reproducer.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@361290 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transform/DeLICM.cpp
test/DeLICM/contradicting_assumed_context_and_domain.ll [new file with mode: 0644]