[PATCH][ARM][7/7] Convert FP mnemonics to UAL | f{ld,st}m -> v{ld,st}m

[Kyrill Tkachov]

Hi all,

This patch updates some FP load/store multiple patterns and in the 
vfp_output_vstmd case when the instruction is used as a push to sp it 
now emits a vpush mnemonic instead of vstmdb.

Ok for trunk?

Thanks,
Kyrill

2014-08-19  Kyrylo Tkachov  <kyrylo.tkac...@arm.com>

    * config/arm/arm.md (vfp_pop_multiple_with_writeback): Use vldm
    mnemonic instead of fldmfdd.
    * config/arm/arm.c (vfp_output_fstmd): Rename to...
    (vfp_output_vstmd): ... This.  Convert output to UAL syntax.
    Output vpush when address register is SP.
    * config/arm/arm-protos.h (vfp_output_fstmd): Rename to...
    (vfp_output_vstmd): ... This.
    * config/arm/vfp.md (push_multi_vfp): Update call to
    vfp_output_vstmd.commit f1493ae37ea8bcae83f5d71d0456b69042ef9fb5
Author: Kyrylo Tkachov <kyrylo.tkac...@arm.com>
Date:   Thu Jul 17 10:48:27 2014 +0100

    [ARM][7/n] Convert FP mnemonics to UAL | f{ld,st}m -> vldm

diff --git a/gcc/config/arm/arm-protos.h b/gcc/config/arm/arm-protos.h
index 5d45015..23add40 100644
--- a/gcc/config/arm/arm-protos.h
+++ b/gcc/config/arm/arm-protos.h
@@ -150,7 +150,7 @@ extern bool arm_is_long_call_p (tree);
 extern int    arm_emit_vector_const (FILE *, rtx);
 extern void arm_emit_fp16_const (rtx c);
 extern const char * arm_output_load_gr (rtx *);
-extern const char *vfp_output_fstmd (rtx *);
+extern const char *vfp_output_vstmd (rtx *);
 extern void arm_output_multireg_pop (rtx *, bool, rtx, bool, bool);
 extern void arm_set_return_address (rtx, rtx);
 extern int arm_eliminable_register (rtx);
diff --git a/gcc/config/arm/arm.c b/gcc/config/arm/arm.c
index f952ace..666da58 100644
--- a/gcc/config/arm/arm.c
+++ b/gcc/config/arm/arm.c
@@ -17668,14 +17668,22 @@ arm_output_multireg_pop (rtx *operands, bool return_pc, rtx cond, bool reverse,
 /* Output the assembly for a store multiple.  */
 
 const char *
-vfp_output_fstmd (rtx * operands)
+vfp_output_vstmd (rtx * operands)
 {
   char pattern[100];
   int p;
   int base;
   int i;
+  rtx addr_reg = REG_P (XEXP (operands[0], 0))
+		   ? XEXP (operands[0], 0)
+		   : XEXP (XEXP (operands[0], 0), 0);
+  bool push_p =  REGNO (addr_reg) == SP_REGNUM;
+
+  if (push_p)
+    strcpy (pattern, "vpush%?.64\t{%P1");
+  else
+    strcpy (pattern, "vstmdb%?.64\t%m0!, {%P1");
 
-  strcpy (pattern, "fstmfdd%?\t%m0!, {%P1");
   p = strlen (pattern);
 
   gcc_assert (REG_P (operands[1]));
diff --git a/gcc/config/arm/arm.md b/gcc/config/arm/arm.md
index 35a49c6..0fe8f22 100644
--- a/gcc/config/arm/arm.md
+++ b/gcc/config/arm/arm.md
@@ -10528,7 +10528,7 @@
     int num_regs = XVECLEN (operands[0], 0);
     char pattern[100];
     rtx op_list[2];
-    strcpy (pattern, \"fldmfdd\\t\");
+    strcpy (pattern, \"vldm\\t\");
     strcat (pattern, reg_names[REGNO (SET_DEST (XVECEXP (operands[0], 0, 0)))]);
     strcat (pattern, \"!, {\");
     op_list[0] = XEXP (XVECEXP (operands[0], 0, 1), 0);
diff --git a/gcc/config/arm/vfp.md b/gcc/config/arm/vfp.md
index 863d4a9..94e82e1 100644
--- a/gcc/config/arm/vfp.md
+++ b/gcc/config/arm/vfp.md
@@ -1284,7 +1284,7 @@
 	  (unspec:BLK [(match_operand:DF 1 "vfp_register_operand" "")]
 		      UNSPEC_PUSH_MULT))])]
   "TARGET_32BIT && TARGET_HARD_FLOAT && TARGET_VFP"
-  "* return vfp_output_fstmd (operands);"
+  "* return vfp_output_vstmd (operands);"
   [(set_attr "type" "f_stored")]
 )