{"id":2196655,"url":"http://patchwork.ozlabs.org/api/1.0/patches/2196655/?format=json","project":{"id":14,"url":"http://patchwork.ozlabs.org/api/1.0/projects/14/?format=json","name":"QEMU Development","link_name":"qemu-devel","list_id":"qemu-devel.nongnu.org","list_email":"qemu-devel@nongnu.org","web_url":"","scm_url":"","webscm_url":""},"msgid":"<20260215220422.212249-8-ltaylorsimpson@gmail.com>","date":"2026-02-15T22:04:21","name":"[v2,7/8] tests/tcg/hexagon: Add test for revision-gated instruction decoding","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"f906c5e91e3ca8ed805d794735d0788f71491533","submitter":{"id":86757,"url":"http://patchwork.ozlabs.org/api/1.0/people/86757/?format=json","name":"Taylor Simpson","email":"ltaylorsimpson@gmail.com"},"delegate":null,"mbox":"http://patchwork.ozlabs.org/project/qemu-devel/patch/20260215220422.212249-8-ltaylorsimpson@gmail.com/mbox/","series":[{"id":492234,"url":"http://patchwork.ozlabs.org/api/1.0/series/492234/?format=json","date":"2026-02-15T22:04:17","name":"Hexagon (target/hexagon) Check opcodes versions","version":2,"mbox":"http://patchwork.ozlabs.org/series/492234/mbox/"}],"check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2196655/checks/","tags":{},"headers":{"Return-Path":"","X-Original-To":"incoming@patchwork.ozlabs.org","Delivered-To":"patchwork-incoming@legolas.ozlabs.org","Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (2048-bit key;\n unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256\n header.s=20230601 header.b=HrGpeYRO;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=nongnu.org\n (client-ip=209.51.188.17; helo=lists.gnu.org;\n envelope-from=qemu-devel-bounces+incoming=patchwork.ozlabs.org@nongnu.org;\n receiver=patchwork.ozlabs.org)"],"Received":["from lists.gnu.org (lists.gnu.org [209.51.188.17])\n\t(using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits))\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4fDg2b0BBcz1xpY\n\tfor ; Mon, 16 Feb 2026 09:05:43 +1100 (AEDT)","from localhost ([::1] helo=lists1p.gnu.org)\n\tby lists.gnu.org with esmtp (Exim 4.90_1)\n\t(envelope-from )\n\tid 1vrkEN-0005YE-0d; Sun, 15 Feb 2026 17:04:43 -0500","from eggs.gnu.org ([2001:470:142:3::10])\n by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)\n (Exim 4.90_1) (envelope-from )\n id 1vrkEK-0005XQ-Ig\n for qemu-devel@nongnu.org; Sun, 15 Feb 2026 17:04:41 -0500","from mail-oa1-x2e.google.com ([2001:4860:4864:20::2e])\n by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)\n (Exim 4.90_1) (envelope-from )\n id 1vrkEH-000533-9m\n for qemu-devel@nongnu.org; Sun, 15 Feb 2026 17:04:39 -0500","by mail-oa1-x2e.google.com with SMTP id\n 586e51a60fabf-40ede943bf0so1430011fac.2\n for ; Sun, 15 Feb 2026 14:04:36 -0800 (PST)","from taylor-ubuntu.. (c-67-172-136-152.hsd1.co.comcast.net.\n [67.172.136.152]) by smtp.gmail.com with ESMTPSA id\n 586e51a60fabf-40eaf101db0sm13556664fac.12.2026.02.15.14.04.33\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Sun, 15 Feb 2026 14:04:34 -0800 (PST)"],"DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=gmail.com; s=20230601; t=1771193076; x=1771797876; darn=nongnu.org;\n h=content-transfer-encoding:mime-version:references:in-reply-to\n :message-id:date:subject:cc:to:from:from:to:cc:subject:date\n :message-id:reply-to;\n bh=m+qNKUAlpp9a6yuJ0J/t49+0Pl4hNg0jUhpv5P0Iy6I=;\n b=HrGpeYROhpRnnNoA+2f7E4RBew+Mtm+GlJyLAM8YcQ2fVnGwKwkTqvv9lWFbKZx8Er\n +DyUPWzvPnd6Jm0TwMv8AzUVITeixXqtkm3scvh8KAzhKawuULQkdNScWe35GGtFRVGS\n W+YoHTLbbvAzlw11zmJvLDKalQVPzpr7SvnAKvI70jwjxZRPiy2VRs8OWyEpYlsMu3ae\n GVDprAZvN+PyZyeTxe7aYTPzwjEV0s7MuUx9yfXMwxnQqKoaFsaABX14JZyXCR4pmdaz\n 0BY0Ih4/3wdfCPz5dhEOCxHUVXdyxCjbjstN+6zuqtZNCkO0fTOmzYXqHVMaWfE7Oln4\n APQA==","X-Google-DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20230601; t=1771193076; x=1771797876;\n h=content-transfer-encoding:mime-version:references:in-reply-to\n :message-id:date:subject:cc:to:from:x-gm-gg:x-gm-message-state:from\n :to:cc:subject:date:message-id:reply-to;\n bh=m+qNKUAlpp9a6yuJ0J/t49+0Pl4hNg0jUhpv5P0Iy6I=;\n b=ts/OpLkOBx9QvoHTuZsiypCKALQ3ffwM5u15eUH5ueA7OhH+WmxvrH5z4MSJVQN9St\n OZp7y98Ag+ubwpTigWCOK48VBhZaPoa2J/hvjFmZbW9tRd8SMJOLRNU4+OgU3AZcVurN\n paxTy6gIexMsj1xJgEwY9GLA3yuBqjM0rdH8DAl7/vAZJHu845iPBp3dt6/Wnemk4ul2\n JQT4xrcnLe+9oITMm7NmYZcvfZcw75N8DMx6MpB1Xl9YF1twwj33Eum9pCmkFQyzCTJL\n 5Ii+Lre0Xgp9VoigV2x8+3V/WJilOLycf4zV3MQQmnsml6KVDrbR7JH/5YLof3F/5T5r\n 0XsQ==","X-Gm-Message-State":"AOJu0YyI9hjxXiTa3Rs8/8v60KVEX8b2c9FQijcLnc3+tGCGIZ8TOH26\n ccmJR+UR7SXIHgCoR07239FJWYvQEkII150B0nQxNyG9eaDTdvfCQHPx3oYUqg==","X-Gm-Gg":"AZuq6aL1JMqIGoiPMbT9C+eGW/YyVzUn10VX7bgwrTOKagFqUaK4JOnVMlYM2+o1d/f\n ddwywwiC1mpCht8qAlYAzd5w7Lqyy1FL40ffO4n0Llj06RcU6bFMCPuCE1qbYgijRv48mhBpTNK\n ezQ8yHVws9kwdUfq/djyR+K2KrZSJ+5F9+ucadwpdHaAXtPL2oDvG2EBC/66flTYBOTsS6BoJ/H\n mciPI+QwUw1Epz5jTn9zuvOmnuCfqZyjit1w6eecEzj926566/jO6UU8N1yRx/LhuGTN0ip8oKy\n gftBvI9PO6Me0bhKwGwz/UvP9ma6FCEN8UzkiEVbbFJZviefLOiAkWSq32ycNq9Ytoa6rlhZHzz\n TEIpl8WgIQPyBc+S6ybV6KXcphs7EW7kYg74WYgb8ojHznwoVglpwZ4yDRbuHbw7CYSfBGQZf2K\n QZpU28eM6p09AvdwUJTSf53XrlQiTegwoHJ24/t5xOcSslhTr7eMioYZUQQInUtZ4qqdxD0P2Bw\n 3wIIaZiR5hWy4TS","X-Received":"by 2002:a05:6870:d99:b0:3ff:4ab4:774c with SMTP id\n 586e51a60fabf-40f0d94f5cfmr4034428fac.43.1771193075266;\n Sun, 15 Feb 2026 14:04:35 -0800 (PST)","From":"Taylor Simpson ","To":"qemu-devel@nongnu.org","Cc":"brian.cain@oss.qualcomm.com, matheus.bernardino@oss.qualcomm.com,\n sid.manning@oss.qualcomm.com, marco.liebel@oss.qualcomm.com,\n richard.henderson@linaro.org, philmd@linaro.org, ale@rev.ng, anjo@rev.ng,\n ltaylorsimpson@gmail.com","Subject":"[PATCH v2 7/8] tests/tcg/hexagon: Add test for revision-gated\n instruction decoding","Date":"Sun, 15 Feb 2026 15:04:21 -0700","Message-ID":"<20260215220422.212249-8-ltaylorsimpson@gmail.com>","X-Mailer":"git-send-email 2.43.0","In-Reply-To":"<20260215220422.212249-1-ltaylorsimpson@gmail.com>","References":"<20260215220422.212249-1-ltaylorsimpson@gmail.com>","MIME-Version":"1.0","Content-Type":"text/plain; charset=\"utf-8\"","Content-Transfer-Encoding":"8bit","Received-SPF":"pass client-ip=2001:4860:4864:20::2e;\n envelope-from=ltaylorsimpson@gmail.com; helo=mail-oa1-x2e.google.com","X-Spam_score_int":"-20","X-Spam_score":"-2.1","X-Spam_bar":"--","X-Spam_report":"(-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,\n DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,\n RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,\n SPF_PASS=-0.001 autolearn=ham autolearn_force=no","X-Spam_action":"no action","X-BeenThere":"qemu-devel@nongnu.org","X-Mailman-Version":"2.1.29","Precedence":"list","List-Id":"qemu development ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","Errors-To":"qemu-devel-bounces+incoming=patchwork.ozlabs.org@nongnu.org","Sender":"qemu-devel-bounces+incoming=patchwork.ozlabs.org@nongnu.org"},"content":"From: Brian Cain \n\nAdd check_rev_gating, a linux-user test that verifies the decoder\nrejects instructions from a newer CPU revision than the one selected\nby the ELF binary's e_flags.\n\nCo-authored-by: Taylor Simpson \nCo-authored-by: Matheus Tavares Bernardino \nSigned-off-by: Brian Cain \n---\n tests/tcg/hexagon/check_rev_gating.c | 141 +++++++++++++++++++++++++++\n tests/tcg/hexagon/Makefile.target | 6 ++\n 2 files changed, 147 insertions(+)\n create mode 100644 tests/tcg/hexagon/check_rev_gating.c","diff":"diff --git a/tests/tcg/hexagon/check_rev_gating.c b/tests/tcg/hexagon/check_rev_gating.c\nnew file mode 100644\nindex 0000000000..26b66f5455\n--- /dev/null\n+++ b/tests/tcg/hexagon/check_rev_gating.c\n@@ -0,0 +1,141 @@\n+/*\n+ * Test that instructions from a newer revision than the running CPU\n+ * are rejected with SIGILL.\n+ *\n+ * Compiled with -mv66 so that e_flags selects CPU v66. The test embeds\n+ * a v68 instruction (L2_loadw_aq: \"r0 = memw_aq(r0)\") via .word\n+ * encoding. The revision-gated decoder must reject it, and linux-user\n+ * must deliver SIGILL.\n+ *\n+ * Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.\n+ * SPDX-License-Identifier: GPL-2.0-or-later\n+ */\n+\n+#include \n+#include \n+#include \n+#include \n+#include \n+#include \n+\n+static void *resume_pc;\n+static int signals_handled;\n+static int expected_signals;\n+\n+static void handle_sigill(int sig, siginfo_t *info, void *puc)\n+{\n+ ucontext_t *uc = (ucontext_t *)puc;\n+\n+ if (sig != SIGILL) {\n+ _exit(EXIT_FAILURE);\n+ }\n+\n+ uc->uc_mcontext.r0 = SIGILL;\n+ uc->uc_mcontext.pc = (unsigned long)resume_pc;\n+ signals_handled++;\n+}\n+\n+/*\n+ * Try to execute an instruction introduced after v66\n+ * On a v66 CPU this must raise SIGILL.\n+ *\n+ * Since we are building for v66, the assembler will reject\n+ * the instructions, so introduce them with .word.\n+ */\n+#define TRY_FUNC(NAME, WORD) \\\n+static int try_##NAME(void) \\\n+{ \\\n+ int sig; \\\n+ expected_signals++; \\\n+ asm volatile( \\\n+ \"r0 = #0\\n\" \\\n+ \"r1 = ##1f\\n\" \\\n+ \"memw(%1) = r1\\n\" \\\n+ WORD \\\n+ \"1:\\n\" \\\n+ \"%0 = r0\\n\" \\\n+ : \"=r\"(sig) \\\n+ : \"r\"(&resume_pc) \\\n+ : \"r0\", \"r1\", \"memory\"); \\\n+ return sig; \\\n+}\n+\n+TRY_FUNC(v68_loadw_aq,\n+ \".word 0x9200c800 /* { r0 = memw_aq(r0) } */\\n\")\n+TRY_FUNC(v68_loadd_aq,\n+ \".word 0x9201d800 /* r1:0 = memd_aq(r1) */\\n\")\n+TRY_FUNC(v68_release_at,\n+ \".word 0xa0e0c00c /* release(r0):at */\\n\")\n+TRY_FUNC(v68_release_st,\n+ \".word 0xa0e0c02c /* release(r0):st */\\n\")\n+TRY_FUNC(v68_storew_rl_at,\n+ \".word 0xa0a0c108 /* memw_rl(r0):at = r1 */\\n\")\n+TRY_FUNC(v68_stored_rl_at,\n+ \".word 0xa0e2c008 /* memd_rl(r2):at = r1:0 */\\n\")\n+TRY_FUNC(v68_storew_rl_st,\n+ \".word 0xa0a0c128 /* memw_rl(r0):st = r1 */\\n\")\n+TRY_FUNC(v68_stored_rl_st,\n+ \".word 0xa0e2c028 /* memd_rl(r2):st = r1:0 */\\n\")\n+\n+TRY_FUNC(v68hvx_v6mpy,\n+ \".word 0x1f42e424 /* v5:4.w = v6mpy(v5:4.ub, v3:2.b, #1):v */\\n\")\n+\n+TRY_FUNC(v69hvx_vasrvuhubrndsat,\n+ \".word 0x1d06c465 /* v5.ub = vasr(v5:4.uh, v6.ub):rnd:sat */\\n\")\n+TRY_FUNC(v69hvx_vasrvuhubsat,\n+ \".word 0x1d06c445 /* v5.ub = vasr(v5:4.uh, v6.ub):sat */\\n\")\n+TRY_FUNC(v69hvx_vasrvwuhrndsat,\n+ \".word 0x1d06c425 /* v5.uh = vasr(v5:4.w, v6.uh):rnd:sat */\\n\")\n+TRY_FUNC(v69hvx_vasrvwuhsat,\n+ \".word 0x1d06c405 /* v5.uh = vasr(v5:4.w, v6.uh):sat */\\n\")\n+TRY_FUNC(v69hvx_vassign_tmp,\n+ \".word 0x1e014dcc /* { v12.tmp = v13 */\\n\"\n+ \".word 0x1c43cc04 /* v4.w = vadd(v12.w, v3.w) } */\\n\")\n+TRY_FUNC(v69hvx_vcombine_tmp,\n+ \".word 0x1eae4fec /* { v13:12.tmp = vcombine(v15, v14) */\\n\"\n+ \".word 0x1c434c04 /* v4.w = vadd(v12.w, v3.w) */\\n\"\n+ \".word 0x1e03edf0 /* v16 = v13 } */\\n\")\n+TRY_FUNC(v69hvx_vmpyuhvs,\n+ \".word 0x1fc5e4e4 /* v4.uh = vmpy(V4.uh, v5.uh):>>16 */\\n\")\n+\n+TRY_FUNC(v73_callrh,\n+ \".word 0x50c5c000 /* callrh r5 */\\n\")\n+TRY_FUNC(v73_jumprh,\n+ \".word 0x52c0c000 /* jumprh r0 */\\n\")\n+\n+int main(void)\n+{\n+ struct sigaction act;\n+\n+ memset(&act, 0, sizeof(act));\n+ act.sa_sigaction = handle_sigill;\n+ act.sa_flags = SA_SIGINFO;\n+ assert(sigaction(SIGILL, &act, NULL) == 0);\n+\n+ assert(try_v68_loadw_aq() == SIGILL);\n+ assert(try_v68_loadd_aq() == SIGILL);\n+ assert(try_v68_release_at() == SIGILL);\n+ assert(try_v68_release_st() == SIGILL);\n+ assert(try_v68_storew_rl_at() == SIGILL);\n+ assert(try_v68_stored_rl_at() == SIGILL);\n+ assert(try_v68_storew_rl_st() == SIGILL);\n+ assert(try_v68_stored_rl_st() == SIGILL);\n+\n+ assert(try_v68hvx_v6mpy() == SIGILL);\n+\n+ assert(try_v69hvx_vasrvuhubrndsat() == SIGILL);\n+ assert(try_v69hvx_vasrvuhubsat() == SIGILL);\n+ assert(try_v69hvx_vasrvwuhrndsat() == SIGILL);\n+ assert(try_v69hvx_vasrvwuhsat() == SIGILL);\n+ assert(try_v69hvx_vassign_tmp() == SIGILL);\n+ assert(try_v69hvx_vcombine_tmp() == SIGILL);\n+ assert(try_v69hvx_vmpyuhvs() == SIGILL);\n+\n+ assert(try_v73_callrh() == SIGILL);\n+ assert(try_v73_jumprh() == SIGILL);\n+\n+ assert(signals_handled == expected_signals);\n+\n+ puts(\"PASS\");\n+ return EXIT_SUCCESS;\n+}\ndiff --git a/tests/tcg/hexagon/Makefile.target b/tests/tcg/hexagon/Makefile.target\nindex f86f02bb31..0050370806 100644\n--- a/tests/tcg/hexagon/Makefile.target\n+++ b/tests/tcg/hexagon/Makefile.target\n@@ -81,6 +81,7 @@ HEX_TESTS += test_vminh\n HEX_TESTS += test_vpmpyh\n HEX_TESTS += test_vspliceb\n \n+HEX_TESTS += check_rev_gating\n HEX_TESTS += v68_scalar\n HEX_TESTS += v68_hvx\n HEX_TESTS += v69_hvx\n@@ -106,6 +107,11 @@ read_write_overlap: read_write_overlap.c hex_test.h\n reg_mut: reg_mut.c hex_test.h\n unaligned_pc: unaligned_pc.c\n \n+# Compile for v66 so that the ELF selects a v66 CPU; the test then\n+# exercises revision gating by executing a v68 .word instruction.\n+check_rev_gating: check_rev_gating.c\n+\t$(CC) $(CFLAGS) -mv66 -O2 $< -o $@ $(LDFLAGS)\n+\n # This test has to be compiled for the -mv67t target\n usr: usr.c hex_test.h\n \t$(CC) $(CFLAGS) -mv67t -O2 -Wno-inline-asm -Wno-expansion-to-defined $< -o $@ $(LDFLAGS)\n","prefixes":["v2","7/8"]}