From 71cca28908fd6715721704da2fe4f8929879cd86 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Tue, 28 Aug 2007 11:47:32 +0200 Subject: [PATCH] re PR rtl-optimization/33148 (ICE in trunc_int_for_mode, at explow.c:56 during combine) PR rtl-optimization/33148 * simplify-rtx.c (simplify_unary_operation_1): Only optimize (neg (lt X 0)) if X has scalar int mode. * gcc.c-torture/compile/20070827-1.c: New test. From-SVN: r127855 --- gcc/ChangeLog | 4 ++++ gcc/simplify-rtx.c | 3 ++- gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/gcc.c-torture/compile/20070827-1.c | 20 ++++++++++++++++++++ 4 files changed, 29 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.c-torture/compile/20070827-1.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9f7fe58..d3a9f3e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2007-08-28 Jakub Jelinek + PR rtl-optimization/33148 + * simplify-rtx.c (simplify_unary_operation_1): Only optimize + (neg (lt X 0)) if X has scalar int mode. + PR debug/32914 * dwarf2out.c (rtl_for_decl_init): If vector decl has CONSTRUCTOR initializer, use build_vector_from_ctor if possible to create diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index 40337a5..97c4d93 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -583,7 +583,8 @@ simplify_unary_operation_1 (enum rtx_code code, enum machine_mode mode, rtx op) /* (neg (lt x 0)) is (ashiftrt X C) if STORE_FLAG_VALUE is 1. */ /* (neg (lt x 0)) is (lshiftrt X C) if STORE_FLAG_VALUE is -1. */ if (GET_CODE (op) == LT - && XEXP (op, 1) == const0_rtx) + && XEXP (op, 1) == const0_rtx + && SCALAR_INT_MODE_P (GET_MODE (XEXP (op, 0)))) { enum machine_mode inner = GET_MODE (XEXP (op, 0)); int isize = GET_MODE_BITSIZE (inner); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 49b1b9f..d496473 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2007-08-28 Jakub Jelinek + PR rtl-optimization/33148 + * gcc.c-torture/compile/20070827-1.c: New test. + PR debug/32914 * d++.dg/debug/const3.C: New test. * d++.dg/debug/const4.C: New test. diff --git a/gcc/testsuite/gcc.c-torture/compile/20070827-1.c b/gcc/testsuite/gcc.c-torture/compile/20070827-1.c new file mode 100644 index 0000000..5dd0099 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/20070827-1.c @@ -0,0 +1,20 @@ +/* PR rtl-optimization/33148 */ + +int +foo (unsigned int *p, int *q, unsigned int w, unsigned int b) +{ + unsigned int i; + int mask; + + if (q[0] < q[1]) + mask = 0xff; + else + mask = 0; + + for (i = 0; 8 * i < w; i++) + { + b ^= mask; + *p++ = b; + } + return 0; +} -- 2.7.4