OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

i386.md (extendsidi2): Use # in the output template.

Browse Source 
* i386.md (extendsidi2): Use # in the output template.
        (extendsidi splitters): New splitters.

From-SVN: r23543
This commit is contained in:
Jan Hubicka 1998-11-06 00:16:12 +01:00 committed by Jeff Law
parent 3fffed0742
commit 724d568a1f
2 changed files with 75 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
Fri Nov 6 00:10:00 1998 Jan Hubicka (hubicka@freesoft.cz)
* i386.md (extendsidi2): Use # in the output template.
(extendsidi splitters): New splitters.
Thu Nov 5 07:59:05 1998 David S. Miller <davem@pierdol.cobaltmicro.com>
* jump.c (init_label_info, delete_barrier_successors,

84
gcc/config/i386/i386.md
View File

@ -2045,26 +2045,82 @@
;;- sign extension instructions
(define_insn "extendsidi2"
[(set (match_operand:DI 0 "register_operand" "=r")
(sign_extend:DI (match_operand:SI 1 "register_operand" "0")))]
[(set (match_operand:DI 0 "nonimmediate_operand" "=A,?r,?Ar,*o")
(sign_extend:DI (match_operand:SI 1 "register_operand" "0,0,r,*r")))
(clobber (match_scratch:SI 2 "=X,X,X,&r"))]
""
"*
"#")
;; Extend to memory case when source register does die.
(define_split
[(set (match_operand:DI 0 "memory_operand" "")
(sign_extend:DI (match_operand:SI 1 "register_operand" "")))
(clobber (match_operand:SI 2 "register_operand" ""))]
"(flow2_completed
&& dead_or_set_p (insn, operands[1])
&& !reg_mentioned_p (operands[1], operands[0]))"
[(set (match_dup 3) (match_dup 1))
(set (match_dup 1) (ashiftrt:SI (match_dup 1) (const_int 31)))
(set (match_dup 4) (match_dup 1))]
"split_di (&operands[0], 1, &operands[3], &operands[4]);")
;; Extend to memory case when source register does not die.
(define_split
[(set (match_operand:DI 0 "memory_operand" "")
(sign_extend:DI (match_operand:SI 1 "register_operand" "")))
(clobber (match_operand:SI 2 "register_operand" ""))]
"flow2_completed"
[(const_int 0)]
"
{
if (REGNO (operands[0]) == 0)
split_di (&operands[0], 1, &operands[3], &operands[4]);
emit_move_insn (operands[3], operands[1]);
/* Generate a cltd if possible and doing so it profitable. */
if (true_regnum (operands[1]) == 0
&& true_regnum (operands[2]) == 1
&& (optimize_size || !TARGET_PENTIUM))
{
/* This used to be cwtl, but that extends HI to SI somehow. */
#ifdef INTEL_SYNTAX
return \"cdq\";
#else
return \"cltd\";
#endif
emit_insn (gen_ashrsi3_31 (operands[2], operands[1]));
}
else
{
emit_move_insn (operands[2], operands[1]);
emit_insn (gen_ashrsi3_31 (operands[2], operands[2]));
}
emit_move_insn (operands[4], operands[2]);
DONE;
}")
;; Extend to register case. Optimize case where source and destination
;; registers match and cases where we can use cltd.
(define_split
[(set (match_operand:DI 0 "register_operand" "")
(sign_extend:DI (match_operand:SI 1 "register_operand" "")))
(clobber (match_scratch:SI 2 ""))]
"reload_completed"
[(const_int 0)]
"
{
split_di (&operands[0], 1, &operands[3], &operands[4]);
if (true_regnum (operands[3]) != true_regnum (operands[1]))
emit_move_insn (operands[3], operands[1]);
/* Generate a cltd if possible and doing so it profitable. */
if (true_regnum (operands[3]) == 0
&& (optimize_size || !TARGET_PENTIUM))
{
emit_insn (gen_ashrsi3_31 (operands[4], operands[3]));
DONE;
}
operands[1] = gen_rtx_REG (SImode, REGNO (operands[0]) + 1);
output_asm_insn (AS2 (mov%L0,%0,%1), operands);
if (true_regnum (operands[4]) != true_regnum (operands[1]))
emit_move_insn (operands[4], operands[1]);
operands[0] = GEN_INT (31);
return AS2 (sar%L1,%0,%1);
emit_insn (gen_ashrsi3_31 (operands[4], operands[4]));
DONE;
}")
;; Note that the i386 programmers' manual says that the opcodes