From patchwork Wed Feb 21 11:16:21 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Richard Sandiford X-Patchwork-Id: 204156 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:693c:2685:b0:108:e6aa:91d0 with SMTP id mn5csp969627dyc; Wed, 21 Feb 2024 03:17:10 -0800 (PST) X-Forwarded-Encrypted: i=3; AJvYcCUGcxBfuRVRXVx9BchQJvMvqD52g+FQLmq2Vlw7pDqQxqr0Lr96LhORnmp1SmSVMvDLEIXGN/Hmp1IaNEFbbkcaRU7mGA== X-Google-Smtp-Source: AGHT+IGmLP4wE3rt9AxzRfRRjhKwQRF3WhcV42kazoFyDJ3VXRiqJ7Sly/fA2rfCaYFwSAsZP7se X-Received: by 2002:a05:620a:254f:b0:787:6909:777f with SMTP id s15-20020a05620a254f00b007876909777fmr15508969qko.34.1708514230418; Wed, 21 Feb 2024 03:17:10 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1708514230; cv=pass; d=google.com; s=arc-20160816; b=FaIL6ERtjx5qQ0RvAwwrNb/MIErkBK1u0xq9G1hOhRnvCyxVKaZ7sz3Hn2m/q6uyB6 fIHEZRwQkUvB5wc/xUv5DIBD8vs8SFA8Wu9flgs9DYcA2nMMFQWnKR4DkKAu0Qm/qmfb Mx+/lTukZEeGz/2MSduUJJ4dLsgicZMP1QUTb7ZDEWQoma9vLDwipkp9cl9yjnWP2XxN GJQmaBaAv+DueCS5jQu1yOResypZYeoZufq34PQpNFA4wpOLO7fgyT3nHS79Pu4I+NKp EgK4/DqmZ2aoQZcBgIEGNt+F9Av6IeCRRWHmFyru4LbYlc5tnpa9zcUKWfEChYdA+Q6C Qk2Q== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:mime-version:user-agent :message-id:date:subject:mail-followup-to:to:from:arc-filter :dmarc-filter:delivered-to; bh=OAS2nrcRTZOjxo7UvaXIwkIgNNFnZ7JL15Aw4MvwdNQ=; fh=hPrbWPhweUx4V0GV9uXJqbyAzg2ABmTz7kczrAQqMmM=; b=puvZvnNAzsKOUYnKlyXu/+yOemGIe1tujJo9sh4rMb7ViYoi1ka4CIghepm5EaltVh HluZ7ekhJgIe+8g6Nb4gCc1dFdvpMD46wTM+XfarHB3SfL51609lKkIob4wGShYhHIGm UHOpITMB3yDN2g3wfx+GlIpzuzBL6y+Btb559xms7hjhi788jgq60BLAHrGZ7u/dmVvL oDta7ujaoY6RgjFAe4YpVSp1RwFiiYHFAiV40VksHwZsTzp3a21BstDpgawSu1EdiNkp ePJMjwxoEc2S1CG8oshdOfMqGci/Y6JUoohhXwbc2QO+mycMh+cCFrlOd1Mt6cbMC7Zw 1FUg==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=arm.com Received: from server2.sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id pe19-20020a05620a851300b007877e1802b0si2575863qkn.722.2024.02.21.03.17.10 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 21 Feb 2024 03:17:10 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=arm.com Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 23B083858402 for ; Wed, 21 Feb 2024 11:17:10 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from foss.arm.com (foss.arm.com [217.140.110.172]) by sourceware.org (Postfix) with ESMTP id 6F4323858419 for ; Wed, 21 Feb 2024 11:16:23 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 6F4323858419 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=arm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=arm.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 6F4323858419 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=217.140.110.172 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1708514185; cv=none; b=QsfkvnWe0/uXdVHyCQW70fQ8Bi4/egtjhmQn+qXOT6NdV5kWvJHQNqsCbHeYHLJ+Lr+dyhlYdwVGrk3x1ALiOBRv6QcafNuwoSZ2PlqNIcTOYvBofUy/7sMUVJbns9HPUtXu/rm6yYNa0TqWtQWdzwwORTm1zD/wIuXccHTl0LE= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1708514185; c=relaxed/simple; bh=qFq/I0qKkajKglpoxfUUNLhiUcj383BuRVvlrwr8nsM=; h=From:To:Subject:Date:Message-ID:MIME-Version; b=HLK9Rj+tuOTQfZY/xK3asPSI0UMHWMXLHW8SRXoyw36b6fiOQR7BP6tINnm0bKXCRyPRVdaTt1tIfq9WnJscXAvOa9AJ+0j5jHpmPMf0ftSd0ZFKB9rZrWsnlAb2Q/KIutEo1Th9wlGoUyEFPUTUZv4HMkEOsDn5XwK2mak8ZJY= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id 7FBF1FEC for ; Wed, 21 Feb 2024 03:17:01 -0800 (PST) Received: from localhost (e121540-lin.manchester.arm.com [10.32.110.72]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 9B3D93F73F for ; Wed, 21 Feb 2024 03:16:22 -0800 (PST) From: Richard Sandiford To: gcc-patches@gcc.gnu.org Mail-Followup-To: gcc-patches@gcc.gnu.org, richard.sandiford@arm.com Subject: [pushed] aarch64: More SME vs -mtrack-speculation Date: Wed, 21 Feb 2024 11:16:21 +0000 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 X-Spam-Status: No, score=-20.9 required=5.0 tests=BAYES_00, GIT_PATCH_0, KAM_DMARC_NONE, KAM_DMARC_STATUS, KAM_LAZY_DOMAIN_SECURITY, KAM_SHORT, SPF_HELO_NONE, SPF_NONE, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1791507017672808551 X-GMAIL-MSGID: 1791507017672808551 The sequence to commit a lazy save includes a branch based on whether TPIDR2_EL0 is zero. The code assumed that CBZ could be used for this, but that instruction is forbidden when -mtrack-speculation is being used. Tested on aarch64-linux-gnu & pushed. Richard gcc/ * config/aarch64/aarch64.cc (aarch64_mode_emit_local_sme_state): Use aarch64_gen_compare_zero_and_branch rather than emitting a CBZ directly. gcc/testsuite/ * gcc.target/aarch64/sme/locally_streaming_1_ts.c: New test. * gcc.target/aarch64/sme/sibcall_7_ts.c: Likewise. --- gcc/config/aarch64/aarch64.cc | 3 ++- gcc/testsuite/gcc.target/aarch64/sme/locally_streaming_1_ts.c | 3 +++ gcc/testsuite/gcc.target/aarch64/sme/sibcall_7_ts.c | 3 +++ 3 files changed, 8 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.target/aarch64/sme/locally_streaming_1_ts.c create mode 100644 gcc/testsuite/gcc.target/aarch64/sme/sibcall_7_ts.c diff --git a/gcc/config/aarch64/aarch64.cc b/gcc/config/aarch64/aarch64.cc index 8a3aa98a32e..28d1555dada 100644 --- a/gcc/config/aarch64/aarch64.cc +++ b/gcc/config/aarch64/aarch64.cc @@ -29344,7 +29344,8 @@ aarch64_mode_emit_local_sme_state (aarch64_local_sme_state mode, auto tmp_reg = gen_reg_rtx (DImode); emit_insn (gen_aarch64_read_tpidr2 (tmp_reg)); auto label = gen_label_rtx (); - auto jump = emit_jump_insn (gen_aarch64_cbeqdi1 (tmp_reg, label)); + rtx branch = aarch64_gen_compare_zero_and_branch (EQ, tmp_reg, label); + auto jump = emit_jump_insn (branch); JUMP_LABEL (jump) = label; emit_insn (gen_aarch64_tpidr2_save ()); emit_insn (gen_aarch64_clear_tpidr2 ()); diff --git a/gcc/testsuite/gcc.target/aarch64/sme/locally_streaming_1_ts.c b/gcc/testsuite/gcc.target/aarch64/sme/locally_streaming_1_ts.c new file mode 100644 index 00000000000..25ac345a6dd --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/sme/locally_streaming_1_ts.c @@ -0,0 +1,3 @@ +// { dg-options "-O -fomit-frame-pointer -mtrack-speculation" } + +#include "locally_streaming_1.c" diff --git a/gcc/testsuite/gcc.target/aarch64/sme/sibcall_7_ts.c b/gcc/testsuite/gcc.target/aarch64/sme/sibcall_7_ts.c new file mode 100644 index 00000000000..4b47678bf00 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/sme/sibcall_7_ts.c @@ -0,0 +1,3 @@ +// { dg-options "-O2 -mtrack-speculation" } + +#include "sibcall_7.c"