diff options
| author | Roger Sayle <roger@eyesopen.com> | 2004-12-18 14:38:44 +0000 |
|---|---|---|
| committer | Roger Sayle <sayle@gcc.gnu.org> | 2004-12-18 14:38:44 +0000 |
| commit | dbedefae43f712ee9f0636585bb1f91793c088d0 (patch) | |
| tree | 776e691726aa4aa33b620c01f8751ea3f6edd1ca /gcc/expr.c | |
| parent | 9f70d2bc3ae689e9fe86cd1ebd07d7b51a785e2b (diff) | |
| download | gcc-dbedefae43f712ee9f0636585bb1f91793c088d0.zip gcc-dbedefae43f712ee9f0636585bb1f91793c088d0.tar.gz gcc-dbedefae43f712ee9f0636585bb1f91793c088d0.tar.bz2 | |
re PR middle-end/18548 (Miscompiles code generated by Gambit-C Scheme->C compiler)
PR middle-end/18548
* expr.c (expand_expr_real_1) <MAX_EXPR>: Ensure that target, op0
and op1 are all registers (or constants) before expanding the RTL
comparison sequence [to avoid reg_overlap_mentioned (target, op1)].
* gcc.dg/max-1.c: New test case.
From-SVN: r92351
Diffstat (limited to 'gcc/expr.c')
| -rw-r--r-- | gcc/expr.c | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -7671,7 +7671,7 @@ expand_expr_real_1 (tree exp, rtx target, enum machine_mode tmode, /* At this point, a MEM target is no longer useful; we will get better code without it. */ - if (MEM_P (target)) + if (! REG_P (target)) target = gen_reg_rtx (mode); /* If op1 was placed in target, swap op0 and op1. */ @@ -7682,6 +7682,11 @@ expand_expr_real_1 (tree exp, rtx target, enum machine_mode tmode, op1 = tem; } + /* We generate better code and avoid problems with op1 mentioning + target by forcing op1 into a pseudo if it isn't a constant. */ + if (! CONSTANT_P (op1)) + op1 = force_reg (mode, op1); + if (target != op0) emit_move_insn (target, op0); |