diff options
| author | Richard Biener <rguenther@suse.de> | 2016-05-10 08:20:43 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-05-10 08:20:43 +0000 |
| commit | 64ea4e151b40fde37eb2b3190731f03c4a65dcf3 (patch) | |
| tree | b05b58da2c9cc46b7fbde8e9ef7b5966d8ea1a1d /gcc/tree-complex.c | |
| parent | 5a96dae3efa97317540aee2a55f717aab1efe064 (diff) | |
| download | gcc-64ea4e151b40fde37eb2b3190731f03c4a65dcf3.zip gcc-64ea4e151b40fde37eb2b3190731f03c4a65dcf3.tar.gz gcc-64ea4e151b40fde37eb2b3190731f03c4a65dcf3.tar.bz2 | |
re PR tree-optimization/70497 (Missed CSE of subregs on GIMPLE)
2016-05-10 Richard Biener <rguenther@suse.de>
PR tree-optimization/70497
PR tree-optimization/28367
* tree-ssa-sccvn.c (vn_nary_build_or_lookup): New function
split out from ...
(visit_reference_op_load): ... here.
(vn_reference_lookup_3): Use it to handle subreg-like accesses
with simplified BIT_FIELD_REFs.
* tree-ssa-pre.c (eliminate_insert): Handle inserting BIT_FIELD_REFs.
* tree-complex.c (extract_component): Handle BIT_FIELD_REFs
correctly.
* gcc.dg/torture/20160404-1.c: New testcase.
* gcc.dg/tree-ssa/ssa-fre-54.c: Likewise.
* gcc.dg/tree-ssa/ssa-fre-55.c: Likewise.
From-SVN: r236066
Diffstat (limited to 'gcc/tree-complex.c')
| -rw-r--r-- | gcc/tree-complex.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/tree-complex.c b/gcc/tree-complex.c index d781a8a..d7baf22 100644 --- a/gcc/tree-complex.c +++ b/gcc/tree-complex.c @@ -604,6 +604,21 @@ extract_component (gimple_stmt_iterator *gsi, tree t, bool imagpart_p, case COMPLEX_EXPR: gcc_unreachable (); + case BIT_FIELD_REF: + { + tree inner_type = TREE_TYPE (TREE_TYPE (t)); + t = unshare_expr (t); + TREE_TYPE (t) = inner_type; + TREE_OPERAND (t, 1) = TYPE_SIZE (inner_type); + if (imagpart_p) + TREE_OPERAND (t, 2) = size_binop (PLUS_EXPR, TREE_OPERAND (t, 2), + TYPE_SIZE (inner_type)); + if (gimple_p) + t = force_gimple_operand_gsi (gsi, t, true, NULL, true, + GSI_SAME_STMT); + return t; + } + case VAR_DECL: case RESULT_DECL: case PARM_DECL: |