From cc2ccbcedd20d4d800b5e1a79c98f2c3ad6c9bf2 Mon Sep 17 00:00:00 2001 From: Bernd Schmidt Date: Sun, 24 Nov 2019 13:08:27 +0000 Subject: [PATCH] Fix ix86 rtx costs for the pr30315 testcase (PR target/30315) * config/i386/i386.c (ix86_rtx_costs): Handle care of a PLUS in a COMPARE, representing an overflow detection. From-SVN: r278654 --- gcc/ChangeLog | 5 +++++ gcc/config/i386/i386.c | 9 +++++++++ 2 files changed, 14 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f26529c12e4..cd4b96d7697 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2019-11-24 Bernd Schmidt + + * config/i386/i386.c (ix86_rtx_costs): Handle care of a PLUS in a + COMPARE, representing an overflow detection. + 2019-11-23 Jan Hubicka * cif-code.def (MAX_INLINE_INSNS_SINGLE_O2_LIMIT): Remove. diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c index 780ebb85ef8..04cbbd532c0 100644 --- a/gcc/config/i386/i386.c +++ b/gcc/config/i386/i386.c @@ -19501,6 +19501,15 @@ ix86_rtx_costs (rtx x, machine_mode mode, int outer_code_i, int opno, return true; } + if (GET_CODE (XEXP (x, 0)) == PLUS + && rtx_equal_p (XEXP (XEXP (x, 0), 0), XEXP (x, 1))) + { + /* This is an overflow detection, count it as a normal compare. */ + *total = rtx_cost (XEXP (x, 0), GET_MODE (XEXP (x, 0)), + COMPARE, 0, speed); + return true; + } + /* The embedded comparison operand is completely free. */ if (!general_operand (XEXP (x, 0), GET_MODE (XEXP (x, 0))) && XEXP (x, 1) == const0_rtx)