gcc/config/mips/5k.md

   1 ;; DFA-based pipeline descriptions for MIPS32 5K processor family
   2 ;; Contributed by David Ung (davidu@mips.com)
   3 ;;   and Nigel Stephens (nigel@mips.com)
   4 ;;
   5 ;; References:
   6 ;;   "MIPS64 5K Processor Core Family Software User's Manual,
   7 ;;     Doc no: MD00012, Rev 2.09, Jan 28, 2005."
   8 ;;
   9 ;; 5Kc - Single issue with no floating point unit.
  10 ;; 5kf - Separate floating point pipe which can dual-issue with the
  11 ;;       integer pipe.
  12 ;;
  13 ;; Copyright (C) 2005-2013 Free Software Foundation, Inc.
  14 ;;
  15 ;; This file is part of GCC.
  16 ;;
  17 ;; GCC is free software; you can redistribute it and/or modify it
  18 ;; under the terms of the GNU General Public License as published
  19 ;; by the Free Software Foundation; either version 3, or (at your
  20 ;; option) any later version.
  21
  22 ;; GCC is distributed in the hope that it will be useful, but WITHOUT
  23 ;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  24 ;; or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
  25 ;; License for more details.
  26
  27 ;; You should have received a copy of the GNU General Public License
  28 ;; along with GCC; see the file COPYING3.  If not see
  29 ;; <http://www.gnu.org/licenses/>.
  30
  31 (define_automaton "r5k_cpu, r5k_mdu, r5k_fpu")
  32
  33 ;; Integer execution unit.
  34 (define_cpu_unit "r5k_ixu_arith"       "r5k_cpu")
  35 (define_cpu_unit "r5k_ixu_mpydiv"      "r5k_mdu")
  36 (define_cpu_unit "r5kf_fpu_arith"      "r5k_fpu")
  37
  38 (define_insn_reservation "r5k_int_load" 2
  39   (and (eq_attr "cpu" "5kc,5kf")
  40        (eq_attr "type" "load"))
  41   "r5k_ixu_arith")
  42
  43 (define_insn_reservation "r5k_int_prefetch" 1
  44   (and (eq_attr "cpu" "5kc,5kf")
  45        (eq_attr "type" "prefetch,prefetchx"))
  46   "r5k_ixu_arith")
  47
  48 (define_insn_reservation "r5k_int_store" 1
  49   (and (eq_attr "cpu" "5kc,5kf")
  50        (eq_attr "type" "store"))
  51   "r5k_ixu_arith")
  52
  53 ;; Divides
  54 (define_insn_reservation "r5k_int_divsi" 34
  55   (and (eq_attr "cpu" "5kc,5kf")
  56        (and (eq_attr "type" "idiv")
  57             (eq_attr "mode" "!DI")))
  58  "r5k_ixu_arith+(r5k_ixu_mpydiv*34)")
  59
  60 (define_insn_reservation "r5k_int_divdi" 66
  61   (and (eq_attr "cpu" "5kc,5kf")
  62        (and (eq_attr "type" "idiv")
  63             (eq_attr "mode" "DI")))
  64   "r5k_ixu_arith+(r5k_ixu_mpydiv*66)")
  65
  66 ;; 32x32 multiply
  67 ;; 32x16 is faster, but there's no way to detect this
  68 (define_insn_reservation "r5k_int_mult" 2
  69   (and (eq_attr "cpu" "5kc,5kf")
  70        (and (eq_attr "type" "imul,imadd")
  71             (eq_attr "mode" "SI")))
  72   "r5k_ixu_arith+(r5k_ixu_mpydiv*2)")
  73
  74 ;; 64x64 multiply
  75 (define_insn_reservation "r5k_int_mult_64" 9
  76   (and (eq_attr "cpu" "5kc,5kf")
  77        (and (eq_attr "type" "imul,imadd")
  78             (eq_attr "mode" "DI")))
  79   "r5k_ixu_arith+(r5k_ixu_mpydiv*2)")
  80
  81 ;; 3 operand MUL 32x32
  82 (define_insn_reservation "r5k_int_mul" 4
  83   (and (eq_attr "cpu" "5kc,5kf")
  84        (and (eq_attr "type" "imul3")
  85             (eq_attr "mode" "SI")))
  86   "r5k_ixu_arith+(r5k_ixu_mpydiv*2)")
  87
  88 ;; Move to HI/LO -> MADD/MSUB,MFHI/MFLO has a 1 cycle latency.
  89 (define_insn_reservation "r5k_int_mthilo" 1
  90   (and (eq_attr "cpu" "5kc,5kf")
  91        (eq_attr "type" "mthi,mtlo"))
  92   "r5k_ixu_arith+r5k_ixu_mpydiv")
  93
  94 ;; Move from HI/LO -> integer operation has a 2 cycle latency.
  95 (define_insn_reservation "r5k_int_mfhilo" 2
  96   (and (eq_attr "cpu" "5kc,5kf")
  97        (eq_attr "type" "mfhi,mflo"))
  98   "r5k_ixu_arith+r5k_ixu_mpydiv")
  99
 100 ;; All other integer insns.
 101 (define_insn_reservation "r5k_int_alu" 1
 102   (and (eq_attr "cpu" "5kc,5kf")
 103        (eq_attr "type" "arith,condmove,const,logical,move,nop,shift,signext,slt"))
 104   "r5k_ixu_arith")
 105
 106 (define_insn_reservation "r5k_int_branch" 1
 107   (and (eq_attr "cpu" "5kc,5kf")
 108        (eq_attr "type" "branch"))
 109   "r5k_ixu_arith")
 110
 111 ;; JR/JALR always cause one pipeline bubble because of interlock.
 112 (define_insn_reservation "r5k_int_jump" 2
 113   (and (eq_attr "cpu" "5kc,5kf")
 114        (eq_attr "type" "jump,call"))
 115   "r5k_ixu_arith")
 116
 117 ;; Any    -> JR/JALR (without dependency) : 1 clock issue delay
 118 ;; Any    -> JR/JALR (with dependency)    : 2 clock issue delay
 119 ;; load   -> JR/JALR (with dependency)    : 3 clock issue delay
 120 ;; mfhilo -> JR/JALR (with dependency)    : 3 clock issue delay
 121 ;; mul    -> JR/JALR (with dependency)    : 3 clock issue delay
 122 (define_bypass 2 "r5k_int_alu"    "r5k_int_jump")
 123 (define_bypass 3 "r5k_int_load"   "r5k_int_jump")
 124 (define_bypass 3 "r5k_int_mfhilo" "r5k_int_jump")
 125 (define_bypass 3 "r5k_int_mul"    "r5k_int_jump")
 126
 127 ;; Unknown or multi - single issue
 128 (define_insn_reservation "r5k_int_unknown" 1
 129   (and (eq_attr "cpu" "5kc,5kf")
 130        (eq_attr "type" "unknown,multi,atomic,syncloop"))
 131   "r5k_ixu_arith+r5k_ixu_mpydiv")
 132
 133
 134 ;; Floating Point Instructions
 135 ;; The 5Kf is a partial dual-issue cpu which can dual issue an integer
 136 ;; and floating-point instruction in the same cycle.
 137
 138 ;; fadd, fabs, fneg
 139 (define_insn_reservation "r5kf_fadd" 4
 140   (and (eq_attr "cpu" "5kf")
 141        (eq_attr "type" "fadd,fabs,fneg"))
 142   "r5kf_fpu_arith")
 143
 144 ;; fmove, fcmove
 145 (define_insn_reservation "r5kf_fmove" 4
 146   (and (eq_attr "cpu" "5kf")
 147        (eq_attr "type" "fmove"))
 148   "r5kf_fpu_arith")
 149
 150 ;; fload
 151 (define_insn_reservation "r5kf_fload" 3
 152   (and (eq_attr "cpu" "5kf")
 153        (eq_attr "type" "fpload,fpidxload"))
 154   "r5kf_fpu_arith")
 155
 156 ;; fstore
 157 (define_insn_reservation "r5kf_fstore" 1
 158   (and (eq_attr "cpu" "5kf")
 159        (eq_attr "type" "fpstore"))
 160   "r5kf_fpu_arith")
 161
 162 ;; fmul, fmadd
 163 (define_insn_reservation "r5kf_fmul_sf" 4
 164   (and (eq_attr "cpu" "5kf")
 165        (and (eq_attr "type" "fmul,fmadd")
 166             (eq_attr "mode" "SF")))
 167   "r5kf_fpu_arith")
 168
 169 (define_insn_reservation "r5kf_fmul_df" 5
 170   (and (eq_attr "cpu" "5kf")
 171        (and (eq_attr "type" "fmul,fmadd")
 172             (eq_attr "mode" "DF")))
 173   "r5kf_fpu_arith*2")
 174
 175 ;; fdiv, fsqrt, frsqrt
 176 (define_insn_reservation "r5kf_fdiv_sf" 17
 177   (and (eq_attr "cpu" "5kf")
 178        (and (eq_attr "type" "fdiv,fsqrt,frsqrt")
 179             (eq_attr "mode" "SF")))
 180   "r5kf_fpu_arith*14")
 181
 182 (define_insn_reservation "r5kf_fdiv_df" 32
 183   (and (eq_attr "cpu" "5kf")
 184        (and (eq_attr "type" "fdiv,fsqrt")
 185             (eq_attr "mode" "DF")))
 186   "r5kf_fpu_arith*29")
 187
 188 ;; frsqrt
 189 (define_insn_reservation "r5kf_frsqrt_df" 35
 190   (and (eq_attr "cpu" "5kf")
 191        (and (eq_attr "type" "frsqrt")
 192             (eq_attr "mode" "DF")))
 193   "r5kf_fpu_arith*31")
 194
 195 ;; fcmp
 196 (define_insn_reservation "r5kf_fcmp" 2
 197   (and (eq_attr "cpu" "5kf")
 198        (eq_attr "type" "fcmp"))
 199   "r5kf_fpu_arith")
 200
 201 ;; fcmp -> movf.fmt & movt.fmt bypass (dependency must be on condition)
 202 (define_bypass 1 "r5kf_fcmp" "r5kf_fmove")
 203
 204 ;; fcvt (cvt.d.s, cvt.[sd].[wl]
 205 (define_insn_reservation "r5kf_fcvt_d2s" 4
 206   (and (eq_attr "cpu" "5kf")
 207        (and (eq_attr "type" "fcvt")
 208             (eq_attr "cnv_mode" "I2S,I2D,S2D")))
 209   "r5kf_fpu_arith")
 210
 211 ;; fcvt (cvt.s.d)
 212 (define_insn_reservation "r5kf_fcvt_s2d" 6
 213   (and (eq_attr "cpu" "5kc")
 214        (and (eq_attr "type" "fcvt")
 215             (eq_attr "cnv_mode" "D2S")))
 216   "r5kf_fpu_arith")
 217
 218 ;; fcvt (cvt.[wl].[sd], etc)
 219 (define_insn_reservation "r5kf_fcvt_f2i" 5
 220   (and (eq_attr "cpu" "5kf")
 221        (and (eq_attr "type" "fcvt")
 222             (eq_attr "cnv_mode" "S2I,D2I")))
 223   "r5kf_fpu_arith")
 224
 225 ;; fxfer (mfc1, mfhc1, mtc1, mthc1) - single issue
 226 (define_insn_reservation "r5kf_fxfer" 2
 227   (and (eq_attr "cpu" "5kf")
 228        (eq_attr "type" "mfc,mtc"))
 229   "r5k_ixu_arith+r5kf_fpu_arith")