public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
From: David Malcolm <dmalcolm@redhat.com>
To: Antoni Boucher <bouanto@zoho.com>,
	jit@gcc.gnu.org, gcc-patches@gcc.gnu.org
Subject: Re: [PATCH] libgccjit: Fix get_size of size_t
Date: Wed, 26 Jun 2024 18:01:56 -0400	[thread overview]
Message-ID: <d0738ec0d0d939056978e18710879b382fcd1678.camel@redhat.com> (raw)
In-Reply-To: <2580ac0ae1b503e737602d18759adc4b7fa23d16.camel@zoho.com>

On Wed, 2024-02-21 at 14:16 -0500, Antoni Boucher wrote:
> On Thu, 2023-12-07 at 19:57 -0500, David Malcolm wrote:
> > On Thu, 2023-12-07 at 17:26 -0500, Antoni Boucher wrote:
> > > Hi.
> > > This patch fixes getting the size of size_t (bug 112910).
> > > 
> > > There's one issue with this patch: like every other feature that
> > > checks
> > > for target-specific stuff, it requires a compilation before
> > > actually
> > > fetching the size of the type.
> > > Which means that getting the size before a compilation might be
> > > wrong
> > > (and I actually believe is wrong on x86-64).
> > > 
> > > I was wondering if we should always implicitely do the first
> > > compilation to gather the correct info: this would fix this issue
> > > and
> > > all the others that we have due to that.
> > > I'm not sure what would be the performance implication.
> > 
> > Maybe introduce a new class target_info which contains all the
> > information we might want to find via a compilation, and have the
> > top-
> > level recording::context have a pointer to it, which starts as
> > nullptr,
> > but can be populated on-demand the first time something needs it?
> 
> That would mean that we'll need to populate it for every top-level
> context, right? Would the idea be that we should then use child
> contexts to have the proper information filled?
> If so, how is this different than just compiling two contexts like
> what
> I currently do?
> This would also mean that we'll do an implicit compilation whenever
> we
> use an API that needs this info, right? Wouldn't that be unexpected?

I was thinking a compilation with an empty playback::context to lazily
capture the target data.

My hope was that this would make things easier for users.  But you're
the one using this API, so if you're more comfortable with the explicit
initial compilation approach, let's go with that.

If so, this is OK for trunk - but we might want to add a note to the
documentation about the double-compilation workaround.

Dave


> 
> Thanks for the idea.
> 
> > 
> > > 
> > > Another solution that I have been thinking about for a while now
> > > would
> > > be to have another frontend libgccaot (I don't like that name),
> > > which
> > > is like libgccjit but removes the JIT part so that we get access
> > > to
> > > the
> > > target stuff directly and would remove the need for having a
> > > seperation
> > > between recording and playback as far as I understand.
> > > That's a long-term solution, but I wanted to share the idea now
> > > and
> > > gather your thoughts on that.
> > 
> > FWIW the initial version of libgccjit didn't have a split between
> > recording and playback; instead the client code had to pass in a
> > callback to call into the various API functions (creating tree
> > nodes).
> > See:
> > https://gcc.gnu.org/legacy-ml/gcc-patches/2013-10/msg00228.html
> > 
> > Dave
> > 
> 


  reply	other threads:[~2024-06-26 22:02 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-12-07 22:26 Antoni Boucher
2023-12-08  0:57 ` David Malcolm
2024-02-21 19:16   ` Antoni Boucher
2024-06-26 22:01     ` David Malcolm [this message]
2024-06-28  0:49       ` Antoni Boucher

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=d0738ec0d0d939056978e18710879b382fcd1678.camel@redhat.com \
    --to=dmalcolm@redhat.com \
    --cc=bouanto@zoho.com \
    --cc=gcc-patches@gcc.gnu.org \
    --cc=jit@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).