Page MenuHomePhabricator

[Polly] Add -polly-isl-arg command line option.
ClosedPublic

Authored by Meinersbur on Apr 2 2020, 6:31 AM.

Details

Summary

The option is passed as argv to ISL's command line option parser.

Polly's own own command line options take precedence over options passed as -polly-isl-arg. For instance, -polly-isl-arg=--schedule-outer-coincidence will be ignored in favor of -polly-opt-outer-coincidence.

Diff Detail

Event Timeline

Meinersbur created this revision.Apr 2 2020, 6:31 AM
Herald added a project: Restricted Project. · View Herald Transcript
grosser accepted this revision.Apr 2 2020, 7:37 AM

LGTM

This revision is now accepted and ready to land.Apr 2 2020, 7:37 AM
jpcooper accepted this revision.EditedApr 6 2020, 1:26 AM

This works for me.

This revision was automatically updated to reflect the committed changes.