[prev in list] [next in list] [prev in thread] [next in thread]
List: cfe-dev
Subject: Re: [cfe-dev] [llvm-dev] [LLVMdev] Clang devirtualization proposal
From: Philip Reames via cfe-dev <cfe-dev () lists ! llvm ! org>
Date: 2015-10-05 23:48:11
Message-ID: 56130C3B.9070706 () philipreames ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
Thanks for sharing your progress and all the work along the way.
On 10/02/2015 03:50 PM, Piotr Padlewski via llvm-dev wrote:
> Hi all,
> I am finishing my internship today and I want to make small report:
>
> 1. available_externally vtables are now generated for classes without
> inline / hidden virtual functions
> 2. Assumption loads are generated for the same case as above
> (temporary works only with -fstrict-vtable-pointers because of some
> performance lose in InstCombine)
Is there a bug filed for this?
> 3. Using invariant.group metadata, vtable loads and vfunction loads
> are now squashed to one load across one BB.
>
> If someone would like to contact me, piotr.padlewski@gmail.com
> <mailto:piotr.padlewski@gmail.com> is my personal email (I won't have
> access to prazek@google.com <mailto:prazek@google.com>)
>
> Piotr Padlewski
>
> On Tue, Aug 11, 2015 at 9:54 AM, Reid Kleckner <rnk@google.com
> <mailto:rnk@google.com>> wrote:
>
> On Sat, Aug 8, 2015 at 8:03 AM, Stephen Cross <scross@scross.co.uk
> <mailto:scross@scross.co.uk>> wrote:
>
> I may not have followed the discussion completely, but would it be
> possible to simply strip the 'readonly' attributes when dead
> arguments
> are eliminated?
>
>
> I think this actually works. Think of it this way: the result of
> functionattrs is actually an analysis that we cache and maintain
> in the IR. DAE invalidates that analysis, so it must flush the
> cache or repopulate it.
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev@lists.llvm.org <mailto:cfe-dev@lists.llvm.org>
> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
>
>
>
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev@lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
[Attachment #5 (text/html)]
<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Thanks for sharing your progress and all the work along the way.<br>
<br>
<div class="moz-cite-prefix">On 10/02/2015 03:50 PM, Piotr Padlewski
via llvm-dev wrote:<br>
</div>
<blockquote
cite="mid:CABUQfFqaSXevd3K+pC0i2oW68jRgH886PQ_OYH12k2kQu3EEzA@mail.gmail.com"
type="cite">
<div dir="ltr">Hi all,
<div>I am finishing my internship today and I want to make small
report:</div>
<div><br>
</div>
<div>1. available_externally vtables are now generated for
classes without inline / hidden virtual functions</div>
<div>2. Assumption loads are generated for the same case as
above (temporary works only with -fstrict-vtable-pointers
because of some performance lose in InstCombine)</div>
</div>
</blockquote>
Is there a bug filed for this?<br>
<blockquote
cite="mid:CABUQfFqaSXevd3K+pC0i2oW68jRgH886PQ_OYH12k2kQu3EEzA@mail.gmail.com"
type="cite">
<div dir="ltr">
<div>3. Using invariant.group metadata, vtable loads and
vfunction loads are now squashed to one load across one BB.</div>
<div><br>
</div>
<div>If someone would like to contact me, <a
moz-do-not-send="true"
href="mailto:piotr.padlewski@gmail.com"><a \
class="moz-txt-link-abbreviated" \
href="mailto:piotr.padlewski@gmail.com">piotr.padlewski@gmail.com</a></a> is my \
personal email (I won't have access to <a moz-do-not-send="true" \
href="mailto:prazek@google.com"><a class="moz-txt-link-abbreviated" \
href="mailto:prazek@google.com">prazek@google.com</a></a>)</div> <div><br>
</div>
<div>Piotr Padlewski</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Tue, Aug 11, 2015 at 9:54 AM, Reid
Kleckner <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:rnk@google.com" \
target="_blank">rnk@google.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote"><span class="">On Sat, Aug 8,
2015 at 8:03 AM, Stephen Cross <span dir="ltr"><<a
moz-do-not-send="true"
href="mailto:scross@scross.co.uk"
target="_blank"><a class="moz-txt-link-abbreviated" \
href="mailto:scross@scross.co.uk">scross@scross.co.uk</a></a>></span> wrote:
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
I may not have followed the discussion completely,
but would it be<br>
possible to simply strip the 'readonly' attributes
when dead arguments<br>
are eliminated?</blockquote>
<div><br>
</div>
</span>
<div>I think this actually works. Think of it this
way: the result of functionattrs is actually an
analysis that we cache and maintain in the IR. DAE
invalidates that analysis, so it must flush the
cache or repopulate it. </div>
</div>
</div>
</div>
<br>
_______________________________________________<br>
cfe-dev mailing list<br>
<a moz-do-not-send="true"
href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a><br>
<a moz-do-not-send="true"
href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev"
rel="noreferrer" \
target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br> <br>
</blockquote>
</div>
<br>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
LLVM Developers mailing list
<a class="moz-txt-link-abbreviated" \
href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a> <a \
class="moz-txt-link-freetext" \
href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>
[Attachment #6 (text/plain)]
_______________________________________________
cfe-dev mailing list
cfe-dev@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic