* PATCH: PR target/59794: [4.7/4.8/4.9 Regression] i386 backend fails to detect MMX/SSE/AVX ABI changes
@ 2014-01-14 14:18 H.J. Lu
2014-01-14 16:12 ` Uros Bizjak
2014-01-15 7:09 ` Jakub Jelinek
0 siblings, 2 replies; 5+ messages in thread
From: H.J. Lu @ 2014-01-14 14:18 UTC (permalink / raw)
To: gcc-patches; +Cc: ubizjak
Hi,
There are several problems with i386 MMX/SSE/AVX ABI change detection:
1. MMX/SSE return value isn't checked for -m32 since revision 83533:
http://gcc.gnu.org/viewcvs/gcc?view=revision&revision=83533
which added ix86_struct_value_rtx. Since MMX/SSE condition is always
false, the MMX/SSE return value ABI change is disabled.
2. For -m32, the same warning on MMX/SSE argument is issued twice, one from
type_natural_mode and one from function_arg_32.
3. AVX return value ABI change isn't checked.
This patch does followings:
1. Remove the ineffective ix86_struct_value_rtx.
2. Add a bool parameter to indicate if type is used for function return
value. Warn ABI change if the vector mode isn't available for function
return value. Add AVX function return value ABI change warning.
3. Consolidate ABI change warning into type_natural_mode.
4. Update g++.dg/ext/vector23.C to prune ABI change for Linux/x86
added by the AVX function return value ABI change warning.
5. Update gcc.target/i386/pr39162.c to avoid the AVX function return
value ABI change warning.
6. Add testcases for warning MMX/SSE/AVX ABI changes in parameter
passing and function return.
Tested on Linux/x86-64 with -m32/-m64 for "make check". OK to install?
Thanks.
H.J.
---
gcc/
2014-01-14 H.J. Lu <hongjiu.lu@intel.com>
PR target/59794
* config/i386/i386.c (type_natural_mode): Add a bool parameter
to indicate if type is used for function return value. Warn
ABI change if the vector mode isn't available for function
return value.
(ix86_function_arg_advance): Pass false to type_natural_mode.
(ix86_function_arg): Likewise.
(ix86_gimplify_va_arg): Likewise.
(function_arg_32): Don't warn ABI change.
(ix86_function_value): Pass true to type_natural_mode.
(ix86_return_in_memory): Likewise.
(ix86_struct_value_rtx): Removed.
(TARGET_STRUCT_VALUE_RTX): Likewise.
gcc/testsuite/
2014-01-14 H.J. Lu <hongjiu.lu@intel.com>
PR target/59794
* g++.dg/ext/vector23.C: Also prune ABI change for Linux/x86.
* gcc.target/i386/pr39162.c (y): New __m256i variable.
(bar): Change return type to void. Set y to x.
* gcc.target/i386/pr59794-1.c: New testcase.
* gcc.target/i386/pr59794-2.c: Likewise.
* gcc.target/i386/pr59794-3.c: Likewise.
* gcc.target/i386/pr59794-4.c: Likewise.
* gcc.target/i386/pr59794-5.c: Likewise.
* gcc.target/i386/pr59794-6.c: Likewise.
* gcc.target/i386/pr59794-7.c: Likewise.
diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index ad48fc8..70181c3 100644
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -6104,10 +6104,14 @@ init_cumulative_args (CUMULATIVE_ARGS *cum, /* Argument info to initialize */
The midde-end can't deal with the vector types > 16 bytes. In this
case, we return the original mode and warn ABI change if CUM isn't
- NULL. */
+ NULL.
+
+ If INT_RETURN is true, warn ABI change if the vector mode isn't
+ available for function return value. */
static enum machine_mode
-type_natural_mode (const_tree type, const CUMULATIVE_ARGS *cum)
+type_natural_mode (const_tree type, const CUMULATIVE_ARGS *cum,
+ bool in_return)
{
enum machine_mode mode = TYPE_MODE (type);
@@ -6133,6 +6137,7 @@ type_natural_mode (const_tree type, const CUMULATIVE_ARGS *cum)
if (size == 32 && !TARGET_AVX)
{
static bool warnedavx;
+ static bool warnedavx_ret;
if (cum
&& !warnedavx
@@ -6142,12 +6147,20 @@ type_natural_mode (const_tree type, const CUMULATIVE_ARGS *cum)
warning (0, "AVX vector argument without AVX "
"enabled changes the ABI");
}
+ else if (in_return & !warnedavx_ret)
+ {
+ warnedavx_ret = true;
+ warning (0, "AVX vector return without AVX "
+ "enabled changes the ABI");
+ }
+
return TYPE_MODE (type);
}
else if (((size == 8 && TARGET_64BIT) || size == 16)
&& !TARGET_SSE)
{
static bool warnedsse;
+ static bool warnedsse_ret;
if (cum
&& !warnedsse
@@ -6157,10 +6170,19 @@ type_natural_mode (const_tree type, const CUMULATIVE_ARGS *cum)
warning (0, "SSE vector argument without SSE "
"enabled changes the ABI");
}
+ else if (!TARGET_64BIT
+ && in_return
+ & !warnedsse_ret)
+ {
+ warnedsse_ret = true;
+ warning (0, "SSE vector return without SSE "
+ "enabled changes the ABI");
+ }
}
else if ((size == 8 && !TARGET_64BIT) && !TARGET_MMX)
{
static bool warnedmmx;
+ static bool warnedmmx_ret;
if (cum
&& !warnedmmx
@@ -6170,6 +6192,12 @@ type_natural_mode (const_tree type, const CUMULATIVE_ARGS *cum)
warning (0, "MMX vector argument without MMX "
"enabled changes the ABI");
}
+ else if (in_return & !warnedmmx_ret)
+ {
+ warnedmmx_ret = true;
+ warning (0, "MMX vector return without MMX "
+ "enabled changes the ABI");
+ }
}
return mode;
}
@@ -7097,7 +7125,7 @@ ix86_function_arg_advance (cumulative_args_t cum_v, enum machine_mode mode,
words = (bytes + UNITS_PER_WORD - 1) / UNITS_PER_WORD;
if (type)
- mode = type_natural_mode (type, NULL);
+ mode = type_natural_mode (type, NULL, false);
if (TARGET_64BIT && (cum ? cum->call_abi : ix86_abi) == MS_ABI)
function_arg_advance_ms_64 (cum, bytes, words);
@@ -7125,8 +7153,6 @@ function_arg_32 (const CUMULATIVE_ARGS *cum, enum machine_mode mode,
enum machine_mode orig_mode, const_tree type,
HOST_WIDE_INT bytes, HOST_WIDE_INT words)
{
- static bool warnedsse, warnedmmx;
-
/* Avoid the AL settings for the Unix64 ABI. */
if (mode == VOIDmode)
return constm1_rtx;
@@ -7183,12 +7209,6 @@ function_arg_32 (const CUMULATIVE_ARGS *cum, enum machine_mode mode,
case V2DFmode:
if (!type || !AGGREGATE_TYPE_P (type))
{
- if (!TARGET_SSE && !warnedsse && cum->warn_sse)
- {
- warnedsse = true;
- warning (0, "SSE vector argument without SSE enabled "
- "changes the ABI");
- }
if (cum->sse_nregs)
return gen_reg_or_parallel (mode, orig_mode,
cum->sse_regno + FIRST_SSE_REG);
@@ -7228,12 +7248,6 @@ function_arg_32 (const CUMULATIVE_ARGS *cum, enum machine_mode mode,
case V1DImode:
if (!type || !AGGREGATE_TYPE_P (type))
{
- if (!TARGET_MMX && !warnedmmx && cum->warn_mmx)
- {
- warnedmmx = true;
- warning (0, "MMX vector argument without MMX enabled "
- "changes the ABI");
- }
if (cum->mmx_nregs)
return gen_reg_or_parallel (mode, orig_mode,
cum->mmx_regno + FIRST_MMX_REG);
@@ -7362,7 +7376,7 @@ ix86_function_arg (cumulative_args_t cum_v, enum machine_mode omode,
/* To simplify the code below, represent vector types with a vector mode
even if MMX/SSE are not active. */
if (type && TREE_CODE (type) == VECTOR_TYPE)
- mode = type_natural_mode (type, cum);
+ mode = type_natural_mode (type, cum, false);
if (TARGET_64BIT && (cum ? cum->call_abi : ix86_abi) == MS_ABI)
arg = function_arg_ms_64 (cum, mode, omode, named, bytes);
@@ -7816,7 +7830,7 @@ ix86_function_value (const_tree valtype, const_tree fntype_or_decl,
enum machine_mode mode, orig_mode;
orig_mode = TYPE_MODE (valtype);
- mode = type_natural_mode (valtype, NULL);
+ mode = type_natural_mode (valtype, NULL, true);
return ix86_function_value_1 (valtype, fntype_or_decl, orig_mode, mode);
}
@@ -7935,7 +7949,7 @@ ix86_return_in_memory (const_tree type, const_tree fntype ATTRIBUTE_UNUSED)
#ifdef SUBTARGET_RETURN_IN_MEMORY
return SUBTARGET_RETURN_IN_MEMORY (type, fntype);
#else
- const enum machine_mode mode = type_natural_mode (type, NULL);
+ const enum machine_mode mode = type_natural_mode (type, NULL, true);
if (TARGET_64BIT)
{
@@ -7949,52 +7963,6 @@ ix86_return_in_memory (const_tree type, const_tree fntype ATTRIBUTE_UNUSED)
#endif
}
-/* When returning SSE vector types, we have a choice of either
- (1) being abi incompatible with a -march switch, or
- (2) generating an error.
- Given no good solution, I think the safest thing is one warning.
- The user won't be able to use -Werror, but....
-
- Choose the STRUCT_VALUE_RTX hook because that's (at present) only
- called in response to actually generating a caller or callee that
- uses such a type. As opposed to TARGET_RETURN_IN_MEMORY, which is called
- via aggregate_value_p for general type probing from tree-ssa. */
-
-static rtx
-ix86_struct_value_rtx (tree type, int incoming ATTRIBUTE_UNUSED)
-{
- static bool warnedsse, warnedmmx;
-
- if (!TARGET_64BIT && type)
- {
- /* Look at the return type of the function, not the function type. */
- enum machine_mode mode = TYPE_MODE (TREE_TYPE (type));
-
- if (!TARGET_SSE && !warnedsse)
- {
- if (mode == TImode
- || (VECTOR_MODE_P (mode) && GET_MODE_SIZE (mode) == 16))
- {
- warnedsse = true;
- warning (0, "SSE vector return without SSE enabled "
- "changes the ABI");
- }
- }
-
- if (!TARGET_MMX && !warnedmmx)
- {
- if (VECTOR_MODE_P (mode) && GET_MODE_SIZE (mode) == 8)
- {
- warnedmmx = true;
- warning (0, "MMX vector return without MMX enabled "
- "changes the ABI");
- }
- }
- }
-
- return NULL;
-}
-
\f
/* Create the va_list data type. */
@@ -8419,7 +8387,7 @@ ix86_gimplify_va_arg (tree valist, tree type, gimple_seq *pre_p,
size = int_size_in_bytes (type);
rsize = (size + UNITS_PER_WORD - 1) / UNITS_PER_WORD;
- nat_mode = type_natural_mode (type, NULL);
+ nat_mode = type_natural_mode (type, NULL, false);
switch (nat_mode)
{
case V8SFmode:
@@ -46805,8 +46773,6 @@ ix86_atomic_assign_expand_fenv (tree *hold, tree *clear, tree *update)
#undef TARGET_PROMOTE_PROTOTYPES
#define TARGET_PROMOTE_PROTOTYPES hook_bool_const_tree_true
-#undef TARGET_STRUCT_VALUE_RTX
-#define TARGET_STRUCT_VALUE_RTX ix86_struct_value_rtx
#undef TARGET_SETUP_INCOMING_VARARGS
#define TARGET_SETUP_INCOMING_VARARGS ix86_setup_incoming_varargs
#undef TARGET_MUST_PASS_IN_STACK
diff --git a/gcc/testsuite/g++.dg/ext/vector23.C b/gcc/testsuite/g++.dg/ext/vector23.C
index a4380a0..c073895 100644
--- a/gcc/testsuite/g++.dg/ext/vector23.C
+++ b/gcc/testsuite/g++.dg/ext/vector23.C
@@ -2,6 +2,8 @@
/* { dg-options "-std=gnu++1y -Wsign-conversion" } */
// Ignore warning on some powerpc-linux configurations.
// { dg-prune-output "non-standard ABI extension" }
+// Ignore warning on Linux/x86
+// { dg-prune-output "changes the ABI" }
typedef double vecd __attribute__((vector_size(4*sizeof(double))));
typedef float vecf __attribute__((vector_size(8*sizeof(float))));
diff --git a/gcc/testsuite/gcc.target/i386/pr39162.c b/gcc/testsuite/gcc.target/i386/pr39162.c
index c549106..94f3910 100644
--- a/gcc/testsuite/gcc.target/i386/pr39162.c
+++ b/gcc/testsuite/gcc.target/i386/pr39162.c
@@ -4,8 +4,10 @@
typedef long long __m256i __attribute__ ((__vector_size__ (32), __may_alias__));
-__m256i
+extern __m256i y;
+
+void
bar (__m256i x) /* { dg-warning "AVX" "" } */
{
- return x;
+ y = x;
}
diff --git a/gcc/testsuite/gcc.target/i386/pr59794-1.c b/gcc/testsuite/gcc.target/i386/pr59794-1.c
new file mode 100644
index 0000000..46bff01
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr59794-1.c
@@ -0,0 +1,15 @@
+/* PR target/59794 */
+/* { dg-do compile { target { ia32 } } } */
+/* { dg-options "-O2 -mno-mmx" } */
+/* { dg-skip-if "no MMX vector" { *-*-mingw* } } */
+
+typedef int __v2si __attribute__ ((__vector_size__ (8)));
+
+extern __v2si x;
+
+extern void bar (__v2si);
+void
+foo (void)
+{
+ bar (x); /* { dg-message "warning: MMX vector argument without MMX enabled changes the ABI" } */
+}
diff --git a/gcc/testsuite/gcc.target/i386/pr59794-2.c b/gcc/testsuite/gcc.target/i386/pr59794-2.c
new file mode 100644
index 0000000..ce30346
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr59794-2.c
@@ -0,0 +1,14 @@
+/* PR target/59794 */
+/* { dg-options "-Wno-psabi -O2 -mno-sse" } */
+/* { dg-skip-if "no SSE vector" { *-*-mingw* } } */
+
+typedef double __v2df __attribute__ ((__vector_size__ (16)));
+
+extern __v2df x;
+
+extern void bar (__v2df);
+void
+foo (void)
+{
+ bar (x); /* { dg-message "warning: SSE vector argument without SSE enabled changes the ABI" } */
+}
diff --git a/gcc/testsuite/gcc.target/i386/pr59794-3.c b/gcc/testsuite/gcc.target/i386/pr59794-3.c
new file mode 100644
index 0000000..deaf676
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr59794-3.c
@@ -0,0 +1,14 @@
+/* PR target/59794 */
+/* { dg-options "-O2 -mno-avx -Wno-psabi" } */
+/* { dg-skip-if "no AVX vector" { *-*-mingw* } } */
+
+typedef int __v8si __attribute__ ((__vector_size__ (32)));
+
+extern __v8si x;
+
+extern void bar (__v8si);
+void
+foo (void)
+{
+ bar (x); /* { dg-message "warning: AVX vector argument without AVX enabled changes the ABI" } */
+}
diff --git a/gcc/testsuite/gcc.target/i386/pr59794-4.c b/gcc/testsuite/gcc.target/i386/pr59794-4.c
new file mode 100644
index 0000000..5ad0b07
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr59794-4.c
@@ -0,0 +1,14 @@
+/* PR target/59794 */
+/* { dg-do compile { target { ia32 } } } */
+/* { dg-options "-O2 -mno-mmx" } */
+/* { dg-skip-if "no MMX vector" { *-*-mingw* } } */
+
+typedef int __v2si __attribute__ ((__vector_size__ (8)));
+
+extern __v2si x;
+
+__v2si
+foo (void)
+{ /* { dg-warning "MMX vector return without MMX enabled changes the ABI" } */
+ return x;
+}
diff --git a/gcc/testsuite/gcc.target/i386/pr59794-5.c b/gcc/testsuite/gcc.target/i386/pr59794-5.c
new file mode 100644
index 0000000..24c88be
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr59794-5.c
@@ -0,0 +1,14 @@
+/* PR target/59794 */
+/* { dg-do compile { target { ia32 } } } */
+/* { dg-options "-O2 -mno-sse" } */
+/* { dg-skip-if "no SSE vector" { *-*-mingw* } } */
+
+typedef int __v4si __attribute__ ((__vector_size__ (16)));
+
+extern __v4si x;
+
+__v4si
+foo (void)
+{ /* { dg-warning "SSE vector return without SSE enabled changes the ABI" } */
+ return x;
+}
diff --git a/gcc/testsuite/gcc.target/i386/pr59794-6.c b/gcc/testsuite/gcc.target/i386/pr59794-6.c
new file mode 100644
index 0000000..c809f95
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr59794-6.c
@@ -0,0 +1,14 @@
+/* PR target/59794 */
+/* { dg-do compile { target { ! ia32 } } } */
+/* { dg-options "-O2 -mno-sse" } */
+/* { dg-skip-if "no SSE vector" { *-*-mingw* } } */
+
+typedef int __v4si __attribute__ ((__vector_size__ (16)));
+
+extern __v4si x;
+
+__v4si
+foo (void)
+{ /* { dg-error "SSE register return with SSE disabled" } */
+ return x;
+}
diff --git a/gcc/testsuite/gcc.target/i386/pr59794-7.c b/gcc/testsuite/gcc.target/i386/pr59794-7.c
new file mode 100644
index 0000000..57fd3d2
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr59794-7.c
@@ -0,0 +1,13 @@
+/* PR target/59794 */
+/* { dg-options "-O2 -mno-avx" } */
+/* { dg-skip-if "no AVX vector" { *-*-mingw* } } */
+
+typedef int __v8si __attribute__ ((__vector_size__ (32)));
+
+extern __v8si x;
+
+__v8si
+foo (void)
+{ /* { dg-warning "AVX vector return without AVX enabled changes the ABI" } */
+ return x;
+}
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: PATCH: PR target/59794: [4.7/4.8/4.9 Regression] i386 backend fails to detect MMX/SSE/AVX ABI changes
2014-01-14 14:18 PATCH: PR target/59794: [4.7/4.8/4.9 Regression] i386 backend fails to detect MMX/SSE/AVX ABI changes H.J. Lu
@ 2014-01-14 16:12 ` Uros Bizjak
2014-01-17 19:04 ` H.J. Lu
2014-01-15 7:09 ` Jakub Jelinek
1 sibling, 1 reply; 5+ messages in thread
From: Uros Bizjak @ 2014-01-14 16:12 UTC (permalink / raw)
To: H.J. Lu; +Cc: gcc-patches
On Tue, Jan 14, 2014 at 3:18 PM, H.J. Lu <hongjiu.lu@intel.com> wrote:
> There are several problems with i386 MMX/SSE/AVX ABI change detection:
>
> 1. MMX/SSE return value isn't checked for -m32 since revision 83533:
>
> http://gcc.gnu.org/viewcvs/gcc?view=revision&revision=83533
>
> which added ix86_struct_value_rtx. Since MMX/SSE condition is always
> false, the MMX/SSE return value ABI change is disabled.
> 2. For -m32, the same warning on MMX/SSE argument is issued twice, one from
> type_natural_mode and one from function_arg_32.
> 3. AVX return value ABI change isn't checked.
>
> This patch does followings:
>
> 1. Remove the ineffective ix86_struct_value_rtx.
> 2. Add a bool parameter to indicate if type is used for function return
> value. Warn ABI change if the vector mode isn't available for function
> return value. Add AVX function return value ABI change warning.
> 3. Consolidate ABI change warning into type_natural_mode.
> 4. Update g++.dg/ext/vector23.C to prune ABI change for Linux/x86
> added by the AVX function return value ABI change warning.
> 5. Update gcc.target/i386/pr39162.c to avoid the AVX function return
> value ABI change warning.
> 6. Add testcases for warning MMX/SSE/AVX ABI changes in parameter
> passing and function return.
>
> Tested on Linux/x86-64 with -m32/-m64 for "make check". OK to install?
>
> Thanks.
>
> H.J.
> ---
> gcc/
>
> 2014-01-14 H.J. Lu <hongjiu.lu@intel.com>
>
> PR target/59794
> * config/i386/i386.c (type_natural_mode): Add a bool parameter
> to indicate if type is used for function return value. Warn
> ABI change if the vector mode isn't available for function
> return value.
> (ix86_function_arg_advance): Pass false to type_natural_mode.
> (ix86_function_arg): Likewise.
> (ix86_gimplify_va_arg): Likewise.
> (function_arg_32): Don't warn ABI change.
> (ix86_function_value): Pass true to type_natural_mode.
> (ix86_return_in_memory): Likewise.
> (ix86_struct_value_rtx): Removed.
> (TARGET_STRUCT_VALUE_RTX): Likewise.
>
> gcc/testsuite/
>
> 2014-01-14 H.J. Lu <hongjiu.lu@intel.com>
>
> PR target/59794
> * g++.dg/ext/vector23.C: Also prune ABI change for Linux/x86.
> * gcc.target/i386/pr39162.c (y): New __m256i variable.
> (bar): Change return type to void. Set y to x.
> * gcc.target/i386/pr59794-1.c: New testcase.
> * gcc.target/i386/pr59794-2.c: Likewise.
> * gcc.target/i386/pr59794-3.c: Likewise.
> * gcc.target/i386/pr59794-4.c: Likewise.
> * gcc.target/i386/pr59794-5.c: Likewise.
> * gcc.target/i386/pr59794-6.c: Likewise.
> * gcc.target/i386/pr59794-7.c: Likewise.
OK for mainline and release branches after a couple of days.
Thanks,
Uros.
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: PATCH: PR target/59794: [4.7/4.8/4.9 Regression] i386 backend fails to detect MMX/SSE/AVX ABI changes
2014-01-14 14:18 PATCH: PR target/59794: [4.7/4.8/4.9 Regression] i386 backend fails to detect MMX/SSE/AVX ABI changes H.J. Lu
2014-01-14 16:12 ` Uros Bizjak
@ 2014-01-15 7:09 ` Jakub Jelinek
2014-01-15 17:05 ` H.J. Lu
1 sibling, 1 reply; 5+ messages in thread
From: Jakub Jelinek @ 2014-01-15 7:09 UTC (permalink / raw)
To: H.J. Lu; +Cc: gcc-patches, ubizjak
On Tue, Jan 14, 2014 at 06:18:22AM -0800, H.J. Lu wrote:
> 2014-01-14 H.J. Lu <hongjiu.lu@intel.com>
>
> PR target/59794
> * config/i386/i386.c (type_natural_mode): Add a bool parameter
> to indicate if type is used for function return value. Warn
> ABI change if the vector mode isn't available for function
> return value.
> (ix86_function_arg_advance): Pass false to type_natural_mode.
> (ix86_function_arg): Likewise.
> (ix86_gimplify_va_arg): Likewise.
> (function_arg_32): Don't warn ABI change.
> (ix86_function_value): Pass true to type_natural_mode.
> (ix86_return_in_memory): Likewise.
> (ix86_struct_value_rtx): Removed.
> (TARGET_STRUCT_VALUE_RTX): Likewise.
This has added many FAILs on i686-linux (make sure to configure for a CPU
that doesn't automatically turn on -msse or -mmmx, say i686):
+FAIL: gcc.dg/Wstrict-aliasing-bogus-ref-all-2.c (test for excess errors)
+FAIL: gcc.dg/pr53060.c (test for excess errors)
+FAIL: c-c++-common/convert-vec-1.c -Wc++-compat (test for excess errors)
+FAIL: c-c++-common/scal-to-vec2.c -Wc++-compat (test for excess errors)
+FAIL: c-c++-common/vector-compare-2.c -Wc++-compat (test for excess errors)
+FAIL: g++.dg/conversion/simd1.C -std=c++98 (test for excess errors)
+FAIL: g++.dg/conversion/simd1.C -std=c++11 (test for excess errors)
+FAIL: g++.dg/cpp0x/constexpr-53094-2.C (test for excess errors)
+FAIL: g++.dg/ext/attribute-test-1.C -std=gnu++98 (test for excess errors)
+FAIL: g++.dg/ext/attribute-test-1.C -std=gnu++11 (test for excess errors)
+FAIL: g++.dg/ext/attribute-test-2.C -std=gnu++98 (test for excess errors)
+FAIL: g++.dg/ext/attribute-test-2.C -std=gnu++11 (test for excess errors)
+FAIL: g++.dg/ext/attribute-test-3.C -std=c++98 (test for excess errors)
+FAIL: g++.dg/ext/attribute-test-3.C -std=c++11 (test for excess errors)
+FAIL: g++.dg/ext/attribute-test-4.C -std=c++98 (test for excess errors)
+FAIL: g++.dg/ext/attribute-test-4.C -std=c++11 (test for excess errors)
+FAIL: g++.dg/ext/pr56790-1.C -std=gnu++98 (test for excess errors)
+FAIL: g++.dg/ext/pr56790-1.C -std=gnu++11 (test for excess errors)
+FAIL: c-c++-common/convert-vec-1.c -std=c++98 (test for excess errors)
+FAIL: c-c++-common/convert-vec-1.c -std=c++11 (test for excess errors)
+FAIL: c-c++-common/scal-to-vec2.c -std=gnu++98 (test for excess errors)
+FAIL: c-c++-common/scal-to-vec2.c -std=gnu++11 (test for excess errors)
+FAIL: c-c++-common/vector-compare-2.c -std=gnu++98 (test for excess errors)
+FAIL: c-c++-common/vector-compare-2.c -std=gnu++11 (test for excess errors)
+FAIL: g++.dg/torture/pr38565.C -O0 (test for excess errors)
+FAIL: g++.dg/torture/pr38565.C -O1 (test for excess errors)
+FAIL: g++.dg/torture/pr38565.C -O2 (test for excess errors)
+FAIL: g++.dg/torture/pr38565.C -O3 -fomit-frame-pointer (test for excess errors)
+FAIL: g++.dg/torture/pr38565.C -O3 -g (test for excess errors)
+FAIL: g++.dg/torture/pr38565.C -Os (test for excess errors)
+FAIL: g++.dg/torture/pr38565.C -O2 -flto -flto-partition=none (test for excess errors)
+FAIL: g++.dg/torture/pr38565.C -O2 -flto (test for excess errors)
Excess errors:
/usr/src/gcc/gcc/testsuite/gcc.dg/Wstrict-aliasing-bogus-ref-all-2.c:9:1: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
/usr/src/gcc/gcc/testsuite/gcc.dg/pr53060.c:13:1: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
/usr/src/gcc/gcc/testsuite/c-c++-common/convert-vec-1.c:3:1: warning: MMX vector return without MMX enabled changes the ABI [enabled by default]
/usr/src/gcc/gcc/testsuite/c-c++-common/scal-to-vec2.c:19:1: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
/usr/src/gcc/gcc/testsuite/c-c++-common/vector-compare-2.c:20:1: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
/usr/src/gcc/gcc/testsuite/g++.dg/conversion/simd1.C:8:59: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
/usr/src/gcc/gcc/testsuite/g++.dg/cpp0x/constexpr-53094-2.C:7:46: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
/usr/src/gcc/gcc/testsuite/g++.dg/ext/attribute-test-1.C:10:52: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
/usr/src/gcc/gcc/testsuite/g++.dg/ext/attribute-test-2.C:14:59: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
/usr/src/gcc/gcc/testsuite/g++.dg/ext/attribute-test-3.C:26:26: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
/usr/src/gcc/gcc/testsuite/g++.dg/ext/attribute-test-4.C:26:24: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
/usr/src/gcc/gcc/testsuite/g++.dg/ext/pr56790-1.C:6:12: warning: MMX vector return without MMX enabled changes the ABI [enabled by default]
/usr/src/gcc/gcc/testsuite/g++.dg/torture/pr38565.C:5:28: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
Please review this if the warnings are really desirable in all those tests and if yes,
dg-prune-output them (or add -Wno-psabi or whatever else turns them off).
Jakub
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: PATCH: PR target/59794: [4.7/4.8/4.9 Regression] i386 backend fails to detect MMX/SSE/AVX ABI changes
2014-01-15 7:09 ` Jakub Jelinek
@ 2014-01-15 17:05 ` H.J. Lu
0 siblings, 0 replies; 5+ messages in thread
From: H.J. Lu @ 2014-01-15 17:05 UTC (permalink / raw)
To: Jakub Jelinek; +Cc: GCC Patches, Uros Bizjak
On Tue, Jan 14, 2014 at 11:09 PM, Jakub Jelinek <jakub@redhat.com> wrote:
> On Tue, Jan 14, 2014 at 06:18:22AM -0800, H.J. Lu wrote:
>> 2014-01-14 H.J. Lu <hongjiu.lu@intel.com>
>>
>> PR target/59794
>> * config/i386/i386.c (type_natural_mode): Add a bool parameter
>> to indicate if type is used for function return value. Warn
>> ABI change if the vector mode isn't available for function
>> return value.
>> (ix86_function_arg_advance): Pass false to type_natural_mode.
>> (ix86_function_arg): Likewise.
>> (ix86_gimplify_va_arg): Likewise.
>> (function_arg_32): Don't warn ABI change.
>> (ix86_function_value): Pass true to type_natural_mode.
>> (ix86_return_in_memory): Likewise.
>> (ix86_struct_value_rtx): Removed.
>> (TARGET_STRUCT_VALUE_RTX): Likewise.
>
> This has added many FAILs on i686-linux (make sure to configure for a CPU
> that doesn't automatically turn on -msse or -mmmx, say i686):
>
> +FAIL: gcc.dg/Wstrict-aliasing-bogus-ref-all-2.c (test for excess errors)
> +FAIL: gcc.dg/pr53060.c (test for excess errors)
> +FAIL: c-c++-common/convert-vec-1.c -Wc++-compat (test for excess errors)
> +FAIL: c-c++-common/scal-to-vec2.c -Wc++-compat (test for excess errors)
> +FAIL: c-c++-common/vector-compare-2.c -Wc++-compat (test for excess errors)
> +FAIL: g++.dg/conversion/simd1.C -std=c++98 (test for excess errors)
> +FAIL: g++.dg/conversion/simd1.C -std=c++11 (test for excess errors)
> +FAIL: g++.dg/cpp0x/constexpr-53094-2.C (test for excess errors)
> +FAIL: g++.dg/ext/attribute-test-1.C -std=gnu++98 (test for excess errors)
> +FAIL: g++.dg/ext/attribute-test-1.C -std=gnu++11 (test for excess errors)
> +FAIL: g++.dg/ext/attribute-test-2.C -std=gnu++98 (test for excess errors)
> +FAIL: g++.dg/ext/attribute-test-2.C -std=gnu++11 (test for excess errors)
> +FAIL: g++.dg/ext/attribute-test-3.C -std=c++98 (test for excess errors)
> +FAIL: g++.dg/ext/attribute-test-3.C -std=c++11 (test for excess errors)
> +FAIL: g++.dg/ext/attribute-test-4.C -std=c++98 (test for excess errors)
> +FAIL: g++.dg/ext/attribute-test-4.C -std=c++11 (test for excess errors)
> +FAIL: g++.dg/ext/pr56790-1.C -std=gnu++98 (test for excess errors)
> +FAIL: g++.dg/ext/pr56790-1.C -std=gnu++11 (test for excess errors)
> +FAIL: c-c++-common/convert-vec-1.c -std=c++98 (test for excess errors)
> +FAIL: c-c++-common/convert-vec-1.c -std=c++11 (test for excess errors)
> +FAIL: c-c++-common/scal-to-vec2.c -std=gnu++98 (test for excess errors)
> +FAIL: c-c++-common/scal-to-vec2.c -std=gnu++11 (test for excess errors)
> +FAIL: c-c++-common/vector-compare-2.c -std=gnu++98 (test for excess errors)
> +FAIL: c-c++-common/vector-compare-2.c -std=gnu++11 (test for excess errors)
> +FAIL: g++.dg/torture/pr38565.C -O0 (test for excess errors)
> +FAIL: g++.dg/torture/pr38565.C -O1 (test for excess errors)
> +FAIL: g++.dg/torture/pr38565.C -O2 (test for excess errors)
> +FAIL: g++.dg/torture/pr38565.C -O3 -fomit-frame-pointer (test for excess errors)
> +FAIL: g++.dg/torture/pr38565.C -O3 -g (test for excess errors)
> +FAIL: g++.dg/torture/pr38565.C -Os (test for excess errors)
> +FAIL: g++.dg/torture/pr38565.C -O2 -flto -flto-partition=none (test for excess errors)
> +FAIL: g++.dg/torture/pr38565.C -O2 -flto (test for excess errors)
>
> Excess errors:
> /usr/src/gcc/gcc/testsuite/gcc.dg/Wstrict-aliasing-bogus-ref-all-2.c:9:1: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
> /usr/src/gcc/gcc/testsuite/gcc.dg/pr53060.c:13:1: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
> /usr/src/gcc/gcc/testsuite/c-c++-common/convert-vec-1.c:3:1: warning: MMX vector return without MMX enabled changes the ABI [enabled by default]
> /usr/src/gcc/gcc/testsuite/c-c++-common/scal-to-vec2.c:19:1: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
> /usr/src/gcc/gcc/testsuite/c-c++-common/vector-compare-2.c:20:1: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
> /usr/src/gcc/gcc/testsuite/g++.dg/conversion/simd1.C:8:59: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
> /usr/src/gcc/gcc/testsuite/g++.dg/cpp0x/constexpr-53094-2.C:7:46: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
> /usr/src/gcc/gcc/testsuite/g++.dg/ext/attribute-test-1.C:10:52: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
> /usr/src/gcc/gcc/testsuite/g++.dg/ext/attribute-test-2.C:14:59: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
> /usr/src/gcc/gcc/testsuite/g++.dg/ext/attribute-test-3.C:26:26: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
> /usr/src/gcc/gcc/testsuite/g++.dg/ext/attribute-test-4.C:26:24: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
> /usr/src/gcc/gcc/testsuite/g++.dg/ext/pr56790-1.C:6:12: warning: MMX vector return without MMX enabled changes the ABI [enabled by default]
> /usr/src/gcc/gcc/testsuite/g++.dg/torture/pr38565.C:5:28: warning: SSE vector return without SSE enabled changes the ABI [enabled by default]
>
> Please review this if the warnings are really desirable in all those tests and if yes,
> dg-prune-output them (or add -Wno-psabi or whatever else turns them off).
>
All those warnings are valid. We didn't see them before my change
due to the regression I fixed. I am checking in this patch to silence
those warnings.
Thanks.
--
H.J.
---
2014-01-15 H.J. Lu <hongjiu.lu@intel.com>
PR target/59794
* c-c++-common/convert-vec-1.c: Also prune ABI change for
Linux/x86.
* g++.dg/cpp0x/constexpr-53094-2.C: Likewise.
* g++.dg/ext/attribute-test-1.C: Likewise.
* g++.dg/ext/attribute-test-2.C: Likewise.
* g++.dg/ext/attribute-test-3.C: Likewise.
* g++.dg/ext/attribute-test-4.C: Likewise.
* g++.dg/ext/pr56790-1.C: Likewise.
* g++.dg/torture/pr38565.C: Likewise.
* gcc.dg/pr53060.c: Likewise.
* c-c++-common/scal-to-vec2.c: Add -msse2 for x86.
* c-c++-common/vector-compare-2.c: Likewise.
* gcc.dg/Wstrict-aliasing-bogus-ref-all-2.c: Likewise.
* g++.dg/conversion/simd1.C: Add -msse2 for x86. Adjust
dg-message line number.
diff --git a/gcc/testsuite/c-c++-common/convert-vec-1.c
b/gcc/testsuite/c-c++-common/convert-vec-1.c
index 4987298..862190d 100644
--- a/gcc/testsuite/c-c++-common/convert-vec-1.c
+++ b/gcc/testsuite/c-c++-common/convert-vec-1.c
@@ -1,3 +1,4 @@
/* { dg-do compile } */
+/* { dg-prune-output "changes the ABI" } */
typedef float v2sf __attribute__ ((vector_size (8)));
v2sf sub (void) { return (v2sf) 0.0; } /* { dg-error "can't convert" } */
diff --git a/gcc/testsuite/c-c++-common/scal-to-vec2.c
b/gcc/testsuite/c-c++-common/scal-to-vec2.c
index 2721aa0..e2c93ee 100644
--- a/gcc/testsuite/c-c++-common/scal-to-vec2.c
+++ b/gcc/testsuite/c-c++-common/scal-to-vec2.c
@@ -1,6 +1,7 @@
/* { dg-do compile } */
/* { dg-options "-fno-common" { target hppa*-*-hpux* } } */
/* { dg-options "-mabi=altivec" { target { { powerpc*-*-linux* } &&
ilp32 } } } */
+/* { dg-options "-msse2" { target { i?86-*-* x86_64-*-* } } } */
/* Ignore warning on some powerpc-ibm-aix configurations. */
/* { dg-prune-output "non-standard ABI extension" } */
diff --git a/gcc/testsuite/c-c++-common/vector-compare-2.c
b/gcc/testsuite/c-c++-common/vector-compare-2.c
index d17a1b4..5ebe9e3 100644
--- a/gcc/testsuite/c-c++-common/vector-compare-2.c
+++ b/gcc/testsuite/c-c++-common/vector-compare-2.c
@@ -1,6 +1,7 @@
/* { dg-do compile } */
/* { dg-options "-fno-common" { target hppa*-*-hpux* } } */
/* { dg-options "-mabi=altivec" { target { { powerpc*-*-linux* } &&
ilp32 } } } */
+/* { dg-options "-msse2" { target { i?86-*-* x86_64-*-* } } } */
/* Ignore warning on some powerpc-ibm-aix configurations. */
/* { dg-prune-output "non-standard ABI extension" } */
diff --git a/gcc/testsuite/g++.dg/conversion/simd1.C
b/gcc/testsuite/g++.dg/conversion/simd1.C
index fa40b0e..522d8b5 100644
--- a/gcc/testsuite/g++.dg/conversion/simd1.C
+++ b/gcc/testsuite/g++.dg/conversion/simd1.C
@@ -1,4 +1,5 @@
/* { dg-do compile } */
+/* { dg-options "-msse2" { target { i?86-*-* x86_64-*-* } } } */
/* Test overload resolution of vector types.
From Janis Johnson and Paolo Bonzini, based on PR/16882 */
@@ -17,7 +18,7 @@ extern const vector signed short *cvssp;
void foo ()
{
vss = vld(i, vscp); /* { dg-error "no matching function for call" } */
- // { dg-message "candidate" "candidate note" { target *-*-* } 19 }
+ // { dg-message "candidate" "candidate note" { target *-*-* } 20 }
vss = vld(i, vssp);
vss = vld(i, cvssp);
}
diff --git a/gcc/testsuite/g++.dg/cpp0x/constexpr-53094-2.C
b/gcc/testsuite/g++.dg/cpp0x/constexpr-53094-2.C
index 3f66c4e..1c5129d 100644
--- a/gcc/testsuite/g++.dg/cpp0x/constexpr-53094-2.C
+++ b/gcc/testsuite/g++.dg/cpp0x/constexpr-53094-2.C
@@ -2,6 +2,7 @@
// { dg-options "-std=gnu++11" }
// Ignore warning on some powerpc-ibm-aix configurations.
// { dg-prune-output "non-standard ABI extension" }
+// { dg-prune-output "changes the ABI" }
typedef float __attribute__ ((vector_size (4 * sizeof (float)))) V4;
constexpr V4 build (float x, float y, float z) { return (V4){ x, y, z, 0 };}
diff --git a/gcc/testsuite/g++.dg/ext/attribute-test-1.C
b/gcc/testsuite/g++.dg/ext/attribute-test-1.C
index 7df6893..93e08d7 100644
--- a/gcc/testsuite/g++.dg/ext/attribute-test-1.C
+++ b/gcc/testsuite/g++.dg/ext/attribute-test-1.C
@@ -36,3 +36,4 @@ int main()
/* Ignore a warning that is irrelevant to the purpose of this test. */
/* { dg-prune-output ".*GCC vector returned by reference.*" } */
+/* { dg-prune-output "changes the ABI" } */
diff --git a/gcc/testsuite/g++.dg/ext/attribute-test-2.C
b/gcc/testsuite/g++.dg/ext/attribute-test-2.C
index 1870673..d7c417d 100644
--- a/gcc/testsuite/g++.dg/ext/attribute-test-2.C
+++ b/gcc/testsuite/g++.dg/ext/attribute-test-2.C
@@ -50,3 +50,4 @@ int main()
/* Ignore a warning that is irrelevant to the purpose of this test. */
/* { dg-prune-output ".*GCC vector returned by reference.*" } */
+/* { dg-prune-output "changes the ABI" } */
diff --git a/gcc/testsuite/g++.dg/ext/attribute-test-3.C
b/gcc/testsuite/g++.dg/ext/attribute-test-3.C
index 050cbb4..4b0939e 100644
--- a/gcc/testsuite/g++.dg/ext/attribute-test-3.C
+++ b/gcc/testsuite/g++.dg/ext/attribute-test-3.C
@@ -52,3 +52,4 @@ int main() {
/* Ignore a warning that is irrelevant to the purpose of this test. */
/* { dg-prune-output ".*GCC vector returned by reference.*" } */
+/* { dg-prune-output "changes the ABI" } */
diff --git a/gcc/testsuite/g++.dg/ext/attribute-test-4.C
b/gcc/testsuite/g++.dg/ext/attribute-test-4.C
index 4783ee8..c3e949a 100644
--- a/gcc/testsuite/g++.dg/ext/attribute-test-4.C
+++ b/gcc/testsuite/g++.dg/ext/attribute-test-4.C
@@ -49,3 +49,4 @@ int main() {
/* Ignore a warning that is irrelevant to the purpose of this test. */
/* { dg-prune-output ".*GCC vector returned by reference.*" } */
+/* { dg-prune-output "changes the ABI" } */
diff --git a/gcc/testsuite/g++.dg/ext/pr56790-1.C
b/gcc/testsuite/g++.dg/ext/pr56790-1.C
index 84feca1..ae465fa 100644
--- a/gcc/testsuite/g++.dg/ext/pr56790-1.C
+++ b/gcc/testsuite/g++.dg/ext/pr56790-1.C
@@ -1,5 +1,6 @@
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-ccp1" } */
+/* { dg-prune-output "changes the ABI" } */
typedef long vec __attribute__ ((vector_size (2 * sizeof (long))));
diff --git a/gcc/testsuite/g++.dg/torture/pr38565.C
b/gcc/testsuite/g++.dg/torture/pr38565.C
index 8cd1e1d..7216b1c 100644
--- a/gcc/testsuite/g++.dg/torture/pr38565.C
+++ b/gcc/testsuite/g++.dg/torture/pr38565.C
@@ -1,6 +1,7 @@
// { dg-do compile }
// Ignore warning on some powerpc-linux configurations.
// { dg-prune-output "non-standard ABI extension" }
+// { dg-prune-output "changes the ABI" }
#define vector __attribute__((vector_size(16) ))
vector unsigned int f(int a)
{
diff --git a/gcc/testsuite/gcc.dg/Wstrict-aliasing-bogus-ref-all-2.c
b/gcc/testsuite/gcc.dg/Wstrict-aliasing-bogus-ref-all-2.c
index 42b3935..b1bee33 100644
--- a/gcc/testsuite/gcc.dg/Wstrict-aliasing-bogus-ref-all-2.c
+++ b/gcc/testsuite/gcc.dg/Wstrict-aliasing-bogus-ref-all-2.c
@@ -1,6 +1,7 @@
/* { dg-do compile } */
/* { dg-options "-O2 -Wall" } */
/* { dg-options "-O2 -Wall -mabi=altivec" { target { {
powerpc*-*-linux* } && ilp32 } } } */
+/* { dg-options "-O2 -Wall -msse2" { target { i?86-*-* x86_64-*-* } } } */
typedef long long __m128i __attribute__ ((__vector_size__ (16),
__may_alias__));
diff --git a/gcc/testsuite/gcc.dg/pr53060.c b/gcc/testsuite/gcc.dg/pr53060.c
index db5acbd..503f054 100644
--- a/gcc/testsuite/gcc.dg/pr53060.c
+++ b/gcc/testsuite/gcc.dg/pr53060.c
@@ -25,3 +25,4 @@ int main()
/* Ignore a warning that is irrelevant to the purpose of this test. */
/* { dg-prune-output ".*GCC vector returned by reference.*" } */
+/* { dg-prune-output "changes the ABI" } */
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: PATCH: PR target/59794: [4.7/4.8/4.9 Regression] i386 backend fails to detect MMX/SSE/AVX ABI changes
2014-01-14 16:12 ` Uros Bizjak
@ 2014-01-17 19:04 ` H.J. Lu
0 siblings, 0 replies; 5+ messages in thread
From: H.J. Lu @ 2014-01-17 19:04 UTC (permalink / raw)
To: Uros Bizjak; +Cc: gcc-patches
On Tue, Jan 14, 2014 at 8:12 AM, Uros Bizjak <ubizjak@gmail.com> wrote:
> On Tue, Jan 14, 2014 at 3:18 PM, H.J. Lu <hongjiu.lu@intel.com> wrote:
>
>> There are several problems with i386 MMX/SSE/AVX ABI change detection:
>>
>> 1. MMX/SSE return value isn't checked for -m32 since revision 83533:
>>
>> http://gcc.gnu.org/viewcvs/gcc?view=revision&revision=83533
>>
>> which added ix86_struct_value_rtx. Since MMX/SSE condition is always
>> false, the MMX/SSE return value ABI change is disabled.
>> 2. For -m32, the same warning on MMX/SSE argument is issued twice, one from
>> type_natural_mode and one from function_arg_32.
>> 3. AVX return value ABI change isn't checked.
>>
>> This patch does followings:
>>
>> 1. Remove the ineffective ix86_struct_value_rtx.
>> 2. Add a bool parameter to indicate if type is used for function return
>> value. Warn ABI change if the vector mode isn't available for function
>> return value. Add AVX function return value ABI change warning.
>> 3. Consolidate ABI change warning into type_natural_mode.
>> 4. Update g++.dg/ext/vector23.C to prune ABI change for Linux/x86
>> added by the AVX function return value ABI change warning.
>> 5. Update gcc.target/i386/pr39162.c to avoid the AVX function return
>> value ABI change warning.
>> 6. Add testcases for warning MMX/SSE/AVX ABI changes in parameter
>> passing and function return.
>>
>> Tested on Linux/x86-64 with -m32/-m64 for "make check". OK to install?
>>
>> Thanks.
>>
>> H.J.
>> ---
>> gcc/
>>
>> 2014-01-14 H.J. Lu <hongjiu.lu@intel.com>
>>
>> PR target/59794
>> * config/i386/i386.c (type_natural_mode): Add a bool parameter
>> to indicate if type is used for function return value. Warn
>> ABI change if the vector mode isn't available for function
>> return value.
>> (ix86_function_arg_advance): Pass false to type_natural_mode.
>> (ix86_function_arg): Likewise.
>> (ix86_gimplify_va_arg): Likewise.
>> (function_arg_32): Don't warn ABI change.
>> (ix86_function_value): Pass true to type_natural_mode.
>> (ix86_return_in_memory): Likewise.
>> (ix86_struct_value_rtx): Removed.
>> (TARGET_STRUCT_VALUE_RTX): Likewise.
>>
>> gcc/testsuite/
>>
>> 2014-01-14 H.J. Lu <hongjiu.lu@intel.com>
>>
>> PR target/59794
>> * g++.dg/ext/vector23.C: Also prune ABI change for Linux/x86.
>> * gcc.target/i386/pr39162.c (y): New __m256i variable.
>> (bar): Change return type to void. Set y to x.
>> * gcc.target/i386/pr59794-1.c: New testcase.
>> * gcc.target/i386/pr59794-2.c: Likewise.
>> * gcc.target/i386/pr59794-3.c: Likewise.
>> * gcc.target/i386/pr59794-4.c: Likewise.
>> * gcc.target/i386/pr59794-5.c: Likewise.
>> * gcc.target/i386/pr59794-6.c: Likewise.
>> * gcc.target/i386/pr59794-7.c: Likewise.
>
> OK for mainline and release branches after a couple of days.
>
I back ported it to 4.8 branch. But type_natural_mode on 4.7
branch is too different from trunk. I stopped at 4.8 branch.
--
H.J.
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2014-01-17 19:04 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-01-14 14:18 PATCH: PR target/59794: [4.7/4.8/4.9 Regression] i386 backend fails to detect MMX/SSE/AVX ABI changes H.J. Lu
2014-01-14 16:12 ` Uros Bizjak
2014-01-17 19:04 ` H.J. Lu
2014-01-15 7:09 ` Jakub Jelinek
2014-01-15 17:05 ` H.J. Lu
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).