This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
RE: [PATCHv4][MIPS] Implement O32 ABI extensions (GCC)
- From: "Moore, Catherine" <Catherine_Moore at mentor dot com>
- To: Matthew Fortune <Matthew dot Fortune at imgtec dot com>, "'gcc-patches at gcc dot gnu dot org' (gcc-patches at gcc dot gnu dot org)" <gcc-patches at gcc dot gnu dot org>, "Eric Christopher (echristo at gmail dot com)" <echristo at gmail dot com>
- Cc: Richard Sandiford <rdsandiford at googlemail dot com>, Rich Fuhler <Rich dot Fuhler at imgtec dot com>, "Rozycki, Maciej" <Maciej_Rozycki at mentor dot com>, "Myers, Joseph" <joseph_myers at mentor dot com>
- Date: Wed, 12 Nov 2014 17:05:02 +0000
- Subject: RE: [PATCHv4][MIPS] Implement O32 ABI extensions (GCC)
- Authentication-results: sourceware.org; auth=none
- References: <6D39441BF12EF246A7ABCE6654B0235320F6BF71 at LEMAIL01 dot le dot imgtec dot org>
Hi Matthew,
> -----Original Message-----
> From: Matthew Fortune [mailto:Matthew.Fortune@imgtec.com]
> Sent: Thursday, November 06, 2014 12:11 PM
> To: Moore, Catherine; 'gcc-patches@gcc.gnu.org' (gcc-
> patches@gcc.gnu.org); Eric Christopher (echristo@gmail.com)
> Cc: Richard Sandiford; Rich Fuhler; Rozycki, Maciej; Myers, Joseph
> Subject: RE: [PATCHv4][MIPS] Implement O32 ABI extensions (GCC)
>
> Sorry to follow myself up. I realised that the new configure options should be
> documented in install.texi. The only change from V3 is the doc/install.texi
> change.
>
> The MIPS64 tests have completed without regression.
>
> Regards,
> Matthew
>
> gcc/
> * common/config/mips/mips-common.c (mips_handle_option):
> Ensure
> that -mfp32, -mfp64 disable -mfpxx and -mfpxx disables -mfp64.
> * config.gcc (--with-fp-32): New option.
> (--with-odd-spreg-32): Likewise.
> * config.in (HAVE_AS_DOT_MODULE): New config define.
> * config/mips/mips-protos.h
> (mips_secondary_memory_needed): New prototype.
> (mips_hard_regno_caller_save_mode): Likewise.
> * config/mips/mips.c (mips_get_reg_raw_mode): New static
> prototype.
> (mips_get_arg_info): Assert that V2SFmode is only handled specially
> with TARGET_PAIRED_SINGLE_FLOAT.
> (mips_return_mode_in_fpr_p): Likewise.
> (mips16_call_stub_mode_suffix): Likewise.
> (mips_get_reg_raw_mode): New static function.
> (mips_return_fpr_pair): O32 return values span two registers.
> (mips16_build_call_stub): Likewise.
> (mips_function_value_regno_p): Support both FP return registers.
> (mips_output_64bit_xfer): Use mthc1 whenever
> TARGET_HAS_MXHC1. Add
> specific cases for TARGET_FPXX to move via memory.
> (mips_dwarf_register_span): For TARGET_FPXX pretend that modes
> larger
> than UNITS_PER_FPREG 'span' one register.
> (mips_dwarf_frame_reg_mode): New static function.
> (mips_file_start): Switch to using .module instead of .gnu_attribute.
> No longer support FP ABI 4 (-mips32r2 -mfp64), replace with FP ABI 6.
> Add FP ABI 5 (-mfpxx) and FP ABI 7 (-mfp64 -mno-odd-spreg).
> (mips_save_reg, mips_restore_reg): Always represent DFmode
> frame
> slots with two CFI directives even for O32 FP64.
> (mips_for_each_saved_gpr_and_fpr): Account for fixed_regs when
> saving/restoring callee-saved registers.
> (mips_hard_regno_mode_ok_p): Implement O32 FP64A extension.
> (mips_secondary_memory_needed): New function.
> (mips_option_override): ABI check for TARGET_FLOATXX. Disable
> odd-numbered single-precision registers when using
> TARGET_FLOATXX.
> Implement -modd-spreg and defaults.
> (mips_conditional_register_usage): Redefine O32 FP64 to match O32
> FP32
> callee-saved behaviour.
> (mips_hard_regno_caller_save_mode): Implement.
> (TARGET_GET_RAW_RESULT_MODE): Define target hook.
> (TARGET_GET_RAW_ARG_MODE): Define target hook.
> (TARGET_DWARF_FRAME_REG_MODE): Define target hook.
> * config/mips/mips.h (TARGET_FLOAT32): New macro.
> (TARGET_O32_FP64A_ABI): Likewise.
> (TARGET_CPU_CPP_BUILTINS): TARGET_FPXX is __mips_fpr==0.
> Add
> _MIPS_SPFPSET builtin define.
> (MIPS_FPXX_OPTION_SPEC): New macro.
> (OPTION_DEFAULT_SPECS): Pass through --with-fp-32=* to -mfp and
> --with-odd-spreg-32=* to -m[no-]odd-spreg.
> (ISA_HAS_ODD_SPREG): New macro.
> (ISA_HAS_MXHC1): True for anything other than -mfp32.
> (ASM_SPEC): Pass through mfpxx, mfp64, -mno-odd-spreg and -
> modd-spreg.
> (MIN_FPRS_PER_FMT): Redefine in terms of TARGET_ODD_SPREG.
> (HARD_REGNO_CALLER_SAVE_MODE): Define. Implement O32
> FPXX extension
> (HARD_REGNO_CALL_PART_CLOBBERED): Likewise.
> (SECONDARY_MEMORY_NEEDED): Likewise.
> (FUNCTION_ARG_REGNO_P): Update for O32 FPXX and FP64
> extensions.
> * config/mips/mips.md (define_attr enabled): Implement O32 FPXX
> and
> FP64A ABI extensions.
> (move_doubleword_fpr<mode>): Use ISA_HAS_MXHC1 instead of
> TARGET_FLOAT64.
> * config/mips/mips.opt (mfpxx): New target option.
> (modd-spreg): Likewise.
> * config/mips/mti-elf.h (DRIVER_SELF_SPECS): Infer FP ABI from
> arch.
> * config/mips/mti-linux.h (DRIVER_SELF_SPECS): Likewise and
> remove
> fp64 sysroot.
> * config/mips/t-mti-elf: Remove fp64 multilib.
> * config/mips/t-mti-linux: Likewise.
> * configure.ac: Detect .module support.
> * configure: Regenerate.
> * doc/invoke.texi: Document -mfpxx, -modd-spreg, -mno-odd-spreg
> option.
> * doc/install.texi (--with-fp-32, --with-odd-spreg-32): Document new
> options.
>
> gcc/testsuite/
> * gcc.target/mips/args-1.c: Handle __mips_fpr == 0.
> * gcc.target/mips/call-clobbered-1.c: New.
> * gcc.target/mips/call-clobbered-2.c: New.
> * gcc.target/mips/call-clobbered-3.c: New.
> * gcc.target/mips/call-clobbered-4.c: New.
> * gcc.target/mips/call-clobbered-5.c: New.
> * gcc.target/mips/call-saved-4.c: New.
> * gcc.target/mips/call-saved-5.c: New.
> * gcc.target/mips/call-saved-6.c: New.
> * gcc.target/mips/mips.exp: Support -mfpxx, -ffixed-f*,
> and -m[no-]odd-spreg. Use _MIPS_SPFPSET to determine default
> odd-spreg option. Account for -modd-spreg in minimum arch code.
> * gcc.target/mips/movdf-1.c: New.
> * gcc.target/mips/movdf-2.c: New.
> * gcc.target/mips/movdf-3.c: New.
> * gcc.target/mips/oddspreg-1.c: New.
> * gcc.target/mips/oddspreg-2.c: New.
> * gcc.target/mips/oddspreg-3.c: New.
> * gcc.target/mips/oddspreg-4.c: New.
> * gcc.target/mips/oddspreg-5.c: New.
> * gcc.target/mips/oddspreg-6.c: New.
>
> libgcc/
> * config/mips/mips16.S: Set .module when supported. Update O32
> FP64 calling convention and use for FPXX when possible. Add FPXX
> calling convention fallback case.
The patch looks good. Please fix up these couple of nits prior to committing.
Catherine
Index: gcc/doc/invoke.texi
===================================================================
--- gcc/doc/invoke.texi (revision 217363)
+++ gcc/doc/invoke.texi (working copy)
@@ -17865,6 +17883,15 @@ operations.
Assume that the floating-point coprocessor supports double-precision
operations. This is the default.
+@item -modd-spreg
+@itemx -mno-odd-spreg
+@opindex modd-spreg
+@opindex mno-odd-spreg
+Enable the use of odd-numbered single-precision floating-point registers
+for the o32 ABI. This is the default for processors that are known to
+known to support these registers. When using the o32 FPXX ABI,
+@code{-mno-odd-spreg} is set by default.
+
extra "known to" here.
@item -mabs=2008
@itemx -mabs=legacy
@opindex mabs=2008
Index: gcc/doc/install.texi
===================================================================
--- gcc/doc/install.texi (revision 217363)
+++ gcc/doc/install.texi (working copy)
@@ -1256,6 +1256,33 @@ ISA for floating-point arithmetics. You can selec
enables @option{-msse2} or @samp{avx} which enables @option{-mavx} by default.
This option is only supported on i386 and x86-64 targets.
+@item --with-fp-32=@var{mode}
+On MIPS targets, set the default value for the @option{-mfp} option when using
+the o32 ABI. The possibilities for @var{mode} are:
+@table @code
+@item 32
+Use the o32 FP32 ABI extension, as with the @option{-mfp32} command-line
+option.
+@item xx
+Use the o32 FPXX ABI extension, as with the @option{-mfpxx} command-line
+option.
+@item 64
+Use the o32 FP64 ABI extension, as with the @option{-mfp64} command-line
+option.
+@end table
+In the absence of this configuration option the default convention is to use
+the o32 FP32 ABI extension.
+
s/default convention/default/
+@item --with-odd-spreg-32
+On MIPS targets, set the @option{-modd-spreg} option by default when using
+the o32 ABI.
+
+@item --without-odd-spreg-32
+On MIPS targets, set the @option{-mno-odd-spreg} option by default when using
+the o32 ABI. This is normally used in conjunction with
+@option{--with-fp-32=64} in order to target the o32 FP64A ABI extension by
+default.
+
s/extension by default./extension./
@item --with-nan=@var{encoding}
On MIPS targets, set the default encoding convention to use for the
special not-a-number (NaN) IEEE 754 floating-point data. The
Index: gcc/config/mips/mips.c
===================================================================
--- gcc/config/mips/mips.c (revision 217363)
+++ gcc/config/mips/mips.c (working copy)
@@ -18824,6 +19000,21 @@ mips_expand_vec_minmax (rtx target, rtx op0, rtx o
emit_insn (gen_rtx_SET (VOIDmode, target, x));
}
+/* Implement HARD_REGNO_CALLER_SAVE_MODE. */
+
+machine_mode
+mips_hard_regno_caller_save_mode (unsigned int regno,
+ unsigned int nregs,
+ machine_mode mode)
+{
+ /* For performance, to avoid saving/restoring upper parts of a register,
+ we return MODE as save mode when MODE is not VOIDmode. */
s/performance, to/performance, /
+ if (mode == VOIDmode)
+ return choose_hard_reg_mode (regno, nregs, false);
+ else
+ return mode;
+}
/* Implement TARGET_CASE_VALUES_THRESHOLD. */
unsigned int
cmoore@build6-lucid-cs:~$