diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/expr.c | 12 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/20020409-1.c | 9 |
3 files changed, 25 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8aa8936..e1b2ac9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2002-04-09 Richard Henderson <rth@redhat.com> + PR c/5078 + * expr.c (expand_expr) [INTEGER_CST]: Force overflows into registers. + +2002-04-09 Richard Henderson <rth@redhat.com> + * basic-block.h (flow_delete_block_noexpunge): Declare. (expunge_block_nocompact): Declare. * cfg.c (expunge_block_nocompact): Split out from ... @@ -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 0000000..1bdc08f --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/20020409-1.c @@ -0,0 +1,9 @@ +/* PR c/5078 */ + +#include <limits.h> + +int f(int i) +{ + i -= 2 * (INT_MAX + 1); + return i; +} |