From 26d83bccd1ed42a08b5940ba73742537b81efa2b Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Tue, 10 Mar 2015 07:36:50 +0100 Subject: [PATCH] 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 --- gcc/ChangeLog | 7 +++++++ gcc/cfgexpand.c | 25 +++++++++++++++++++++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/pr65321.c | 31 +++++++++++++++++++++++++++++++ gcc/var-tracking.c | 8 +++++++- 5 files changed, 75 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/pr65321.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0cbeaa3b9e3..0ba2886d66e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2015-03-10 Jakub Jelinek + + 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. + 2015-03-10 Jan Hubicka PR tree-optimization/65355 diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c index 93d894f3741..67be09fc7ee 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: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ec7a3bc5ba4..6c9ae2ca96e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-03-10 Jakub Jelinek + + PR rtl-optimization/65321 + * gcc.dg/pr65321.c: New test. + 2015-03-10 Jan Hubicka PR tree-optimization/65355 diff --git a/gcc/testsuite/gcc.dg/pr65321.c b/gcc/testsuite/gcc.dg/pr65321.c new file mode 100644 index 00000000000..294487cab1d --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr65321.c @@ -0,0 +1,31 @@ +/* PR rtl-optimization/65321 */ +/* { dg-do compile } */ +/* { dg-options "-O3 -g" } */ + +int a, b, c, d, e; + +int +foo (void) +{ + int h; + char i; + for (; c > 0;) + { + for (d = 0; d < 2; d++) + { + i = 1 << d; + if (i - a) + { + e = b = 0; + for (; c; c--) + d = 127; + } + } + h = ~d; + if (h > c) + for (;;) + ; + return 0; + } + return 0; +} diff --git a/gcc/var-tracking.c b/gcc/var-tracking.c index 9ec5d8bcf81..da4c61e7d56 100644 --- a/gcc/var-tracking.c +++ b/gcc/var-tracking.c @@ -1011,7 +1011,13 @@ use_narrower_mode (rtx x, machine_mode mode, machine_mode wmode) return simplify_gen_binary (GET_CODE (x), mode, op0, op1); case ASHIFT: op0 = use_narrower_mode (XEXP (x, 0), mode, wmode); - return simplify_gen_binary (ASHIFT, mode, op0, XEXP (x, 1)); + op1 = XEXP (x, 1); + /* Ensure shift amount is not wider than mode. */ + if (GET_MODE (op1) == VOIDmode) + op1 = lowpart_subreg (mode, op1, wmode); + else if (GET_MODE_PRECISION (mode) < GET_MODE_PRECISION (GET_MODE (op1))) + op1 = lowpart_subreg (mode, op1, GET_MODE (op1)); + return simplify_gen_binary (ASHIFT, mode, op0, op1); default: gcc_unreachable (); } -- 2.30.2