[PATCH] D31062: PR32288: Describe a bool parameter's DWARF location with a simple register

Adrian Prantl via llvm-commits llvm-commits at lists.llvm.org
Fri Mar 17 11:15:26 PDT 2017


> On Mar 17, 2017, at 9:12 AM, David Blaikie <dblaikie at gmail.com> wrote:
> 
> Hmm, one wrinkle... 
> 
> the "if (auto Fragment ...)" case doesn't run in any existing test cases. (I put an "assert(false)" there & ran check-llvm).
> 
> Any ideas if that's still reachable? Perhaps this only happens for direct bool parameters, never fragments.

I just finished building the swift stdlib in 64 and 32 bit (which is typically a good source of these) and also didn't hit the assertion. We'd need to hand-craft a testcase for opt -mem2reg.

-- adrian

> 
> On Fri, Mar 17, 2017 at 8:28 AM Adrian Prantl via Phabricator <reviews at reviews.llvm.org <mailto:reviews at reviews.llvm.org>> wrote:
> aprantl accepted this revision.
> aprantl added a comment.
> This revision is now accepted and ready to land.
> 
> Took me a while to find the functional change amidst the refactoring :-)
> As discussed in the PR, this LGTM, thanks!
> One inline comment about a comment.
> 
> 
> 
> ================
> Comment at: lib/Transforms/Utils/Local.cpp:1118
>      // describing will always be smaller than the variable size, because
>      // VariableSize == Size of Alloca described by DDI. Since SI stores
>      // to the alloca described by DDI, if it's first operand is an extend,
> ----------------
> Does this comment still match our understanding?
> Particularly the `The fragment we're describing will always be smaller than the variable size` bit.
> 
> 
> https://reviews.llvm.org/D31062 <https://reviews.llvm.org/D31062>
> 
> 
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170317/13647e55/attachment.html>


More information about the llvm-commits mailing list