From: Richard Sandiford Date: Mon, 23 Aug 2004 08:09:04 +0000 (+0000) Subject: mips.md (P): New mode macro. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=237b301e9705a54466e179875b944bc69cda6fe0;p=gcc.git mips.md (P): New mode macro. * config/mips/mips.md (P): New mode macro. (*xgot_hi[sd]i, *xgot_lo[sd]i, *got_disp[sd]i, *got_page[sd]i) (*load_got[sd]i, *low[sd]i, *low[sd]i_mips16): Redefine using :P. Add mode attributes. From-SVN: r86416 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 16cb707726b..3f089d55beb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2004-08-23 Richard Sandiford + + * config/mips/mips.md (P): New mode macro. + (*xgot_hi[sd]i, *xgot_lo[sd]i, *got_disp[sd]i, *got_page[sd]i) + (*load_got[sd]i, *low[sd]i, *low[sd]i_mips16): Redefine using :P. + Add mode attributes. + 2004-08-23 Richard Sandiford * config/mips/mips.md (UNSPEC_[LS][WD][LR]): Delete in favor of... diff --git a/gcc/config/mips/mips.md b/gcc/config/mips/mips.md index 14f3dbda2a8..781eafe62b2 100644 --- a/gcc/config/mips/mips.md +++ b/gcc/config/mips/mips.md @@ -289,6 +289,10 @@ ;; from the same template. (define_mode_macro GPR [SI (DI "TARGET_64BIT")]) +;; This mode macro allows :P to be used for patterns that operate on +;; pointer-sized quantities. Exactly one of the two alternatives will match. +(define_mode_macro P [(SI "Pmode == SImode") (DI "Pmode == DImode")]) + ;; In GPR templates, a string like "subu" will expand to "subu" in the ;; 32-bit version and "dsubu" in the 64-bit version. (define_mode_attr d [(SI "") (DI "d")]) @@ -3309,183 +3313,105 @@ beq\t%2,%.,1b\;\ ;; Insns to fetch a global symbol from a big GOT. -(define_insn_and_split "*xgot_hisi" - [(set (match_operand:SI 0 "register_operand" "=d") - (high:SI (match_operand:SI 1 "global_got_operand" "")))] - "TARGET_EXPLICIT_RELOCS && TARGET_XGOT" - "#" - "&& reload_completed" - [(set (match_dup 0) (high:SI (match_dup 2))) - (set (match_dup 0) (plus:SI (match_dup 0) (match_dup 3)))] -{ - operands[2] = mips_unspec_address (operands[1], SYMBOL_GOTOFF_GLOBAL); - operands[3] = pic_offset_table_rtx; -} - [(set_attr "got" "xgot_high")]) - -(define_insn_and_split "*xgot_losi" - [(set (match_operand:SI 0 "register_operand" "=d") - (lo_sum:SI (match_operand:SI 1 "register_operand" "d") - (match_operand:SI 2 "global_got_operand" "")))] - "TARGET_EXPLICIT_RELOCS && TARGET_XGOT" - "#" - "&& reload_completed" - [(set (match_dup 0) - (unspec:SI [(match_dup 1) (match_dup 3)] UNSPEC_LOAD_GOT))] - { operands[3] = mips_unspec_address (operands[2], SYMBOL_GOTOFF_GLOBAL); } - [(set_attr "got" "load")]) - -(define_insn_and_split "*xgot_hidi" - [(set (match_operand:DI 0 "register_operand" "=d") - (high:DI (match_operand:DI 1 "global_got_operand" "")))] +(define_insn_and_split "*xgot_hi" + [(set (match_operand:P 0 "register_operand" "=d") + (high:P (match_operand:P 1 "global_got_operand" "")))] "TARGET_EXPLICIT_RELOCS && TARGET_XGOT" "#" "&& reload_completed" - [(set (match_dup 0) (high:DI (match_dup 2))) - (set (match_dup 0) (plus:DI (match_dup 0) (match_dup 3)))] + [(set (match_dup 0) (high:P (match_dup 2))) + (set (match_dup 0) (plus:P (match_dup 0) (match_dup 3)))] { operands[2] = mips_unspec_address (operands[1], SYMBOL_GOTOFF_GLOBAL); operands[3] = pic_offset_table_rtx; } - [(set_attr "got" "xgot_high")]) + [(set_attr "got" "xgot_high") + (set_attr "mode" "")]) -(define_insn_and_split "*xgot_lodi" - [(set (match_operand:DI 0 "register_operand" "=d") - (lo_sum:DI (match_operand:DI 1 "register_operand" "d") - (match_operand:DI 2 "global_got_operand" "")))] +(define_insn_and_split "*xgot_lo" + [(set (match_operand:P 0 "register_operand" "=d") + (lo_sum:P (match_operand:P 1 "register_operand" "d") + (match_operand:P 2 "global_got_operand" "")))] "TARGET_EXPLICIT_RELOCS && TARGET_XGOT" "#" "&& reload_completed" [(set (match_dup 0) - (unspec:DI [(match_dup 1) (match_dup 3)] UNSPEC_LOAD_GOT))] + (unspec:P [(match_dup 1) (match_dup 3)] UNSPEC_LOAD_GOT))] { operands[3] = mips_unspec_address (operands[2], SYMBOL_GOTOFF_GLOBAL); } - [(set_attr "got" "load")]) + [(set_attr "got" "load") + (set_attr "mode" "")]) ;; Insns to fetch a global symbol from a normal GOT. -(define_insn_and_split "*got_dispsi" - [(set (match_operand:SI 0 "register_operand" "=d") - (match_operand:SI 1 "global_got_operand" ""))] - "TARGET_EXPLICIT_RELOCS && !TARGET_XGOT" - "#" - "&& reload_completed" - [(set (match_dup 0) - (unspec:SI [(match_dup 2) (match_dup 3)] UNSPEC_LOAD_GOT))] -{ - operands[2] = pic_offset_table_rtx; - operands[3] = mips_unspec_address (operands[1], SYMBOL_GOTOFF_GLOBAL); -} - [(set_attr "got" "load")]) - -(define_insn_and_split "*got_dispdi" - [(set (match_operand:DI 0 "register_operand" "=d") - (match_operand:DI 1 "global_got_operand" ""))] +(define_insn_and_split "*got_disp" + [(set (match_operand:P 0 "register_operand" "=d") + (match_operand:P 1 "global_got_operand" ""))] "TARGET_EXPLICIT_RELOCS && !TARGET_XGOT" "#" "&& reload_completed" [(set (match_dup 0) - (unspec:DI [(match_dup 2) (match_dup 3)] UNSPEC_LOAD_GOT))] + (unspec:P [(match_dup 2) (match_dup 3)] UNSPEC_LOAD_GOT))] { operands[2] = pic_offset_table_rtx; operands[3] = mips_unspec_address (operands[1], SYMBOL_GOTOFF_GLOBAL); } - [(set_attr "got" "load")]) + [(set_attr "got" "load") + (set_attr "mode" "")]) ;; Insns for loading the high part of a local symbol. -(define_insn_and_split "*got_pagesi" - [(set (match_operand:SI 0 "register_operand" "=d") - (high:SI (match_operand:SI 1 "local_got_operand" "")))] +(define_insn_and_split "*got_page" + [(set (match_operand:P 0 "register_operand" "=d") + (high:P (match_operand:P 1 "local_got_operand" "")))] "TARGET_EXPLICIT_RELOCS" "#" "&& reload_completed" [(set (match_dup 0) - (unspec:SI [(match_dup 2) (match_dup 3)] UNSPEC_LOAD_GOT))] + (unspec:P [(match_dup 2) (match_dup 3)] UNSPEC_LOAD_GOT))] { operands[2] = pic_offset_table_rtx; operands[3] = mips_unspec_address (operands[1], SYMBOL_GOTOFF_PAGE); } - [(set_attr "got" "load")]) - -(define_insn_and_split "*got_pagedi" - [(set (match_operand:DI 0 "register_operand" "=d") - (high:DI (match_operand:DI 1 "local_got_operand" "")))] - "TARGET_EXPLICIT_RELOCS" - "#" - "&& reload_completed" - [(set (match_dup 0) - (unspec:DI [(match_dup 2) (match_dup 3)] UNSPEC_LOAD_GOT))] -{ - operands[2] = pic_offset_table_rtx; - operands[3] = mips_unspec_address (operands[1], SYMBOL_GOTOFF_PAGE); -} - [(set_attr "got" "load")]) + [(set_attr "got" "load") + (set_attr "mode" "")]) ;; Lower-level instructions for loading an address from the GOT. ;; We could use MEMs, but an unspec gives more optimization ;; opportunities. -(define_insn "*load_gotsi" - [(set (match_operand:SI 0 "register_operand" "=d") - (unspec:SI [(match_operand:SI 1 "register_operand" "d") - (match_operand:SI 2 "immediate_operand" "")] - UNSPEC_LOAD_GOT))] - "TARGET_ABICALLS" - "lw\t%0,%R2(%1)" - [(set_attr "type" "load") - (set_attr "length" "4")]) - -(define_insn "*load_gotdi" - [(set (match_operand:DI 0 "register_operand" "=d") - (unspec:DI [(match_operand:DI 1 "register_operand" "d") - (match_operand:DI 2 "immediate_operand" "")] - UNSPEC_LOAD_GOT))] +(define_insn "*load_got" + [(set (match_operand:P 0 "register_operand" "=d") + (unspec:P [(match_operand:P 1 "register_operand" "d") + (match_operand:P 2 "immediate_operand" "")] + UNSPEC_LOAD_GOT))] "TARGET_ABICALLS" - "ld\t%0,%R2(%1)" + "\t%0,%R2(%1)" [(set_attr "type" "load") + (set_attr "mode" "") (set_attr "length" "4")]) ;; Instructions for adding the low 16 bits of an address to a register. ;; Operand 2 is the address: print_operand works out which relocation ;; should be applied. -(define_insn "*lowsi" - [(set (match_operand:SI 0 "register_operand" "=d") - (lo_sum:SI (match_operand:SI 1 "register_operand" "d") - (match_operand:SI 2 "immediate_operand" "")))] +(define_insn "*low" + [(set (match_operand:P 0 "register_operand" "=d") + (lo_sum:P (match_operand:P 1 "register_operand" "d") + (match_operand:P 2 "immediate_operand" "")))] "!TARGET_MIPS16" - "addiu\t%0,%1,%R2" - [(set_attr "type" "arith") - (set_attr "mode" "SI")]) - -(define_insn "*lowdi" - [(set (match_operand:DI 0 "register_operand" "=d") - (lo_sum:DI (match_operand:DI 1 "register_operand" "d") - (match_operand:DI 2 "immediate_operand" "")))] - "!TARGET_MIPS16 && TARGET_64BIT" - "daddiu\t%0,%1,%R2" - [(set_attr "type" "arith") - (set_attr "mode" "DI")]) + "addiu\t%0,%1,%R2" + [(set_attr "type" "arith") + (set_attr "mode" "")]) -(define_insn "*lowsi_mips16" - [(set (match_operand:SI 0 "register_operand" "=d") - (lo_sum:SI (match_operand:SI 1 "register_operand" "0") - (match_operand:SI 2 "immediate_operand" "")))] +(define_insn "*low_mips16" + [(set (match_operand:P 0 "register_operand" "=d") + (lo_sum:P (match_operand:P 1 "register_operand" "0") + (match_operand:P 2 "immediate_operand" "")))] "TARGET_MIPS16" - "addiu\t%0,%R2" - [(set_attr "type" "arith") - (set_attr "mode" "SI") - (set_attr "length" "8")]) - -(define_insn "*lowdi_mips16" - [(set (match_operand:DI 0 "register_operand" "=d") - (lo_sum:DI (match_operand:DI 1 "register_operand" "0") - (match_operand:DI 2 "immediate_operand" "")))] - "TARGET_MIPS16 && TARGET_64BIT" - "daddiu\t%0,%R2" - [(set_attr "type" "arith") - (set_attr "mode" "DI") - (set_attr "length" "8")]) + "addiu\t%0,%R2" + [(set_attr "type" "arith") + (set_attr "mode" "") + (set_attr "length" "8")]) ;; 64-bit integer moves