Commit c587c0a9 by James Greenhalgh Committed by James Greenhalgh

[Patch combine] Don't create ZERO_EXTEND from subregs unless we have a scalar int mode

gcc/

	* combine.c (simplify_set): Do not transform subregs to zero_extends
	if the destination is not a scalar int mode.

From-SVN: r255945
parent 6ffc0c0c
2017-12-21 James Greenhalgh <james.greenhalgh@arm.com>
* combine.c (simplify_set): Do not transform subregs to zero_extends
if the destination is not a scalar int mode.
2017-12-21 Eric Botcazou <ebotcazou@adacore.com>
PR c++/82872
......@@ -6967,12 +6967,13 @@ simplify_set (rtx x)
/* If we have (set FOO (subreg:M (mem:N BAR) 0)) with M wider than N, this
would require a paradoxical subreg. Replace the subreg with a
zero_extend to avoid the reload that would otherwise be required.
Don't do this for vector modes, as the transformation is incorrect. */
Don't do this unless we have a scalar integer mode, otherwise the
transformation is incorrect. */
enum rtx_code extend_op;
if (paradoxical_subreg_p (src)
&& MEM_P (SUBREG_REG (src))
&& !VECTOR_MODE_P (GET_MODE (src))
&& SCALAR_INT_MODE_P (GET_MODE (src))
&& (extend_op = load_extend_op (GET_MODE (SUBREG_REG (src)))) != UNKNOWN)
{
SUBST (SET_SRC (x),
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment