[ScopInfo/PruneUnprofitable] Move default profitability check.

In the previous default ScopInfo applied the profitability heuristic for
scalar accesses (-polly-unprofitable-scalar-accs=true) and the
-polly-prune-unprofitable was disabled by default
(-polly-enable-prune-unprofitable=false) as that pruning was already done.

This changes switches the defaults to -polly-unprofitable-scalar-accs=true
-polly-enable-prune-unprofitable=false such that the scalar access
heuristic check is done by the pass. This allows passes between ScopInfo
and PruneUnprofitable to optimize away scalar accesses.

Without enabling such intermediate passes, there is no change in
behaviour of profitability checks in a PassManagerBuilder built
pass chain, but it allows us to cover this configuration with the
buildbots.

Suggested-by: Tobias Grosser <tobias@grosser.es>
llvm-svn: 298081
This commit is contained in:
Michael Kruse 2017-03-17 13:10:05 +00:00
parent f3091bf4cf
commit 9b91c62e3a
2 changed files with 2 additions and 2 deletions

View File

@ -135,7 +135,7 @@ static cl::opt<bool>
static cl::opt<bool> UnprofitableScalarAccs(
"polly-unprofitable-scalar-accs",
cl::desc("Count statements with scalar accesses as not optimizable"),
cl::Hidden, cl::init(true), cl::cat(PollyCategory));
cl::Hidden, cl::init(false), cl::cat(PollyCategory));
static cl::opt<bool> PollyPreciseInbounds(
"polly-precise-inbounds",

View File

@ -197,7 +197,7 @@ static cl::opt<bool>
static cl::opt<bool> EnablePruneUnprofitable(
"polly-enable-prune-unprofitable",
cl::desc("Bail out on unprofitable SCoPs before rescheduling"), cl::Hidden,
cl::init(false), cl::cat(PollyCategory));
cl::init(true), cl::cat(PollyCategory));
namespace polly {
void initializePollyPasses(PassRegistry &Registry) {