public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
From: Hans-Peter Nilsson <hp@gcc.gnu.org>
To: gcc-cvs@gcc.gnu.org
Subject: [gcc r13-6512] testsuite: Add tail_call effective target
Date: Tue,  7 Mar 2023 01:22:08 +0000 (GMT)	[thread overview]
Message-ID: <20230307012208.69DF53858D39@sourceware.org> (raw)

https://gcc.gnu.org/g:7dde02e9efc9d7ecd87814f4c8ee803ef005a7fd

commit r13-6512-g7dde02e9efc9d7ecd87814f4c8ee803ef005a7fd
Author: Hans-Peter Nilsson <hp@axis.com>
Date:   Mon Mar 6 18:00:47 2023 +0100

    testsuite: Add tail_call effective target
    
    The RTL "expand" dump is the first RTL dump, and it also appears to be
    the earliest trace of the target having implemented sibcalls.
    Including the "," in the pattern searched for, to try and avoid
    possible false matches, but there doesn't appear to be any identifiers
    or target names nearby so this is just belts and suspenders.  Using
    "tail_call" as a shorter and more commonly used term than a derivative
    of "sibling calls", and expecting only gcc folks to have heard of
    "sibcalls".
    
            * lib/target-supports.exp (check_effective_target_tail_call): New.

Diff:
---
 gcc/testsuite/lib/target-supports.exp | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/gcc/testsuite/lib/target-supports.exp b/gcc/testsuite/lib/target-supports.exp
index 4236c920bae..4bad4dae582 100644
--- a/gcc/testsuite/lib/target-supports.exp
+++ b/gcc/testsuite/lib/target-supports.exp
@@ -11680,6 +11680,15 @@ proc check_effective_target_frame_pointer_for_non_leaf { } {
   return 0
 }
 
+# Return 1 if the target can perform tail-call optimizations of the
+# most trivial type.
+proc check_effective_target_tail_call { } {
+    return [check_no_messages_and_pattern tail_call ",SIBCALL" rtl-expand {
+	__attribute__((__noipa__)) void foo (void) { }
+	__attribute__((__noipa__)) void bar (void) { foo(); }
+    } {-O2 -fdump-rtl-expand-all}] ;# The "SIBCALL" note requires a detailed dump.
+}
+
 # Return 1 if the target's calling sequence or its ABI
 # create implicit stack probes at or prior to function entry.
 proc check_effective_target_caller_implicit_probes { } {

                 reply	other threads:[~2023-03-07  1:22 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20230307012208.69DF53858D39@sourceware.org \
    --to=hp@gcc.gnu.org \
    --cc=gcc-cvs@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).