From: Alexandre Oliva <aoliva@redhat.com>
To: Jeff Law <law@redhat.com>
Cc: Joseph Myers <joseph@codesourcery.com>,
Alan Modra <amodra@gmail.com>,
Jakub Jelinek <jakub@redhat.com>,
Jason Merrill <jason@redhat.com>,
Richard Biener <richard.guenther@gmail.com>,
GCC Patches <gcc-patches@gcc.gnu.org>
Subject: Re: [SFN+LVU+IEPM v4 9/9] [IEPM] Introduce inline entry point markers
Date: Sun, 11 Feb 2018 15:29:00 -0000 [thread overview]
Message-ID: <ory3jz1r6c.fsf@lxoliva.fsfla.org> (raw)
In-Reply-To: <ab98969a-218a-fcbf-92e5-129a2cb0ae42@redhat.com> (Jeff Law's message of "Sat, 10 Feb 2018 11:19:09 -0700")
On Feb 10, 2018, Jeff Law <law@redhat.com> wrote:
>> Ports call final_scan_insn with seen == NULL, and then
>> maybe_output_next_view crashes because it assumes it's
>> non-NULL. Oops. Fixed.
> A bit icky. But OK.
Thanks. Testing revealed some ports had already introduced their own
'seen' variables passed to final_scan_insn recursive calls, so I
adjusted them, and the comments to the wrapper to indicate ports should
not do that. Here's what I checked in.
[LVU] deal with md final_scan_insn
Ports call final_scan_insn with seen == NULL, and then
maybe_output_next_view crashes because it assumes it's
non-NULL. Oops. Fixed.
for gcc/ChangeLog
* final.c (final_scan_insn_1): Renamed from...
(final_scan_insn): ... this. New wrapper, to recover
seen from the outermost call in recursive ones.
* config/sparc/sparc.c (output_return): Drop seen from call.
(output_sibcall): Likewise.
* config/visium/visium.c (output_branch): Likewise.
---
gcc/config/sparc/sparc.c | 6 ++----
gcc/config/visium/visium.c | 3 +--
gcc/final.c | 36 +++++++++++++++++++++++++++++++++---
3 files changed, 36 insertions(+), 9 deletions(-)
diff --git a/gcc/config/sparc/sparc.c b/gcc/config/sparc/sparc.c
index 48669f177652..7126b57ba011 100644
--- a/gcc/config/sparc/sparc.c
+++ b/gcc/config/sparc/sparc.c
@@ -6422,7 +6422,6 @@ output_return (rtx_insn *insn)
{
rtx_insn *delay;
rtx pat;
- int seen;
delay = NEXT_INSN (insn);
gcc_assert (delay);
@@ -6442,7 +6441,7 @@ output_return (rtx_insn *insn)
Make sure to output its source location first. */
PATTERN (delay) = gen_blockage ();
INSN_CODE (delay) = -1;
- final_scan_insn (delay, asm_out_file, optimize, 0, &seen);
+ final_scan_insn (delay, asm_out_file, optimize, 0, NULL);
INSN_LOCATION (delay) = UNKNOWN_LOCATION;
output_restore (pat);
@@ -6503,7 +6502,6 @@ output_sibcall (rtx_insn *insn, rtx call_operand)
{
rtx_insn *delay;
rtx pat;
- int seen;
delay = NEXT_INSN (insn);
gcc_assert (delay);
@@ -6514,7 +6512,7 @@ output_sibcall (rtx_insn *insn, rtx call_operand)
Make sure to output its source location first. */
PATTERN (delay) = gen_blockage ();
INSN_CODE (delay) = -1;
- final_scan_insn (delay, asm_out_file, optimize, 0, &seen);
+ final_scan_insn (delay, asm_out_file, optimize, 0, NULL);
INSN_LOCATION (delay) = UNKNOWN_LOCATION;
output_restore (pat);
diff --git a/gcc/config/visium/visium.c b/gcc/config/visium/visium.c
index 8751156c4065..106cdaf9e3f9 100644
--- a/gcc/config/visium/visium.c
+++ b/gcc/config/visium/visium.c
@@ -3094,10 +3094,9 @@ output_branch (rtx label, const char *cond, rtx_insn *insn)
if (final_sequence)
{
rtx_insn *delay = NEXT_INSN (insn);
- int seen;
gcc_assert (delay);
- final_scan_insn (delay, asm_out_file, optimize, 0, &seen);
+ final_scan_insn (delay, asm_out_file, optimize, 0, NULL);
PATTERN (delay) = gen_blockage ();
INSN_CODE (delay) = -1;
}
diff --git a/gcc/final.c b/gcc/final.c
index 99a7cadd7c9f..cbebbfdf5b07 100644
--- a/gcc/final.c
+++ b/gcc/final.c
@@ -2236,9 +2236,9 @@ asm_show_source (const char *filename, int linenum)
debug information. We force the emission of a line note after
both NOTE_INSN_PROLOGUE_END and NOTE_INSN_FUNCTION_BEG. */
-rtx_insn *
-final_scan_insn (rtx_insn *insn, FILE *file, int optimize_p ATTRIBUTE_UNUSED,
- int nopeepholes ATTRIBUTE_UNUSED, int *seen)
+static rtx_insn *
+final_scan_insn_1 (rtx_insn *insn, FILE *file, int optimize_p ATTRIBUTE_UNUSED,
+ int nopeepholes ATTRIBUTE_UNUSED, int *seen)
{
#if HAVE_cc0
rtx set;
@@ -3189,6 +3189,36 @@ final_scan_insn (rtx_insn *insn, FILE *file, int optimize_p ATTRIBUTE_UNUSED,
}
return NEXT_INSN (insn);
}
+
+/* This is a wrapper around final_scan_insn_1 that allows ports to
+ call it recursively without a known value for SEEN. The value is
+ saved at the outermost call, and recovered for recursive calls.
+ Recursive calls MUST pass NULL, or the same pointer if they can
+ otherwise get to it. */
+
+rtx_insn *
+final_scan_insn (rtx_insn *insn, FILE *file, int optimize_p,
+ int nopeepholes, int *seen)
+{
+ static int *enclosing_seen;
+ static int recursion_counter;
+
+ gcc_assert (seen || recursion_counter);
+ gcc_assert (!recursion_counter || !seen || seen == enclosing_seen);
+
+ if (!recursion_counter++)
+ enclosing_seen = seen;
+ else if (!seen)
+ seen = enclosing_seen;
+
+ rtx_insn *ret = final_scan_insn_1 (insn, file, optimize_p, nopeepholes, seen);
+
+ if (!--recursion_counter)
+ enclosing_seen = NULL;
+
+ return ret;
+}
+
\f
/* Return whether a source line note needs to be emitted before INSN.
Sets IS_STMT to TRUE if the line should be marked as a possible
--
Alexandre Oliva, freedom fighter http://FSFLA.org/~lxoliva/
You must be the change you wish to see in the world. -- Gandhi
Be Free! -- http://FSFLA.org/ FSF Latin America board member
Free Software Evangelist|Red Hat Brasil GNU Toolchain Engineer
next prev parent reply other threads:[~2018-02-11 15:29 UTC|newest]
Thread overview: 156+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-07-05 23:21 Introduce Statement Frontier Notes and Location Views Alexandre Oliva
2017-07-13 13:17 ` Alexandre Oliva
2017-08-18 22:49 ` Statement Frontier Notes, Location Views, and Inlined Entry Point Markers (was: Re: Introduce Statement Frontier Notes and Location Views) Alexandre Oliva
2017-08-21 12:35 ` Richard Biener
2017-08-22 22:44 ` Statement Frontier Notes, Location Views, and Inlined Entry Point Markers Alexandre Oliva
2017-08-23 12:33 ` Richard Biener
2017-08-25 16:41 ` Alexandre Oliva
2017-09-07 21:44 ` Joseph Myers
2017-09-21 2:24 ` Alexandre Oliva
2017-08-22 22:44 ` Alexandre Oliva
2017-08-23 12:12 ` Richard Biener
2017-08-25 15:26 ` Alexandre Oliva
2017-08-28 12:41 ` Richard Biener
2017-08-25 19:22 ` Alexandre Oliva
2017-09-01 1:07 ` Alexandre Oliva
2017-09-01 1:15 ` [PATCH 1/9] [SFN] adjust RTL insn-walking API Alexandre Oliva
2017-09-01 1:15 ` [PATCH 2/9] [SFN] boilerplate changes in preparation to introduce nonbind markers Alexandre Oliva
2017-09-01 1:15 ` [PATCH 5/9] [SFN] Introduce -gstatement-frontiers option, enable debug markers Alexandre Oliva
2017-09-01 1:16 ` [PATCH 3/9] [SFN] not-quite-boilerplate changes in preparation to introduce nonbind markers Alexandre Oliva
2017-09-01 1:16 ` [PATCH 4/9] [SFN] introduce statement frontier notes, still disabled Alexandre Oliva
2017-09-01 1:16 ` [PATCH 8/9] [IEPM] Introduce debug hook for inline entry point markers Alexandre Oliva
2017-09-01 1:16 ` [PATCH 9/9] [IEPM] Introduce " Alexandre Oliva
2017-09-01 1:16 ` [PATCH 6/9] [LVU] Allow final_start_function to skip initial insns Alexandre Oliva
2017-09-01 1:16 ` [PATCH 7/9] [LVU] Introduce location views Alexandre Oliva
2017-09-30 9:04 ` Statement Frontier Notes, Location Views, and Inlined Entry Point Markers Alexandre Oliva
2017-09-30 9:09 ` [PATCH 4/9] [SFN] introduce statement frontier notes, still disabled Alexandre Oliva
2017-10-09 13:11 ` Richard Biener
2017-10-13 7:25 ` Alexandre Oliva
2017-10-13 9:41 ` Richard Biener
2017-10-17 22:06 ` Alexandre Oliva
2017-10-24 18:11 ` Jason Merrill
2017-11-01 19:14 ` Alexandre Oliva
2017-11-01 19:49 ` Jason Merrill
2017-09-30 9:09 ` [PATCH 6/9] [LVU] Allow final_start_function to skip initial insns Alexandre Oliva
2017-10-19 11:07 ` Richard Biener
2017-10-31 5:10 ` Jeff Law
2017-10-31 5:23 ` Jeff Law
2017-11-01 18:20 ` Alexandre Oliva
2017-11-02 13:00 ` Richard Biener
2017-09-30 9:09 ` [PATCH 1/9] [SFN] adjust RTL insn-walking API Alexandre Oliva
2017-10-09 13:24 ` Richard Biener
2017-09-30 9:09 ` [PATCH 5/9] [SFN] Introduce -gstatement-frontiers option, enable debug markers Alexandre Oliva
2017-10-09 13:12 ` Richard Biener
2017-09-30 9:09 ` [PATCH 2/9] [SFN] boilerplate changes in preparation to introduce nonbind markers Alexandre Oliva
2017-10-09 13:02 ` Richard Biener
2017-09-30 9:10 ` [PATCH 8/9] [IEPM] Introduce debug hook for inline entry point markers Alexandre Oliva
2017-10-31 5:58 ` Jeff Law
2017-09-30 9:10 ` [PATCH 3/9] [SFN] not-quite-boilerplate changes in preparation to introduce nonbind markers Alexandre Oliva
2017-10-09 13:07 ` Richard Biener
2017-09-30 9:10 ` [PATCH 7/9] [LVU] Introduce location views Alexandre Oliva
2017-09-30 9:10 ` [PATCH 9/9] [IEPM] Introduce inline entry point markers Alexandre Oliva
2017-10-31 6:22 ` Jeff Law
2017-11-01 18:36 ` Alexandre Oliva
2017-11-09 16:30 ` Jeff Law
2017-11-10 2:31 ` Alexandre Oliva
2017-11-10 2:36 ` SFN+LVU+IEPM v4 (was: Re: Statement Frontier Notes, Location Views, and Inlined Entry Point Markers) Alexandre Oliva
2017-11-10 2:36 ` [SFN+LVU+IEPM v4 4/9] [SFN] stabilize find_bb_boundaries Alexandre Oliva
2017-12-07 22:46 ` Jeff Law
2017-12-12 2:38 ` Alexandre Oliva
2017-11-10 2:36 ` [SFN+LVU+IEPM v4 1/9] [SFN] adjust RTL insn-walking API Alexandre Oliva
2017-12-07 22:25 ` Jeff Law
2017-12-12 3:10 ` Alexandre Oliva
2017-12-14 11:55 ` Alexandre Oliva
2017-12-14 12:07 ` Jakub Jelinek
2017-12-14 18:25 ` Alexandre Oliva
2017-11-10 2:36 ` [SFN+LVU+IEPM v4 5/9] [SFN] introduce statement frontier notes, still disabled Alexandre Oliva
2017-12-07 23:59 ` Jeff Law
2017-12-12 2:41 ` Alexandre Oliva
2017-11-10 2:36 ` [SFN+LVU+IEPM v4 2/9] [SFN] boilerplate changes in preparation to introduce nonbind markers Alexandre Oliva
2017-12-07 22:27 ` Jeff Law
2017-12-12 2:55 ` Alexandre Oliva
2017-11-10 2:36 ` [SFN+LVU+IEPM v4 6/9] [SFN] Introduce -gstatement-frontiers option, enable debug markers Alexandre Oliva
2017-12-07 22:49 ` Jeff Law
2017-12-12 2:42 ` Alexandre Oliva
2017-12-12 9:16 ` Christophe Lyon
2017-12-13 4:22 ` Alexandre Oliva
2018-01-07 17:48 ` H.J. Lu
2017-12-27 8:00 ` [nvptx, committed] Disable -gstatement-frontiers for nvptx Tom de Vries
2017-12-29 4:12 ` Alexandre Oliva
2017-12-29 11:42 ` Tom de Vries
2017-12-31 20:05 ` Alexandre Oliva
2018-01-11 10:12 ` Tom de Vries
2017-11-10 2:36 ` [SFN+LVU+IEPM v4 3/9] [SFN] not-quite-boilerplate changes in preparation to introduce nonbind markers Alexandre Oliva
2017-12-07 22:44 ` Jeff Law
2017-12-12 2:31 ` Alexandre Oliva
2017-11-10 2:37 ` [SFN+LVU+IEPM v4 8/9] [IEPM] Introduce debug hook for inline entry point markers Alexandre Oliva
2017-12-07 22:51 ` Jeff Law
2017-12-12 2:44 ` Alexandre Oliva
2017-11-10 5:05 ` [SFN+LVU+IEPM v4 7/9] [LVU] Introduce location views Alexandre Oliva
2017-11-13 10:18 ` Richard Biener
2017-11-15 3:59 ` Alexandre Oliva
2017-12-11 23:12 ` Jeff Law
2017-12-12 2:52 ` Alexandre Oliva
2018-01-24 17:36 ` Jakub Jelinek
2018-01-25 20:19 ` Alexandre Oliva
2018-01-26 14:58 ` Jakub Jelinek
2018-01-30 18:40 ` Alexandre Oliva
2018-01-30 22:11 ` Richard Sandiford
2018-02-07 4:14 ` Alexandre Oliva
2018-02-07 7:43 ` Alexandre Oliva
2018-02-06 21:13 ` Jason Merrill
2018-02-07 4:02 ` Alexandre Oliva
2018-02-07 19:23 ` Jason Merrill
2018-02-08 12:56 ` Alexandre Oliva
2018-02-08 16:05 ` Jason Merrill
2018-02-09 3:49 ` Alexandre Oliva
2018-02-07 7:35 ` Alexandre Oliva
2018-02-07 7:36 ` Alexandre Oliva
2018-02-08 19:58 ` Jason Merrill
2018-02-09 3:20 ` Alexandre Oliva
2018-02-11 19:04 ` Andreas Schwab
2018-02-11 20:47 ` Andreas Schwab
2018-02-12 7:46 ` Alexandre Oliva
2018-02-12 7:49 ` Alexandre Oliva
2018-02-12 10:11 ` Andreas Schwab
2018-02-13 5:47 ` Alexandre Oliva
2018-02-14 9:23 ` Andreas Schwab
2017-11-10 5:29 ` [SFN+LVU+IEPM v4 9/9] [IEPM] Introduce inline entry point markers Alexandre Oliva
2017-12-12 2:54 ` Alexandre Oliva
2017-12-21 5:18 ` Jeff Law
2018-01-24 7:11 ` Alexandre Oliva
2018-01-24 17:40 ` Jakub Jelinek
2018-01-25 20:14 ` Alexandre Oliva
2018-02-09 3:21 ` Alexandre Oliva
2018-02-09 3:53 ` Alan Modra
2018-02-09 4:13 ` Jeff Law
2018-02-09 10:35 ` Alexandre Oliva
2018-02-09 12:10 ` Alan Modra
2018-02-09 15:09 ` Jeff Law
2018-02-09 22:52 ` Joseph Myers
2018-02-10 1:36 ` Joseph Myers
2018-02-10 12:35 ` Alexandre Oliva
2018-02-10 18:19 ` Jeff Law
2018-02-11 15:29 ` Alexandre Oliva [this message]
2018-02-09 21:01 ` Alexandre Oliva
2018-02-09 23:49 ` Jakub Jelinek
2018-02-10 0:56 ` Alexandre Oliva
2018-02-12 8:08 ` Alexandre Oliva
2018-02-13 13:52 ` Alexandre Oliva
2018-02-13 16:15 ` Jeff Law
2018-02-15 15:23 ` Szabolcs Nagy
2018-02-21 10:12 ` Alexandre Oliva
2018-02-21 12:08 ` Uros Bizjak
2018-02-22 15:22 ` Szabolcs Nagy
2018-02-28 6:17 ` Alexandre Oliva
2018-03-09 9:49 ` Bin.Cheng
2018-03-09 9:55 ` Ramana Radhakrishnan
2018-03-09 11:35 ` Jakub Jelinek
2018-03-07 19:43 ` Jeff Law
2018-02-10 4:39 ` Alexandre Oliva
2018-02-10 6:35 ` Jeff Law
2018-02-10 13:05 ` Alexandre Oliva
2018-02-10 16:36 ` Jeff Law
2018-02-21 10:33 ` Alexandre Oliva
2018-02-26 12:47 ` Richard Biener
2017-11-10 21:31 ` SFN+LVU+IEPM v4 Alexandre Oliva
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=ory3jz1r6c.fsf@lxoliva.fsfla.org \
--to=aoliva@redhat.com \
--cc=amodra@gmail.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=jakub@redhat.com \
--cc=jason@redhat.com \
--cc=joseph@codesourcery.com \
--cc=law@redhat.com \
--cc=richard.guenther@gmail.com \
/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).