{"id":2226687,"url":"http://patchwork.ozlabs.org/api/patches/2226687/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/bmm.hhuodmon6a.gcc.gcc-TEST.alfie.richards.49.1.12@forge-stage.sourceware.org/","project":{"id":17,"url":"http://patchwork.ozlabs.org/api/projects/17/?format=json","name":"GNU Compiler Collection","link_name":"gcc","list_id":"gcc-patches.gcc.gnu.org","list_email":"gcc-patches@gcc.gnu.org","web_url":null,"scm_url":null,"webscm_url":null,"list_archive_url":"","list_archive_url_format":"","commit_url_format":""},"msgid":"<bmm.hhuodmon6a.gcc.gcc-TEST.alfie.richards.49.1.12@forge-stage.sourceware.org>","list_archive_url":null,"date":"2026-04-22T18:22:00","name":"[v1,12/13] c/aarch64: Add FMV diagnostic tests.","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"16a711d09efc538051b2e76f56b2ec6140e6b78c","submitter":{"id":93228,"url":"http://patchwork.ozlabs.org/api/people/93228/?format=json","name":"\\\"alfie.richards via Sourceware Forge\\\"","email":"forge-bot+alfie.richards@forge-stage.sourceware.org"},"delegate":null,"mbox":"http://patchwork.ozlabs.org/project/gcc/patch/bmm.hhuodmon6a.gcc.gcc-TEST.alfie.richards.49.1.12@forge-stage.sourceware.org/mbox/","series":[{"id":501072,"url":"http://patchwork.ozlabs.org/api/series/501072/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/list/?series=501072","date":"2026-04-22T18:21:54","name":"FMV refactor and ACLE compliance for C++","version":1,"mbox":"http://patchwork.ozlabs.org/series/501072/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/patches/2226687/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2226687/checks/","tags":{},"related":[],"headers":{"Return-Path":"<gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org>","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=38.145.34.32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org; dmarc=none (p=none dis=none)\n header.from=forge-stage.sourceware.org","sourceware.org;\n spf=pass smtp.mailfrom=forge-stage.sourceware.org","server2.sourceware.org;\n arc=none smtp.remote-ip=38.145.34.39"],"Received":["from vm01.sourceware.org (vm01.sourceware.org [38.145.34.32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4g176m11Hmz1yGs\n\tfor <incoming@patchwork.ozlabs.org>; Thu, 23 Apr 2026 04:29:36 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 2CB454347090\n\tfor <incoming@patchwork.ozlabs.org>; Wed, 22 Apr 2026 18:29:34 +0000 (GMT)","from forge-stage.sourceware.org (vm08.sourceware.org [38.145.34.39])\n by sourceware.org (Postfix) with ESMTPS id 714264422B1E\n for <gcc-patches@gcc.gnu.org>; Wed, 22 Apr 2026 18:23:34 +0000 (GMT)","from forge-stage.sourceware.org (localhost [IPv6:::1])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange x25519 server-signature ECDSA (prime256v1) server-digest SHA256)\n (No client certificate requested)\n by forge-stage.sourceware.org (Postfix) with ESMTPS id C8CEE4345F\n for <gcc-patches@gcc.gnu.org>; Wed, 22 Apr 2026 18:23:30 +0000 (UTC)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 2CB454347090","OpenDKIM Filter v2.11.0 sourceware.org 714264422B1E"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 714264422B1E","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 714264422B1E","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776882214; cv=none;\n b=PwBzgPkY0hPCvMgJ6SPe3so+UUW3l/g0+O8OUc9B4wMht69QzHtgCsJKWb2Un0GEJlNPjYPjyPbrTvfM4DmxgLiZI6ggb08PKcYQR68WS6G6XxaRNcRcwfGFLyBP9EeLttX8MNlVLMgRpokwnt9I1dGL1RkCknjpzAa8GHVFm84=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776882214; c=relaxed/simple;\n bh=xB2arzR/dAij3igFwHRSiMUyGbytKqCXCaAXQfwpziM=;\n h=From:Date:Subject:To:Message-ID;\n b=mNF2heD5dLlDGpV4W77art3NFR1jFJtUVsJgY8mUTgfo+WV7oxLDbahxZ1gxaTI+3U2DbFbU7X/mML7Oo2FOElt0TgUjs0o+E7t/CWW4RctRnbD0xdUIZpvf6v/0MO87AFGBYzO8vFv9RWhMZUaz3+ozxAofbCCve/TOhC3Arfg=","ARC-Authentication-Results":"i=1; server2.sourceware.org","From":"\"\\\"alfie.richards via Sourceware Forge\\\"\"\n <forge-bot+alfie.richards@forge-stage.sourceware.org>","Date":"Wed, 22 Apr 2026 18:22:00 +0000","Subject":"[PATCH v1 12/13] c/aarch64: Add FMV diagnostic tests.","To":"gcc-patches mailing list <gcc-patches@gcc.gnu.org>","Message-ID":"\n <bmm.hhuodmon6a.gcc.gcc-TEST.alfie.richards.49.1.12@forge-stage.sourceware.org>","X-Mailer":"batrachomyomachia","X-Requested-Reviewer":["rsandifo","rearnsha"],"X-Pull-Request-Organization":"gcc","X-Pull-Request-Repository":"gcc-TEST","X-Pull-Request":"https://forge.sourceware.org/gcc/gcc-TEST/pulls/49","References":"\n <bmm.hhuodmon6a.gcc.gcc-TEST.alfie.richards.49.1.0@forge-stage.sourceware.org>","In-Reply-To":"\n <bmm.hhuodmon6a.gcc.gcc-TEST.alfie.richards.49.1.0@forge-stage.sourceware.org>","X-Patch-URL":"\n https://forge.sourceware.org/alfie.richards/gcc-TEST/commit/34856f17a403bb3ffa8be68e63e60e1b1f44a36e","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list <gcc-patches.gcc.gnu.org>","List-Unsubscribe":"<https://gcc.gnu.org/mailman/options/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>","List-Archive":"<https://gcc.gnu.org/pipermail/gcc-patches/>","List-Post":"<mailto:gcc-patches@gcc.gnu.org>","List-Help":"<mailto:gcc-patches-request@gcc.gnu.org?subject=help>","List-Subscribe":"<https://gcc.gnu.org/mailman/listinfo/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>","Reply-To":"gcc-patches mailing list <gcc-patches@gcc.gnu.org>,\n alfierichards@sourceware.org","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"},"content":"From: Alfie Richards <alfie.richards@arm.com>\n\nAdds some aarch64 C fmv diagnostic tests.\n\nThis mostly tests C front end code, but has to be target specific at FMV\nis requires specifying target extensions.\n\ngcc/testsuite/ChangeLog:\n\n\t* gcc.target/aarch64/mv-and-mvc-error1.c: New test.\n\t* gcc.target/aarch64/mv-and-mvc-error2.c: New test.\n\t* gcc.target/aarch64/mv-and-mvc-error3.c: New test.\n\t* gcc.target/aarch64/mv-error1.c: New test.\n\t* gcc.target/aarch64/mv-error2.c: New test.\n\t* gcc.target/aarch64/mv-error3.c: New test.\n\t* gcc.target/aarch64/mv-error4.c: New test.\n\t* gcc.target/aarch64/mv-error5.c: New test.\n\t* gcc.target/aarch64/mv-error6.c: New test.\n\t* gcc.target/aarch64/mv-error7.c: New test.\n\t* gcc.target/aarch64/mv-error8.c: New test.\n\t* gcc.target/aarch64/mv-error9.c: New test.\n\t* gcc.target/aarch64/mvc-error1.c: New test.\n\t* gcc.target/aarch64/mvc-error2.c: New test.\n\t* gcc.target/aarch64/mvc-warning1.c: New test.\n---\n .../gcc.target/aarch64/mv-and-mvc-error1.c    |  9 +++++++++\n .../gcc.target/aarch64/mv-and-mvc-error2.c    |  9 +++++++++\n .../gcc.target/aarch64/mv-and-mvc-error3.c    |  8 ++++++++\n gcc/testsuite/gcc.target/aarch64/mv-error1.c  | 18 +++++++++++++++++\n gcc/testsuite/gcc.target/aarch64/mv-error2.c  |  9 +++++++++\n gcc/testsuite/gcc.target/aarch64/mv-error3.c  | 12 +++++++++++\n gcc/testsuite/gcc.target/aarch64/mv-error4.c  |  9 +++++++++\n gcc/testsuite/gcc.target/aarch64/mv-error5.c  |  8 ++++++++\n gcc/testsuite/gcc.target/aarch64/mv-error6.c  | 20 +++++++++++++++++++\n gcc/testsuite/gcc.target/aarch64/mv-error7.c  | 11 ++++++++++\n gcc/testsuite/gcc.target/aarch64/mv-error8.c  | 12 +++++++++++\n gcc/testsuite/gcc.target/aarch64/mv-error9.c  | 12 +++++++++++\n gcc/testsuite/gcc.target/aarch64/mvc-error1.c |  9 +++++++++\n gcc/testsuite/gcc.target/aarch64/mvc-error2.c |  9 +++++++++\n .../gcc.target/aarch64/mvc-warning1.c         | 13 ++++++++++++\n 15 files changed, 168 insertions(+)\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mv-and-mvc-error1.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mv-and-mvc-error2.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mv-and-mvc-error3.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mv-error1.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mv-error2.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mv-error3.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mv-error4.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mv-error5.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mv-error6.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mv-error7.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mv-error8.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mv-error9.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mvc-error1.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mvc-error2.c\n create mode 100644 gcc/testsuite/gcc.target/aarch64/mvc-warning1.c","diff":"diff --git a/gcc/testsuite/gcc.target/aarch64/mv-and-mvc-error1.c b/gcc/testsuite/gcc.target/aarch64/mv-and-mvc-error1.c\nnew file mode 100644\nindex 000000000000..b08de29dd3ca\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mv-and-mvc-error1.c\n@@ -0,0 +1,9 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__ ((target_version (\"dotprod\"))) int\n+foo () { return 3; } /* { dg-message \"previous definition of .foo \\\\\\[\\\\\\[target_version\\\\(.dotprod.\\\\)\\\\\\]\\\\\\]. with type .int\\\\(void\\\\).\" } */\n+\n+__attribute__ ((target_clones (\"dotprod\", \"sve\"))) int\n+foo () { return 1; } /* { dg-error \"redefinition of .foo \\\\\\[\\\\\\[target_clones\\\\(.dotprod., .sve.\\\\)\\\\\\]\\\\\\].\" } */\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mv-and-mvc-error2.c b/gcc/testsuite/gcc.target/aarch64/mv-and-mvc-error2.c\nnew file mode 100644\nindex 000000000000..d34b246efc55\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mv-and-mvc-error2.c\n@@ -0,0 +1,9 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__ ((target_version (\"default\"))) int\n+foo () { return 1; } /* { dg-message \"previous definition of .foo \\\\\\[\\\\\\[target_version\\\\(.default.\\\\)\\\\\\]\\\\\\]. with type .int\\\\(void\\\\).\" } */\n+\n+__attribute__ ((target_clones (\"dotprod\", \"sve\"))) float\n+foo () { return 3; } /* { dg-error \"conflicting types for .foo \\\\\\[\\\\\\[target_clones\\\\(.dotprod., .sve.\\\\)\\\\\\]\\\\\\].; have .float\\\\(void\\\\).\" } */\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mv-and-mvc-error3.c b/gcc/testsuite/gcc.target/aarch64/mv-and-mvc-error3.c\nnew file mode 100644\nindex 000000000000..a6a45bdf7aa9\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mv-and-mvc-error3.c\n@@ -0,0 +1,8 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+float foo () { return 1; } /* { dg-message \"previous definition of .foo.\" } */\n+\n+__attribute__ ((target_clones (\"default\", \"dotprod\", \"sve\"))) float\n+foo () { return 3; } /* { dg-error \"redefinition of .foo \\\\\\[\\\\\\[target_clones\\\\(.default., .dotprod., .sve.\\\\)\\\\\\]\\\\\\].\" } */\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mv-error1.c b/gcc/testsuite/gcc.target/aarch64/mv-error1.c\nnew file mode 100644\nindex 000000000000..61c9af276e6e\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mv-error1.c\n@@ -0,0 +1,18 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__ ((target_version (\"default\"))) int\n+foo ();\n+\n+__attribute__ ((target_version (\"default\"))) int\n+foo () { return 1; } /* { dg-message \"previous definition of .foo \\\\\\[\\\\\\[target_version\\\\(.default.\\\\)\\\\\\]\\\\\\]. with type .int\\\\(void\\\\).\" } */\n+\n+__attribute__ ((target_version (\"dotprod\"))) float\n+foo () { return 3; } /* { dg-error \"conflicting types for .foo \\\\\\[\\\\\\[target_version\\\\(.dotprod.\\\\)\\\\\\]\\\\\\].; have .float\\\\(void\\\\).\" } */\n+\n+__attribute__ ((target_version (\"sve\"))) int\n+foo2 () { return 1; } /* { dg-message \"previous definition of .foo2 \\\\\\[\\\\\\[target_version\\\\(.sve.\\\\)\\\\\\]\\\\\\]. with type .int\\\\(void\\\\).\" } */\n+\n+__attribute__ ((target_version (\"dotprod\"))) float\n+foo2 () { return 3; } /* { dg-error \"conflicting types for .foo2 \\\\\\[\\\\\\[target_version\\\\(.dotprod.\\\\)\\\\\\]\\\\\\].; have .float\\\\(void\\\\).\" } */\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mv-error2.c b/gcc/testsuite/gcc.target/aarch64/mv-error2.c\nnew file mode 100644\nindex 000000000000..19d961d0a5a6\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mv-error2.c\n@@ -0,0 +1,9 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__ ((target_version (\"dotprod\"))) float\n+foo () { return 3; } /* { dg-message \"previous definition of .foo \\\\\\[\\\\\\[target_version\\\\(.dotprod.\\\\)\\\\\\]\\\\\\]. with type .float\\\\(void\\\\).\" } */\n+\n+__attribute__ ((target_version (\"dotprod\"))) float\n+foo () { return 3; } /* { dg-error \"redefinition of .foo \\\\\\[\\\\\\[target_version\\\\(.dotprod.\\\\)\\\\\\]\\\\\\].\" } */\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mv-error3.c b/gcc/testsuite/gcc.target/aarch64/mv-error3.c\nnew file mode 100644\nindex 000000000000..451ce028c655\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mv-error3.c\n@@ -0,0 +1,12 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__ ((target_version (\"dotprod\"))) float\n+foo () { return 3; }\n+\n+__attribute__ ((target_version (\"default\"))) float\n+foo () { return 3; } /* { dg-message \"previous definition of .foo \\\\\\[\\\\\\[target_version\\\\(.default.\\\\)\\\\\\]\\\\\\]. with type .float\\\\(void\\\\).\" } */\n+\n+__attribute__ ((target_version (\"default\"))) float\n+foo () { return 3; } /* { dg-error \"redefinition of .foo \\\\\\[\\\\\\[target_version\\\\(.default.\\\\)\\\\\\]\\\\\\].\" } */\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mv-error4.c b/gcc/testsuite/gcc.target/aarch64/mv-error4.c\nnew file mode 100644\nindex 000000000000..44d3195590d2\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mv-error4.c\n@@ -0,0 +1,9 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__ ((target_version (\"test\"))) float\n+foo () { return 3; } /* { dg-error \"invalid feature modifier .test. of value .test. in .target_version. attribute\" } */\n+\n+__attribute__ ((target_version (\"sve+test\"))) float\n+foo2 () { return 3; } /* { dg-error \"invalid feature modifier .test. of value .sve.test. in .target_version. attribute\" } */\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mv-error5.c b/gcc/testsuite/gcc.target/aarch64/mv-error5.c\nnew file mode 100644\nindex 000000000000..776b80a45b65\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mv-error5.c\n@@ -0,0 +1,8 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__ ((target_version (\"sve+sve2\"))) int\n+foo(); /* { dg-message \"previous declaration of .foo \\\\\\[\\\\\\[target_version\\\\(.sve\\\\\\+sve2.\\\\)\\\\\\]\\\\\\]. with type .int\\\\(void\\\\).\" } */\n+\n+int bar () { return foo (); } /* { dg-error \"implicit declaration of function .foo.\" } */\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mv-error6.c b/gcc/testsuite/gcc.target/aarch64/mv-error6.c\nnew file mode 100644\nindex 000000000000..afc71a44e735\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mv-error6.c\n@@ -0,0 +1,20 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__ ((target_version (\"sve+sve2\"))) int\n+foo () {\n+\treturn 1;\n+}\n+\n+__attribute__ ((target_version (\"sve\"))) int\n+foo () { /* { dg-message \"previous definition of .foo \\\\\\[\\\\\\[target_version\\\\(.sve.\\\\)\\\\\\]\\\\\\]. with type .int\\\\(void\\\\).\" } */\n+\treturn 1;\n+}\n+\n+int bar () { return foo (); } /* { dg-error \"implicit declaration of function .foo.\" } */\n+\n+__attribute__ ((target_version (\"sve+sve2\"))) int\n+foo2(); /* { dg-message \"previous declaration of .foo2 \\\\\\[\\\\\\[target_version\\\\(.sve\\\\\\+sve2.\\\\)\\\\\\]\\\\\\]. with type .int\\\\(void\\\\).\" } */\n+\n+int bar2 () { return foo2 (); } /* { dg-error \"implicit declaration of function .foo2.\" } */\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mv-error7.c b/gcc/testsuite/gcc.target/aarch64/mv-error7.c\nnew file mode 100644\nindex 000000000000..68db9783ce62\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mv-error7.c\n@@ -0,0 +1,11 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__ ((target_version (\"dotprod\"))) int\n+foo (); /* { dg-message \"previous declaration of .foo \\\\\\[\\\\\\[target_version\\\\(.dotprod.\\\\)\\\\\\]\\\\\\]. with type .int\\\\(void\\\\).\" } */\n+\n+__attribute__ ((target_version (\"sve+sve2\"))) int\n+foo ();\n+\n+int bar () { return foo (); } /* { dg-error \"implicit declaration of function .foo.\" } */\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mv-error8.c b/gcc/testsuite/gcc.target/aarch64/mv-error8.c\nnew file mode 100644\nindex 000000000000..7599df189e41\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mv-error8.c\n@@ -0,0 +1,12 @@\n+/* { dg-do compile } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__ ((target_version (\"default\"))) int\n+foo (int a, int (*b)[4]) { return 1; }\n+\n+int bar(void) {\n+  __attribute__ ((target_version (\"dotprod\"))) int\n+  foo (int a, int (*b)[5]) { return 3; } /* { dg-error \"versioned definitions are only allowed at file scope\" } */\n+\n+  return 1;\n+}\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mv-error9.c b/gcc/testsuite/gcc.target/aarch64/mv-error9.c\nnew file mode 100644\nindex 000000000000..dc982e9d4151\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mv-error9.c\n@@ -0,0 +1,12 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__ ((target_version (\"dotprod\"))) int\n+foo (); /* { dg-message \"previous declaration of .foo \\\\\\[\\\\\\[target_version\\\\(.dotprod.\\\\)\\\\\\]\\\\\\]. with type .int\\\\(void\\\\).\" } */\n+\n+int\n+bar ()\n+{\n+  return foo (); /* { dg-error \"implicit declaration of function .foo.\" } */\n+}\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mvc-error1.c b/gcc/testsuite/gcc.target/aarch64/mvc-error1.c\nnew file mode 100644\nindex 000000000000..482d0a71e672\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mvc-error1.c\n@@ -0,0 +1,9 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__ ((target_clones (\"default, dotprod\"))) float\n+foo (); /* { dg-message \"previous declaration of .foo \\\\\\[\\\\\\[target_clones\\\\(.default., .dotprod.\\\\)\\\\\\]\\\\\\].\" } */\n+\n+__attribute__ ((target_clones (\"dotprod\", \"sve\"))) float\n+foo () { return 3; } /* { dg-error \".foo \\\\\\[\\\\\\[target_clones\\\\(.dotprod., .sve.\\\\)\\\\\\]\\\\\\]. conflicts with overlapping .target_clone. declaration\" } */\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mvc-error2.c b/gcc/testsuite/gcc.target/aarch64/mvc-error2.c\nnew file mode 100644\nindex 000000000000..482d0a71e672\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mvc-error2.c\n@@ -0,0 +1,9 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__ ((target_clones (\"default, dotprod\"))) float\n+foo (); /* { dg-message \"previous declaration of .foo \\\\\\[\\\\\\[target_clones\\\\(.default., .dotprod.\\\\)\\\\\\]\\\\\\].\" } */\n+\n+__attribute__ ((target_clones (\"dotprod\", \"sve\"))) float\n+foo () { return 3; } /* { dg-error \".foo \\\\\\[\\\\\\[target_clones\\\\(.dotprod., .sve.\\\\)\\\\\\]\\\\\\]. conflicts with overlapping .target_clone. declaration\" } */\ndiff --git a/gcc/testsuite/gcc.target/aarch64/mvc-warning1.c b/gcc/testsuite/gcc.target/aarch64/mvc-warning1.c\nnew file mode 100644\nindex 000000000000..1bae38cceeb3\n--- /dev/null\n+++ b/gcc/testsuite/gcc.target/aarch64/mvc-warning1.c\n@@ -0,0 +1,13 @@\n+/* { dg-do compile } */\n+/* { dg-require-ifunc \"\" } */\n+/* { dg-options \"-O0\" } */\n+\n+__attribute__((target_clones(\"default\", \"dotprod\", \"sve+sve2\")))\n+int foo () {\n+  return 1;\n+}\n+\n+__attribute__((target_clones(\"invalid1\")))\n+int foo () { /* { dg-warning \"invalid feature modifier .invalid1. in version .invalid1. for .target_clones. attribute\" } */\n+  return 2;\n+}\n","prefixes":["v1","12/13"]}