[gcc(refs/vendors/redhat/heads/gcc-9-branch)] x86-64: Pass aggregates with only float/double in GPRs for MS_ABI
Jakub Jelinek
jakub@gcc.gnu.org
Tue Mar 17 19:08:58 GMT 2020
https://gcc.gnu.org/g:850c38f5f4158a157fa792ca0b20a5a17a3ff642
commit 850c38f5f4158a157fa792ca0b20a5a17a3ff642
Author: H.J. Lu <hjl.tools@gmail.com>
Date: Fri Feb 7 03:50:40 2020 -0800
x86-64: Pass aggregates with only float/double in GPRs for MS_ABI
MS_ABI requires passing aggregates with only float/double in integer
registers as shown in the output from MSVC v19.10 at:
https://godbolt.org/z/2NPygd
This patch fixed:
FAIL: libffi.bhaible/test-callback.c -W -Wall -Wno-psabi -DDGTEST=54 -Wno-unused-variable -Wno-unused-parameter -Wno-unused-but-set-variable -Wno-uninitialized -O0 -DABI_NUM=FFI_GNUW64 -DABI_ATTR=MSABI execution test
FAIL: libffi.bhaible/test-callback.c -W -Wall -Wno-psabi -DDGTEST=54 -Wno-unused-variable -Wno-unused-parameter -Wno-unused-but-set-variable -Wno-uninitialized -O2 -DABI_NUM=FFI_GNUW64 -DABI_ATTR=MSABI execution test
FAIL: libffi.bhaible/test-callback.c -W -Wall -Wno-psabi -DDGTEST=55 -Wno-unused-variable -Wno-unused-parameter -Wno-unused-but-set-variable -Wno-uninitialized -O0 -DABI_NUM=FFI_GNUW64 -DABI_ATTR=MSABI execution test
FAIL: libffi.bhaible/test-callback.c -W -Wall -Wno-psabi -DDGTEST=55 -Wno-unused-variable -Wno-unused-parameter -Wno-unused-but-set-variable -Wno-uninitialized -O2 -DABI_NUM=FFI_GNUW64 -DABI_ATTR=MSABI execution test
FAIL: libffi.bhaible/test-callback.c -W -Wall -Wno-psabi -DDGTEST=56 -Wno-unused-variable -Wno-unused-parameter -Wno-unused-but-set-variable -Wno-uninitialized -O0 -DABI_NUM=FFI_GNUW64 -DABI_ATTR=MSABI execution test
FAIL: libffi.bhaible/test-callback.c -W -Wall -Wno-psabi -DDGTEST=56 -Wno-unused-variable -Wno-unused-parameter -Wno-unused-but-set-variable -Wno-uninitialized -O2 -DABI_NUM=FFI_GNUW64 -DABI_ATTR=MSABI execution test
in libffi testsuite.
gcc/
Backport from mainline
PR target/85667
* config/i386/i386.c (function_arg_ms_64): Add a type argument.
Don't return aggregates with only SFmode and DFmode in SSE
register.
(ix86_function_arg): Pass type to function_arg_ms_64.
gcc/testsuite/
Backport from mainline
PR target/85667
* gcc.target/i386/pr85667-10.c: New test.
* gcc.target/i386/pr85667-7.c: Likewise.
* gcc.target/i386/pr85667-8.c: Likewise.
* gcc.target/i386/pr85667-9.c: Likewise.
(cherry picked from commit ea5ca698dca15dc86b823661ac357a30b49dd0f6)
Diff:
---
gcc/ChangeLog | 11 +++++++++
gcc/config/i386/i386.c | 9 +++++---
gcc/testsuite/ChangeLog | 11 +++++++++
gcc/testsuite/gcc.target/i386/pr85667-10.c | 21 +++++++++++++++++
gcc/testsuite/gcc.target/i386/pr85667-7.c | 36 ++++++++++++++++++++++++++++++
gcc/testsuite/gcc.target/i386/pr85667-8.c | 21 +++++++++++++++++
gcc/testsuite/gcc.target/i386/pr85667-9.c | 36 ++++++++++++++++++++++++++++++
7 files changed, 142 insertions(+), 3 deletions(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8fc7b2a6e7c..352a539002d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,14 @@
+2020-02-07 H.J. Lu <hongjiu.lu@intel.com>
+
+ Backport from mainline
+ 2020-02-07 H.J. Lu <hongjiu.lu@intel.com>
+
+ PR target/85667
+ * config/i386/i386.c (function_arg_ms_64): Add a type argument.
+ Don't return aggregates with only SFmode and DFmode in SSE
+ register.
+ (ix86_function_arg): Pass type to function_arg_ms_64.
+
2020-01-30 John David Anglin <danglin@gcc.gnu.org>
* config/pa/pa.c (pa_elf_select_rtx_section): Place function pointers
diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index fa447770548..6ee6aea2389 100644
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -8665,7 +8665,7 @@ function_arg_64 (const CUMULATIVE_ARGS *cum, machine_mode mode,
static rtx
function_arg_ms_64 (const CUMULATIVE_ARGS *cum, machine_mode mode,
- machine_mode orig_mode, bool named,
+ machine_mode orig_mode, bool named, const_tree type,
HOST_WIDE_INT bytes)
{
unsigned int regno;
@@ -8685,7 +8685,10 @@ function_arg_ms_64 (const CUMULATIVE_ARGS *cum, machine_mode mode,
if (TARGET_SSE && (mode == SFmode || mode == DFmode))
{
if (named)
- regno = cum->regno + FIRST_SSE_REG;
+ {
+ if (type == NULL_TREE || !AGGREGATE_TYPE_P (type))
+ regno = cum->regno + FIRST_SSE_REG;
+ }
else
{
rtx t1, t2;
@@ -8773,7 +8776,7 @@ ix86_function_arg (cumulative_args_t cum_v, machine_mode omode,
enum calling_abi call_abi = cum ? cum->call_abi : ix86_abi;
if (call_abi == MS_ABI)
- arg = function_arg_ms_64 (cum, mode, omode, named, bytes);
+ arg = function_arg_ms_64 (cum, mode, omode, named, type, bytes);
else
arg = function_arg_64 (cum, mode, omode, type, named);
}
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e3610fd7429..db7ffdf2de4 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,14 @@
+2020-02-07 H.J. Lu <hongjiu.lu@intel.com>
+
+ Backport from mainline
+ 2020-02-07 H.J. Lu <hongjiu.lu@intel.com>
+
+ PR target/85667
+ * gcc.target/i386/pr85667-10.c: New test.
+ * gcc.target/i386/pr85667-7.c: Likewise.
+ * gcc.target/i386/pr85667-8.c: Likewise.
+ * gcc.target/i386/pr85667-9.c: Likewise.
+
2020-02-03 Tobias Burnus <tobias@codesourcery.com>
Backported from mainline
diff --git a/gcc/testsuite/gcc.target/i386/pr85667-10.c b/gcc/testsuite/gcc.target/i386/pr85667-10.c
new file mode 100644
index 00000000000..e8f3026227d
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr85667-10.c
@@ -0,0 +1,21 @@
+/* { dg-do compile { target lp64 } } */
+/* { dg-options "-O2 -masm=att" } */
+/* { dg-final { scan-assembler-times "movq\[ \t\]*%rcx, .*" 1 } } */
+/* { dg-final { scan-assembler-times "movq\[ \t\]*%rdx, .*" 1 } } */
+/* { dg-final { scan-assembler-times "movq\[ \t\]*%r8, .*" 1 } } */
+/* { dg-final { scan-assembler-times "movq\[ \t\]*%r9, .*" 1 } } */
+/* { dg-final { scan-assembler-times "addsd\[ \t]*40\\\(%rsp\\\), .*" 1 } } */
+/* { dg-final { scan-assembler-times "movq\[^\n\r\]*, %rax" 1 } } */
+
+typedef struct
+{
+ double x;
+} Double;
+
+Double __attribute__((ms_abi))
+fn1 (Double x1, Double x2, Double x3, Double x4, Double x5)
+{
+ Double v;
+ v.x = x1.x + x2.x + x3.x + x4.x + x5.x;
+ return v;
+}
diff --git a/gcc/testsuite/gcc.target/i386/pr85667-7.c b/gcc/testsuite/gcc.target/i386/pr85667-7.c
new file mode 100644
index 00000000000..6bd860975a7
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr85667-7.c
@@ -0,0 +1,36 @@
+/* { dg-do run { target lp64 } } */
+/* { dg-options "-O2" } */
+
+void abort (void);
+
+typedef struct
+{
+ float x;
+} Float;
+
+Float __attribute__((ms_abi, noinline, noclone))
+fn1 (Float x1, Float x2, Float x3, Float x4, Float x5)
+{
+ Float v;
+ v.x = x1.x + x2.x + x3.x + x4.x + x5.x;
+ return v;
+}
+int main ()
+{
+ Float a, a1, a2, a3, a4, a5;
+ float x1 = 1.1;
+ float x2 = 3.1;
+ float x3 = 4.2;
+ float x4 = 14.2;
+ float x5 = -7.2;
+ float x = x1 + x2 + x3 + x4 + x5;
+ a1.x = x1;
+ a2.x = x2;
+ a3.x = x3;
+ a4.x = x4;
+ a5.x = x5;
+ a = fn1 (a1, a2, a3, a4, a5);
+ if (a.x == x);
+ return 0;
+ abort ();
+}
diff --git a/gcc/testsuite/gcc.target/i386/pr85667-8.c b/gcc/testsuite/gcc.target/i386/pr85667-8.c
new file mode 100644
index 00000000000..09a7593fdb3
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr85667-8.c
@@ -0,0 +1,21 @@
+/* { dg-do compile { target lp64 } } */
+/* { dg-options "-O2 -masm=att" } */
+/* { dg-final { scan-assembler-times "movd\[ \t\]*%ecx, .*" 1 } } */
+/* { dg-final { scan-assembler-times "movd\[ \t\]*%edx, .*" 1 } } */
+/* { dg-final { scan-assembler-times "movd\[ \t\]*%r8d, .*" 1 } } */
+/* { dg-final { scan-assembler-times "movd\[ \t\]*%r9d, .*" 1 } } */
+/* { dg-final { scan-assembler-times "addss\[ \t]*40\\\(%rsp\\\), .*" 1 } } */
+/* { dg-final { scan-assembler-times "movd\[^\n\r\]*, %eax" 1 } } */
+
+typedef struct
+{
+ float x;
+} Float;
+
+Float __attribute__((ms_abi))
+fn1 (Float x1, Float x2, Float x3, Float x4, Float x5)
+{
+ Float v;
+ v.x = x1.x + x2.x + x3.x + x4.x + x5.x;
+ return v;
+}
diff --git a/gcc/testsuite/gcc.target/i386/pr85667-9.c b/gcc/testsuite/gcc.target/i386/pr85667-9.c
new file mode 100644
index 00000000000..8c9279a18bf
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr85667-9.c
@@ -0,0 +1,36 @@
+/* { dg-do run { target lp64 } } */
+/* { dg-options "-O2" } */
+
+void abort (void);
+
+typedef struct
+{
+ double x;
+} Double;
+
+Double __attribute__((ms_abi, noinline, noclone))
+fn1 (Double x1, Double x2, Double x3, Double x4, Double x5)
+{
+ Double v;
+ v.x = x1.x + x2.x + x3.x + x4.x + x5.x;
+ return v;
+}
+int main ()
+{
+ Double a, a1, a2, a3, a4, a5;
+ double x1 = 1.1;
+ double x2 = 3.1;
+ double x3 = 4.2;
+ double x4 = 14.2;
+ double x5 = -7.2;
+ double x = x1 + x2 + x3 + x4 + x5;
+ a1.x = x1;
+ a2.x = x2;
+ a3.x = x3;
+ a4.x = x4;
+ a5.x = x5;
+ a = fn1 (a1, a2, a3, a4, a5);
+ if (a.x == x);
+ return 0;
+ abort ();
+}
More information about the Gcc-cvs
mailing list