diff options
Diffstat (limited to 'debian/patches/ia64-disable-selective-scheduling.diff')
| -rw-r--r-- | debian/patches/ia64-disable-selective-scheduling.diff | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/debian/patches/ia64-disable-selective-scheduling.diff b/debian/patches/ia64-disable-selective-scheduling.diff new file mode 100644 index 0000000..e75b3c0 --- /dev/null +++ b/debian/patches/ia64-disable-selective-scheduling.diff @@ -0,0 +1,16 @@ +--- a/src/gcc/config/ia64/ia64.c 2018-01-03 11:03:58.000000000 +0100 ++++ b/src/gcc/config/ia64/ia64.c 2018-12-16 12:19:05.420184086 +0100 +@@ -6122,13 +6122,6 @@ + static void + ia64_override_options_after_change (void) + { +- if (optimize >= 3 +- && !global_options_set.x_flag_selective_scheduling +- && !global_options_set.x_flag_selective_scheduling2) +- { +- flag_selective_scheduling2 = 1; +- flag_sel_sched_pipelining = 1; +- } + if (mflag_sched_control_spec == 2) + { + /* Control speculation is on by default for the selective scheduler, |