diff options
author | Jakub Jelinek <jakub@redhat.com> | 2015-03-10 07:36:50 +0100 |
---|---|---|
committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2015-03-10 07:36:50 +0100 |
commit | 26d83bccd1ed42a08b5940ba73742537b81efa2b (patch) | |
tree | 1f964f2790839401b1c39db959a82bdc5757d7c1 /gcc/cfgexpand.c | |
parent | caf2df93de6eda7d35f78e31517a13a3676b1f5c (diff) | |
download | gcc-26d83bccd1ed42a08b5940ba73742537b81efa2b.zip gcc-26d83bccd1ed42a08b5940ba73742537b81efa2b.tar.gz gcc-26d83bccd1ed42a08b5940ba73742537b81efa2b.tar.bz2 |
re PR rtl-optimization/65321 (ICE on valid code at -O2 and -O3 with -g enabled in decompose, at rtl.h:2007)
PR rtl-optimization/65321
* cfgexpand.c (expand_debug_expr): Ensure shift amount isn't wider
than shift mode.
* var-tracking.c (use_narrower_mode): Likewise.
* gcc.dg/pr65321.c: New test.
From-SVN: r221298
Diffstat (limited to 'gcc/cfgexpand.c')
-rw-r--r-- | gcc/cfgexpand.c | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c index 93d894f..67be09f 100644 --- a/gcc/cfgexpand.c +++ b/gcc/cfgexpand.c @@ -3921,6 +3921,31 @@ expand_debug_expr (tree exp) op1 = expand_debug_expr (TREE_OPERAND (exp, 1)); if (!op1) return NULL_RTX; + switch (TREE_CODE (exp)) + { + case LSHIFT_EXPR: + case RSHIFT_EXPR: + case LROTATE_EXPR: + case RROTATE_EXPR: + case WIDEN_LSHIFT_EXPR: + /* Ensure second operand isn't wider than the first one. */ + inner_mode = TYPE_MODE (TREE_TYPE (TREE_OPERAND (exp, 1))); + if (SCALAR_INT_MODE_P (inner_mode)) + { + machine_mode opmode = mode; + if (VECTOR_MODE_P (mode)) + opmode = GET_MODE_INNER (mode); + if (SCALAR_INT_MODE_P (opmode) + && (GET_MODE_PRECISION (opmode) + < GET_MODE_PRECISION (inner_mode))) + op1 = simplify_gen_subreg (opmode, op1, inner_mode, + subreg_lowpart_offset (opmode, + inner_mode)); + } + break; + default: + break; + } /* Fall through. */ unary: |