From 18fbe394d62371bedaa41ed32c89c659109ae8f5 Mon Sep 17 00:00:00 2001 From: Wilco Dijkstra Date: Thu, 8 Feb 2018 12:29:28 +0000 Subject: [PATCH] PR84068, PR83459: Fix sort order of SCHED_PRESSURE_MODEL The comparison function for SCHED_PRESSURE_MODEL is incorrect. If either instruction is not in target_bb, the ordering is not well defined. Since all instructions outside the target_bb get the highest model_index, all we need to do is sort on model_index. If the model_index is the same we defer to RFS_DEP_COUNT and/or RFS_TIE. gcc/ PR rtl-optimization/84068 PR rtl-optimization/83459 * haifa-sched.c (rank_for_schedule): Fix SCHED_PRESSURE_MODEL sorting. gcc/testsuite PR rtl-optimization/84068 PR rtl-optimization/83459 * gcc.dg/pr84068.c: New test. From-SVN: r257481 --- gcc/ChangeLog | 6 ++++++ gcc/haifa-sched.c | 7 +++---- gcc/testsuite/ChangeLog | 6 ++++++ gcc/testsuite/gcc.dg/pr84068.c | 18 ++++++++++++++++++ 4 files changed, 33 insertions(+), 4 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr84068.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 84bf970575b..c9a9fdb745e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2018-02-08 Wilco Dijkstra + + PR rtl-optimization/84068 + PR rtl-optimization/83459 + * haifa-sched.c (rank_for_schedule): Fix SCHED_PRESSURE_MODEL sorting. + 2018-02-08 Aldy Hernandez PR tree-optimization/84224 diff --git a/gcc/haifa-sched.c b/gcc/haifa-sched.c index ebdec46bf04..4a899b56173 100644 --- a/gcc/haifa-sched.c +++ b/gcc/haifa-sched.c @@ -2783,12 +2783,11 @@ rank_for_schedule (const void *x, const void *y) } /* Prefer instructions that occur earlier in the model schedule. */ - if (sched_pressure == SCHED_PRESSURE_MODEL - && INSN_BB (tmp) == target_bb && INSN_BB (tmp2) == target_bb) + if (sched_pressure == SCHED_PRESSURE_MODEL) { diff = model_index (tmp) - model_index (tmp2); - gcc_assert (diff != 0); - return rfs_result (RFS_PRESSURE_INDEX, diff, tmp, tmp2); + if (diff != 0) + return rfs_result (RFS_PRESSURE_INDEX, diff, tmp, tmp2); } /* Prefer the insn which has more later insns that depend on it. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7179728ed5a..c2eb50f453c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2018-02-08 Wilco Dijkstra + + PR rtl-optimization/84068 + PR rtl-optimization/83459 + * gcc.dg/pr84068.c: New test. + 2018-02-08 Richard Biener * g++.dg/vect/slp-pr56812.cc: Allow either basic-block or diff --git a/gcc/testsuite/gcc.dg/pr84068.c b/gcc/testsuite/gcc.dg/pr84068.c new file mode 100644 index 00000000000..13110d84455 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr84068.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fno-sched-critical-path-heuristic -fno-sched-rank-heuristic --param=max-sched-extend-regions-iters=5 --param sched-pressure-algorithm=2" } */ + +#ifdef __SIZEOF_INT128__ +typedef __int128 largeint; +#else +typedef long long largeint; +#endif + +largeint a; +int b; + +largeint +foo (char d, short e, int f) +{ + b = __builtin_sub_overflow_p (b, 1, (unsigned long)0); + return a + f; +} -- 2.30.2