r242168 - in /branches/ARM/sve-branch/gcc: comb...

[rsandifo@gcc.gnu.org]

Author: rsandifo
Date: Fri Nov 11 17:12:03 2016
New Revision: 242168

URL: https://gcc.gnu.org/viewcvs?rev=242168&root=gcc&view=rev
Log:
Make more use of paradoxical_subreg_p

This patch makes more use of the existing paradoxical_subreg_p
predicate and also adds a version that operates on outer and
inner modes.

Some of the affected tests were based on GET_MODE_SIZE rather than
GET_MODE_PRECISION and so could change the result for modes that
have the same size but different precisions.  In each case the
change should be a no-op or an improvement.  (Specifically, the
big-endian byte offset correction will be 0 for paradoxical subregs
whose byte sizes are the same.)

The patch changes the branch taken for full subregs in
simplify_subreg, but the new form matches the commentary more
closely.  Both branches should be equally good in that situation.

The patch also removes a redundant "GET_CODE (x) == SUBREG"
check from move_plus_up.  By this point we've already checked
that it's a SUBREG and extracted the SUBREG_REG.

Modified:
    branches/ARM/sve-branch/gcc/combine.c
    branches/ARM/sve-branch/gcc/cse.c
    branches/ARM/sve-branch/gcc/doc/rtl.texi
    branches/ARM/sve-branch/gcc/emit-rtl.c
    branches/ARM/sve-branch/gcc/expmed.c
    branches/ARM/sve-branch/gcc/final.c
    branches/ARM/sve-branch/gcc/fwprop.c
    branches/ARM/sve-branch/gcc/ira-conflicts.c
    branches/ARM/sve-branch/gcc/lower-subreg.c
    branches/ARM/sve-branch/gcc/lra-constraints.c
    branches/ARM/sve-branch/gcc/lra-eliminations.c
    branches/ARM/sve-branch/gcc/recog.c
    branches/ARM/sve-branch/gcc/reload.c
    branches/ARM/sve-branch/gcc/reload1.c
    branches/ARM/sve-branch/gcc/rtl.h
    branches/ARM/sve-branch/gcc/rtlanal.c
    branches/ARM/sve-branch/gcc/simplify-rtx.c
    branches/ARM/sve-branch/gcc/var-tracking.c