From 2df22b5f30b902dea76f131f78e08e530e7bf613 Mon Sep 17 00:00:00 2001 From: Segher Boessenkool Date: Wed, 30 Nov 2016 09:41:26 +0100 Subject: [PATCH] simplify-rtx: Add missing line for previous commit (PR78583) The comment for the added case to simplify_truncation reads /* Turn (truncate:M1 (*_extract:M2 (reg:M2) (len) (pos))) into (*_extract:M1 (truncate:M1 (reg:M2)) (len) (pos')) if possible without changing len. */ but I forgot to check the two modes M2 are actually the same. PR rtl-optimization/78583 * simplify-rtx.c (simplify_truncation): Add check missing from the previous commit. From-SVN: r243000 --- gcc/ChangeLog | 6 ++++++ gcc/simplify-rtx.c | 1 + 2 files changed, 7 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1febcad..8f8e450 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2016-11-30 Segher Boessenkool + PR rtl-optimization/78583 + * simplify-rtx.c (simplify_truncation): Add check missing from the + previous commit. + +2016-11-30 Segher Boessenkool + PR rtl-optimization/78590 * combine.c (change_zero_ext): Transform zero_extend of subregs only if the subreg_reg is a scalar integer mode. diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index 7778db5..7ed849f 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -752,6 +752,7 @@ simplify_truncation (machine_mode mode, rtx op, changing len. */ if ((GET_CODE (op) == ZERO_EXTRACT || GET_CODE (op) == SIGN_EXTRACT) && REG_P (XEXP (op, 0)) + && GET_MODE (XEXP (op, 0)) == mode && CONST_INT_P (XEXP (op, 1)) && CONST_INT_P (XEXP (op, 2))) { -- 2.7.4