diff options
author | Jim Wilson <jimw@sifive.com> | 2019-10-11 18:41:35 +0000 |
---|---|---|
committer | Jim Wilson <wilson@gcc.gnu.org> | 2019-10-11 11:41:35 -0700 |
commit | c6b6fde0bccc82d1a66e36b3a31177b5188cd52e (patch) | |
tree | 8edde92f02bb6cb265ce4e27485bfee556f20ece /gcc | |
parent | e8c78b3a0c7be7020b77f9a8ef04e970b391f1aa (diff) | |
download | gcc-c6b6fde0bccc82d1a66e36b3a31177b5188cd52e.zip gcc-c6b6fde0bccc82d1a66e36b3a31177b5188cd52e.tar.gz gcc-c6b6fde0bccc82d1a66e36b3a31177b5188cd52e.tar.bz2 |
Extend subst to simplify CONST_INT inside SIGN_EXTEND.
This addresses PR 91860 which has four testcases triggering internal errors.
The problem here is that in combine when handling debug insns, we are trying
to substitute
(sign_extend:DI (const_int 8160 [0x1fe0]))
as the value for
(reg:DI 78 [ _9 ])
in the debug insn
(debug_insn 29 28 30 2 (var_location:QI d (subreg:QI (reg:DI 78 [ _9 ]) 0)) "tmp4.c":11:5 -1
(nil))
This eventually triggers an abort because 8160 is not a sign-extended
QImode value.
In subst there is already code check for a CONST_INT inside a ZERO_EXTEND and
simplify it. This needs to be extended to also handle a SIGN_EXTEND the same
way.
gcc/
PR rtl-optimization/91860
* combine.c (subst): If new_rtx is a constant, also check for
SIGN_EXTEND when deciding whether to call simplify_unary_operation.
gcc/testsuite/
PR rtl-optimization/91860
* gcc.dg/pr91860-1.c: New testcase.
* gcc.dg/pr91860-2.c: New testcase.
* gcc.dg/pr91860-3.c: New testcase.
* gcc.dg/pr91860-4.c: New testcase.
From-SVN: r276901
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/combine.c | 1 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 8 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/pr91860-1.c | 18 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/pr91860-2.c | 13 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/pr91860-3.c | 15 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/pr91860-4.c | 24 |
7 files changed, 85 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f346dd5..12613f7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2019-10-11 Jim Wilson <jimw@sifive.com> + + PR rtl-optimization/91860 + * combine.c (subst): If new_rtx is a constant, also check for + SIGN_EXTEND when deciding whether to call simplify_unary_operation. + 2019-10-11 Richard Sandiford <richard.sandiford@arm.com> * expr.c (store_expr): Use rtx_to_poly_int64 rather than diff --git a/gcc/combine.c b/gcc/combine.c index d295a81..92e4e5e 100644 --- a/gcc/combine.c +++ b/gcc/combine.c @@ -5680,6 +5680,7 @@ subst (rtx x, rtx from, rtx to, int in_dest, int in_cond, int unique_copy) } else if (CONST_SCALAR_INT_P (new_rtx) && (GET_CODE (x) == ZERO_EXTEND + || GET_CODE (x) == SIGN_EXTEND || GET_CODE (x) == FLOAT || GET_CODE (x) == UNSIGNED_FLOAT)) { diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index cdc7179..cc1a57b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,11 @@ +2019-10-11 Jim Wilson <jimw@sifive.com> + + PR rtl-optimization/91860 + * gcc.dg/pr91860-1.c: New testcase. + * gcc.dg/pr91860-2.c: New testcase. + * gcc.dg/pr91860-3.c: New testcase. + * gcc.dg/pr91860-4.c: New testcase. + 2019-10-11 Steven G. Kargl <kargl@gcc.gnu.org> PR fortran/91649 diff --git a/gcc/testsuite/gcc.dg/pr91860-1.c b/gcc/testsuite/gcc.dg/pr91860-1.c new file mode 100644 index 0000000..e715040 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr91860-1.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-Og -fipa-cp -g --param=max-combine-insns=3" } */ + +char a; +int b; + +static void +bar (short d) +{ + d <<= __builtin_sub_overflow (0, d, &a); + b = __builtin_bswap16 (~d); +} + +void +foo (void) +{ + bar (21043); +} diff --git a/gcc/testsuite/gcc.dg/pr91860-2.c b/gcc/testsuite/gcc.dg/pr91860-2.c new file mode 100644 index 0000000..7b44e64 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr91860-2.c @@ -0,0 +1,13 @@ +/* { dg-do compile } */ +/* { dg-options "-Og -fexpensive-optimizations -fno-tree-fre -g --param=max-combine-insns=4" } */ + +unsigned a, b, c; +void +foo (void) +{ + unsigned short e; + __builtin_mul_overflow (0, b, &a); + __builtin_sub_overflow (59347, 9, &e); + e <<= a & 5; + c = e; +} diff --git a/gcc/testsuite/gcc.dg/pr91860-3.c b/gcc/testsuite/gcc.dg/pr91860-3.c new file mode 100644 index 0000000..2b488cc --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr91860-3.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-Og -g2 --param=max-combine-insns=3" } */ + +int a, b; + +void +foo (void) +{ + unsigned short d = 46067; + int e = e; + d <<= __builtin_mul_overflow (~0, e, &a); + d |= -68719476735; + b = d; +} + diff --git a/gcc/testsuite/gcc.dg/pr91860-4.c b/gcc/testsuite/gcc.dg/pr91860-4.c new file mode 100644 index 0000000..36f2bd5 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr91860-4.c @@ -0,0 +1,24 @@ +/* { dg-do compile } */ +/* { dg-require-effective-target int128 } */ +/* { dg-options "-O2 -g" } */ + +typedef unsigned char u8; +typedef unsigned int u32; +typedef unsigned __int128 u128; + +u32 b, c; + +static inline +u128 bar (u8 d, u128 e) +{ + __builtin_memset (11 + (char *) &e, b, 1); + d <<= e & 7; + d = d | d > 0; + return d + e; +} + +void +foo (void) +{ + c = bar (~0, 5); +} |