Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

New option "-no-insn-sched" #2082

Merged
merged 1 commit into from Mar 13, 2019

Conversation

Projects
None yet
3 participants
@mshinwell
Copy link
Contributor

commented Oct 1, 2018

This patch adds a compiler option -no-insn-sched (along with an associated OCAMLPARAM keyword) to disable instruction scheduling. The rationale for why this is needed is given in #2068 .

@mshinwell mshinwell added this to the 4.08 milestone Oct 1, 2018

@damiendoligez
Copy link
Member

left a comment

One suggestion.

Show resolved Hide resolved asmcomp/schedgen.ml Outdated

@damiendoligez damiendoligez removed this from the 4.08 milestone Jan 10, 2019

@mshinwell mshinwell force-pushed the mshinwell:disable_sched branch from 03b2098 to 0111bf6 Feb 5, 2019

@mshinwell

This comment has been minimized.

Copy link
Contributor Author

commented Feb 5, 2019

@damiendoligez Please re-approve (and then hit merge), thanks.

@mshinwell mshinwell force-pushed the mshinwell:disable_sched branch from 0111bf6 to b6e784a Mar 6, 2019

@mshinwell

This comment has been minimized.

Copy link
Contributor Author

commented Mar 6, 2019

@dra27

dra27 approved these changes Mar 13, 2019

Copy link
Contributor

left a comment

@damiendoligez review comment has been dealt with.

@dra27 dra27 merged commit 0bd539a into ocaml:trunk Mar 13, 2019

2 checks passed

continuous-integration/appveyor/pr AppVeyor build succeeded
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details

@dra27 dra27 referenced this pull request Mar 27, 2019

Merged

Add -noruntime option #2309

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.