gcc/config/arm/fpa.md

   1 ;;- Machine description for FPA co-processor for ARM cpus.
   2 ;;  Copyright 1991, 1993, 1994, 1995, 1996, 1996, 1997, 1998, 1999, 2000,
   3 ;;  2001, 2002, 2003  Free Software Foundation, Inc.
   4 ;;  Contributed by Pieter `Tiggr' Schoenmakers (rcpieter@win.tue.nl)
   5 ;;  and Martin Simmons (@harleqn.co.uk).
   6 ;;  More major hacks by Richard Earnshaw (rearnsha@arm.com).
   7
   8 ;; This file is part of GCC.
   9
  10 ;; GCC is free software; you can redistribute it and/or modify it
  11 ;; under the terms of the GNU General Public License as published
  12 ;; by the Free Software Foundation; either version 2, or (at your
  13 ;; option) any later version.
  14
  15 ;; GCC is distributed in the hope that it will be useful, but WITHOUT
  16 ;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  17 ;; or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
  18 ;; License for more details.
  19
  20 ;; You should have received a copy of the GNU General Public License
  21 ;; along with GCC; see the file COPYING.  If not, write to
  22 ;; the Free Software Foundation, 59 Temple Place - Suite 330,
  23 ;; Boston, MA 02111-1307, USA.
  24
  25 ;; FPA automaton.
  26 (define_automaton "armfp")
  27
  28 ;; Floating point unit (FPA)
  29 (define_cpu_unit "fpa" "armfp")
  30
  31 ; The fpa10 doesn't really have a memory read unit, but it can start
  32 ; to speculatively execute the instruction in the pipeline, provided
  33 ; the data is already loaded, so pretend reads have a delay of 2 (and
  34 ; that the pipeline is infinite).
  35 (define_cpu_unit "fpa_mem" "arm")
  36
  37 (define_insn_reservation "fdivx" 71
  38   (and (eq_attr "fpu" "fpa")
  39        (eq_attr "type" "fdivx"))
  40   "core+fpa*69")
  41
  42 (define_insn_reservation "fdivd" 59
  43   (and (eq_attr "fpu" "fpa")
  44        (eq_attr "type" "fdivd"))
  45   "core+fpa*57")
  46
  47 (define_insn_reservation "fdivs" 31
  48   (and (eq_attr "fpu" "fpa")
  49        (eq_attr "type" "fdivs"))
  50   "core+fpa*29")
  51
  52 (define_insn_reservation "fmul" 9
  53   (and (eq_attr "fpu" "fpa")
  54        (eq_attr "type" "fmul"))
  55   "core+fpa*7")
  56
  57 (define_insn_reservation "ffmul" 6
  58   (and (eq_attr "fpu" "fpa")
  59        (eq_attr "type" "ffmul"))
  60   "core+fpa*4")
  61
  62 (define_insn_reservation "farith" 4
  63   (and (eq_attr "fpu" "fpa")
  64        (eq_attr "type" "farith"))
  65   "core+fpa*2")
  66
  67 (define_insn_reservation "ffarith" 2
  68   (and (eq_attr "fpu" "fpa")
  69        (eq_attr "type" "ffarith"))
  70   "core+fpa*2")
  71
  72 (define_insn_reservation "r_2_f" 5
  73   (and (eq_attr "fpu" "fpa")
  74        (eq_attr "type" "r_2_f"))
  75   "core+fpa*3")
  76
  77 (define_insn_reservation "f_2_r" 1
  78   (and (eq_attr "fpu" "fpa")
  79        (eq_attr "type" "f_2_r"))
  80   "core+fpa*2")
  81
  82 (define_insn_reservation "f_load" 3
  83   (and (eq_attr "fpu" "fpa") (eq_attr "type" "f_load"))
  84   "fpa_mem+core*3")
  85
  86 (define_insn_reservation "f_store" 4
  87   (and (eq_attr "fpu" "fpa") (eq_attr "type" "f_store"))
  88   "core*4")
  89
  90 (define_insn_reservation "r_mem_f" 6
  91   (and (eq_attr "model_wbuf" "no")
  92     (and (eq_attr "fpu" "fpa") (eq_attr "type" "r_mem_f")))
  93   "core*6")
  94
  95 (define_insn_reservation "f_mem_r" 7
  96   (and (eq_attr "fpu" "fpa") (eq_attr "type" "f_mem_r"))
  97   "core*7")
  98
  99
 100 (define_insn "*addsf3_fpa"
 101   [(set (match_operand:SF          0 "s_register_operand" "=f,f")
 102         (plus:SF (match_operand:SF 1 "s_register_operand" "%f,f")
 103                  (match_operand:SF 2 "fpa_add_operand"    "fG,H")))]
 104   "TARGET_ARM && TARGET_HARD_FLOAT"
 105   "@
 106    adf%?s\\t%0, %1, %2
 107    suf%?s\\t%0, %1, #%N2"
 108   [(set_attr "type" "farith")
 109    (set_attr "predicable" "yes")]
 110 )
 111
 112 (define_insn "*adddf3_fpa"
 113   [(set (match_operand:DF          0 "s_register_operand" "=f,f")
 114         (plus:DF (match_operand:DF 1 "s_register_operand" "%f,f")
 115                  (match_operand:DF 2 "fpa_add_operand"    "fG,H")))]
 116   "TARGET_ARM && TARGET_HARD_FLOAT"
 117   "@
 118    adf%?d\\t%0, %1, %2
 119    suf%?d\\t%0, %1, #%N2"
 120   [(set_attr "type" "farith")
 121    (set_attr "predicable" "yes")]
 122 )
 123
 124 (define_insn "*adddf_esfdf_df_fpa"
 125   [(set (match_operand:DF           0 "s_register_operand" "=f,f")
 126         (plus:DF (float_extend:DF
 127                   (match_operand:SF 1 "s_register_operand"  "f,f"))
 128                  (match_operand:DF  2 "fpa_add_operand"    "fG,H")))]
 129   "TARGET_ARM && TARGET_HARD_FLOAT"
 130   "@
 131    adf%?d\\t%0, %1, %2
 132    suf%?d\\t%0, %1, #%N2"
 133   [(set_attr "type" "farith")
 134    (set_attr "predicable" "yes")]
 135 )
 136
 137 (define_insn "*adddf_df_esfdf_fpa"
 138   [(set (match_operand:DF           0 "s_register_operand" "=f")
 139         (plus:DF (match_operand:DF  1 "s_register_operand"  "f")
 140                  (float_extend:DF
 141                   (match_operand:SF 2 "s_register_operand"  "f"))))]
 142   "TARGET_ARM && TARGET_HARD_FLOAT"
 143   "adf%?d\\t%0, %1, %2"
 144   [(set_attr "type" "farith")
 145    (set_attr "predicable" "yes")]
 146 )
 147
 148 (define_insn "*adddf_esfdf_esfdf_fpa"
 149   [(set (match_operand:DF           0 "s_register_operand" "=f")
 150         (plus:DF (float_extend:DF
 151                   (match_operand:SF 1 "s_register_operand" "f"))
 152                  (float_extend:DF
 153                   (match_operand:SF 2 "s_register_operand" "f"))))]
 154   "TARGET_ARM && TARGET_HARD_FLOAT"
 155   "adf%?d\\t%0, %1, %2"
 156   [(set_attr "type" "farith")
 157    (set_attr "predicable" "yes")]
 158 )
 159
 160 (define_insn "*subsf3_fpa"
 161   [(set (match_operand:SF 0 "s_register_operand" "=f,f")
 162         (minus:SF (match_operand:SF 1 "fpa_rhs_operand" "f,G")
 163                   (match_operand:SF 2 "fpa_rhs_operand" "fG,f")))]
 164   "TARGET_ARM && TARGET_HARD_FLOAT"
 165   "@
 166    suf%?s\\t%0, %1, %2
 167    rsf%?s\\t%0, %2, %1"
 168   [(set_attr "type" "farith")]
 169 )
 170
 171 (define_insn "*subdf3_fpa"
 172   [(set (match_operand:DF           0 "s_register_operand" "=f,f")
 173         (minus:DF (match_operand:DF 1 "fpa_rhs_operand"     "f,G")
 174                   (match_operand:DF 2 "fpa_rhs_operand"    "fG,f")))]
 175   "TARGET_ARM && TARGET_HARD_FLOAT"
 176   "@
 177    suf%?d\\t%0, %1, %2
 178    rsf%?d\\t%0, %2, %1"
 179   [(set_attr "type" "farith")
 180    (set_attr "predicable" "yes")]
 181 )
 182
 183 (define_insn "*subdf_esfdf_df_fpa"
 184   [(set (match_operand:DF            0 "s_register_operand" "=f")
 185         (minus:DF (float_extend:DF
 186                    (match_operand:SF 1 "s_register_operand"  "f"))
 187                   (match_operand:DF  2 "fpa_rhs_operand"    "fG")))]
 188   "TARGET_ARM && TARGET_HARD_FLOAT"
 189   "suf%?d\\t%0, %1, %2"
 190   [(set_attr "type" "farith")
 191    (set_attr "predicable" "yes")]
 192 )
 193
 194 (define_insn "*subdf_df_esfdf_fpa"
 195   [(set (match_operand:DF 0 "s_register_operand" "=f,f")
 196         (minus:DF (match_operand:DF 1 "fpa_rhs_operand" "f,G")
 197                   (float_extend:DF
 198                    (match_operand:SF 2 "s_register_operand" "f,f"))))]
 199   "TARGET_ARM && TARGET_HARD_FLOAT"
 200   "@
 201    suf%?d\\t%0, %1, %2
 202    rsf%?d\\t%0, %2, %1"
 203   [(set_attr "type" "farith")
 204    (set_attr "predicable" "yes")]
 205 )
 206
 207 (define_insn "*subdf_esfdf_esfdf_fpa"
 208   [(set (match_operand:DF 0 "s_register_operand" "=f")
 209         (minus:DF (float_extend:DF
 210                    (match_operand:SF 1 "s_register_operand" "f"))
 211                   (float_extend:DF
 212                    (match_operand:SF 2 "s_register_operand" "f"))))]
 213   "TARGET_ARM && TARGET_HARD_FLOAT"
 214   "suf%?d\\t%0, %1, %2"
 215   [(set_attr "type" "farith")
 216    (set_attr "predicable" "yes")]
 217 )
 218
 219 (define_insn "*mulsf3_fpa"
 220   [(set (match_operand:SF 0 "s_register_operand" "=f")
 221         (mult:SF (match_operand:SF 1 "s_register_operand" "f")
 222                  (match_operand:SF 2 "fpa_rhs_operand" "fG")))]
 223   "TARGET_ARM && TARGET_HARD_FLOAT"
 224   "fml%?s\\t%0, %1, %2"
 225   [(set_attr "type" "ffmul")
 226    (set_attr "predicable" "yes")]
 227 )
 228
 229 (define_insn "*muldf3_fpa"
 230   [(set (match_operand:DF 0 "s_register_operand" "=f")
 231         (mult:DF (match_operand:DF 1 "s_register_operand" "f")
 232                  (match_operand:DF 2 "fpa_rhs_operand" "fG")))]
 233   "TARGET_ARM && TARGET_HARD_FLOAT"
 234   "muf%?d\\t%0, %1, %2"
 235   [(set_attr "type" "fmul")
 236    (set_attr "predicable" "yes")]
 237 )
 238
 239 (define_insn "*muldf_esfdf_df_fpa"
 240   [(set (match_operand:DF 0 "s_register_operand" "=f")
 241         (mult:DF (float_extend:DF
 242                   (match_operand:SF 1 "s_register_operand" "f"))
 243                  (match_operand:DF 2 "fpa_rhs_operand" "fG")))]
 244   "TARGET_ARM && TARGET_HARD_FLOAT"
 245   "muf%?d\\t%0, %1, %2"
 246   [(set_attr "type" "fmul")
 247    (set_attr "predicable" "yes")]
 248 )
 249
 250 (define_insn "*muldf_df_esfdf_fpa"
 251   [(set (match_operand:DF 0 "s_register_operand" "=f")
 252         (mult:DF (match_operand:DF 1 "s_register_operand" "f")
 253                  (float_extend:DF
 254                   (match_operand:SF 2 "s_register_operand" "f"))))]
 255   "TARGET_ARM && TARGET_HARD_FLOAT"
 256   "muf%?d\\t%0, %1, %2"
 257   [(set_attr "type" "fmul")
 258    (set_attr "predicable" "yes")]
 259 )
 260
 261 (define_insn "*muldf_esfdf_esfdf_fpa"
 262   [(set (match_operand:DF 0 "s_register_operand" "=f")
 263         (mult:DF
 264          (float_extend:DF (match_operand:SF 1 "s_register_operand" "f"))
 265          (float_extend:DF (match_operand:SF 2 "s_register_operand" "f"))))]
 266   "TARGET_ARM && TARGET_HARD_FLOAT"
 267   "muf%?d\\t%0, %1, %2"
 268   [(set_attr "type" "fmul")
 269    (set_attr "predicable" "yes")]
 270 )
 271
 272 ;; Division insns
 273
 274 (define_insn "*divsf3_fpa"
 275   [(set (match_operand:SF 0 "s_register_operand" "=f,f")
 276         (div:SF (match_operand:SF 1 "fpa_rhs_operand" "f,G")
 277                 (match_operand:SF 2 "fpa_rhs_operand" "fG,f")))]
 278   "TARGET_ARM && TARGET_HARD_FLOAT"
 279   "@
 280    fdv%?s\\t%0, %1, %2
 281    frd%?s\\t%0, %2, %1"
 282   [(set_attr "type" "fdivs")
 283    (set_attr "predicable" "yes")]
 284 )
 285
 286 (define_insn "*divdf3_fpa"
 287   [(set (match_operand:DF 0 "s_register_operand" "=f,f")
 288         (div:DF (match_operand:DF 1 "fpa_rhs_operand" "f,G")
 289                 (match_operand:DF 2 "fpa_rhs_operand" "fG,f")))]
 290   "TARGET_ARM && TARGET_HARD_FLOAT"
 291   "@
 292    dvf%?d\\t%0, %1, %2
 293    rdf%?d\\t%0, %2, %1"
 294   [(set_attr "type" "fdivd")
 295    (set_attr "predicable" "yes")]
 296 )
 297
 298 (define_insn "*divdf_esfdf_df_fpa"
 299   [(set (match_operand:DF 0 "s_register_operand" "=f")
 300         (div:DF (float_extend:DF
 301                  (match_operand:SF 1 "s_register_operand" "f"))
 302                 (match_operand:DF 2 "fpa_rhs_operand" "fG")))]
 303   "TARGET_ARM && TARGET_HARD_FLOAT"
 304   "dvf%?d\\t%0, %1, %2"
 305   [(set_attr "type" "fdivd")
 306    (set_attr "predicable" "yes")]
 307 )
 308
 309 (define_insn "*divdf_df_esfdf_fpa"
 310   [(set (match_operand:DF 0 "s_register_operand" "=f")
 311         (div:DF (match_operand:DF 1 "fpa_rhs_operand" "fG")
 312                 (float_extend:DF
 313                  (match_operand:SF 2 "s_register_operand" "f"))))]
 314   "TARGET_ARM && TARGET_HARD_FLOAT"
 315   "rdf%?d\\t%0, %2, %1"
 316   [(set_attr "type" "fdivd")
 317    (set_attr "predicable" "yes")]
 318 )
 319
 320 (define_insn "*divdf_esfdf_esfdf_fpa"
 321   [(set (match_operand:DF 0 "s_register_operand" "=f")
 322         (div:DF (float_extend:DF
 323                  (match_operand:SF 1 "s_register_operand" "f"))
 324                 (float_extend:DF
 325                  (match_operand:SF 2 "s_register_operand" "f"))))]
 326   "TARGET_ARM && TARGET_HARD_FLOAT"
 327   "dvf%?d\\t%0, %1, %2"
 328   [(set_attr "type" "fdivd")
 329    (set_attr "predicable" "yes")]
 330 )
 331
 332 (define_insn "*modsf3_fpa"
 333   [(set (match_operand:SF 0 "s_register_operand" "=f")
 334         (mod:SF (match_operand:SF 1 "s_register_operand" "f")
 335                 (match_operand:SF 2 "fpa_rhs_operand" "fG")))]
 336   "TARGET_ARM && TARGET_HARD_FLOAT"
 337   "rmf%?s\\t%0, %1, %2"
 338   [(set_attr "type" "fdivs")
 339    (set_attr "predicable" "yes")]
 340 )
 341
 342 (define_insn "*moddf3_fpa"
 343   [(set (match_operand:DF 0 "s_register_operand" "=f")
 344         (mod:DF (match_operand:DF 1 "s_register_operand" "f")
 345                 (match_operand:DF 2 "fpa_rhs_operand" "fG")))]
 346   "TARGET_ARM && TARGET_HARD_FLOAT"
 347   "rmf%?d\\t%0, %1, %2"
 348   [(set_attr "type" "fdivd")
 349    (set_attr "predicable" "yes")]
 350 )
 351
 352 (define_insn "*moddf_esfdf_df_fpa"
 353   [(set (match_operand:DF 0 "s_register_operand" "=f")
 354         (mod:DF (float_extend:DF
 355                  (match_operand:SF 1 "s_register_operand" "f"))
 356                 (match_operand:DF 2 "fpa_rhs_operand" "fG")))]
 357   "TARGET_ARM && TARGET_HARD_FLOAT"
 358   "rmf%?d\\t%0, %1, %2"
 359   [(set_attr "type" "fdivd")
 360    (set_attr "predicable" "yes")]
 361 )
 362
 363 (define_insn "*moddf_df_esfdf_fpa"
 364   [(set (match_operand:DF 0 "s_register_operand" "=f")
 365         (mod:DF (match_operand:DF 1 "s_register_operand" "f")
 366                 (float_extend:DF
 367                  (match_operand:SF 2 "s_register_operand" "f"))))]
 368   "TARGET_ARM && TARGET_HARD_FLOAT"
 369   "rmf%?d\\t%0, %1, %2"
 370   [(set_attr "type" "fdivd")
 371    (set_attr "predicable" "yes")]
 372 )
 373
 374 (define_insn "*moddf_esfdf_esfdf_fpa"
 375   [(set (match_operand:DF 0 "s_register_operand" "=f")
 376         (mod:DF (float_extend:DF
 377                  (match_operand:SF 1 "s_register_operand" "f"))
 378                 (float_extend:DF
 379                  (match_operand:SF 2 "s_register_operand" "f"))))]
 380   "TARGET_ARM && TARGET_HARD_FLOAT"
 381   "rmf%?d\\t%0, %1, %2"
 382   [(set_attr "type" "fdivd")
 383    (set_attr "predicable" "yes")]
 384 )
 385
 386 (define_insn "*negsf2_fpa"
 387   [(set (match_operand:SF         0 "s_register_operand" "=f")
 388         (neg:SF (match_operand:SF 1 "s_register_operand" "f")))]
 389   "TARGET_ARM && TARGET_HARD_FLOAT"
 390   "mnf%?s\\t%0, %1"
 391   [(set_attr "type" "ffarith")
 392    (set_attr "predicable" "yes")]
 393 )
 394
 395 (define_insn "*negdf2_fpa"
 396   [(set (match_operand:DF         0 "s_register_operand" "=f")
 397         (neg:DF (match_operand:DF 1 "s_register_operand" "f")))]
 398   "TARGET_ARM && TARGET_HARD_FLOAT"
 399   "mnf%?d\\t%0, %1"
 400   [(set_attr "type" "ffarith")
 401    (set_attr "predicable" "yes")]
 402 )
 403
 404 (define_insn "*negdf_esfdf_fpa"
 405   [(set (match_operand:DF 0 "s_register_operand" "=f")
 406         (neg:DF (float_extend:DF
 407                  (match_operand:SF 1 "s_register_operand" "f"))))]
 408   "TARGET_ARM && TARGET_HARD_FLOAT"
 409   "mnf%?d\\t%0, %1"
 410   [(set_attr "type" "ffarith")
 411    (set_attr "predicable" "yes")]
 412 )
 413
 414 (define_insn "*abssf2_fpa"
 415   [(set (match_operand:SF          0 "s_register_operand" "=f")
 416          (abs:SF (match_operand:SF 1 "s_register_operand" "f")))]
 417   "TARGET_ARM && TARGET_HARD_FLOAT"
 418   "abs%?s\\t%0, %1"
 419   [(set_attr "type" "ffarith")
 420    (set_attr "predicable" "yes")]
 421 )
 422
 423 (define_insn "*absdf2_fpa"
 424   [(set (match_operand:DF         0 "s_register_operand" "=f")
 425         (abs:DF (match_operand:DF 1 "s_register_operand" "f")))]
 426   "TARGET_ARM && TARGET_HARD_FLOAT"
 427   "abs%?d\\t%0, %1"
 428   [(set_attr "type" "ffarith")
 429    (set_attr "predicable" "yes")]
 430 )
 431
 432 (define_insn "*absdf_esfdf_fpa"
 433   [(set (match_operand:DF 0 "s_register_operand" "=f")
 434         (abs:DF (float_extend:DF
 435                  (match_operand:SF 1 "s_register_operand" "f"))))]
 436   "TARGET_ARM && TARGET_HARD_FLOAT"
 437   "abs%?d\\t%0, %1"
 438   [(set_attr "type" "ffarith")
 439    (set_attr "predicable" "yes")]
 440 )
 441
 442 (define_insn "*sqrtsf2_fpa"
 443   [(set (match_operand:SF 0 "s_register_operand" "=f")
 444         (sqrt:SF (match_operand:SF 1 "s_register_operand" "f")))]
 445   "TARGET_ARM && TARGET_HARD_FLOAT"
 446   "sqt%?s\\t%0, %1"
 447   [(set_attr "type" "float_em")
 448    (set_attr "predicable" "yes")]
 449 )
 450
 451 (define_insn "*sqrtdf2_fpa"
 452   [(set (match_operand:DF 0 "s_register_operand" "=f")
 453         (sqrt:DF (match_operand:DF 1 "s_register_operand" "f")))]
 454   "TARGET_ARM && TARGET_HARD_FLOAT"
 455   "sqt%?d\\t%0, %1"
 456   [(set_attr "type" "float_em")
 457    (set_attr "predicable" "yes")]
 458 )
 459
 460 (define_insn "*sqrtdf_esfdf_fpa"
 461   [(set (match_operand:DF 0 "s_register_operand" "=f")
 462         (sqrt:DF (float_extend:DF
 463                   (match_operand:SF 1 "s_register_operand" "f"))))]
 464   "TARGET_ARM && TARGET_HARD_FLOAT"
 465   "sqt%?d\\t%0, %1"
 466   [(set_attr "type" "float_em")
 467    (set_attr "predicable" "yes")]
 468 )
 469
 470 (define_insn "*floatsisf2_fpa"
 471   [(set (match_operand:SF           0 "s_register_operand" "=f")
 472         (float:SF (match_operand:SI 1 "s_register_operand" "r")))]
 473   "TARGET_ARM && TARGET_HARD_FLOAT"
 474   "flt%?s\\t%0, %1"
 475   [(set_attr "type" "r_2_f")
 476    (set_attr "predicable" "yes")]
 477 )
 478
 479 (define_insn "*floatsidf2_fpa"
 480   [(set (match_operand:DF           0 "s_register_operand" "=f")
 481         (float:DF (match_operand:SI 1 "s_register_operand" "r")))]
 482   "TARGET_ARM && TARGET_HARD_FLOAT"
 483   "flt%?d\\t%0, %1"
 484   [(set_attr "type" "r_2_f")
 485    (set_attr "predicable" "yes")]
 486 )
 487
 488 (define_insn "*fix_truncsfsi2_fpa"
 489   [(set (match_operand:SI         0 "s_register_operand" "=r")
 490         (fix:SI (fix:SF (match_operand:SF 1 "s_register_operand" "f"))))]
 491   "TARGET_ARM && TARGET_HARD_FLOAT"
 492   "fix%?z\\t%0, %1"
 493   [(set_attr "type" "f_2_r")
 494    (set_attr "predicable" "yes")]
 495 )
 496
 497 (define_insn "*fix_truncdfsi2_fpa"
 498   [(set (match_operand:SI         0 "s_register_operand" "=r")
 499         (fix:SI (fix:DF (match_operand:DF 1 "s_register_operand" "f"))))]
 500   "TARGET_ARM && TARGET_HARD_FLOAT"
 501   "fix%?z\\t%0, %1"
 502   [(set_attr "type" "f_2_r")
 503    (set_attr "predicable" "yes")]
 504 )
 505
 506 (define_insn "*truncdfsf2_fpa"
 507   [(set (match_operand:SF 0 "s_register_operand" "=f")
 508         (float_truncate:SF
 509          (match_operand:DF 1 "s_register_operand" "f")))]
 510   "TARGET_ARM && TARGET_HARD_FLOAT"
 511   "mvf%?s\\t%0, %1"
 512   [(set_attr "type" "ffarith")
 513    (set_attr "predicable" "yes")]
 514 )
 515
 516 (define_insn "*extendsfdf2_fpa"
 517   [(set (match_operand:DF                  0 "s_register_operand" "=f")
 518         (float_extend:DF (match_operand:SF 1 "s_register_operand"  "f")))]
 519   "TARGET_ARM && TARGET_HARD_FLOAT"
 520   "mvf%?d\\t%0, %1"
 521   [(set_attr "type" "ffarith")
 522    (set_attr "predicable" "yes")]
 523 )
 524
 525 (define_insn "*movsf_fpa"
 526   [(set (match_operand:SF 0 "nonimmediate_operand" "=f,f,f, m,f,r,r,r, m")
 527         (match_operand:SF 1 "general_operand"      "fG,H,mE,f,r,f,r,mE,r"))]
 528   "TARGET_ARM
 529    && TARGET_HARD_FLOAT
 530    && (GET_CODE (operands[0]) != MEM
 531        || register_operand (operands[1], SFmode))"
 532   "@
 533    mvf%?s\\t%0, %1
 534    mnf%?s\\t%0, #%N1
 535    ldf%?s\\t%0, %1
 536    stf%?s\\t%1, %0
 537    str%?\\t%1, [%|sp, #-4]!\;ldf%?s\\t%0, [%|sp], #4
 538    stf%?s\\t%1, [%|sp, #-4]!\;ldr%?\\t%0, [%|sp], #4
 539    mov%?\\t%0, %1
 540    ldr%?\\t%0, %1\\t%@ float
 541    str%?\\t%1, %0\\t%@ float"
 542   [(set_attr "length" "4,4,4,4,8,8,4,4,4")
 543    (set_attr "predicable" "yes")
 544    (set_attr "type"
 545          "ffarith,ffarith,f_load,f_store,r_mem_f,f_mem_r,*,load,store1")
 546    (set_attr "pool_range" "*,*,1024,*,*,*,*,4096,*")
 547    (set_attr "neg_pool_range" "*,*,1012,*,*,*,*,4084,*")]
 548 )
 549
 550 (define_insn "*movdf_fpa"
 551   [(set (match_operand:DF 0 "nonimmediate_operand"
 552                                                 "=r,Q,r,m,r, f, f,f, m,!f,!r")
 553         (match_operand:DF 1 "general_operand"
 554                                                 "Q, r,r,r,mF,fG,H,mF,f,r, f"))]
 555   "TARGET_ARM
 556    && TARGET_HARD_FLOAT
 557    && (GET_CODE (operands[0]) != MEM
 558        || register_operand (operands[1], DFmode))"
 559   "*
 560   {
 561   switch (which_alternative)
 562     {
 563     default:
 564     case 0: return \"ldm%?ia\\t%m1, %M0\\t%@ double\";
 565     case 1: return \"stm%?ia\\t%m0, %M1\\t%@ double\";
 566     case 2: case 3: case 4: return output_move_double (operands);
 567     case 5: return \"mvf%?d\\t%0, %1\";
 568     case 6: return \"mnf%?d\\t%0, #%N1\";
 569     case 7: return \"ldf%?d\\t%0, %1\";
 570     case 8: return \"stf%?d\\t%1, %0\";
 571     case 9: return output_mov_double_fpa_from_arm (operands);
 572     case 10: return output_mov_double_arm_from_fpa (operands);
 573     }
 574   }
 575   "
 576   [(set_attr "length" "4,4,8,8,8,4,4,4,4,8,8")
 577    (set_attr "predicable" "yes")
 578    (set_attr "type"
 579     "load,store2,*,store2,load,ffarith,ffarith,f_load,f_store,r_mem_f,f_mem_r")
 580    (set_attr "pool_range" "*,*,*,*,1020,*,*,1024,*,*,*")
 581    (set_attr "neg_pool_range" "*,*,*,*,1008,*,*,1008,*,*,*")]
 582 )
 583
 584 ;; Saving and restoring the floating point registers in the prologue should
 585 ;; be done in XFmode, even though we don't support that for anything else
 586 ;; (Well, strictly it's 'internal representation', but that's effectively
 587 ;; XFmode).
 588
 589 (define_insn "*movxf_fpa"
 590   [(set (match_operand:XF 0 "nonimmediate_operand" "=f,f,f,m,f,r,r")
 591         (match_operand:XF 1 "general_operand" "fG,H,m,f,r,f,r"))]
 592   "TARGET_ARM && TARGET_HARD_FLOAT && reload_completed"
 593   "*
 594   switch (which_alternative)
 595     {
 596     default:
 597     case 0: return \"mvf%?e\\t%0, %1\";
 598     case 1: return \"mnf%?e\\t%0, #%N1\";
 599     case 2: return \"ldf%?e\\t%0, %1\";
 600     case 3: return \"stf%?e\\t%1, %0\";
 601     case 4: return output_mov_long_double_fpa_from_arm (operands);
 602     case 5: return output_mov_long_double_arm_from_fpa (operands);
 603     case 6: return output_mov_long_double_arm_from_arm (operands);
 604     }
 605   "
 606   [(set_attr "length" "4,4,4,4,8,8,12")
 607    (set_attr "predicable" "yes")
 608    (set_attr "type" "ffarith,ffarith,f_load,f_store,r_mem_f,f_mem_r,*")
 609    (set_attr "pool_range" "*,*,1024,*,*,*,*")
 610    (set_attr "neg_pool_range" "*,*,1004,*,*,*,*")]
 611 )
 612
 613 (define_insn "*cmpsf_fpa"
 614   [(set (reg:CCFP CC_REGNUM)
 615         (compare:CCFP (match_operand:SF 0 "s_register_operand" "f,f")
 616                       (match_operand:SF 1 "fpa_add_operand" "fG,H")))]
 617   "TARGET_ARM && TARGET_HARD_FLOAT"
 618   "@
 619    cmf%?\\t%0, %1
 620    cnf%?\\t%0, #%N1"
 621   [(set_attr "conds" "set")
 622    (set_attr "type" "f_2_r")]
 623 )
 624
 625 (define_insn "*cmpdf_fpa"
 626   [(set (reg:CCFP CC_REGNUM)
 627         (compare:CCFP (match_operand:DF 0 "s_register_operand" "f,f")
 628                       (match_operand:DF 1 "fpa_add_operand" "fG,H")))]
 629   "TARGET_ARM && TARGET_HARD_FLOAT"
 630   "@
 631    cmf%?\\t%0, %1
 632    cnf%?\\t%0, #%N1"
 633   [(set_attr "conds" "set")
 634    (set_attr "type" "f_2_r")]
 635 )
 636
 637 (define_insn "*cmpesfdf_df_fpa"
 638   [(set (reg:CCFP CC_REGNUM)
 639         (compare:CCFP (float_extend:DF
 640                        (match_operand:SF 0 "s_register_operand" "f,f"))
 641                       (match_operand:DF 1 "fpa_add_operand" "fG,H")))]
 642   "TARGET_ARM && TARGET_HARD_FLOAT"
 643   "@
 644    cmf%?\\t%0, %1
 645    cnf%?\\t%0, #%N1"
 646   [(set_attr "conds" "set")
 647    (set_attr "type" "f_2_r")]
 648 )
 649
 650 (define_insn "*cmpdf_esfdf_fpa"
 651   [(set (reg:CCFP CC_REGNUM)
 652         (compare:CCFP (match_operand:DF 0 "s_register_operand" "f")
 653                       (float_extend:DF
 654                        (match_operand:SF 1 "s_register_operand" "f"))))]
 655   "TARGET_ARM && TARGET_HARD_FLOAT"
 656   "cmf%?\\t%0, %1"
 657   [(set_attr "conds" "set")
 658    (set_attr "type" "f_2_r")]
 659 )
 660
 661 (define_insn "*cmpsf_trap_fpa"
 662   [(set (reg:CCFPE CC_REGNUM)
 663         (compare:CCFPE (match_operand:SF 0 "s_register_operand" "f,f")
 664                        (match_operand:SF 1 "fpa_add_operand" "fG,H")))]
 665   "TARGET_ARM && TARGET_HARD_FLOAT"
 666   "@
 667    cmf%?e\\t%0, %1
 668    cnf%?e\\t%0, #%N1"
 669   [(set_attr "conds" "set")
 670    (set_attr "type" "f_2_r")]
 671 )
 672
 673 (define_insn "*cmpdf_trap_fpa"
 674   [(set (reg:CCFPE CC_REGNUM)
 675         (compare:CCFPE (match_operand:DF 0 "s_register_operand" "f,f")
 676                        (match_operand:DF 1 "fpa_add_operand" "fG,H")))]
 677   "TARGET_ARM && TARGET_HARD_FLOAT"
 678   "@
 679    cmf%?e\\t%0, %1
 680    cnf%?e\\t%0, #%N1"
 681   [(set_attr "conds" "set")
 682    (set_attr "type" "f_2_r")]
 683 )
 684
 685 (define_insn "*cmp_esfdf_df_trap_fpa"
 686   [(set (reg:CCFPE CC_REGNUM)
 687         (compare:CCFPE (float_extend:DF
 688                         (match_operand:SF 0 "s_register_operand" "f,f"))
 689                        (match_operand:DF 1 "fpa_add_operand" "fG,H")))]
 690   "TARGET_ARM && TARGET_HARD_FLOAT"
 691   "@
 692    cmf%?e\\t%0, %1
 693    cnf%?e\\t%0, #%N1"
 694   [(set_attr "conds" "set")
 695    (set_attr "type" "f_2_r")]
 696 )
 697
 698 (define_insn "*cmp_df_esfdf_trap_fpa"
 699   [(set (reg:CCFPE CC_REGNUM)
 700         (compare:CCFPE (match_operand:DF 0 "s_register_operand" "f")
 701                        (float_extend:DF
 702                         (match_operand:SF 1 "s_register_operand" "f"))))]
 703   "TARGET_ARM && TARGET_HARD_FLOAT"
 704   "cmf%?e\\t%0, %1"
 705   [(set_attr "conds" "set")
 706    (set_attr "type" "f_2_r")]
 707 )
 708
 709 (define_insn "*movsfcc_fpa"
 710   [(set (match_operand:SF 0 "s_register_operand" "=f,f,f,f,f,f,f,f")
 711         (if_then_else:SF
 712          (match_operator 3 "arm_comparison_operator"
 713           [(match_operand 4 "cc_register" "") (const_int 0)])
 714          (match_operand:SF 1 "fpa_add_operand" "0,0,fG,H,fG,fG,H,H")
 715          (match_operand:SF 2 "fpa_add_operand" "fG,H,0,0,fG,H,fG,H")))]
 716   "TARGET_ARM && TARGET_HARD_FLOAT"
 717   "@
 718    mvf%D3s\\t%0, %2
 719    mnf%D3s\\t%0, #%N2
 720    mvf%d3s\\t%0, %1
 721    mnf%d3s\\t%0, #%N1
 722    mvf%d3s\\t%0, %1\;mvf%D3s\\t%0, %2
 723    mvf%d3s\\t%0, %1\;mnf%D3s\\t%0, #%N2
 724    mnf%d3s\\t%0, #%N1\;mvf%D3s\\t%0, %2
 725    mnf%d3s\\t%0, #%N1\;mnf%D3s\\t%0, #%N2"
 726   [(set_attr "length" "4,4,4,4,8,8,8,8")
 727    (set_attr "type" "ffarith")
 728    (set_attr "conds" "use")]
 729 )
 730
 731 (define_insn "*movdfcc_fpa"
 732   [(set (match_operand:DF 0 "s_register_operand" "=f,f,f,f,f,f,f,f")
 733         (if_then_else:DF
 734          (match_operator 3 "arm_comparison_operator"
 735           [(match_operand 4 "cc_register" "") (const_int 0)])
 736          (match_operand:DF 1 "fpa_add_operand" "0,0,fG,H,fG,fG,H,H")
 737          (match_operand:DF 2 "fpa_add_operand" "fG,H,0,0,fG,H,fG,H")))]
 738   "TARGET_ARM && TARGET_HARD_FLOAT"
 739   "@
 740    mvf%D3d\\t%0, %2
 741    mnf%D3d\\t%0, #%N2
 742    mvf%d3d\\t%0, %1
 743    mnf%d3d\\t%0, #%N1
 744    mvf%d3d\\t%0, %1\;mvf%D3d\\t%0, %2
 745    mvf%d3d\\t%0, %1\;mnf%D3d\\t%0, #%N2
 746    mnf%d3d\\t%0, #%N1\;mvf%D3d\\t%0, %2
 747    mnf%d3d\\t%0, #%N1\;mnf%D3d\\t%0, #%N2"
 748   [(set_attr "length" "4,4,4,4,8,8,8,8")
 749    (set_attr "type" "ffarith")
 750    (set_attr "conds" "use")]
 751 )
 752