LLVM Bugzilla is read-only and represents the historical archive of all LLVM issues filled before November 26, 2021. Use github to submit LLVM bugs

Bug 26309 - [Polly] Domain generation for non-affine loop breaks
Summary: [Polly] Domain generation for non-affine loop breaks
Status: RESOLVED FIXED
Alias: None
Product: Polly
Classification: Unclassified
Component: Optimizer (show other bugs)
Version: unspecified
Hardware: PC Linux
: P normal
Assignee: Polly Development Mailinglist
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2016-01-26 03:51 PST by Tobias Grosser
Modified: 2016-01-26 05:03 PST (History)
3 users (show)

See Also:
Fixed By Commit(s):

Attachments
Test case (1.08 KB, application/octet-stream)
2016-01-26 03:51 PST, Tobias Grosser 		Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Tobias Grosser 2016-01-26 03:51:53 PST 
Created attachment 15714 [details]
Test case

I see the following error for non-affine loops:


opt /tmp/test2.ll -polly-scops -polly-process-unprofitable   -polly-allow-nonaffine-loops

/home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_map.c:7102: spaces don't match
0  libLLVMSupport.so  0x00007fb8c2b63a88 llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 40
1  libLLVMSupport.so  0x00007fb8c2b622b6 llvm::sys::RunSignalHandlers() + 54
2  libLLVMSupport.so  0x00007fb8c2b64176
3  libc.so.6          0x00007fb8c1c322f0
4  libc.so.6          0x00007fb8c1c32267 gsignal + 55
5  libc.so.6          0x00007fb8c1c33eca abort + 362
6  libPolly.so        0x00007fb8c0aefed7
7  libPolly.so        0x00007fb8c0b17dfc
8  libPolly.so        0x00007fb8c0b18167
9  libPolly.so        0x00007fb8c0a34392 polly::Scop::propagateDomainConstraints(llvm::Region*) + 2706
10 libPolly.so        0x00007fb8c0a32988 polly::Scop::buildDomains(llvm::Region*) + 760
11 libPolly.so        0x00007fb8c0a36ffa polly::Scop::init(llvm::AAResults&, llvm::AssumptionCache&) + 106
12 libPolly.so        0x00007fb8c0a3f689 polly::ScopInfo::buildScop(llvm::Region&, llvm::AssumptionCache&) + 1577
13 libPolly.so        0x00007fb8c0a3fd29 polly::ScopInfo::runOnRegion(llvm::Region*, llvm::RGPassManager&) + 937
Comment 1 Tobias Grosser 2016-01-26 03:56:06 PST 
Hi Johannes,

maybe this bug is easy for you. It is in an area where you wrote most of the code.

Tobias
Comment 2 Johannes Doerfert 2016-01-26 05:03:45 PST 
Fixed in r258803.