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/combine.c | |
| 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/combine.c')
| -rw-r--r-- | gcc/combine.c | 1 |
1 files changed, 1 insertions, 0 deletions
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)) { |