diff options
author | Jason Merrill <jason@redhat.com> | 2015-11-14 00:11:34 +0000 |
---|---|---|
committer | Jason Merrill <jason@redhat.com> | 2015-11-14 00:11:34 +0000 |
commit | 1da6b773e737548a7ffbfc950774460433ef9bb8 (patch) | |
tree | e5f2d64459601fae812cfe90245af2831eebedb1 /gcc/combine.c | |
parent | 4587dbe905c7599512c23af5b55591a06bf829b9 (diff) | |
parent | d77055b11cf7e121d66f2da7dfbc5f63347c7d7f (diff) |
Merge trunk@230365.c++-delayed-folding
git-svn-id: https://gcc.gnu.org/svn/gcc/branches/c++-delayed-folding@230367 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/combine.c')
-rw-r--r-- | gcc/combine.c | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/gcc/combine.c b/gcc/combine.c index c3db2e0adf6..2a66fd5c8bd 100644 --- a/gcc/combine.c +++ b/gcc/combine.c @@ -5284,6 +5284,22 @@ subst (rtx x, rtx from, rtx to, int in_dest, int in_cond, int unique_copy) || GET_CODE (SET_DEST (x)) == PC)) fmt = "ie"; + /* Substituting into the operands of a widening MULT is not likely + to create RTL matching a machine insn. */ + if (code == MULT + && (GET_CODE (XEXP (x, 0)) == ZERO_EXTEND + || GET_CODE (XEXP (x, 0)) == SIGN_EXTEND) + && (GET_CODE (XEXP (x, 1)) == ZERO_EXTEND + || GET_CODE (XEXP (x, 1)) == SIGN_EXTEND) + && REG_P (XEXP (XEXP (x, 0), 0)) + && REG_P (XEXP (XEXP (x, 1), 0))) + { + if (from == to) + return x; + else + return gen_rtx_CLOBBER (GET_MODE (x), const0_rtx); + } + /* Get the mode of operand 0 in case X is now a SIGN_EXTEND of a constant. */ if (fmt[0] == 'e') @@ -8455,6 +8471,17 @@ force_to_mode (rtx x, machine_mode mode, unsigned HOST_WIDE_INT mask, /* ... fall through ... */ case MULT: + /* Substituting into the operands of a widening MULT is not likely to + create RTL matching a machine insn. */ + if (code == MULT + && (GET_CODE (XEXP (x, 0)) == ZERO_EXTEND + || GET_CODE (XEXP (x, 0)) == SIGN_EXTEND) + && (GET_CODE (XEXP (x, 1)) == ZERO_EXTEND + || GET_CODE (XEXP (x, 1)) == SIGN_EXTEND) + && REG_P (XEXP (XEXP (x, 0), 0)) + && REG_P (XEXP (XEXP (x, 1), 0))) + return gen_lowpart_or_truncate (mode, x); + /* For PLUS, MINUS and MULT, we need any bits less significant than the most significant bit in MASK since carries from those bits will affect the bits we are interested in. */ |