From 86efb5cd550babd6bf69ead21cc73f0012c55a97 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Tue, 5 Mar 2013 07:04:14 +0100 Subject: [PATCH] re PR rtl-optimization/56494 (ICE in simplify_truncation, at simplify-rtx.c:619) PR rtl-optimization/56494 * simplify-rtx.c (simplify_truncation): If C is narrower than A, optimize (truncate:A (subreg:B (truncate:C X) 0)) into (subreg:A (truncate:C X) 0) instead of (truncate:A X). * gcc.dg/pr56494.c: New test. From-SVN: r196451 --- gcc/ChangeLog | 5 +++++ gcc/simplify-rtx.c | 13 +++++++++++-- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/pr56494.c | 13 +++++++++++++ 4 files changed, 34 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr56494.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3abc676ec517..2678b16fb8bb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2013-03-05 Jakub Jelinek + PR rtl-optimization/56494 + * simplify-rtx.c (simplify_truncation): If C is narrower than A, + optimize (truncate:A (subreg:B (truncate:C X) 0)) into + (subreg:A (truncate:C X) 0) instead of (truncate:A X). + PR middle-end/56461 * sel-sched-ir.c (free_sched_pools): Release succs_info_pool.stack[succs_info_pool.max_top] vectors too diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index 3f04b8bdeb3c..43700cff1518 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -757,8 +757,17 @@ simplify_truncation (enum machine_mode mode, rtx op, && SCALAR_INT_MODE_P (GET_MODE (SUBREG_REG (op))) && GET_CODE (SUBREG_REG (op)) == TRUNCATE && subreg_lowpart_p (op)) - return simplify_gen_unary (TRUNCATE, mode, XEXP (SUBREG_REG (op), 0), - GET_MODE (XEXP (SUBREG_REG (op), 0))); + { + rtx inner = XEXP (SUBREG_REG (op), 0); + if (GET_MODE_PRECISION (mode) + <= GET_MODE_PRECISION (GET_MODE (SUBREG_REG (op)))) + return simplify_gen_unary (TRUNCATE, mode, inner, GET_MODE (inner)); + else + /* If subreg above is paradoxical and C is narrower + than A, return (subreg:A (truncate:C X) 0). */ + return simplify_gen_subreg (mode, SUBREG_REG (op), + GET_MODE (SUBREG_REG (op)), 0); + } /* (truncate:A (truncate:B X)) is (truncate:A X). */ if (GET_CODE (op) == TRUNCATE) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 19c64d61f64e..4529bcfc8bf5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2013-03-05 Jakub Jelinek + + PR rtl-optimization/56494 + * gcc.dg/pr56494.c: New test. + 2013-01-04 Eric Botcazou * gcc.dg/pr56424.c: New test. diff --git a/gcc/testsuite/gcc.dg/pr56494.c b/gcc/testsuite/gcc.dg/pr56494.c new file mode 100644 index 000000000000..e73d674a9864 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr56494.c @@ -0,0 +1,13 @@ +/* PR rtl-optimization/56494 */ +/* { dg-do compile } */ +/* { dg-options "-O2 -ftracer -w" } */ + +char a; +short b; +void bar (int); + +void +foo (void) +{ + bar ((!!b ? : (a *= a / 0)) >= (a = b)); +} -- 2.39.2