Make sure that all parameter dimensions are set in schedule
commitde356dce262e8b787979329d408d32475f439a10
authorTobias Grosser <tobias@grosser.es>
Thu, 3 Aug 2017 13:51:15 +0000 (3 13:51 +0000)
committerTobias Grosser <tobias@grosser.es>
Thu, 3 Aug 2017 13:51:15 +0000 (3 13:51 +0000)
tree8d968c56eda16af72cc1e29d908e31f7013f538e
parent789fd7c8917b90cf7325ac2b26888d94e44d225e
Make sure that all parameter dimensions are set in schedule

Summary:
In case the option -polly-ignore-parameter-bounds is set, not all parameters
will be added to context and domains. This is useful to keep the size of the
sets and maps we work with small. Unfortunately, for AST generation it is
necessary to ensure all parameters are part of the schedule tree. Hence,
we modify the GPGPU code generation to make sure this is the case.

To obtain the necessary information we expose a new function
Scop::getFullParamSpace(). We also make a couple of functions const to be
able to make SCoP::getFullParamSpace() const.

Reviewers: Meinersbur, bollu, gareevroman, efriedma, huihuiz, sebpop, simbuerg

Subscribers: nemanjai, kbarton, pollydev, llvm-commits

Tags: #polly

Differential Revision: https://reviews.llvm.org/D36243

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@309939 91177308-0d34-0410-b5e6-96231b3b80d8
include/polly/ScopInfo.h
lib/Analysis/ScopInfo.cpp
lib/CodeGen/PPCGCodeGeneration.cpp
test/GPGPU/align-params-in-schedule.ll [new file with mode: 0644]