rt_gccstream/gcc/config/mips/4k.md

154 lines
5.1 KiB
Markdown

;; DFA-based pipeline descriptions for MIPS32 4K processor family
;; Contributed by Nigel Stephens (nigel@mips.com)
;; and David Ung (davidu@mips.com)
;;
;; References:
;; "MIPS32 4K Processor Core Family Software User's Manual,
;; Doc no: MD00016, Rev 1.18, Nov 15, 2004."
;;
;; 4Kc - pipelined multiplier and translation lookaside buffer (TLB)
;; 4km - pipelined multiplier and block address translator (BAT)
;; 4kp - non-pipelined multiplier and block address translator (BAT)
;;
;; Copyright (C) 2005, 2007 Free Software Foundation, Inc.
;;
;; This file is part of GCC.
;;
;; GCC is free software; you can redistribute it and/or modify it
;; under the terms of the GNU General Public License as published
;; by the Free Software Foundation; either version 3, or (at your
;; option) any later version.
;; GCC is distributed in the hope that it will be useful, but WITHOUT
;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
;; or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
;; License for more details.
;; You should have received a copy of the GNU General Public License
;; along with GCC; see the file COPYING3. If not see
;; <http://www.gnu.org/licenses/>.
(define_automaton "r4k_cpu, r4k_mdu")
;; Integer execution unit.
(define_cpu_unit "r4k_ixu_arith" "r4k_cpu")
(define_cpu_unit "r4k_ixu_mpydiv" "r4k_mdu")
(define_insn_reservation "r4k_int_load" 2
(and (eq_attr "cpu" "4kc,4kp")
(eq_attr "type" "load"))
"r4k_ixu_arith")
(define_insn_reservation "r4k_int_prefetch" 1
(and (eq_attr "cpu" "4kc,4kp")
(eq_attr "type" "prefetch"))
"r4k_ixu_arith")
(define_insn_reservation "r4k_int_store" 1
(and (eq_attr "cpu" "4kc,4kp")
(eq_attr "type" "store"))
"r4k_ixu_arith")
;; 4Kc/4Km
;; unsigned divide - 8/16/24/32-bit operand have latencies 9/17/25/33
;; signed divide - 8/16/24/32-bit operand have latencies 10/18/26/34
(define_insn_reservation "r4k_idiv_4kc" 34
(and (eq_attr "cpu" "4kc")
(and (eq_attr "type" "idiv")
(eq_attr "mode" "!DI")))
"r4k_ixu_arith+(r4k_ixu_mpydiv*34)")
;; 4Kp
;; unsigned divide - 33
;; signed divide - 33-35
(define_insn_reservation "r4k_idiv_4kp" 35
(and (eq_attr "cpu" "4kp")
(and (eq_attr "type" "idiv")
(eq_attr "mode" "!DI")))
"r4k_ixu_arith+(r4k_ixu_mpydiv*35)")
;; 4Kc/4Km fast 32x32 multiply
;; 16x32 is faster, but there's no way to detect this
(define_insn_reservation "r4k_mult_4kc" 2
(and (eq_attr "cpu" "4kc")
(and (eq_attr "type" "imul,imadd")
(eq_attr "mode" "SI")))
"r4k_ixu_arith+(r4k_ixu_mpydiv*2)")
;; 4Kc/4Km MUL has 2 cycle latency, but has the special property that it will
;; stall the integer unit pipeline. MUL 16x16 or 32x16 forces 1 cycle stall,
;; while MUL 32x32 forces 2 cycle stall. If next insn use the result, an
;; additional stall is forced.
(define_insn_reservation "r4k_mul_4kc" 4
(and (eq_attr "cpu" "4kc")
(and (eq_attr "type" "imul3")
(eq_attr "mode" "SI")))
"(r4k_ixu_arith+r4k_ixu_mpydiv)*3")
;; 4Kp slow iterative 2-op MULT
;; Latency of 32 if next insn is MADD/MSUB,MFHI/MFLO.
;; Repeat rate of 33 cycles.
(define_insn_reservation "r4k_mult_4kp" 32
(and (eq_attr "cpu" "4kp")
(and (eq_attr "type" "imul")
(eq_attr "mode" "SI")))
"r4k_ixu_arith+(r4k_ixu_mpydiv*32)")
;; 4Kp slow iterative 3-op MUL
;; Latency of 32 cycles, but stalls the whole pipeline until complete.
(define_insn_reservation "r4k_mul_4kp" 32
(and (eq_attr "cpu" "4kp")
(and (eq_attr "type" "imul3")
(eq_attr "mode" "SI")))
"(r4k_ixu_arith+r4k_ixu_mpydiv)*32")
;; 4Kp slow iterative MADD
;; Latency of 34 if next use insn is MADD/MSUB,MFHI/MFLO.
;; Repeat rate of 35 cycles.
(define_insn_reservation "r4k_madd_4kp" 34
(and (eq_attr "cpu" "4kp")
(and (eq_attr "type" "imadd")
(eq_attr "mode" "SI")))
"r4k_ixu_arith+(r4k_ixu_mpydiv*34)")
;; Move to HI/LO -> MADD/MSUB,MFHI/MFLO has a 1 cycle latency.
(define_insn_reservation "r4k_int_mthilo" 1
(and (eq_attr "cpu" "4kc,4kp")
(eq_attr "type" "mthilo"))
"r4k_ixu_arith+r4k_ixu_mpydiv")
;; Move from HI/LO -> integer operation has a 2 cycle latency.
(define_insn_reservation "r4k_int_mfhilo" 2
(and (eq_attr "cpu" "4kc,4kp")
(eq_attr "type" "mfhilo"))
"r4k_ixu_arith+r4k_ixu_mpydiv")
;; All other integer insns.
(define_insn_reservation "r4k_int_alu" 1
(and (eq_attr "cpu" "4kc,4kp")
(eq_attr "type" "arith,condmove,const,logical,move,nop,shift,signext,slt"))
"r4k_ixu_arith")
(define_insn_reservation "r4k_int_branch" 1
(and (eq_attr "cpu" "4kc,4kp")
(eq_attr "type" "branch"))
"r4k_ixu_arith")
(define_insn_reservation "r4k_int_jump_4k" 1
(and (eq_attr "cpu" "4kc,4kp")
(eq_attr "type" "jump,call"))
"r4k_ixu_arith")
;; mfcx/mtcx - non FPU
;; (Disabled until we add cop0 support)
;; (define_insn_reservation "r4k_int_cop" 2
;; (and (eq_attr "cpu" "4kc,4kp")
;; (eq_attr "type" "cop0"))
;; "r4k_ixu_arith")
;; Unknown or multi - single issue
(define_insn_reservation "r4k_unknown" 1
(and (eq_attr "cpu" "4kc,4kp")
(eq_attr "type" "unknown,multi"))
"r4k_ixu_arith+r4k_ixu_mpydiv")