public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r11-3272] [testsuite] Introduce effective target non_strict_prototype
@ 2020-09-17 23:25 Tom de Vries
0 siblings, 0 replies; only message in thread
From: Tom de Vries @ 2020-09-17 23:25 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:e766449f221f0449cbade182ba5344eafe7c7876
commit r11-3272-ge766449f221f0449cbade182ba5344eafe7c7876
Author: Tom de Vries <tdevries@suse.de>
Date: Thu Sep 10 13:23:43 2020 +0200
[testsuite] Introduce effective target non_strict_prototype
Consider test-case gcc.c-torture/compile/pr71109.c.
It contains a prototype-less declaration of foo:
...
static void foo ();
...
followed by a call to foo
...
foo (bar, a);
...
followed by the definition of foo:
...
static inline void
foo (int x, struct S y, struct T z)
...
The test-case has undefined behaviour, but for the nvptx target it doesn't even
assemble:
...
$ gcc src/gcc/testsuite/gcc.c-torture/compile/pr71109.c -c
ptxas pr71109.o, line 196; error : Type of argument does not match \
formal parameter '%in_ar0'
ptxas pr71109.o, line 196; error : Alignment of argument does not match \
formal parameter '%in_ar0'
ptxas pr71109.o, line 196; error : Call has wrong number of parameters
ptxas fatal : Ptx assembly aborted due to errors
nvptx-as: ptxas returned 255 exit status
...
The problem is that this call:
...
191 {
192 .param .u64 %out_arg1;
193 st.param.u64 [%out_arg1],%r23;
194 .param .u64 %out_arg2;
195 st.param.u64 [%out_arg2],%r32;
196 call foo,(%out_arg1,%out_arg2);
197 }
...
does not match the preceding declaration:
...
6 // BEGIN FUNCTION DECL: foo
7 .func foo (.param .u32 %in_ar0, .param .u64 %in_ar1, .param .u64 %in_ar2);
...
which is a PTX error.
Introduce an effective target non_strict_prototype that returns 0 for nvptx,
and use it in this and similar test-cases.
Tested on nvptx.
gcc/testsuite/ChangeLog:
* lib/target-supports.exp (check_effective_target_non_strict_prototype):
New proc.
* gcc.c-torture/compile/pr71109.c: Require effective target
non_strict_prototype.
* gcc.c-torture/compile/pr83051-2.c: Same.
* gcc.c-torture/compile/pr89663-1.c: Same.
* gcc.c-torture/compile/pr89663-2.c: Same.
* gcc.c-torture/compile/pr96796.c: Same.
Diff:
---
gcc/testsuite/gcc.c-torture/compile/pr71109.c | 1 +
gcc/testsuite/gcc.c-torture/compile/pr83051-2.c | 2 ++
gcc/testsuite/gcc.c-torture/compile/pr89663-1.c | 1 +
gcc/testsuite/gcc.c-torture/compile/pr89663-2.c | 1 +
gcc/testsuite/gcc.c-torture/compile/pr96796.c | 1 +
gcc/testsuite/lib/target-supports.exp | 12 ++++++++++++
6 files changed, 18 insertions(+)
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr71109.c b/gcc/testsuite/gcc.c-torture/compile/pr71109.c
index f86ba60d78d..b44ba07123e 100644
--- a/gcc/testsuite/gcc.c-torture/compile/pr71109.c
+++ b/gcc/testsuite/gcc.c-torture/compile/pr71109.c
@@ -1,4 +1,5 @@
/* PR tree-optimization/71109 */
+/* { dg-require-effective-target non_strict_prototype } */
struct S { int g, h; signed char i; int j; signed char k; int l[4]; } a, c;
struct T { signed char g; } e;
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr83051-2.c b/gcc/testsuite/gcc.c-torture/compile/pr83051-2.c
index 2bb2eaff54f..4718a276bdb 100644
--- a/gcc/testsuite/gcc.c-torture/compile/pr83051-2.c
+++ b/gcc/testsuite/gcc.c-torture/compile/pr83051-2.c
@@ -1,4 +1,6 @@
/* { dg-options "-fno-early-inlining" } */
+/* { dg-require-effective-target non_strict_prototype } */
+
void
bar ()
{
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr89663-1.c b/gcc/testsuite/gcc.c-torture/compile/pr89663-1.c
index 4fc2d0d4cb5..659925d6c87 100644
--- a/gcc/testsuite/gcc.c-torture/compile/pr89663-1.c
+++ b/gcc/testsuite/gcc.c-torture/compile/pr89663-1.c
@@ -1,4 +1,5 @@
/* PR middle-end/89663 */
+/* { dg-require-effective-target non_strict_prototype } */
int irint ();
long lrint ();
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr89663-2.c b/gcc/testsuite/gcc.c-torture/compile/pr89663-2.c
index efac68233f6..eeb5beb47eb 100644
--- a/gcc/testsuite/gcc.c-torture/compile/pr89663-2.c
+++ b/gcc/testsuite/gcc.c-torture/compile/pr89663-2.c
@@ -1,5 +1,6 @@
/* PR middle-end/89663 */
/* { dg-require-effective-target indirect_calls } */
+/* { dg-require-effective-target non_strict_prototype } */
int irint (double);
long lrint (double);
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr96796.c b/gcc/testsuite/gcc.c-torture/compile/pr96796.c
index 8808e62fe77..82c7512f88b 100644
--- a/gcc/testsuite/gcc.c-torture/compile/pr96796.c
+++ b/gcc/testsuite/gcc.c-torture/compile/pr96796.c
@@ -1,4 +1,5 @@
/* { dg-additional-options "-fcommon" } */
+/* { dg-require-effective-target non_strict_prototype } */
struct S0 {
signed f0 : 8;
diff --git a/gcc/testsuite/lib/target-supports.exp b/gcc/testsuite/lib/target-supports.exp
index 60f76dbd607..5cbe32ffbd6 100644
--- a/gcc/testsuite/lib/target-supports.exp
+++ b/gcc/testsuite/lib/target-supports.exp
@@ -10486,6 +10486,18 @@ proc check_effective_target_large_initializer { } {
return 1
}
+
+# Return 1 if the target allows function prototype mismatches
+# in the assembly.
+
+proc check_effective_target_non_strict_prototype { } {
+ if { [istarget nvptx*-*-*] } {
+ return 0
+ }
+
+ return 1
+}
+
# Returns 1 if the target toolchain supports extended
# syntax of .symver directive, 0 otherwise.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-09-17 23:25 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-09-17 23:25 [gcc r11-3272] [testsuite] Introduce effective target non_strict_prototype Tom de Vries
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).