From patchwork Fri Feb 2 09:09:16 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Andi Kleen X-Patchwork-Id: 195719 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:7301:9bc1:b0:106:209c:c626 with SMTP id op1csp303294dyc; Fri, 2 Feb 2024 01:14:54 -0800 (PST) X-Google-Smtp-Source: AGHT+IGZT1nYPQwx4mOgDYQw7aVKBlVSP+WIMNVETMQcORm+QGomC8eYGZIJUqX20mM++sjrhc/j X-Received: by 2002:a05:622a:343:b0:42b:eee7:5f5c with SMTP id r3-20020a05622a034300b0042beee75f5cmr7766165qtw.63.1706865294525; Fri, 02 Feb 2024 01:14:54 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1706865294; cv=pass; d=google.com; s=arc-20160816; b=ZZ64n+mMyIgHGzPac5lFnAOqJPzXUJsVhyUmREE20vRBjJVVV9+JDciAOlbXLBsSu3 Qcm2Kttin0PJuDet1iZctEeA9FaQD6mc88xIPlUkWc54lfe9lNxBh15nK3PryuvyJLlS z/7JLxUo9kq0muBSmDuEDdlgv5X/33JyqQlOPU/Y+bdsNVEFzpAEZPzL3m4nU3YkpUz6 4GQGMT/iY9G349u6wZuAXYgnYUiesvrBPerRT4z0/iSzErOXTqLDZQtKyGT5hsaLRuei jnobFRB0WOawxf4yx78swABrwbt9mrQb8KZ6RWAyqHs4fMvU4AoH9PaYxtRPylHwaWRZ Xayw== 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:content-transfer-encoding :mime-version:references:in-reply-to:message-id:date:subject:cc:to :from:dkim-signature:arc-filter:dmarc-filter:delivered-to; bh=V9LwCQI7HNTksbqQm39FA5cBFnZa7vNNrjNQekNDRBc=; fh=5R385/FFp5HUq0XWpRJisSK0r/cGfOEOXblb9vNBxZ0=; b=m6BPsWM5un+o73gRGFlYjw13nyeylk3T8F+R1IxMCB3KRde18zYOpqhKTmoKP+B7QN SEhxlnYVxq3XsCJWQ0V8c+/9UUSS72H5so3XG5BAx8a/vueXjd7aFHyGjDAeXlSJnt8l C2Fe9nN1ucpaBobCMupo+vcS376LHXbO15ofqY/gzyD9gDEUF+JxqW0IEPNMzG7V2Whr kFlWw9s8gDHH1JlZbOT3NF9NAyvCLgfSe38Vq6gWDtFPh4jcIpoah66V2JB78lplU1JO vDistN/2aKp+Pxo4dxx67mRXzZBfg5HcNNIwe7ygb7jXLhWwFI1YGvxqjxmMMdRv/PkX 4y7w==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@intel.com header.s=Intel header.b=a8RTcQGs; 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=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com X-Forwarded-Encrypted: i=1; AJvYcCWQGQ2TqNx/o3gXLRduPA0vYnCoECcWeZNE9C/P5bc3cFJu/yFY40Rr4IPDpz4L3qg0XXKHTS/CHNrkMv6rRtaMG6XuKw== Received: from server2.sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id m21-20020a05622a119500b0042a0837eeeasi1492711qtk.589.2024.02.02.01.14.54 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 02 Feb 2024 01:14:54 -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; dkim=pass header.i=@intel.com header.s=Intel header.b=a8RTcQGs; 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=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id CD234385802F for ; Fri, 2 Feb 2024 09:14:53 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10]) by sourceware.org (Postfix) with ESMTPS id 555583858403 for ; Fri, 2 Feb 2024 09:13:39 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 555583858403 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=linux.intel.com Authentication-Results: sourceware.org; spf=none smtp.mailfrom=linux.intel.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 555583858403 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2001:470:142:3::10 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706865221; cv=none; b=L5kon3nbObU5hrupfgKTf3upv01QSRrOmfsCsV4VLfsGZPQ2aMVu3AfkkAIPTz/1HHVktKozwzxsvVQ3sAgiCaLB0E1NVQz79LenWEnAJFBYe7pfNXGD5Xb4tmVHHz+L4BBKEa/u8af1juu33mSD5SHdi0Rbfk/UoJde01IwRUc= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706865221; c=relaxed/simple; bh=TQtJ4xrbM/NlmgbLgcGU7LuH747oYs4I75qnxSx1uiU=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=uy7oJAmVMgw+2wNLAbvAc0mBvVaiWXeywU3/ZA5Xw4WEsZ4lMCFhPUuMIksN/+XV5GsFVFdjJWgCPBCatcdyVFmbQ5P6PiL8d1KDq/jjEVfPzRCWlcnR2eiBWKMfP31K+ZXbtBcOGYcsXLafz7E4QYVx8wf6izmxX08fdlBKw8M= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from mgamail.intel.com ([192.198.163.12]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rVpc8-0004Dc-Rr for gcc-patches@gnu.org; Fri, 02 Feb 2024 04:13:38 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1706865216; x=1738401216; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=TQtJ4xrbM/NlmgbLgcGU7LuH747oYs4I75qnxSx1uiU=; b=a8RTcQGsFIhS059oNchqhf9uhjcR89y/udQRl5uTobJnaUqJFGfIJfN6 FXHeEm1CRn1KL0KmhmAy5154MQY15k1IUQAOC9DTqX1R8nwEMwY1laF44 pT6bSQ67Wxap/LPLXVHvBxXSDyJYSxa9ajKhWjI9TwQklUP6/HJPlO6O0 E/wIVfG8QU3cU8yIiVaOS/z3BTsYg/6fcVGZm2p6+yWGEAufyJH/ptwfk K5/JY/CkSqP9ihHxvxyNIRn4GT/RStOwKYO26sygXWvk5j7gc5deJtu29 ysuFfC0TXY368se3ONtnE5F4gYB2GZB+lvr+IbJ+AxHV8U32a52fj/Xm4 w==; X-IronPort-AV: E=McAfee;i="6600,9927,10971"; a="3942945" X-IronPort-AV: E=Sophos;i="6.05,237,1701158400"; d="scan'208";a="3942945" Received: from fmviesa002.fm.intel.com ([10.60.135.142]) by fmvoesa106.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Feb 2024 01:13:30 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="6.05,237,1701158400"; d="scan'208";a="23318057" Received: from tassilo.jf.intel.com ([10.54.38.190]) by fmviesa002-auth.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Feb 2024 01:13:30 -0800 From: Andi Kleen To: gcc-patches@gnu.org Cc: Andi Kleen Subject: [PATCH v4 1/5] Improve must tail in RTL backend Date: Fri, 2 Feb 2024 01:09:16 -0800 Message-ID: <20240202091322.1898280-2-ak@linux.intel.com> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20240202091322.1898280-1-ak@linux.intel.com> References: <20240202091322.1898280-1-ak@linux.intel.com> MIME-Version: 1.0 Received-SPF: none client-ip=192.198.163.12; envelope-from=ak@linux.intel.com; helo=mgamail.intel.com X-Spam_score_int: -32 X-Spam_score: -3.3 X-Spam_bar: --- X-Spam_report: (-3.3 / 5.0 requ) BAYES_00=-1.9, DKIMWL_WL_HIGH=-1.292, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Status: No, score=-12.6 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_EF, GIT_PATCH_0, SPF_HELO_PASS, 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: 1789777983221236147 X-GMAIL-MSGID: 1789777983221236147 - Give error messages for all causes of non sibling call generation - Don't override choices of other non sibling call checks with must tail. This causes ICEs. The must tail attribute now only overrides flag_optimize_sibling_calls locally. - Error out when tree-tailcall failed to mark a must-tail call sibcall. In this case it doesn't know the true reason and only gives a vague message (this could be improved, but it's already useful without that) tree-tailcall usually fails without optimization, so must adjust the existing must-tail plugin test to specify -O2. PR83324 gcc/ChangeLog: * calls.cc (expand_call): Fix mustcall implementation. gcc/testsuite/ChangeLog: * gcc.dg/plugin/must-tail-call-1.c: Adjust. --- gcc/calls.cc | 30 ++++++++++++------- .../gcc.dg/plugin/must-tail-call-1.c | 1 + 2 files changed, 21 insertions(+), 10 deletions(-) diff --git a/gcc/calls.cc b/gcc/calls.cc index 01f447347437..60a43f5d36a8 100644 --- a/gcc/calls.cc +++ b/gcc/calls.cc @@ -2650,7 +2650,9 @@ expand_call (tree exp, rtx target, int ignore) /* The type of the function being called. */ tree fntype; bool try_tail_call = CALL_EXPR_TAILCALL (exp); - bool must_tail_call = CALL_EXPR_MUST_TAIL_CALL (exp); + /* tree-tailcall decided not to do tail calls. Error for the musttail case. */ + if (!try_tail_call) + maybe_complain_about_tail_call (exp, "other reasons"); int pass; /* Register in which non-BLKmode value will be returned, @@ -3021,10 +3023,22 @@ expand_call (tree exp, rtx target, int ignore) pushed these optimizations into -O2. Don't try if we're already expanding a call, as that means we're an argument. Don't try if there's cleanups, as we know there's code to follow the call. */ - if (currently_expanding_call++ != 0 - || (!flag_optimize_sibling_calls && !CALL_FROM_THUNK_P (exp)) - || args_size.var - || dbg_cnt (tail_call) == false) + if (currently_expanding_call++ != 0) + { + maybe_complain_about_tail_call (exp, "inside another call"); + try_tail_call = 0; + } + if (!flag_optimize_sibling_calls + && !CALL_FROM_THUNK_P (exp) + && !CALL_EXPR_MUST_TAIL_CALL (exp)) + try_tail_call = 0; + if (args_size.var) + { + /* ??? correct message? */ + maybe_complain_about_tail_call (exp, "stack space needed"); + try_tail_call = 0; + } + if (dbg_cnt (tail_call) == false) try_tail_call = 0; /* Workaround buggy C/C++ wrappers around Fortran routines with @@ -3045,15 +3059,11 @@ expand_call (tree exp, rtx target, int ignore) if (MEM_P (*iter)) { try_tail_call = 0; + maybe_complain_about_tail_call (exp, "hidden string length argument"); break; } } - /* If the user has marked the function as requiring tail-call - optimization, attempt it. */ - if (must_tail_call) - try_tail_call = 1; - /* Rest of purposes for tail call optimizations to fail. */ if (try_tail_call) try_tail_call = can_implement_as_sibling_call_p (exp, diff --git a/gcc/testsuite/gcc.dg/plugin/must-tail-call-1.c b/gcc/testsuite/gcc.dg/plugin/must-tail-call-1.c index 3a6d4cceaba7..44af361e2925 100644 --- a/gcc/testsuite/gcc.dg/plugin/must-tail-call-1.c +++ b/gcc/testsuite/gcc.dg/plugin/must-tail-call-1.c @@ -1,4 +1,5 @@ /* { dg-do compile { target tail_call } } */ +/* { dg-options "-O2" } */ /* { dg-options "-fdelayed-branch" { target sparc*-*-* } } */ extern void abort (void); From patchwork Fri Feb 2 09:09:17 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Andi Kleen X-Patchwork-Id: 195724 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:7301:9bc1:b0:106:209c:c626 with SMTP id op1csp304206dyc; Fri, 2 Feb 2024 01:17:05 -0800 (PST) X-Google-Smtp-Source: AGHT+IF5WGpKlvd9OUHXrkUbUKo12hmXGKtsNBZFhtjC/8G1yaQFtv4ehqV+BVur8vT0mTBVz+Rv X-Received: by 2002:a05:622a:1816:b0:42b:eaa2:83c5 with SMTP id t22-20020a05622a181600b0042beaa283c5mr6410676qtc.33.1706865425729; Fri, 02 Feb 2024 01:17:05 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1706865425; cv=pass; d=google.com; s=arc-20160816; b=XsNWlYuZutkbBG5a5dxilzEtRL1Z12OQnx3zzgzgfuj3qELNBPMGYcUrtjJTjYT1+I At8YQP09HoUlMwPEiZvfHhic23BVx4R+uWlqpyHM7/UMRvLlurB45y/I6N6N8K/Yquxn MvAgPpSJWPsL62odK9qOcx+dN5+togDIBT0ZXipc5stzOoqzVSbhHlvrDF+xqtuw+pYo 6wwd3wrWc9GiHnccRs1dyxtG7AkZ9bEHL4T1bfY6kiZojEn1kQ9sN9zdAk5kNMeZIdsF XsokG5yib3ZMel3znhVJr3+O87sde1g89LmLwwfZzqh256xUjtfcCL7wunBbWp9rqLir okbw== 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:content-transfer-encoding :mime-version:references:in-reply-to:message-id:date:subject:cc:to :from:dkim-signature:arc-filter:dmarc-filter:delivered-to; bh=PWwhZ2IJc3kesF9z/VR1ZfYkaEjIl9uXj+lR6HM3NOU=; fh=K4PyU5o5juGR3SUmOMUw9Xyj/8doJhkYQW3VQFBB8Oc=; b=f11j6tlO8htY7XXexgHMG2w4wMsG6MN8qvmfCGF6hUxvKmYYTwFdepdoYvZjtV+eBV Ag82JvtqvqpbIKFMv5uhDudD2cqXrAgCjfMx7cdtbWi8E/6XrOIOGbKb5p7d1SoyAgW1 FQInZSNuD7xmlWV0QJz2iREqO/Pcos7f5Yszn7nYKGxBX46qzwsye/VCTleHnrxvuo0R JqZAjUSXqTnUPId0bi8yUXPGw3v/Kq7SNXIN3J/zYCtF/DwWSH3H8yrckKTrVcNUqPbV R9VbrPDruVDoXgUrCVujmDgfMVDusAhrR0YzEE9Nl+S6tWmDfXM7IrLB34PSuW9daJod fIyg==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@intel.com header.s=Intel header.b=UFcQAiVt; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com X-Forwarded-Encrypted: i=1; AJvYcCXnrth8zcPV2CYS9/uqAueDrnPi3w52XHRaMq2qAV8q2oE/vsZKYohZlIkVZ4gUCX/WzfrIPXEqcKCwag7W0TJci3UoYA== Received: from server2.sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id r12-20020ac85c8c000000b0042bf5b3bc23si1542521qta.603.2024.02.02.01.17.05 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 02 Feb 2024 01:17:05 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@intel.com header.s=Intel header.b=UFcQAiVt; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 6D40138582BC for ; Fri, 2 Feb 2024 09:17:05 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10]) by sourceware.org (Postfix) with ESMTPS id 606C93858417 for ; Fri, 2 Feb 2024 09:13:39 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 606C93858417 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=linux.intel.com Authentication-Results: sourceware.org; spf=none smtp.mailfrom=linux.intel.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 606C93858417 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2001:470:142:3::10 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706865221; cv=none; b=Ai8Ja2IC8yNFfH/VdX5qygGb1qaZCHx7RmlMUBxp7/j6DwRVQHoWdtQlheL2TOOaYFmupPGMu5jyd8W/Ey2osPT8S3fIBf4gAxqtfv064J8aSqJ3otnzsSU699om3GyCExyokFPPCaf+1BISgZMa+/gO//NKnk5lJz+ilD2SHE4= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706865221; c=relaxed/simple; bh=DYiTcATAuknhGR5nVLFWnatP+Zi0pG6yQynGX6lWVf0=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=E/L/iRmW8RfqaHXFbYyyFTN4zchZGKZxGjMIOE4k+nficabKaCU1+YxIkGmWkQEpSDXOyT+/kA28pjDu5BAa3Kvpz36DVz0KTvIAKcl7P5m/Gh0dxyccWGF2wfKYUO2LzDyQJtfBuj7wwe8FEkqYlYM4oNwTMwzPYo1a8R2hPKI= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from mgamail.intel.com ([192.198.163.12]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rVpc9-0004EA-C2 for gcc-patches@gnu.org; Fri, 02 Feb 2024 04:13:39 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1706865217; x=1738401217; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=DYiTcATAuknhGR5nVLFWnatP+Zi0pG6yQynGX6lWVf0=; b=UFcQAiVtiEm/aKQCwMPMo88Wmo+cKqitbmuqHf6a50oRPTBXnKAEnvAN NxpTGCvhpJtPgdUrlMhWOjf7NJ5L1agyvULd8DOboRweWA+RxdmCgN/Ri qMkNIWPHU04rlirgl/jF3+ZP/Lx9CCCGBLchi04hx3TiJsX8aURXae6hS aGTFgP3PMB3A1JMGSUA/XhXr3Dw7Z/jtjnLH5ReeHnW69LpzYHn9oiUNv vqEtNNRoCHcezD3+B2nKj4n+D+MP1NY493oBbPceWNqXv9lVfcvrqxXfY TNcGeSoNH5KEHB1wU+NPMI/ued3BwGlLCkQJVlRTgHR9eoaGo3NlTRpP4 Q==; X-IronPort-AV: E=McAfee;i="6600,9927,10971"; a="3942949" X-IronPort-AV: E=Sophos;i="6.05,237,1701158400"; d="scan'208";a="3942949" Received: from fmviesa002.fm.intel.com ([10.60.135.142]) by fmvoesa106.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Feb 2024 01:13:30 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="6.05,237,1701158400"; d="scan'208";a="23318062" Received: from tassilo.jf.intel.com ([10.54.38.190]) by fmviesa002-auth.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Feb 2024 01:13:30 -0800 From: Andi Kleen To: gcc-patches@gnu.org Cc: Andi Kleen Subject: [PATCH v4 2/5] C++: Support clang compatible [[musttail]] (PR83324) Date: Fri, 2 Feb 2024 01:09:17 -0800 Message-ID: <20240202091322.1898280-3-ak@linux.intel.com> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20240202091322.1898280-1-ak@linux.intel.com> References: <20240202091322.1898280-1-ak@linux.intel.com> MIME-Version: 1.0 Received-SPF: none client-ip=192.198.163.12; envelope-from=ak@linux.intel.com; helo=mgamail.intel.com X-Spam_score_int: -32 X-Spam_score: -3.3 X-Spam_bar: --- X-Spam_report: (-3.3 / 5.0 requ) BAYES_00=-1.9, DKIMWL_WL_HIGH=-1.292, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Status: No, score=-12.7 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_EF, GIT_PATCH_0, SPF_HELO_PASS, 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: 1789778120554841608 X-GMAIL-MSGID: 1789778120554841608 This patch implements a clang compatible [[musttail]] attribute for returns. musttail is useful as an alternative to computed goto for interpreters. With computed goto the interpreter function usually ends up very big which causes problems with register allocation and other per function optimizations not scaling. With musttail the interpreter can be instead written as a sequence of smaller functions that call each other. To avoid unbounded stack growth this requires forcing a sibling call, which this attribute does. It guarantees an error if the call cannot be tail called which allows the programmer to fix it instead of risking a stack overflow. Unlike computed goto it is also type-safe. It turns out that David Malcolm had already implemented middle/backend support for a musttail attribute back in 2016, but it wasn't exposed to any frontend other than a special plugin. This patch adds a [[gnu::musttail]] attribute for C++ that can be added to return statements. The return statement must be a direct call (it does not follow dependencies), which is similar to what clang implements. It then uses the existing must tail infrastructure. For compatibility it also detects clang::musttail One problem is that tree-tailcall usually fails when optimization is disabled, which implies the attribute only really works with optimization on. But that seems to be a reasonable limitation. Passes bootstrap and full test PR83324 gcc/cp/ChangeLog: * cp-tree.h (finish_return_stmt): Add musttail_p. (check_return_expr): Dito. * parser.cc (cp_parser_statement): Handle [[musttail]]. (cp_parser_std_attribute): Dito. (cp_parser_init_statement): Dito. (cp_parser_jump_statement): Dito. * semantics.cc (finish_return_stmt): Dito. * typeck.cc (check_return_expr): Handle musttail_p flag. --- gcc/cp/cp-tree.h | 4 ++-- gcc/cp/parser.cc | 30 ++++++++++++++++++++++++------ gcc/cp/semantics.cc | 6 +++--- gcc/cp/typeck.cc | 20 ++++++++++++++++++-- 4 files changed, 47 insertions(+), 13 deletions(-) diff --git a/gcc/cp/cp-tree.h b/gcc/cp/cp-tree.h index f46b448ce0d2..efc542c3ec26 100644 --- a/gcc/cp/cp-tree.h +++ b/gcc/cp/cp-tree.h @@ -7763,7 +7763,7 @@ extern void finish_while_stmt (tree); extern tree begin_do_stmt (void); extern void finish_do_body (tree); extern void finish_do_stmt (tree, tree, bool, tree, bool); -extern tree finish_return_stmt (tree); +extern tree finish_return_stmt (tree, bool = false); extern tree begin_for_scope (tree *); extern tree begin_for_stmt (tree, tree); extern void finish_init_stmt (tree); @@ -8275,7 +8275,7 @@ extern tree composite_pointer_type (const op_location_t &, tsubst_flags_t); extern tree merge_types (tree, tree); extern tree strip_array_domain (tree); -extern tree check_return_expr (tree, bool *, bool *); +extern tree check_return_expr (tree, bool *, bool *, bool); extern tree spaceship_type (tree, tsubst_flags_t = tf_warning_or_error); extern tree genericize_spaceship (location_t, tree, tree, tree); extern tree cp_build_binary_op (const op_location_t &, diff --git a/gcc/cp/parser.cc b/gcc/cp/parser.cc index 3748ccd49ff3..f56500df3725 100644 --- a/gcc/cp/parser.cc +++ b/gcc/cp/parser.cc @@ -2462,7 +2462,7 @@ static tree cp_parser_perform_range_for_lookup static tree cp_parser_range_for_member_function (tree, tree); static tree cp_parser_jump_statement - (cp_parser *); + (cp_parser *, bool = false); static void cp_parser_declaration_statement (cp_parser *); @@ -12719,9 +12719,27 @@ cp_parser_statement (cp_parser* parser, tree in_statement_expr, NULL_TREE, false); break; + case RID_RETURN: + { + bool musttail_p = false; + std_attrs = process_stmt_hotness_attribute (std_attrs, attrs_loc); + if (lookup_attribute ("gnu", "musttail", std_attrs)) + { + musttail_p = true; + std_attrs = remove_attribute ("gnu", "musttail", std_attrs); + } + // support this for compatibility + if (lookup_attribute ("clang", "musttail", std_attrs)) + { + musttail_p = true; + std_attrs = remove_attribute ("clang", "musttail", std_attrs); + } + statement = cp_parser_jump_statement (parser, musttail_p); + } + break; + case RID_BREAK: case RID_CONTINUE: - case RID_RETURN: case RID_CO_RETURN: case RID_GOTO: std_attrs = process_stmt_hotness_attribute (std_attrs, attrs_loc); @@ -14767,7 +14785,7 @@ cp_parser_init_statement (cp_parser *parser, tree *decl) return false; } -/* Parse a jump-statement. +/* Parse a jump-statement. MUSTTAIL_P indicates a musttail attribute. jump-statement: break ; @@ -14785,7 +14803,7 @@ cp_parser_init_statement (cp_parser *parser, tree *decl) Returns the new BREAK_STMT, CONTINUE_STMT, RETURN_EXPR, or GOTO_EXPR. */ static tree -cp_parser_jump_statement (cp_parser* parser) +cp_parser_jump_statement (cp_parser* parser, bool musttail_p) { tree statement = error_mark_node; cp_token *token; @@ -14869,7 +14887,7 @@ cp_parser_jump_statement (cp_parser* parser) else if (FNDECL_USED_AUTO (current_function_decl) && in_discarded_stmt) /* Don't deduce from a discarded return statement. */; else - statement = finish_return_stmt (expr); + statement = finish_return_stmt (expr, musttail_p); /* Look for the final `;'. */ cp_parser_require (parser, CPP_SEMICOLON, RT_SEMICOLON); } @@ -30041,7 +30059,7 @@ cp_parser_std_attribute (cp_parser *parser, tree attr_ns) /* Maybe we don't expect to see any arguments for this attribute. */ const attribute_spec *as = lookup_attribute_spec (TREE_PURPOSE (attribute)); - if (as && as->max_length == 0) + if ((as && as->max_length == 0) || is_attribute_p ("musttail", attr_id)) { error_at (token->location, "%qE attribute does not take any arguments", attr_id); diff --git a/gcc/cp/semantics.cc b/gcc/cp/semantics.cc index 3299e2704465..a277f70ea0fd 100644 --- a/gcc/cp/semantics.cc +++ b/gcc/cp/semantics.cc @@ -1324,16 +1324,16 @@ finish_do_stmt (tree cond, tree do_stmt, bool ivdep, tree unroll, } /* Finish a return-statement. The EXPRESSION returned, if any, is as - indicated. */ + indicated. MUSTTAIL_P indicates a mustcall attribute. */ tree -finish_return_stmt (tree expr) +finish_return_stmt (tree expr, bool musttail_p) { tree r; bool no_warning; bool dangling; - expr = check_return_expr (expr, &no_warning, &dangling); + expr = check_return_expr (expr, &no_warning, &dangling, musttail_p); if (error_operand_p (expr) || (flag_openmp && !check_omp_return ())) diff --git a/gcc/cp/typeck.cc b/gcc/cp/typeck.cc index 4937022ff207..7ea292e16851 100644 --- a/gcc/cp/typeck.cc +++ b/gcc/cp/typeck.cc @@ -11030,10 +11030,12 @@ maybe_warn_pessimizing_move (tree expr, tree type, bool return_p) the DECL_RESULT for the function. Set *NO_WARNING to true if code reaches end of non-void function warning shouldn't be issued on this RETURN_EXPR. Set *DANGLING to true if code returns the - address of a local variable. */ + address of a local variable. MUSTTAIL_P indicates a musttail + return. */ tree -check_return_expr (tree retval, bool *no_warning, bool *dangling) +check_return_expr (tree retval, bool *no_warning, bool *dangling, + bool musttail_p) { tree result; /* The type actually returned by the function. */ @@ -11047,6 +11049,20 @@ check_return_expr (tree retval, bool *no_warning, bool *dangling) *no_warning = false; *dangling = false; + if (musttail_p) + { + tree t = retval; + if (TREE_CODE (t) == TARGET_EXPR) + t = TARGET_EXPR_INITIAL (retval); + if (TREE_CODE (t) != CALL_EXPR) + { + error_at (loc, "cannot tail-call: return value must be a call"); + return error_mark_node; + } + else + CALL_EXPR_MUST_TAIL_CALL (t) = 1; + } + /* A `volatile' function is one that isn't supposed to return, ever. (This is a G++ extension, used to get better code for functions that call the `volatile' function.) */ From patchwork Fri Feb 2 09:09:18 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Andi Kleen X-Patchwork-Id: 195722 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:7301:9bc1:b0:106:209c:c626 with SMTP id op1csp303987dyc; Fri, 2 Feb 2024 01:16:32 -0800 (PST) X-Google-Smtp-Source: AGHT+IEL1yfI8L6fV0nQ6kkF4pMQRTik9kfgMDYebfRrebfuoDLlJRjRRAQByBPzp+6EITu7FQQk X-Received: by 2002:a05:620a:2984:b0:785:533a:477b with SMTP id r4-20020a05620a298400b00785533a477bmr1772847qkp.28.1706865392799; Fri, 02 Feb 2024 01:16:32 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1706865392; cv=pass; d=google.com; s=arc-20160816; b=tiDyKC6d0OSfzTz4COeKm11leoN293ut7r3kkK65+VoM8REfanBOCFAAugLPug4rC6 1ggT7R4fcuZisJ+qSbae4vABvitdYPloauglf1LEiN/L3mlbXaGDPhTqIrMT1XaUvLjm pDrGr8R9qQrnLQxx02Z5uCDCM8wvs7zOmL8Q7qAcspS7ESjj567ncQM4ZcaMj1Jp4Jo1 rLpJxh4E+NinH/GBNNfGXj0WQb4Ih46LGUTOD3sofkDV4rilyLMsc8LT9YaZ6HTgjh3B X8fvqg6V0kMEJSLnXEeMhEcVlwHNNATA5yu+ss+exlz+5p5guW0upQ+y0JAi5StpdlYX pglg== 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:content-transfer-encoding :mime-version:references:in-reply-to:message-id:date:subject:cc:to :from:dkim-signature:arc-filter:dmarc-filter:delivered-to; bh=al0AnNi3JImU5DBqVM6hc3/q8AWMnJeOInhinxxfDKM=; fh=6HQoOB+JABSf08otltZlHoDKBZmopof9mICsvyOqbWc=; b=rMkZfTBO2v575s5rubJkZI2MzUTcMJykBtXLwpDMBwH1QjyvFQqfyE8CuInZLEhJI2 bymvaz29L0xsIwlMAeZMQ/PA4TfJitptlTEp23LTxEMAaS1glyRqSKWouXxqyXwwu8Xd tvU5nFOQOaP4g58IIIlucALGeBkaClm63qu4NeFWNWftTi7I9rtgsp/Wi+LXxUdblFvS /5TRPIF/3Jtu1eU6axN7fRWijUm0OTe/HZw1GZT5DMU9kr9xGqosDIPSOFGybz22O+O8 JA3hcVxRedDgatEySO4pTUJJl3O1vn1bw25MIlTFBAAPQoQAEdii2rqOovKZFbwniqhu bzVg==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@intel.com header.s=Intel header.b=Q0wp19ge; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com X-Forwarded-Encrypted: i=1; AJvYcCVN8Qj65mkLHQbzVRUQiGJwQsiZk54CrPOQLPXqO4lMM67klflbMjGEspPDoiLz3+M7Zp/AYmDe5lNcHriH+yVRxUYXzA== Received: from server2.sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id bk7-20020a05620a1a0700b007838d947f3csi1713939qkb.219.2024.02.02.01.16.32 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 02 Feb 2024 01:16:32 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@intel.com header.s=Intel header.b=Q0wp19ge; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 55FBD3858029 for ; Fri, 2 Feb 2024 09:16:32 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10]) by sourceware.org (Postfix) with ESMTPS id BFD373858029 for ; Fri, 2 Feb 2024 09:13:41 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org BFD373858029 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=linux.intel.com Authentication-Results: sourceware.org; spf=none smtp.mailfrom=linux.intel.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org BFD373858029 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2001:470:142:3::10 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706865224; cv=none; b=KS2/uKIWA+ituR80zsWWVJLvPBBDR14eBN6Z2sF25SmQR+OfmNKx6n41IEk+46RwusqfjVXxRyozUmyxMeVVqkcUxh2xlXH6mz45gDjhHoGACeNlBhyhSnnrNxwXbHZrAtQ9S2ZwrfNxFsy6B5O8Oa9R4LoYrcvoAOT36ohIDFU= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706865224; c=relaxed/simple; bh=nFzN7hafq62ZDPq/cSLDkI1jIvs6h7v1H9yvUyT+gdc=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=inF2Kh+yYShu1CfVlNTS4UKbEipC6723K6G06yKQg1lw6vJeH2O3oYxA0Ru7ruhSSgsEhB40940ArbWRCCXvLXgxTONsv3s6+uiHF41BQlVDLlPqNN1LVfn1olHMUWmi6KbpgEh3hSY9olMZevUflNmq6+hxDhpp668NMv8DCJg= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from mgamail.intel.com ([192.198.163.12]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rVpcB-0004Dc-NB for gcc-patches@gnu.org; Fri, 02 Feb 2024 04:13:41 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1706865219; x=1738401219; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=nFzN7hafq62ZDPq/cSLDkI1jIvs6h7v1H9yvUyT+gdc=; b=Q0wp19geCqi0DzkHk/6tL67gAx1AGiMIB0TQWljIZ8H4gVMyKaSKWcma 4qcN4mk2m/orw4h3ssspC6LtyvVmLmnmOn4NzBZ7G8HuncoFdxnoMnHTu mPJGEdaVUvKYAu5t5q+SBb4qGuu/H+cXEBxx27YGRAqlrgn0gI8Vh9GJh t0bO7e0XrhCwIH2QGLf2XfL4a7nc+mTBwtlarsu99Z6G9gI3OGzPnGWWI 3Pq8sMksA7uDl2x11MBYp85rjNGM/tUUxBeOok2cAzwm8aBPUVbXndgH2 DD8wydPCa06DB79JbQF6Ci5mn8XELilV0UxjdC3aPp8uuRx8jr/p2id70 Q==; X-IronPort-AV: E=McAfee;i="6600,9927,10971"; a="3942950" X-IronPort-AV: E=Sophos;i="6.05,237,1701158400"; d="scan'208";a="3942950" Received: from fmviesa002.fm.intel.com ([10.60.135.142]) by fmvoesa106.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Feb 2024 01:13:30 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="6.05,237,1701158400"; d="scan'208";a="23318064" Received: from tassilo.jf.intel.com ([10.54.38.190]) by fmviesa002-auth.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Feb 2024 01:13:30 -0800 From: Andi Kleen To: gcc-patches@gnu.org Cc: Andi Kleen Subject: [PATCH v4 3/5] C: Implement musttail attribute for returns Date: Fri, 2 Feb 2024 01:09:18 -0800 Message-ID: <20240202091322.1898280-4-ak@linux.intel.com> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20240202091322.1898280-1-ak@linux.intel.com> References: <20240202091322.1898280-1-ak@linux.intel.com> MIME-Version: 1.0 Received-SPF: none client-ip=192.198.163.12; envelope-from=ak@linux.intel.com; helo=mgamail.intel.com X-Spam_score_int: -32 X-Spam_score: -3.3 X-Spam_bar: --- X-Spam_report: (-3.3 / 5.0 requ) BAYES_00=-1.9, DKIMWL_WL_HIGH=-1.292, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Status: No, score=-13.0 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_EF, GIT_PATCH_0, SPF_HELO_PASS, 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: 1789778086073792874 X-GMAIL-MSGID: 1789778086073792874 Implement a C23 clang compatible musttail attribute similar to the earlier C++ implementation in the C parser. PR83324 gcc/c/ChangeLog: * c-parser.cc (struct attr_state): Define with musttail_p. (c_parser_statement_after_labels): Handle [[musttail]] (c_parser_std_attribute): Dito. (c_parser_handle_musttail): Dito. (c_parser_compound_statement_nostart): Dito. (c_parser_all_labels): Dito. (c_parser_statement): Dito. * c-tree.h (c_finish_return): Add musttail_p flag. * c-typeck.cc (c_finish_return): Handle musttail_p flag. --- gcc/c/c-parser.cc | 61 +++++++++++++++++++++++++++++++++++++---------- gcc/c/c-tree.h | 2 +- gcc/c/c-typeck.cc | 15 ++++++++++-- 3 files changed, 63 insertions(+), 15 deletions(-) diff --git a/gcc/c/c-parser.cc b/gcc/c/c-parser.cc index c31349dae2ff..76931931e270 100644 --- a/gcc/c/c-parser.cc +++ b/gcc/c/c-parser.cc @@ -1616,6 +1616,11 @@ struct omp_for_parse_data { bool fail : 1; }; +struct attr_state +{ + bool musttail_p; // parsed a musttail for return +}; + static bool c_parser_nth_token_starts_std_attributes (c_parser *, unsigned int); static tree c_parser_std_attribute_specifier_sequence (c_parser *); @@ -1660,7 +1665,7 @@ static location_t c_parser_compound_statement_nostart (c_parser *); static void c_parser_label (c_parser *, tree); static void c_parser_statement (c_parser *, bool *, location_t * = NULL); static void c_parser_statement_after_labels (c_parser *, bool *, - vec * = NULL); + vec * = NULL, attr_state = {}); static tree c_parser_c99_block_statement (c_parser *, bool *, location_t * = NULL); static void c_parser_if_statement (c_parser *, bool *, vec *); @@ -5757,6 +5762,8 @@ c_parser_std_attribute (c_parser *parser, bool for_tm, } goto out; } + else if (is_attribute_p ("musttail", name)) + error ("% attribute has arguments"); { location_t open_loc = c_parser_peek_token (parser)->location; matching_parens parens; @@ -6943,6 +6950,28 @@ c_parser_handle_directive_omp_attributes (tree &attrs, } } +/* Check if STD_ATTR contains a musttail attribute and handle it + PARSER is the parser and A is the output attr_state. */ + +static tree +c_parser_handle_musttail (c_parser *parser, tree std_attrs, attr_state &a) +{ + if (c_parser_next_token_is_keyword (parser, RID_RETURN)) + { + if (lookup_attribute ("gnu", "musttail", std_attrs)) + { + std_attrs = remove_attribute ("gnu", "musttail", std_attrs); + a.musttail_p = true; + } + if (lookup_attribute ("clang", "musttail", std_attrs)) + { + std_attrs = remove_attribute ("clang", "musttail", std_attrs); + a.musttail_p = true; + } + } + return std_attrs; +} + /* Parse a compound statement except for the opening brace. This is used for parsing both compound statements and statement expressions (which follow different paths to handling the opening). */ @@ -6959,6 +6988,7 @@ c_parser_compound_statement_nostart (c_parser *parser) bool in_omp_loop_block = omp_for_parse_state ? omp_for_parse_state->want_nested_loop : false; tree sl = NULL_TREE; + attr_state a = {}; if (c_parser_next_token_is (parser, CPP_CLOSE_BRACE)) { @@ -7097,7 +7127,10 @@ c_parser_compound_statement_nostart (c_parser *parser) = c_parser_nth_token_starts_std_attributes (parser, 1); tree std_attrs = NULL_TREE; if (have_std_attrs) - std_attrs = c_parser_std_attribute_specifier_sequence (parser); + { + std_attrs = c_parser_std_attribute_specifier_sequence (parser); + std_attrs = c_parser_handle_musttail (parser, std_attrs, a); + } if (c_parser_next_token_is_keyword (parser, RID_CASE) || c_parser_next_token_is_keyword (parser, RID_DEFAULT) || (c_parser_next_token_is (parser, CPP_NAME) @@ -7245,7 +7278,7 @@ c_parser_compound_statement_nostart (c_parser *parser) last_stmt = true; mark_valid_location_for_stdc_pragma (false); if (!omp_for_parse_state) - c_parser_statement_after_labels (parser, NULL); + c_parser_statement_after_labels (parser, NULL, NULL, a); else { /* In canonical loop nest form, nested loops can only appear @@ -7287,15 +7320,18 @@ c_parser_compound_statement_nostart (c_parser *parser) /* Parse all consecutive labels, possibly preceded by standard attributes. In this context, a statement is required, not a declaration, so attributes must be followed by a statement that is - not just a semicolon. */ + not just a semicolon. Returns an attr_state. */ -static void +static attr_state c_parser_all_labels (c_parser *parser) { + attr_state a = {}; bool have_std_attrs; tree std_attrs = NULL; if ((have_std_attrs = c_parser_nth_token_starts_std_attributes (parser, 1))) - std_attrs = c_parser_std_attribute_specifier_sequence (parser); + std_attrs = c_parser_handle_musttail (parser, + c_parser_std_attribute_specifier_sequence (parser), a); + while (c_parser_next_token_is_keyword (parser, RID_CASE) || c_parser_next_token_is_keyword (parser, RID_DEFAULT) || (c_parser_next_token_is (parser, CPP_NAME) @@ -7317,6 +7353,7 @@ c_parser_all_labels (c_parser *parser) } else if (have_std_attrs && c_parser_next_token_is (parser, CPP_SEMICOLON)) c_parser_error (parser, "expected statement"); + return a; } /* Parse a label (C90 6.6.1, C99 6.8.1, C11 6.8.1). @@ -7560,11 +7597,11 @@ c_parser_label (c_parser *parser, tree std_attrs) static void c_parser_statement (c_parser *parser, bool *if_p, location_t *loc_after_labels) { - c_parser_all_labels (parser); + attr_state a = c_parser_all_labels (parser); if (loc_after_labels) *loc_after_labels = c_parser_peek_token (parser)->location; parser->omp_attrs_forbidden_p = false; - c_parser_statement_after_labels (parser, if_p, NULL); + c_parser_statement_after_labels (parser, if_p, NULL, a); } /* Parse a statement, other than a labeled statement. CHAIN is a vector @@ -7573,11 +7610,11 @@ c_parser_statement (c_parser *parser, bool *if_p, location_t *loc_after_labels) IF_P is used to track whether there's a (possibly labeled) if statement which is not enclosed in braces and has an else clause. This is used to - implement -Wparentheses. */ + implement -Wparentheses. A has an earlier parsed attribute state. */ static void c_parser_statement_after_labels (c_parser *parser, bool *if_p, - vec *chain) + vec *chain, attr_state a) { location_t loc = c_parser_peek_token (parser)->location; tree stmt = NULL_TREE; @@ -7645,7 +7682,7 @@ c_parser_statement_after_labels (c_parser *parser, bool *if_p, c_parser_consume_token (parser); if (c_parser_next_token_is (parser, CPP_SEMICOLON)) { - stmt = c_finish_return (loc, NULL_TREE, NULL_TREE); + stmt = c_finish_return (loc, NULL_TREE, NULL_TREE, a.musttail_p); c_parser_consume_token (parser); } else @@ -7654,7 +7691,7 @@ c_parser_statement_after_labels (c_parser *parser, bool *if_p, struct c_expr expr = c_parser_expression_conv (parser); mark_exp_read (expr.value); stmt = c_finish_return (EXPR_LOC_OR_LOC (expr.value, xloc), - expr.value, expr.original_type); + expr.value, expr.original_type, a.musttail_p); goto expect_semicolon; } break; diff --git a/gcc/c/c-tree.h b/gcc/c/c-tree.h index 1fba9c8dae76..efea9e913a50 100644 --- a/gcc/c/c-tree.h +++ b/gcc/c/c-tree.h @@ -825,7 +825,7 @@ extern tree c_begin_stmt_expr (void); extern tree c_finish_stmt_expr (location_t, tree); extern tree c_process_expr_stmt (location_t, tree); extern tree c_finish_expr_stmt (location_t, tree); -extern tree c_finish_return (location_t, tree, tree); +extern tree c_finish_return (location_t, tree, tree, bool = false); extern tree c_finish_bc_stmt (location_t, tree, bool); extern tree c_finish_goto_label (location_t, tree); extern tree c_finish_goto_ptr (location_t, c_expr val); diff --git a/gcc/c/c-typeck.cc b/gcc/c/c-typeck.cc index 3b519c48ae0a..695f1d519770 100644 --- a/gcc/c/c-typeck.cc +++ b/gcc/c/c-typeck.cc @@ -11443,10 +11443,10 @@ c_finish_goto_ptr (location_t loc, c_expr val) to return, or a null pointer for `return;' with no value. LOC is the location of the return statement, or the location of the expression, if the statement has any. If ORIGTYPE is not NULL_TREE, it - is the original type of RETVAL. */ + is the original type of RETVAL. MUSTTAIL_P indicates a musttail attribute. */ tree -c_finish_return (location_t loc, tree retval, tree origtype) +c_finish_return (location_t loc, tree retval, tree origtype, bool musttail_p) { tree valtype = TREE_TYPE (TREE_TYPE (current_function_decl)), ret_stmt; bool no_warning = false; @@ -11460,6 +11460,17 @@ c_finish_return (location_t loc, tree retval, tree origtype) warning_at (xloc, 0, "function declared % has a % statement"); + if (retval && musttail_p) + { + tree t = retval; + if (TREE_CODE (t) == TARGET_EXPR) + t = TARGET_EXPR_INITIAL (t); + if (TREE_CODE (t) != CALL_EXPR) + error_at (xloc, "cannot tail-call: return value must be call"); + else + CALL_EXPR_MUST_TAIL_CALL (t) = 1; + } + if (retval) { tree semantic_type = NULL_TREE; From patchwork Fri Feb 2 09:09:19 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Andi Kleen X-Patchwork-Id: 195720 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:7301:9bc1:b0:106:209c:c626 with SMTP id op1csp303323dyc; Fri, 2 Feb 2024 01:14:59 -0800 (PST) X-Google-Smtp-Source: AGHT+IHiLeCqzi/zY/sli4rKGCaUrQ9NDMke7zToixuVClH2dgGxbbqtVopoJlxFdcDHIhSTujRL X-Received: by 2002:a05:6214:3284:b0:68c:8919:1a5f with SMTP id mu4-20020a056214328400b0068c89191a5fmr546916qvb.26.1706865299637; Fri, 02 Feb 2024 01:14:59 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1706865299; cv=pass; d=google.com; s=arc-20160816; b=NhXMzF+r1sR8TNC7R/Hc5oF3LNGlmTsw4vKcpIT/mpeG06chAT/emgfhQnNDuB4yoz HHDnsRZgizWKTrALuk9RyFKoWI3Ldjw51+NQ5QH8LKUxCyhKBA9Z+9E7iWHouUZ9FLYk JnqCTcL2iZbn1KvPzO+yPCdyoZxstFPWHU8ZcUi5erNhjcJkMJ7nlz+UpkCWrDngtIj9 rE/4GB/q5K4uFtJ2UQpk8ulb3ZjfNiksw98HZhW/kHP8I1bRVGxjfmM206RZR7grkl6s KvSolowN4v0jf1UTItph2jxOcYC1fYNI/xp0UoeGfXSjyoLFiB/ysLVKpF1s0IQm1Ab7 FbvQ== 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:content-transfer-encoding :mime-version:references:in-reply-to:message-id:date:subject:cc:to :from:dkim-signature:arc-filter:dmarc-filter:delivered-to; bh=+V1SJdUxJ1h2F589KkoWr41SAnhTWp0NSy8NnESAiaQ=; fh=26Zz1i/zptu57JDEKQh71TCXgMF8g9FaleoonCgNgZo=; b=ihDKUdKssAt1/hmFXiTZ6ORPY7LnUEUfB2QV+hrzXhl0QRw2fnrWzsJI+brgYLBwt2 /HAuJdci1YHy4eKCg1qHO2dsLFKRtKJq9Rhc4H6zYaLqyYmWJQpD9XjXagx/Zd9f50Gn CxA5QqEZ+RMOLpJJeO/GqjAaRbZDabgawiLLR/olwgoreWc5LRBVVZS+ksoMTzEHJoZJ fFxFQX9oPMjSFag0jJCfJSbf9M1lP2TAwz4i13I9h5DzkZji9JcbXrW4nzM1sZo4wWWq q1BRY9TtrH0O7DYlZE4Gigsu/jeFDuflPOEoFs2NcBkKk11036V/9pTghb9mEgDHLcnP U9cA==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@intel.com header.s=Intel header.b=g6M9nJsF; 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=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com X-Forwarded-Encrypted: i=1; AJvYcCW6xAg7WTHXLEVpEUwD2FaMFtPs0I6Nj8Wx4sWKhY2Gwa0LYKgenv2Tk0/vc1FewQmK3KHnRmyZpDoxDDgVC/YAql+7Sw== Received: from server2.sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id f5-20020a0cc305000000b006818c27e60dsi1566451qvi.539.2024.02.02.01.14.59 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 02 Feb 2024 01:14:59 -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; dkim=pass header.i=@intel.com header.s=Intel header.b=g6M9nJsF; 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=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 13A533857C5B for ; Fri, 2 Feb 2024 09:14:59 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10]) by sourceware.org (Postfix) with ESMTPS id 98C78385801D for ; Fri, 2 Feb 2024 09:13:41 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 98C78385801D Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=linux.intel.com Authentication-Results: sourceware.org; spf=none smtp.mailfrom=linux.intel.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 98C78385801D Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2001:470:142:3::10 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706865223; cv=none; b=NNxqh6vQj/uZn9yuKuRJSUwqceZkEhiqX0kniePA7QiKVujg2Qc3fX6A5vJJR3wH20LkGiSgknMEcugzh7M1x6ZtYT7XheZwNX5i9uPFI9cpG9ywYRynV+8buLZfTgkuM23sXA8J9lj3R7McU0mP0X1ZOloHHNrODJ0e72M4R+Q= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706865223; c=relaxed/simple; bh=99m77Taug1+JoH7WufnWD3/uSeNA0jgTNcvT//1pk7s=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=POpKKIYTDK94LIFp1PiTgfxM5Mev1oT9nOMJFHUSPFWvdtxtQGtZU5P1XH7qSu0PPws0kb47lymJY4TmAa+y4Qn71+sWVlAgqbhL5OaWtH5VibbCYSh9u1EuG1la/+FFVGP2jeBa0Otqn9a/KHIGPviY3R0BTcO8EguK/yEhS6w= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from mgamail.intel.com ([192.198.163.12]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rVpcB-0004EA-Pt for gcc-patches@gnu.org; Fri, 02 Feb 2024 04:13:41 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1706865219; x=1738401219; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=99m77Taug1+JoH7WufnWD3/uSeNA0jgTNcvT//1pk7s=; b=g6M9nJsFQrd71ntWC4yDzUD44TYjWHqGiYHrsqp9J1gq6KU+IEwVofv2 7D8R9/n4pHgvm/UqiSPdCEqdz1ws+kL/7DRhl29EEToMaZ3Wxw7gLU6hA DAYiRFkDAW5Sd6Svc9yMtPSGlxhdz0w/z5Irgr4U9nyr6AmmWSiAqP1N7 rW1hM9s3meF6ZUDpAPIFokGz3MXJJOEkeLd1Cq1oqkBlMXUOUYG9WIvDi vnjgQ0fjIclKo1cxiVnJ7IDGIvLrtXDtkZsoTFohGaW0LIRlOghF8xOZA iuCIfooGnj0/WU5E7JZx1/JzozU7q8aiRYpWj25wR02EXLKAzyqOoLTJq A==; X-IronPort-AV: E=McAfee;i="6600,9927,10971"; a="3942951" X-IronPort-AV: E=Sophos;i="6.05,237,1701158400"; d="scan'208";a="3942951" Received: from fmviesa002.fm.intel.com ([10.60.135.142]) by fmvoesa106.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Feb 2024 01:13:30 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="6.05,237,1701158400"; d="scan'208";a="23318067" Received: from tassilo.jf.intel.com ([10.54.38.190]) by fmviesa002-auth.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Feb 2024 01:13:30 -0800 From: Andi Kleen To: gcc-patches@gnu.org Cc: Andi Kleen Subject: [PATCH v4 4/5] Add tests for C/C++ musttail attributes Date: Fri, 2 Feb 2024 01:09:19 -0800 Message-ID: <20240202091322.1898280-5-ak@linux.intel.com> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20240202091322.1898280-1-ak@linux.intel.com> References: <20240202091322.1898280-1-ak@linux.intel.com> MIME-Version: 1.0 Received-SPF: none client-ip=192.198.163.12; envelope-from=ak@linux.intel.com; helo=mgamail.intel.com X-Spam_score_int: -32 X-Spam_score: -3.3 X-Spam_bar: --- X-Spam_report: (-3.3 / 5.0 requ) BAYES_00=-1.9, DKIMWL_WL_HIGH=-1.292, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Status: No, score=-12.8 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_EF, GIT_PATCH_0, SPF_HELO_PASS, 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: 1789777988649106073 X-GMAIL-MSGID: 1789777988649106073 Mostly adopted from the existing C musttail plugin tests. gcc/testsuite/ChangeLog: * c-c++-common/musttail1.c: New test. * c-c++-common/musttail2.c: New test. * c-c++-common/musttail3.c: New test. * c-c++-common/musttail4.c: New test. * c-c++-common/musttail5.c: New test. --- gcc/testsuite/c-c++-common/musttail1.c | 15 ++++++++++++ gcc/testsuite/c-c++-common/musttail2.c | 34 ++++++++++++++++++++++++++ gcc/testsuite/c-c++-common/musttail3.c | 29 ++++++++++++++++++++++ gcc/testsuite/c-c++-common/musttail4.c | 17 +++++++++++++ gcc/testsuite/c-c++-common/musttail5.c | 25 +++++++++++++++++++ 5 files changed, 120 insertions(+) create mode 100644 gcc/testsuite/c-c++-common/musttail1.c create mode 100644 gcc/testsuite/c-c++-common/musttail2.c create mode 100644 gcc/testsuite/c-c++-common/musttail3.c create mode 100644 gcc/testsuite/c-c++-common/musttail4.c create mode 100644 gcc/testsuite/c-c++-common/musttail5.c diff --git a/gcc/testsuite/c-c++-common/musttail1.c b/gcc/testsuite/c-c++-common/musttail1.c new file mode 100644 index 000000000000..ac92f9f74616 --- /dev/null +++ b/gcc/testsuite/c-c++-common/musttail1.c @@ -0,0 +1,15 @@ +/* { dg-do compile { target { tail_call && { c || c++11 } } } } */ +/* { dg-options "-O2" } */ +/* { dg-additional-options "-fdelayed-branch" { target sparc*-*-* } } */ + +int __attribute__((noinline,noclone,noipa)) +callee (int i) +{ + return i * i; +} + +int __attribute__((noinline,noclone,noipa)) +caller (int i) +{ + [[gnu::musttail]] return callee (i + 1); +} diff --git a/gcc/testsuite/c-c++-common/musttail2.c b/gcc/testsuite/c-c++-common/musttail2.c new file mode 100644 index 000000000000..058329b69cc2 --- /dev/null +++ b/gcc/testsuite/c-c++-common/musttail2.c @@ -0,0 +1,34 @@ +/* { dg-do compile { target { tail_call && { c || c++11 } } } } */ + +struct box { char field[256]; int i; }; + +int __attribute__((noinline,noclone,noipa)) +test_2_callee (int i, struct box b) +{ + if (b.field[0]) + return 5; + return i * i; +} + +int __attribute__((noinline,noclone,noipa)) +test_2_caller (int i) +{ + struct box b; + [[gnu::musttail]] return test_2_callee (i + 1, b); /* { dg-error "cannot tail-call: " } */ +} + +extern void setjmp (void); +void +test_3 (void) +{ + [[gnu::musttail]] return setjmp (); /* { dg-error "cannot tail-call: " } */ +} + +typedef void (fn_ptr_t) (void); +volatile fn_ptr_t fn_ptr; + +void +test_5 (void) +{ + [[gnu::musttail]] return fn_ptr (); /* { dg-error "cannot tail-call: " } */ +} diff --git a/gcc/testsuite/c-c++-common/musttail3.c b/gcc/testsuite/c-c++-common/musttail3.c new file mode 100644 index 000000000000..ea9589c59ef2 --- /dev/null +++ b/gcc/testsuite/c-c++-common/musttail3.c @@ -0,0 +1,29 @@ +/* { dg-do compile { target { tail_call && { c || c++11 } } } } */ + +extern int foo2 (int x, ...); + +struct str +{ + int a, b; +}; + +struct str +cstruct (int x) +{ + if (x < 10) + [[clang::musttail]] return cstruct (x + 1); + return ((struct str){ x, 0 }); +} + +int +foo (int x) +{ + if (x < 10) + [[clang::musttail]] return foo2 (x, 29); + if (x < 100) + { + int k = foo (x + 1); + [[clang::musttail]] return k; /* { dg-error "cannot tail-call: " } */ + } + return x; +} diff --git a/gcc/testsuite/c-c++-common/musttail4.c b/gcc/testsuite/c-c++-common/musttail4.c new file mode 100644 index 000000000000..23f4b5e1cd68 --- /dev/null +++ b/gcc/testsuite/c-c++-common/musttail4.c @@ -0,0 +1,17 @@ +/* { dg-do compile { target { tail_call && { c || c++11 } } } } */ + +struct box { char field[64]; int i; }; + +struct box __attribute__((noinline,noclone,noipa)) +returns_struct (int i) +{ + struct box b; + b.i = i * i; + return b; +} + +int __attribute__((noinline,noclone)) +test_1 (int i) +{ + [[gnu::musttail]] return returns_struct (i * 5).i; /* { dg-error "cannot tail-call: " } */ +} diff --git a/gcc/testsuite/c-c++-common/musttail5.c b/gcc/testsuite/c-c++-common/musttail5.c new file mode 100644 index 000000000000..71f4de40fc6d --- /dev/null +++ b/gcc/testsuite/c-c++-common/musttail5.c @@ -0,0 +1,25 @@ +/* { dg-do compile } */ +/* { dg-options "-std=c23" { target c } } */ +/* { dg-options "-std=gnu++11" { target c++ } } */ + +[[musttail]] int j; /* { dg-warning "attribute" } */ +__attribute__((musttail)) int k; /* { dg-warning "attribute" } */ + +void foo(void) +{ + [[gnu::musttail]] j++; /* { dg-warning "attribute" } */ + [[gnu::musttail]] if (k > 0) /* { dg-warning "attribute" } */ + [[gnu::musttail]] k++; /* { dg-warning "attribute" } */ +} + +int foo2(int p) +{ + [[gnu::musttail(1)]] return foo2(p + 1); /* { dg-error "attribute" } */ +} + +int i; + +void foo3(void) +{ + [[musttail]] i++; /* { dg-warning "attribute" } */ +} From patchwork Fri Feb 2 09:09:20 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Andi Kleen X-Patchwork-Id: 195721 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:7301:9bc1:b0:106:209c:c626 with SMTP id op1csp303932dyc; Fri, 2 Feb 2024 01:16:27 -0800 (PST) X-Google-Smtp-Source: AGHT+IEmbRlRdrJtyem4ec5w0fVxSkuN9y68tyE+UUNnp8bal/byS6LCERn+cO1mSvFew8tVUl7u X-Received: by 2002:a05:622a:84:b0:42b:fefc:b851 with SMTP id o4-20020a05622a008400b0042bfefcb851mr1641564qtw.62.1706865387416; Fri, 02 Feb 2024 01:16:27 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1706865387; cv=pass; d=google.com; s=arc-20160816; b=RVll8zGlEEpnP6WiTI14wW6vj1+cNfofj9zT0we83zSpEQPnB/17vJVMP9nAsIYFEH egQRvkioHE/ZYJUPUAM9s0eDEdJOTzqyyYlsB1hZxZwY5HaPPCjkv1hspOkJZp4R2PUM q8+aUngZ0QgFdKSYXeyXRNJ1YtM8NAokb4R8H8AYjVBRssOoU+4dd1yLJQm+2fdztSnE SY9xmuFJUjWuOAWQWn9tfDLJZsHJY949jmM4dKxR9X/sRvTI8lWpq9Ca/KnnMVSRfZ02 NDS4ArBGB5cWyMGr+8ByYKBtztnR6EIzDDjO78Y1qpMuv7N2s89iIJv3e5wkytpCuCC9 rXNQ== 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:content-transfer-encoding :mime-version:references:in-reply-to:message-id:date:subject:cc:to :from:dkim-signature:arc-filter:dmarc-filter:delivered-to; bh=a7nZFexlPcdKw8eoNaNCiYSmjXAFxPiTD7W515q7e3g=; fh=36bCHlCGJ4KVHjr6XkjTl/+1k3jAHmJVWkl9Pcsil+c=; b=yY3qjYfCHbU4tUBSvHlv653jO9F+EHEChtq9n6FxFPRY20d0qUw0gVbyehyY00tw7g hMOHaL/OGQBlLZEMv3HUCPI9C9aKLXXZVOuxq/vfl4ICDRDU0ayAaCfxYJ4XWe8LkqYO XcRtm37D5/WNrrWxUaf5QMC02rCqHsBCdYifTfSldrrMjuC6Y3Zj+tqMzfD/QvzB2+0O RurGV4Qgea36x3gZOnOUfo7YQC2SjGSvbh+hDd+dDKVkafplxdppVfdpbQrx5yf5VXtz 9Clcoef9+kXMeTTROXLu9HyaYnGyTJeI5lB9C8vMMt+Z8jEWV7wiE28FcbLE1HEslItp KM3w==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@intel.com header.s=Intel header.b="WFFsJ/bC"; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com X-Forwarded-Encrypted: i=1; AJvYcCWCh6VkJ+djQF/65ogyyxWP/0qy1RVz7pJfcoRLNEcR4kP9c4swL6F4Xu+R08shEDNa7pB4EyIPdyr+5BYt6xPy97/bJA== Received: from server2.sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id p7-20020ac87407000000b0042c00c09c03si1364461qtq.285.2024.02.02.01.16.27 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 02 Feb 2024 01:16:27 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@intel.com header.s=Intel header.b="WFFsJ/bC"; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 17FA33857C40 for ; Fri, 2 Feb 2024 09:16:27 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10]) by sourceware.org (Postfix) with ESMTPS id 7F7813858414 for ; Fri, 2 Feb 2024 09:13:42 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 7F7813858414 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=linux.intel.com Authentication-Results: sourceware.org; spf=none smtp.mailfrom=linux.intel.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 7F7813858414 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2001:470:142:3::10 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706865224; cv=none; b=fDbBverTIh2ocvoJOHYD32Vo2xT02Jlo0RAD/Mj3Bx2MsTXGa6hX43aTss2y1Ld+/O7uEzJKeRTuva2bdyM7ePyf76Gffg0hztNOAskZdR8SSKwob9axps5wkNFaN0oLzPZwYNASNgi+sIPqN/9KidcT6tjvI9vIJJBOos1o6P4= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706865224; c=relaxed/simple; bh=4XJgf9IeqAEBW+VOM/JVPlCCD6TohzsMzQUOel98ozc=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=v2vVnP0ks4BNVIhc7Ddc/rUWx1inHkNlg3QYgZX3c7g8iD3x0yz+pZYJXCb2Z7glx63CQ93Q8HsyqAsl5Cf/brFh7GH2tmWlzQG7r8m3rfXTuHdryRLZGkHiPLDst716IHTNmqdY+GsIpLBTT6lyuyBnS+ItLfu0JtahiTrUX3w= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from mgamail.intel.com ([192.198.163.12]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rVpcC-0004Em-JL for gcc-patches@gnu.org; Fri, 02 Feb 2024 04:13:42 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1706865220; x=1738401220; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=4XJgf9IeqAEBW+VOM/JVPlCCD6TohzsMzQUOel98ozc=; b=WFFsJ/bCUTx+RbxyZdmYe7iapUNXaU5zyTyO+/uZFH0H/hx0Em0JmJl0 7EcLuj8hM74ie+gAIRaL4JxvvuKgdRBgrkNlqbrjxAJTEDtBFDKw7r8Nz 8TpQV8ASj3Hgb/PZ5FbdO/mBSloML942Hj674TbQN/uTNzFP4yjc8lI9/ ggKOJa0sUmgfDmLrVEfQOA5fYPbldzsrno9gDskbu1GVakqf/NwJjButW WhJa7PXsh4o62/S7stJTVHpky3np/UFfH9GOHUy7y4BLmOaMuT1yt5jIo Uu2aj85t7GnG8SHF1VsdHmV/XNqXoUU7286Uc1HIwc99foNakBTn7kQxL Q==; X-IronPort-AV: E=McAfee;i="6600,9927,10971"; a="3942952" X-IronPort-AV: E=Sophos;i="6.05,237,1701158400"; d="scan'208";a="3942952" Received: from fmviesa002.fm.intel.com ([10.60.135.142]) by fmvoesa106.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Feb 2024 01:13:31 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="6.05,237,1701158400"; d="scan'208";a="23318068" Received: from tassilo.jf.intel.com ([10.54.38.190]) by fmviesa002-auth.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Feb 2024 01:13:30 -0800 From: Andi Kleen To: gcc-patches@gnu.org Cc: Andi Kleen Subject: [PATCH v4 5/5] Add documentation for musttail attribute Date: Fri, 2 Feb 2024 01:09:20 -0800 Message-ID: <20240202091322.1898280-6-ak@linux.intel.com> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20240202091322.1898280-1-ak@linux.intel.com> References: <20240202091322.1898280-1-ak@linux.intel.com> MIME-Version: 1.0 Received-SPF: none client-ip=192.198.163.12; envelope-from=ak@linux.intel.com; helo=mgamail.intel.com X-Spam_score_int: -32 X-Spam_score: -3.3 X-Spam_bar: --- X-Spam_report: (-3.3 / 5.0 requ) BAYES_00=-1.9, DKIMWL_WL_HIGH=-1.292, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Status: No, score=-13.1 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_EF, GIT_PATCH_0, SPF_HELO_PASS, 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: 1789778080342454396 X-GMAIL-MSGID: 1789778080342454396 gcc/ChangeLog: * doc/extend.texi: Document [[musttail]] --- gcc/doc/extend.texi | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index 142e41ab8fbf..866f6c4a9fed 100644 --- a/gcc/doc/extend.texi +++ b/gcc/doc/extend.texi @@ -9875,6 +9875,22 @@ foo (int x, int y) @code{y} is not actually incremented and the compiler can but does not have to optimize it to just @code{return 42 + 42;}. +@cindex @code{musttail} statement attribute +@item musttail + +The @code{gnu::musttail} or @code{clang::musttail} attribute +can be applied to a return statement that returns the value +of a call to indicate that the call must be a tail call +that does not allocate extra stack space. + +@smallexample +[[gnu::musttail]] return foo(); +@end smallexample + +If the compiler cannot generate a tail call it will generate +an error. Tail calls generally require enabling optimization. +On some targets they may not be supported. + @end table @node Attribute Syntax