diff options
| author | Jan Hubicka <jh@suse.cz> | 2001-04-28 21:16:30 +0200 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2001-04-28 19:16:30 +0000 |
| commit | 141e454b1e21d8a832fe55f731f5f516278b54df (patch) | |
| tree | 600f80e03a22ccdb9bfcc58f1635f187b941c104 /gcc/simplify-rtx.c | |
| parent | 5bb86bf23de91f8495c4c9d578cf702a81624633 (diff) | |
| download | gcc-141e454b1e21d8a832fe55f731f5f516278b54df.zip gcc-141e454b1e21d8a832fe55f731f5f516278b54df.tar.gz gcc-141e454b1e21d8a832fe55f731f5f516278b54df.tar.bz2 | |
rtl.h (simplify_gen_relational): Add cmp_mode parameter.
* rtl.h (simplify_gen_relational): Add cmp_mode parameter.
* simplify-rtx.c (simplify_gen_relational): Likewise.
* simplify-rtx.c (simplify_replace_rtx): Handle relationals and MEMs.
* i386.h (VALID_SSE_REG_MODE): Accept MMX modes if SSE2
* i386.md (movsi_1, movdi2, movdi_1_rex64): Handle SSE2 moves.
* i386.md (negsf2, negdf2, abssf2, absdf2): Force operands to
registers in SSE case; fix handling of the immediates.
(negsf2_ifs, abssf2_ifs): Tweak constraints; require
operands to be in regsiters before reload.
(negdf2_ifs, absdf2_ifs): Likewise; disable for 64bit
(negdf2_ifs_rex64, absdf2_ifs_rtx64): New.
(abstf,absxf,negtf,negxf splitters): Compute
properly the regnum for x86_64.
(avsdf2_if_rex64): New.
From-SVN: r41664
Diffstat (limited to 'gcc/simplify-rtx.c')
| -rw-r--r-- | gcc/simplify-rtx.c | 36 |
1 files changed, 33 insertions, 3 deletions
diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index af8b708..a5e09a7 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -177,17 +177,20 @@ simplify_gen_ternary (code, mode, op0_mode, op0, op1, op2) return gen_rtx_fmt_eee (code, mode, op0, op1, op2); } -/* Likewise, for relational operations. */ +/* Likewise, for relational operations. + CMP_MODE specifies mode comparison is done in. + */ rtx -simplify_gen_relational (code, mode, op0, op1) +simplify_gen_relational (code, mode, cmp_mode, op0, op1) enum rtx_code code; enum machine_mode mode; + enum machine_mode cmp_mode; rtx op0, op1; { rtx tem; - if ((tem = simplify_relational_operation (code, mode, op0, op1)) != 0) + if ((tem = simplify_relational_operation (code, cmp_mode, op0, op1)) != 0) return tem; /* Put complex operands first and constants second. */ @@ -238,6 +241,14 @@ simplify_replace_rtx (x, old, new) simplify_gen_binary (code, mode, simplify_replace_rtx (XEXP (x, 0), old, new), simplify_replace_rtx (XEXP (x, 1), old, new)); + case '<': + return + simplify_gen_relational (code, mode, + (GET_MODE (XEXP (x, 0)) != VOIDmode + ? GET_MODE (XEXP (x, 0)) + : GET_MODE (XEXP (x, 1))), + simplify_replace_rtx (XEXP (x, 0), old, new), + simplify_replace_rtx (XEXP (x, 1), old, new)); case '3': case 'b': @@ -258,8 +269,27 @@ simplify_replace_rtx (x, old, new) return x; default: + if (GET_CODE (x) == MEM) + { + /* We can't use change_address here, since it verifies memory address + for corectness. We don't want such check, since we may handle + addresses previously incorect (such as ones in push instructions) + and it is caller's work to verify whether resulting insn match. */ + rtx addr = simplify_replace_rtx (XEXP (x, 0), old, new); + rtx mem; + if (XEXP (x, 0) != addr) + { + mem = gen_rtx_MEM (GET_MODE (x), addr); + MEM_COPY_ATTRIBUTES (mem, x); + } + else + mem = x; + return mem; + } + return x; } + return x; } /* Try to simplify a unary operation CODE whose output mode is to be |