Subversion Repositories scarts

;; DFA-based pipeline descriptions for MIPS32 5K processor family

;; Contributed by David Ung (davidu@mips.com)

;;   and Nigel Stephens (nigel@mips.com)

;;

;; References:

;;   "MIPS64 5K Processor Core Family Software User's Manual,

;;     Doc no: MD00012, Rev 2.09, Jan 28, 2005."

;;

;; 5Kc - Single issue with no floating point unit.

;; 5kf - Separate floating point pipe which can dual-issue with the

;;       integer pipe.

;;

;; Copyright (C) 2005 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 2, 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 COPYING.  If not, write to the

;; Free Software Foundation, 51 Franklin Street, Fifth Floor, Boston,

;; MA 02110-1301, USA.

(define_automaton "r5k_cpu, r5k_mdu, r5k_fpu")

;; Integer execution unit.

(define_cpu_unit "r5k_ixu_arith"       "r5k_cpu")

(define_cpu_unit "r5k_ixu_mpydiv"      "r5k_mdu")

(define_cpu_unit "r5kf_fpu_arith"      "r5k_fpu")

(define_insn_reservation "r5k_int_load" 2

  (and (eq_attr "cpu" "5kc,5kf")

       (eq_attr "type" "load"))

  "r5k_ixu_arith")

(define_insn_reservation "r5k_int_prefetch" 1

  (and (eq_attr "cpu" "5kc,5kf")

       (eq_attr "type" "prefetch,prefetchx"))

  "r5k_ixu_arith")

(define_insn_reservation "r5k_int_store" 1

  (and (eq_attr "cpu" "5kc,5kf")

       (eq_attr "type" "store"))

  "r5k_ixu_arith")

;; Divides

(define_insn_reservation "r5k_int_divsi" 34

  (and (eq_attr "cpu" "5kc,5kf")

       (and (eq_attr "type" "idiv")

            (eq_attr "mode" "!DI")))

 "r5k_ixu_arith+(r5k_ixu_mpydiv*34)")

(define_insn_reservation "r5k_int_divdi" 66

  (and (eq_attr "cpu" "5kc,5kf")

       (and (eq_attr "type" "idiv")

            (eq_attr "mode" "DI")))

  "r5k_ixu_arith+(r5k_ixu_mpydiv*66)")

;; 32x32 multiply

;; 32x16 is faster, but there's no way to detect this

(define_insn_reservation "r5k_int_mult" 2

  (and (eq_attr "cpu" "5kc,5kf")

       (and (eq_attr "type" "imul,imadd")

            (eq_attr "mode" "SI")))

  "r5k_ixu_arith+(r5k_ixu_mpydiv*2)")

;; 64x64 multiply

(define_insn_reservation "r5k_int_mult_64" 9

  (and (eq_attr "cpu" "5kc,5kf")

       (and (eq_attr "type" "imul,imadd")

            (eq_attr "mode" "DI")))

  "r5k_ixu_arith+(r5k_ixu_mpydiv*2)")

;; 3 operand MUL 32x32

(define_insn_reservation "r5k_int_mul" 4

  (and (eq_attr "cpu" "5kc,5kf")

       (and (eq_attr "type" "imul3")

            (eq_attr "mode" "SI")))

  "r5k_ixu_arith+(r5k_ixu_mpydiv*2)")

;; Move to HI/LO -> MADD/MSUB,MFHI/MFLO has a 1 cycle latency.

(define_insn_reservation "r5k_int_mthilo" 1

  (and (eq_attr "cpu" "5kc,5kf")

       (eq_attr "type" "mthilo"))

  "r5k_ixu_arith+r5k_ixu_mpydiv")

;; Move from HI/LO -> integer operation has a 2 cycle latency.

(define_insn_reservation "r5k_int_mfhilo" 2

  (and (eq_attr "cpu" "5kc,5kf")

       (eq_attr "type" "mfhilo"))

  "r5k_ixu_arith+r5k_ixu_mpydiv")

;; All other integer insns.

(define_insn_reservation "r5k_int_alu" 1

  (and (eq_attr "cpu" "5kc,5kf")

       (eq_attr "type" "arith,condmove,shift,const,nop,slt"))

  "r5k_ixu_arith")

(define_insn_reservation "r5k_int_branch" 1

  (and (eq_attr "cpu" "5kc,5kf")

       (eq_attr "type" "branch"))

  "r5k_ixu_arith")

;; JR/JALR always cause one pipeline bubble because of interlock.

(define_insn_reservation "r5k_int_jump" 2

  (and (eq_attr "cpu" "5kc,5kf")

       (eq_attr "type" "jump,call"))

  "r5k_ixu_arith")

;; Any    -> JR/JALR (without dependency) : 1 clock issue delay

;; Any    -> JR/JALR (with dependency)    : 2 clock issue delay

;; load   -> JR/JALR (with dependency)    : 3 clock issue delay

;; mfhilo -> JR/JALR (with dependency)    : 3 clock issue delay

;; mul    -> JR/JALR (with dependency)    : 3 clock issue delay

(define_bypass 2 "r5k_int_alu"    "r5k_int_jump")

(define_bypass 3 "r5k_int_load"   "r5k_int_jump")

(define_bypass 3 "r5k_int_mfhilo" "r5k_int_jump")

(define_bypass 3 "r5k_int_mul"    "r5k_int_jump")

;; Unknown or multi - single issue

(define_insn_reservation "r5k_int_unknown" 1

  (and (eq_attr "cpu" "5kc,5kf")

       (eq_attr "type" "unknown,multi"))

  "r5k_ixu_arith+r5k_ixu_mpydiv")

;; Floating Point Instructions

;; The 5Kf is a partial dual-issue cpu which can dual issue an integer

;; and floating-point instruction in the same cycle.

;; fadd, fabs, fneg

(define_insn_reservation "r5kf_fadd" 4

  (and (eq_attr "cpu" "5kf")

       (eq_attr "type" "fadd,fabs,fneg"))

  "r5kf_fpu_arith")

;; fmove, fcmove

(define_insn_reservation "r5kf_fmove" 4

  (and (eq_attr "cpu" "5kf")

       (eq_attr "type" "fmove"))

  "r5kf_fpu_arith")

;; fload

(define_insn_reservation "r5kf_fload" 3

  (and (eq_attr "cpu" "5kf")

       (eq_attr "type" "fpload,fpidxload"))

  "r5kf_fpu_arith")

;; fstore

(define_insn_reservation "r5kf_fstore" 1

  (and (eq_attr "cpu" "5kf")

       (eq_attr "type" "fpstore"))

  "r5kf_fpu_arith")

;; fmul, fmadd

(define_insn_reservation "r5kf_fmul_sf" 4

  (and (eq_attr "cpu" "5kf")

       (and (eq_attr "type" "fmul,fmadd")

            (eq_attr "mode" "SF")))

  "r5kf_fpu_arith")

(define_insn_reservation "r5kf_fmul_df" 5

  (and (eq_attr "cpu" "5kf")

       (and (eq_attr "type" "fmul,fmadd")

            (eq_attr "mode" "DF")))

  "r5kf_fpu_arith*2")

;; fdiv, fsqrt, frsqrt

(define_insn_reservation "r5kf_fdiv_sf" 17

  (and (eq_attr "cpu" "5kf")

       (and (eq_attr "type" "fdiv,fsqrt,frsqrt")

            (eq_attr "mode" "SF")))

  "r5kf_fpu_arith*14")

(define_insn_reservation "r5kf_fdiv_df" 32

  (and (eq_attr "cpu" "5kf")

       (and (eq_attr "type" "fdiv,fsqrt")

            (eq_attr "mode" "DF")))

  "r5kf_fpu_arith*29")

;; frsqrt

(define_insn_reservation "r5kf_frsqrt_df" 35

  (and (eq_attr "cpu" "5kf")

       (and (eq_attr "type" "frsqrt")

            (eq_attr "mode" "DF")))

  "r5kf_fpu_arith*31")

;; fcmp

(define_insn_reservation "r5kf_fcmp" 2

  (and (eq_attr "cpu" "5kf")

       (eq_attr "type" "fcmp"))

  "r5kf_fpu_arith")

;; fcmp -> movf.fmt & movt.fmt bypass (dependency must be on condition)

(define_bypass 1 "r5kf_fcmp" "r5kf_fmove")

;; fcvt (cvt.d.s, cvt.[sd].[wl]

(define_insn_reservation "r5kf_fcvt_d2s" 4

  (and (eq_attr "cpu" "5kf")

       (and (eq_attr "type" "fcvt")

            (eq_attr "cnv_mode" "I2S,I2D,S2D")))

  "r5kf_fpu_arith")

;; fcvt (cvt.s.d)

(define_insn_reservation "r5kf_fcvt_s2d" 6

  (and (eq_attr "cpu" "5kc")

       (and (eq_attr "type" "fcvt")

            (eq_attr "cnv_mode" "D2S")))

  "r5kf_fpu_arith")

;; fcvt (cvt.[wl].[sd], etc)

(define_insn_reservation "r5kf_fcvt_f2i" 5

  (and (eq_attr "cpu" "5kf")

       (and (eq_attr "type" "fcvt")

            (eq_attr "cnv_mode" "S2I,D2I")))

  "r5kf_fpu_arith")

;; fxfer (mfc1, mfhc1, mtc1, mthc1) - single issue

(define_insn_reservation "r5kf_fxfer" 2

  (and (eq_attr "cpu" "5kf")

       (eq_attr "type" "xfer"))

  "r5k_ixu_arith+r5kf_fpu_arith")