[prev in list] [next in list] [prev in thread] [next in thread] 

List:       llvm-dev
Subject:    Re: [llvm-dev] [cfe-dev] [LLVMdev] Clang devirtualization proposal
From:       Reid Kleckner via llvm-dev <llvm-dev () lists ! llvm ! org>
Date:       2015-08-11 16:54:13
Message-ID: CACs=tyJpuOwWtp1tf5bb6AjnCJnc5su+M1aF_rWnePu1WicsHA () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


On Sat, Aug 8, 2015 at 8:03 AM, Stephen Cross <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.

[Attachment #5 (text/html)]

<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sat, Aug 8, 2015 \
at 8:03 AM, Stephen Cross <span dir="ltr">&lt;<a href="mailto:scross@scross.co.uk" \
target="_blank">scross@scross.co.uk</a>&gt;</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 &#39;readonly&#39; attributes when dead \
arguments<br> are eliminated?</blockquote><div><br></div><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>


[Attachment #6 (text/plain)]

_______________________________________________
LLVM Developers mailing list
llvm-dev@lists.llvm.org         http://llvm.cs.uiuc.edu
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev


[prev in list] [next in list] [prev in thread] [next in thread]