From d8a50944dcea523e77c50326ef46dad2e17deeee Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Tue, 9 Apr 2002 19:22:20 -0700 Subject: [PATCH] expr.c (expand_expr): Force overflows into registers. * expr.c (expand_expr) [INTEGER_CST]: Force overflows into registers. * gcc.c-torture/compile/20020409-1.c: New. From-SVN: r52104 --- gcc/ChangeLog | 5 +++++ gcc/expr.c | 12 +++++++++++- gcc/testsuite/gcc.c-torture/compile/20020409-1.c | 9 +++++++++ 3 files changed, 25 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.c-torture/compile/20020409-1.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8aa89363064..e1b2ac95d07 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2002-04-09 Richard Henderson + + PR c/5078 + * expr.c (expand_expr) [INTEGER_CST]: Force overflows into registers. + 2002-04-09 Richard Henderson * basic-block.h (flow_delete_block_noexpunge): Declare. diff --git a/gcc/expr.c b/gcc/expr.c index 11f1a53bc27..4871c4b7bdf 100644 --- a/gcc/expr.c +++ b/gcc/expr.c @@ -6318,9 +6318,19 @@ expand_expr (exp, target, tmode, modifier) return DECL_RTL (exp); case INTEGER_CST: - return immed_double_const (TREE_INT_CST_LOW (exp), + temp = immed_double_const (TREE_INT_CST_LOW (exp), TREE_INT_CST_HIGH (exp), mode); + /* ??? If overflow is set, fold will have done an incomplete job, + which can result in (plus xx (const_int 0)), which can get + simplified by validate_replace_rtx during virtual register + instantiation, which can result in unrecognizable insns. + Avoid this by forcing all overflows into registers. */ + if (TREE_CONSTANT_OVERFLOW (exp)) + temp = force_reg (mode, temp); + + return temp; + case CONST_DECL: return expand_expr (DECL_INITIAL (exp), target, VOIDmode, 0); diff --git a/gcc/testsuite/gcc.c-torture/compile/20020409-1.c b/gcc/testsuite/gcc.c-torture/compile/20020409-1.c new file mode 100644 index 00000000000..1bdc08ff3b8 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/20020409-1.c @@ -0,0 +1,9 @@ +/* PR c/5078 */ + +#include + +int f(int i) +{ + i -= 2 * (INT_MAX + 1); + return i; +} -- 2.30.2