commit 5934eeb72484daf920a7e4e7b030000bdd797862
author jgreenhalgh <jgreenhalgh@138bc75d-0d04-0410-961f-82ee72b054a4> Tue Dec 12 11:27:54 2017 +0000
committer jgreenhalgh <jgreenhalgh@138bc75d-0d04-0410-961f-82ee72b054a4> Tue Dec 12 11:27:54 2017 +0000
tree 1ef03d795f5e00306bb2200aa40cf082fc59bb06
parent a76253516cd8bdae508dde41e94a3370898dc493

[Patch combine] Don't create vector mode ZERO_EXTEND from subregs

The code in simplify set to handle transforming the paradoxical subreg
expression:

  (set FOO (subreg:M (mem:N BAR) 0))

in to:

  (set FOO (zero_extend:M (mem:N BAR)))

Does not consider the case where M is a vector mode, allowing it to
construct (for example):

  (zero_extend:V4SI (mem:SI))

For one, this has the wrong semantics - but fortunately we fail long
before then in expand_compound_operation.

We need to explicitly reject vector modes from this transformation.

gcc/

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




git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@255578 138bc75d-0d04-0410-961f-82ee72b054a4