<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 12 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">Hi Richard, unfortunately there is another problem, again on the ARM bots:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><a href="http://lab.llvm.org:8011/builders/clang-cmake-armv7-quick/builds/769">http://lab.llvm.org:8011/builders/clang-cmake-armv7-quick/builds/769</a>:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">******************** TEST 'Clang :: CodeGenCXX/tail-padding.cpp' FAILED ********************<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">Script:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">--<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">/home/buildslave/buildslave/clang-cmake-armv7-quick/stage1/bin/clang -cc1 -internal-isystem /home/buildslave/buildslave/clang-cmake-armv7-quick/stage1/lib/clang/7.0.0/include
-nostdsysteminc -triple armv7l-unknown-linux-gnueabihf -emit-llvm -o - /home/buildslave/buildslave/clang-cmake-armv7-quick/llvm/tools/clang/test/CodeGenCXX/tail-padding.cpp | /home/buildslave/buildslave/clang-cmake-armv7-quick/stage1/bin/FileCheck /home/buildslave/buildslave/clang-cmake-armv7-quick/llvm/tools/clang/test/CodeGenCXX/tail-padding.cpp<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">--<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">Exit Code: 1<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">Command Output (stderr):<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">--<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">/home/buildslave/buildslave/clang-cmake-armv7-quick/llvm/tools/clang/test/CodeGenCXX/tail-padding.cpp:8:47: warning: static_assert with no message is a C++17
extension<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"> static_assert(sizeof(C) == sizeof(void*) + 8);<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"> ^<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"> , ""<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">/home/buildslave/buildslave/clang-cmake-armv7-quick/llvm/tools/clang/test/CodeGenCXX/tail-padding.cpp:25:46: warning: static_assert with no message is a C++17
extension<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"> static_assert(sizeof(C) > sizeof(void*) + 8);<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"> ^<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"> , ""<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">2 warnings generated.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">/home/buildslave/buildslave/clang-cmake-armv7-quick/llvm/tools/clang/test/CodeGenCXX/tail-padding.cpp:14:12: error: expected string not found in input<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">// CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8* {{.*}}, i64 7, i1 false)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"> ^<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><stdin>:97:62: note: scanning from here<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">%call = call %"struct.Implicit::A"* @_ZN8Implicit1AC2ERKS0_(%"struct.Implicit::A"* %3, %"struct.Implicit::A"* dereferenceable(1) %8)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"> ^<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><stdin>:107:2: note: possible intended match here<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %15, i8* align 4 %16, i32 7, i1 false)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">^<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">--<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">********************<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">Douglas Yung<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><o:p> </o:p></span></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0in 0in 0in 4.0pt">
<div>
<div style="border:none;border-top:solid #B5C4DF 1.0pt;padding:3.0pt 0in 0in 0in">
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Tahoma","sans-serif"">From:</span></b><span style="font-size:10.0pt;font-family:"Tahoma","sans-serif""> Richard Smith [mailto:richard@metafoo.co.uk]
<br>
<b>Sent:</b> Friday, April 06, 2018 13:10<br>
<b>To:</b> Yung, Douglas<br>
<b>Cc:</b> cfe-commits<br>
<b>Subject:</b> Re: r329342 - PR36992: do not store beyond the dsize of a class object unless we know<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<p class="MsoNormal">Hopefully r329449 will fix this.<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<p class="MsoNormal">On 6 April 2018 at 12:37, Richard Smith <<a href="mailto:richard@metafoo.co.uk" target="_blank">richard@metafoo.co.uk</a>> wrote:<o:p></o:p></p>
<div>
<p class="MsoNormal">Thanks, I see the problem.<o:p></o:p></p>
</div>
<div>
<div>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<div>
<p class="MsoNormal">On Fri, 6 Apr 2018, 11:56 via cfe-commits, <<a href="mailto:cfe-commits@lists.llvm.org" target="_blank">cfe-commits@lists.llvm.org</a>> wrote:<o:p></o:p></p>
</div>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;padding:0in 0in 0in 6.0pt;margin-left:4.8pt;margin-right:0in">
<p class="MsoNormal">Hi Richard,<br>
<br>
I don't know if you are aware, but the test you added in this commit, tail-padding.cpp is currently failing on one of the ARM bots. Can you take a look?<br>
<br>
<a href="http://lab.llvm.org:8011/builders/clang-cmake-armv7-selfhost-neon/builds/178" target="_blank">http://lab.llvm.org:8011/builders/clang-cmake-armv7-selfhost-neon/builds/178</a><br>
<br>
******************** TEST 'Clang :: CodeGenCXX/tail-padding.cpp' FAILED ********************<br>
Script:<br>
--<br>
/home/buildslave/buildslave/clang-cmake-armv7-selfhost-neon/stage2/bin/clang -cc1 -internal-isystem /home/buildslave/buildslave/clang-cmake-armv7-selfhost-neon/stage2/lib/clang/7.0.0/include -nostdsysteminc -triple armv7l-unknown-linux-gnueabihf -emit-llvm
-o - /home/buildslave/buildslave/clang-cmake-armv7-selfhost-neon/llvm/tools/clang/test/CodeGenCXX/tail-padding.cpp | /home/buildslave/buildslave/clang-cmake-armv7-selfhost-neon/stage2/bin/FileCheck /home/buildslave/buildslave/clang-cmake-armv7-selfhost-neon/llvm/tools/clang/test/CodeGenCXX/tail-padding.cpp<br>
--<br>
Exit Code: 1<br>
<br>
Command Output (stderr):<br>
--<br>
/home/buildslave/buildslave/clang-cmake-armv7-selfhost-neon/llvm/tools/clang/test/CodeGenCXX/tail-padding.cpp:8:47: warning: static_assert with no message is a C++17 extension<br>
static_assert(sizeof(C) == sizeof(void*) + 8);<br>
^<br>
, ""<br>
/home/buildslave/buildslave/clang-cmake-armv7-selfhost-neon/llvm/tools/clang/test/CodeGenCXX/tail-padding.cpp:25:46: warning: static_assert with no message is a C++17 extension<br>
static_assert(sizeof(C) > sizeof(void*) + 8);<br>
^<br>
, ""<br>
2 warnings generated.<br>
/home/buildslave/buildslave/clang-cmake-armv7-selfhost-neon/llvm/tools/clang/test/CodeGenCXX/tail-padding.cpp:12:12: error: expected string not found in input<br>
// CHECK: call void @_ZN8Implicit1AC2ERKS0_(<br>
^<br>
<stdin>:78:66: note: scanning from here<br>
define linkonce_odr %"struct.Implicit::C"* @_ZN8Implicit1CC1EOS0_(%"struct.Implicit::C"* returned %this, %"struct.Implicit::C"* dereferenceable(12)) unnamed_addr #0 comdat align 2 {<br>
^<br>
<stdin>:97:28: note: possible intended match here<br>
%call = call %"struct.Implicit::A"* @_ZN8Implicit1AC2ERKS0_(%"struct.Implicit::A"* %3, %"struct.Implicit::A"* dereferenceable(1) %8)<br>
^<br>
<br>
--<br>
<br>
********************<br>
<br>
Douglas Yung<br>
<br>
> -----Original Message-----<br>
> From: cfe-commits [mailto:<a href="mailto:cfe-commits-bounces@lists.llvm.org" target="_blank">cfe-commits-bounces@lists.llvm.org</a>] On Behalf Of<br>
> Richard Smith via cfe-commits<br>
> Sent: Thursday, April 05, 2018 13:53<br>
> To: <a href="mailto:cfe-commits@lists.llvm.org" target="_blank">cfe-commits@lists.llvm.org</a><br>
> Subject: r329342 - PR36992: do not store beyond the dsize of a class object<br>
> unless we know<br>
><br>
> Author: rsmith<br>
> Date: Thu Apr 5 13:52:58 2018<br>
> New Revision: 329342<br>
><br>
> URL: <a href="http://llvm.org/viewvc/llvm-project?rev=329342&view=rev" target="_blank">
http://llvm.org/viewvc/llvm-project?rev=329342&view=rev</a><br>
> Log:<br>
> PR36992: do not store beyond the dsize of a class object unless we know the<br>
> tail padding is not reused.<br>
><br>
> We track on the AggValueSlot (and through a couple of other initialization<br>
> actions) whether we're dealing with an object that might share its tail<br>
> padding with some other object, so that we can avoid emitting stores into the<br>
> tail padding if that's the case. We still widen stores into tail padding when<br>
> we can do so.<br>
><br>
> Differential Revision: <a href="https://reviews.llvm.org/D45306" target="_blank">
https://reviews.llvm.org/D45306</a><br>
><br>
> Added:<br>
> cfe/trunk/test/CodeGenCXX/tail-padding.cpp<br>
> Modified:<br>
> cfe/trunk/lib/CodeGen/CGAtomic.cpp<br>
> cfe/trunk/lib/CodeGen/CGBlocks.cpp<br>
> cfe/trunk/lib/CodeGen/CGCall.cpp<br>
> cfe/trunk/lib/CodeGen/CGClass.cpp<br>
> cfe/trunk/lib/CodeGen/CGDecl.cpp<br>
> cfe/trunk/lib/CodeGen/CGDeclCXX.cpp<br>
> cfe/trunk/lib/CodeGen/CGExpr.cpp<br>
> cfe/trunk/lib/CodeGen/CGExprAgg.cpp<br>
> cfe/trunk/lib/CodeGen/CGExprCXX.cpp<br>
> cfe/trunk/lib/CodeGen/CGObjC.cpp<br>
> cfe/trunk/lib/CodeGen/CGOpenMPRuntime.cpp<br>
> cfe/trunk/lib/CodeGen/CGStmt.cpp<br>
> cfe/trunk/lib/CodeGen/CGValue.h<br>
> cfe/trunk/lib/CodeGen/CodeGenFunction.h<br>
> cfe/trunk/lib/CodeGen/ItaniumCXXABI.cpp<br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CGAtomic.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CGAtomic.cpp?rev=329342&r1=329341&r2=329342&view<br>
> =diff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CGAtomic.cpp (original)<br>
> +++ cfe/trunk/lib/CodeGen/CGAtomic.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -1513,7 +1513,8 @@ void AtomicInfo::emitCopyIntoMemory(RVal<br>
> getAtomicType());<br>
> bool IsVolatile = rvalue.isVolatileQualified() ||<br>
> LVal.isVolatileQualified();<br>
> - CGF.EmitAggregateCopy(Dest, Src, getAtomicType(), IsVolatile);<br>
> + CGF.EmitAggregateCopy(Dest, Src, getAtomicType(),<br>
> + AggValueSlot::DoesNotOverlap, IsVolatile);<br>
> return;<br>
> }<br>
><br>
> @@ -2008,6 +2009,7 @@ void CodeGenFunction::EmitAtomicInit(Exp<br>
> AggValueSlot::IsNotDestructed,<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> AggValueSlot::IsNotAliased,<br>
> + AggValueSlot::DoesNotOverlap,<br>
> Zeroed ? AggValueSlot::IsZeroed :<br>
> AggValueSlot::IsNotZeroed);<br>
><br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CGBlocks.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CGBlocks.cpp?rev=329342&r1=329341&r2=329342&view<br>
> =diff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CGBlocks.cpp (original)<br>
> +++ cfe/trunk/lib/CodeGen/CGBlocks.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -929,7 +929,8 @@ llvm::Value *CodeGenFunction::EmitBlockL<br>
> AggValueSlot::forAddr(blockField, Qualifiers(),<br>
> AggValueSlot::IsDestructed,<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased);<br>
> + AggValueSlot::IsNotAliased,<br>
> + AggValueSlot::DoesNotOverlap);<br>
> EmitAggExpr(copyExpr, Slot);<br>
> } else {<br>
> EmitSynthesizedCXXCopyCtor(blockField, src, copyExpr);<br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CGCall.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CGCall.cpp?rev=329342&r1=329341&r2=329342&view=d<br>
> iff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CGCall.cpp (original)<br>
> +++ cfe/trunk/lib/CodeGen/CGCall.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -3018,7 +3018,8 @@ static AggValueSlot createPlaceholderSlo<br>
> Ty.getQualifiers(),<br>
> AggValueSlot::IsNotDestructed,<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased);<br>
> + AggValueSlot::IsNotAliased,<br>
> + AggValueSlot::DoesNotOverlap);<br>
> }<br>
><br>
> void CodeGenFunction::EmitDelegateCallArg(CallArgList &args, @@ -3486,7<br>
> +3487,8 @@ RValue CallArg::getRValue(CodeGenFunctio<br>
> if (!HasLV)<br>
> return RV;<br>
> LValue Copy = CGF.MakeAddrLValue(CGF.CreateMemTemp(Ty), Ty);<br>
> - CGF.EmitAggregateCopy(Copy, LV, Ty, LV.isVolatile());<br>
> + CGF.EmitAggregateCopy(Copy, LV, Ty, AggValueSlot::DoesNotOverlap,<br>
> + LV.isVolatile());<br>
> IsUsed = true;<br>
> return RValue::getAggregate(Copy.getAddress());<br>
> }<br>
> @@ -3500,7 +3502,8 @@ void CallArg::copyInto(CodeGenFunction &<br>
> else {<br>
> auto Addr = HasLV ? LV.getAddress() : RV.getAggregateAddress();<br>
> LValue SrcLV = CGF.MakeAddrLValue(Addr, Ty);<br>
> - CGF.EmitAggregateCopy(Dst, SrcLV, Ty,<br>
> + // We assume that call args are never copied into subobjects.<br>
> + CGF.EmitAggregateCopy(Dst, SrcLV, Ty, AggValueSlot::DoesNotOverlap,<br>
> HasLV ? LV.isVolatileQualified()<br>
> : RV.isVolatileQualified());<br>
> }<br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CGClass.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CGClass.cpp?rev=329342&r1=329341&r2=329342&view=<br>
> diff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CGClass.cpp (original)<br>
> +++ cfe/trunk/lib/CodeGen/CGClass.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -555,10 +555,12 @@ static void EmitBaseInitializer(CodeGenF<br>
> BaseClassDecl,<br>
> isBaseVirtual);<br>
> AggValueSlot AggSlot =<br>
> - AggValueSlot::forAddr(V, Qualifiers(),<br>
> - AggValueSlot::IsDestructed,<br>
> - AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased);<br>
> + AggValueSlot::forAddr(<br>
> + V, Qualifiers(),<br>
> + AggValueSlot::IsDestructed,<br>
> + AggValueSlot::DoesNotNeedGCBarriers,<br>
> + AggValueSlot::IsNotAliased,<br>
> + CGF.overlapForBaseInit(ClassDecl, BaseClassDecl,<br>
> + isBaseVirtual));<br>
><br>
> CGF.EmitAggExpr(BaseInit->getInit(), AggSlot);<br>
><br>
> @@ -647,7 +649,8 @@ static void EmitMemberInitializer(CodeGe<br>
> LValue Src = CGF.EmitLValueForFieldInitialization(ThisRHSLV, Field);<br>
><br>
> // Copy the aggregate.<br>
> - CGF.EmitAggregateCopy(LHS, Src, FieldType, LHS.isVolatileQualified());<br>
> + CGF.EmitAggregateCopy(LHS, Src, FieldType,<br>
> CGF.overlapForFieldInit(Field),<br>
> + LHS.isVolatileQualified());<br>
> // Ensure that we destroy the objects if an exception is thrown later<br>
> in<br>
> // the constructor.<br>
> QualType::DestructionKind dtorKind = FieldType.isDestructedType(); @@ -<br>
> 677,10 +680,12 @@ void CodeGenFunction::EmitInitializerFor<br>
> break;<br>
> case TEK_Aggregate: {<br>
> AggValueSlot Slot =<br>
> - AggValueSlot::forLValue(LHS,<br>
> - AggValueSlot::IsDestructed,<br>
> - AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased);<br>
> + AggValueSlot::forLValue(<br>
> + LHS,<br>
> + AggValueSlot::IsDestructed,<br>
> + AggValueSlot::DoesNotNeedGCBarriers,<br>
> + AggValueSlot::IsNotAliased,<br>
> + overlapForFieldInit(Field));<br>
> EmitAggExpr(Init, Slot);<br>
> break;<br>
> }<br>
> @@ -911,15 +916,15 @@ namespace {<br>
> }<br>
><br>
> CharUnits getMemcpySize(uint64_t FirstByteOffset) const {<br>
> + ASTContext &Ctx = CGF.getContext();<br>
> unsigned LastFieldSize =<br>
> - LastField->isBitField() ?<br>
> - LastField->getBitWidthValue(CGF.getContext()) :<br>
> - CGF.getContext().getTypeSize(LastField->getType());<br>
> - uint64_t MemcpySizeBits =<br>
> - LastFieldOffset + LastFieldSize - FirstByteOffset +<br>
> - CGF.getContext().getCharWidth() - 1;<br>
> - CharUnits MemcpySize =<br>
> - CGF.getContext().toCharUnitsFromBits(MemcpySizeBits);<br>
> + LastField->isBitField()<br>
> + ? LastField->getBitWidthValue(Ctx)<br>
> + : Ctx.toBits(<br>
> + Ctx.getTypeInfoDataSizeInChars(LastField-<br>
> >getType()).first);<br>
> + uint64_t MemcpySizeBits = LastFieldOffset + LastFieldSize -<br>
> + FirstByteOffset + Ctx.getCharWidth() - 1;<br>
> + CharUnits MemcpySize = Ctx.toCharUnitsFromBits(MemcpySizeBits);<br>
> return MemcpySize;<br>
> }<br>
><br>
> @@ -1960,7 +1965,8 @@ void CodeGenFunction::EmitCXXAggrConstru<br>
> }<br>
><br>
> EmitCXXConstructorCall(ctor, Ctor_Complete, /*ForVirtualBase=*/false,<br>
> - /*Delegating=*/false, curAddr, E);<br>
> + /*Delegating=*/false, curAddr, E,<br>
> + AggValueSlot::DoesNotOverlap);<br>
> }<br>
><br>
> // Go to the next element.<br>
> @@ -1995,7 +2001,8 @@ void CodeGenFunction::EmitCXXConstructor<br>
> CXXCtorType Type,<br>
> bool ForVirtualBase,<br>
> bool Delegating, Address This,<br>
> - const CXXConstructExpr *E) {<br>
> + const CXXConstructExpr *E,<br>
> + AggValueSlot::Overlap_t<br>
> + Overlap) {<br>
> CallArgList Args;<br>
><br>
> // Push the this ptr.<br>
> @@ -2011,7 +2018,7 @@ void CodeGenFunction::EmitCXXConstructor<br>
> LValue Src = EmitLValue(Arg);<br>
> QualType DestTy = getContext().getTypeDeclType(D->getParent());<br>
> LValue Dest = MakeAddrLValue(This, DestTy);<br>
> - EmitAggregateCopyCtor(Dest, Src);<br>
> + EmitAggregateCopyCtor(Dest, Src, Overlap);<br>
> return;<br>
> }<br>
><br>
> @@ -2023,7 +2030,8 @@ void CodeGenFunction::EmitCXXConstructor<br>
> EmitCallArgs(Args, FPT, E->arguments(), E->getConstructor(),<br>
> /*ParamsToSkip*/ 0, Order);<br>
><br>
> - EmitCXXConstructorCall(D, Type, ForVirtualBase, Delegating, This, Args);<br>
> + EmitCXXConstructorCall(D, Type, ForVirtualBase, Delegating, This, Args,<br>
> + Overlap);<br>
> }<br>
><br>
> static bool canEmitDelegateCallArgs(CodeGenFunction &CGF, @@ -2055,7 +2063,8<br>
> @@ void CodeGenFunction::EmitCXXConstructor<br>
> bool ForVirtualBase,<br>
> bool Delegating,<br>
> Address This,<br>
> - CallArgList &Args) {<br>
> + CallArgList &Args,<br>
> + AggValueSlot::Overlap_t<br>
> + Overlap) {<br>
> const CXXRecordDecl *ClassDecl = D->getParent();<br>
><br>
> // C++11 [class.mfct.non-static]p2:<br>
> @@ -2082,7 +2091,7 @@ void CodeGenFunction::EmitCXXConstructor<br>
> LValue SrcLVal = MakeAddrLValue(Src, SrcTy);<br>
> QualType DestTy = getContext().getTypeDeclType(ClassDecl);<br>
> LValue DestLVal = MakeAddrLValue(This, DestTy);<br>
> - EmitAggregateCopyCtor(DestLVal, SrcLVal);<br>
> + EmitAggregateCopyCtor(DestLVal, SrcLVal, Overlap);<br>
> return;<br>
> }<br>
><br>
> @@ -2171,7 +2180,7 @@ void CodeGenFunction::EmitInheritedCXXCo<br>
> }<br>
><br>
> EmitCXXConstructorCall(D, Ctor_Base, ForVirtualBase, /*Delegating*/false,<br>
> - This, Args);<br>
> + This, Args, AggValueSlot::MayOverlap);<br>
> }<br>
><br>
> void CodeGenFunction::EmitInlinedInheritingCXXConstructorCall(<br>
> @@ -2267,7 +2276,8 @@ CodeGenFunction::EmitSynthesizedCXXCopyC<br>
> EmitCallArgs(Args, FPT, drop_begin(E->arguments(), 1), E->getConstructor(),<br>
> /*ParamsToSkip*/ 1);<br>
><br>
> - EmitCXXConstructorCall(D, Ctor_Complete, false, false, This, Args);<br>
> + EmitCXXConstructorCall(D, Ctor_Complete, false, false, This, Args,<br>
> + AggValueSlot::MayOverlap);<br>
> }<br>
><br>
> void<br>
> @@ -2302,7 +2312,8 @@ CodeGenFunction::EmitDelegateCXXConstruc<br>
> }<br>
><br>
> EmitCXXConstructorCall(Ctor, CtorType, /*ForVirtualBase=*/false,<br>
> - /*Delegating=*/true, This, DelegateArgs);<br>
> + /*Delegating=*/true, This, DelegateArgs,<br>
> + AggValueSlot::MayOverlap);<br>
> }<br>
><br>
> namespace {<br>
> @@ -2333,7 +2344,8 @@ CodeGenFunction::EmitDelegatingCXXConstr<br>
> AggValueSlot::forAddr(ThisPtr, Qualifiers(),<br>
> AggValueSlot::IsDestructed,<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased);<br>
> + AggValueSlot::IsNotAliased,<br>
> + AggValueSlot::MayOverlap);<br>
><br>
> EmitAggExpr(Ctor->init_begin()[0]->getInit(), AggSlot);<br>
><br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CGDecl.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CGDecl.cpp?rev=329342&r1=329341&r2=329342&view=d<br>
> iff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CGDecl.cpp (original)<br>
> +++ cfe/trunk/lib/CodeGen/CGDecl.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -1416,17 +1416,17 @@ void CodeGenFunction::EmitAutoVarInit(co<br>
> }<br>
> }<br>
><br>
> -/// Emit an expression as an initializer for a variable at the given -///<br>
> location. The expression is not necessarily the normal -/// initializer for<br>
> the variable, and the address is not necessarily<br>
> +/// Emit an expression as an initializer for an object (variable,<br>
> +field, etc.) /// at the given location. The expression is not<br>
> +necessarily the normal /// initializer for the object, and the address<br>
> +is not necessarily<br>
> /// its normal location.<br>
> ///<br>
> /// \param init the initializing expression -/// \param var the variable to<br>
> act as if we're initializing<br>
> +/// \param D the object to act as if we're initializing<br>
> /// \param loc the address to initialize; its type is a pointer<br>
> -/// to the LLVM mapping of the variable's type<br>
> +/// to the LLVM mapping of the object's type<br>
> /// \param alignment the alignment of the address -/// \param capturedByInit<br>
> true if the variable is a __block variable<br>
> +/// \param capturedByInit true if \p D is a __block variable<br>
> /// whose address is potentially changed by the initializer<br>
> void CodeGenFunction::EmitExprAsInit(const Expr *init, const ValueDecl *D,<br>
> LValue lvalue, bool capturedByInit) { @@<br>
> -1454,11 +1454,17 @@ void CodeGenFunction::EmitExprAsInit(con<br>
> if (type->isAtomicType()) {<br>
> EmitAtomicInit(const_cast<Expr*>(init), lvalue);<br>
> } else {<br>
> + AggValueSlot::Overlap_t Overlap = AggValueSlot::MayOverlap;<br>
> + if (isa<VarDecl>(D))<br>
> + Overlap = AggValueSlot::DoesNotOverlap;<br>
> + else if (auto *FD = dyn_cast<FieldDecl>(D))<br>
> + Overlap = overlapForFieldInit(FD);<br>
> // TODO: how can we delay here if D is captured by its initializer?<br>
> EmitAggExpr(init, AggValueSlot::forLValue(lvalue,<br>
> AggValueSlot::IsDestructed,<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased));<br>
> + AggValueSlot::IsNotAliased,<br>
> + Overlap));<br>
> }<br>
> return;<br>
> }<br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CGDeclCXX.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CGDeclCXX.cpp?rev=329342&r1=329341&r2=329342&vie<br>
> w=diff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CGDeclCXX.cpp (original)<br>
> +++ cfe/trunk/lib/CodeGen/CGDeclCXX.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -53,7 +53,8 @@ static void EmitDeclInit(CodeGenFunction<br>
> case TEK_Aggregate:<br>
> CGF.EmitAggExpr(Init,<br>
> AggValueSlot::forLValue(lv,AggValueSlot::IsDestructed,<br>
><br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> -<br>
> AggValueSlot::IsNotAliased));<br>
> + AggValueSlot::IsNotAliased,<br>
> +<br>
> + AggValueSlot::DoesNotOverlap));<br>
> return;<br>
> }<br>
> llvm_unreachable("bad evaluation kind");<br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CGExpr.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CGExpr.cpp?rev=329342&r1=329341&r2=329342&view=d<br>
> iff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CGExpr.cpp (original)<br>
> +++ cfe/trunk/lib/CodeGen/CGExpr.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -214,7 +214,8 @@ void CodeGenFunction::EmitAnyExprToMem(c<br>
> EmitAggExpr(E, AggValueSlot::forAddr(Location, Quals,<br>
><br>
> AggValueSlot::IsDestructed_t(IsInit),<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> -<br>
> AggValueSlot::IsAliased_t(!IsInit)));<br>
> + AggValueSlot::IsAliased_t(!IsInit),<br>
> + AggValueSlot::MayOverlap));<br>
> return;<br>
> }<br>
><br>
> @@ -432,7 +433,8 @@ EmitMaterializeTemporaryExpr(const Mater<br>
> E->getType().getQualifiers(),<br>
> AggValueSlot::IsDestructed,<br>
><br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased));<br>
> + AggValueSlot::IsNotAliased,<br>
> +<br>
> + AggValueSlot::DoesNotOverlap));<br>
> break;<br>
> }<br>
> }<br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CGExprAgg.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CGExprAgg.cpp?rev=329342&r1=329341&r2=329342&vie<br>
> w=diff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CGExprAgg.cpp (original)<br>
> +++ cfe/trunk/lib/CodeGen/CGExprAgg.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -337,7 +337,8 @@ void AggExprEmitter::EmitFinalDestCopy(Q<br>
><br>
> AggValueSlot srcAgg =<br>
> AggValueSlot::forLValue(src, AggValueSlot::IsDestructed,<br>
> - needsGC(type), AggValueSlot::IsAliased);<br>
> + needsGC(type), AggValueSlot::IsAliased,<br>
> + AggValueSlot::MayOverlap);<br>
> EmitCopy(type, Dest, srcAgg);<br>
> }<br>
><br>
> @@ -348,7 +349,7 @@ void AggExprEmitter::EmitFinalDestCopy(Q<br>
> void AggExprEmitter::EmitCopy(QualType type, const AggValueSlot &dest,<br>
> const AggValueSlot &src) {<br>
> if (dest.requiresGCollection()) {<br>
> - CharUnits sz = CGF.getContext().getTypeSizeInChars(type);<br>
> + CharUnits sz = dest.getPreferredSize(CGF.getContext(), type);<br>
> llvm::Value *size = llvm::ConstantInt::get(CGF.SizeTy, sz.getQuantity());<br>
> CGF.CGM.getObjCRuntime().EmitGCMemmoveCollectable(CGF,<br>
> dest.getAddress(), @@ -<br>
> 362,7 +363,7 @@ void AggExprEmitter::EmitCopy(QualType t<br>
> // the two sides.<br>
> LValue DestLV = CGF.MakeAddrLValue(dest.getAddress(), type);<br>
> LValue SrcLV = CGF.MakeAddrLValue(src.getAddress(), type);<br>
> - CGF.EmitAggregateCopy(DestLV, SrcLV, type,<br>
> + CGF.EmitAggregateCopy(DestLV, SrcLV, type, dest.mayOverlap(),<br>
> dest.isVolatile() || src.isVolatile()); }<br>
><br>
> @@ -759,6 +760,7 @@ void AggExprEmitter::VisitCastExpr(CastE<br>
> valueDest.isExternallyDestructed(),<br>
> valueDest.requiresGCollection(),<br>
> valueDest.isPotentiallyAliased(),<br>
> + AggValueSlot::DoesNotOverlap,<br>
> AggValueSlot::IsZeroed);<br>
> }<br>
><br>
> @@ -986,7 +988,8 @@ void AggExprEmitter::VisitBinAssign(cons<br>
> EmitCopy(E->getLHS()->getType(),<br>
> AggValueSlot::forLValue(LHS, AggValueSlot::IsDestructed,<br>
> needsGC(E->getLHS()->getType()),<br>
> - AggValueSlot::IsAliased),<br>
> + AggValueSlot::IsAliased,<br>
> + AggValueSlot::MayOverlap),<br>
> Dest);<br>
> return;<br>
> }<br>
> @@ -1007,7 +1010,8 @@ void AggExprEmitter::VisitBinAssign(cons<br>
> AggValueSlot LHSSlot =<br>
> AggValueSlot::forLValue(LHS, AggValueSlot::IsDestructed,<br>
> needsGC(E->getLHS()->getType()),<br>
> - AggValueSlot::IsAliased);<br>
> + AggValueSlot::IsAliased,<br>
> + AggValueSlot::MayOverlap);<br>
> // A non-volatile aggregate destination might have volatile member.<br>
> if (!LHSSlot.isVolatile() &&<br>
> CGF.hasVolatileMember(E->getLHS()->getType()))<br>
> @@ -1185,6 +1189,7 @@ AggExprEmitter::EmitInitializationToLVal<br>
> AggValueSlot::IsDestructed,<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> AggValueSlot::IsNotAliased,<br>
> +<br>
> + AggValueSlot::MayOverlap,<br>
> Dest.isZeroed()));<br>
> return;<br>
> case TEK_Scalar:<br>
> @@ -1283,11 +1288,12 @@ void AggExprEmitter::VisitInitListExpr(I<br>
> Address V = CGF.GetAddressOfDirectBaseInCompleteClass(<br>
> Dest.getAddress(), CXXRD, BaseRD,<br>
> /*isBaseVirtual*/ false);<br>
> - AggValueSlot AggSlot =<br>
> - AggValueSlot::forAddr(V, Qualifiers(),<br>
> - AggValueSlot::IsDestructed,<br>
> - AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased);<br>
> + AggValueSlot AggSlot = AggValueSlot::forAddr(<br>
> + V, Qualifiers(),<br>
> + AggValueSlot::IsDestructed,<br>
> + AggValueSlot::DoesNotNeedGCBarriers,<br>
> + AggValueSlot::IsNotAliased,<br>
> + CGF.overlapForBaseInit(CXXRD, BaseRD, Base.isVirtual()));<br>
> CGF.EmitAggExpr(E->getInit(curInitIndex++), AggSlot);<br>
><br>
> if (QualType::DestructionKind dtorKind = @@ -1468,7 +1474,9 @@ void<br>
> AggExprEmitter::VisitArrayInitLoopE<br>
> // If the subexpression is an ArrayInitLoopExpr, share its cleanup.<br>
> auto elementSlot = AggValueSlot::forLValue(<br>
> elementLV, AggValueSlot::IsDestructed,<br>
> - AggValueSlot::DoesNotNeedGCBarriers, AggValueSlot::IsNotAliased);<br>
> + AggValueSlot::DoesNotNeedGCBarriers,<br>
> + AggValueSlot::IsNotAliased,<br>
> + AggValueSlot::DoesNotOverlap);<br>
> AggExprEmitter(CGF, elementSlot, false)<br>
> .VisitArrayInitLoopExpr(InnerLoop, outerBegin);<br>
> } else<br>
> @@ -1584,7 +1592,7 @@ static void CheckAggExprForMemSetUse(Agg<br>
> }<br>
><br>
> // If the type is 16-bytes or smaller, prefer individual stores over<br>
> memset.<br>
> - CharUnits Size = CGF.getContext().getTypeSizeInChars(E->getType());<br>
> + CharUnits Size = Slot.getPreferredSize(CGF.getContext(),<br>
> + E->getType());<br>
> if (Size <= CharUnits::fromQuantity(16))<br>
> return;<br>
><br>
> @@ -1630,13 +1638,37 @@ LValue CodeGenFunction::EmitAggExprToLVa<br>
> LValue LV = MakeAddrLValue(Temp, E->getType());<br>
> EmitAggExpr(E, AggValueSlot::forLValue(LV, AggValueSlot::IsNotDestructed,<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased));<br>
> + AggValueSlot::IsNotAliased,<br>
> +<br>
> + AggValueSlot::DoesNotOverlap));<br>
> return LV;<br>
> }<br>
><br>
> -void CodeGenFunction::EmitAggregateCopy(LValue Dest, LValue Src,<br>
> - QualType Ty, bool isVolatile,<br>
> - bool isAssignment) {<br>
> +AggValueSlot::Overlap_t CodeGenFunction::overlapForBaseInit(<br>
> + const CXXRecordDecl *RD, const CXXRecordDecl *BaseRD, bool<br>
> +IsVirtual) {<br>
> + // Virtual bases are initialized first, in address order, so there's<br>
> +never<br>
> + // any overlap during their initialization.<br>
> + //<br>
> + // FIXME: Under P0840, this is no longer true: the tail padding of a<br>
> +vbase<br>
> + // of a field could be reused by a vbase of a containing class.<br>
> + if (IsVirtual)<br>
> + return AggValueSlot::DoesNotOverlap;<br>
> +<br>
> + // If the base class is laid out entirely within the nvsize of the<br>
> + derived // class, its tail padding cannot yet be initialized, so we<br>
> + can issue // stores at the full width of the base class.<br>
> + const ASTRecordLayout &Layout = getContext().getASTRecordLayout(RD);<br>
> + if (Layout.getBaseClassOffset(BaseRD) +<br>
> + getContext().getASTRecordLayout(BaseRD).getSize() <=<br>
> + Layout.getNonVirtualSize())<br>
> + return AggValueSlot::DoesNotOverlap;<br>
> +<br>
> + // The tail padding may contain values we need to preserve.<br>
> + return AggValueSlot::MayOverlap;<br>
> +}<br>
> +<br>
> +void CodeGenFunction::EmitAggregateCopy(LValue Dest, LValue Src, QualType Ty,<br>
> + AggValueSlot::Overlap_t MayOverlap,<br>
> + bool isVolatile) {<br>
> assert(!Ty->isAnyComplexType() && "Shouldn't happen for complex");<br>
><br>
> Address DestPtr = Dest.getAddress();<br>
> @@ -1669,12 +1701,11 @@ void CodeGenFunction::EmitAggregateCopy(<br>
> // implementation handles this case safely. If there is a libc that does<br>
> not<br>
> // safely handle this, we can add a target hook.<br>
><br>
> - // Get data size info for this aggregate. If this is an assignment,<br>
> - // don't copy the tail padding, because we might be assigning into a<br>
> - // base subobject where the tail padding is claimed. Otherwise,<br>
> - // copying it is fine.<br>
> + // Get data size info for this aggregate. Don't copy the tail padding<br>
> + if this // might be a potentially-overlapping subobject, since the<br>
> + tail padding might // be occupied by a different object. Otherwise, copying<br>
> it is fine.<br>
> std::pair<CharUnits, CharUnits> TypeInfo;<br>
> - if (isAssignment)<br>
> + if (MayOverlap)<br>
> TypeInfo = getContext().getTypeInfoDataSizeInChars(Ty);<br>
> else<br>
> TypeInfo = getContext().getTypeInfoInChars(Ty);<br>
> @@ -1686,22 +1717,11 @@ void CodeGenFunction::EmitAggregateCopy(<br>
> getContext().getAsArrayType(Ty))) {<br>
> QualType BaseEltTy;<br>
> SizeVal = emitArrayLength(VAT, BaseEltTy, DestPtr);<br>
> - TypeInfo = getContext().getTypeInfoDataSizeInChars(BaseEltTy);<br>
> - std::pair<CharUnits, CharUnits> LastElementTypeInfo;<br>
> - if (!isAssignment)<br>
> - LastElementTypeInfo = getContext().getTypeInfoInChars(BaseEltTy);<br>
> + TypeInfo = getContext().getTypeInfoInChars(BaseEltTy);<br>
> assert(!TypeInfo.first.isZero());<br>
> SizeVal = Builder.CreateNUWMul(<br>
> SizeVal,<br>
> llvm::ConstantInt::get(SizeTy, TypeInfo.first.getQuantity()));<br>
> - if (!isAssignment) {<br>
> - SizeVal = Builder.CreateNUWSub(<br>
> - SizeVal,<br>
> - llvm::ConstantInt::get(SizeTy, TypeInfo.first.getQuantity()));<br>
> - SizeVal = Builder.CreateNUWAdd(<br>
> - SizeVal, llvm::ConstantInt::get(<br>
> - SizeTy, LastElementTypeInfo.first.getQuantity()));<br>
> - }<br>
> }<br>
> }<br>
> if (!SizeVal) {<br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CGExprCXX.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CGExprCXX.cpp?rev=329342&r1=329341&r2=329342&vie<br>
> w=diff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CGExprCXX.cpp (original)<br>
> +++ cfe/trunk/lib/CodeGen/CGExprCXX.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -279,7 +279,10 @@ RValue CodeGenFunction::EmitCXXMemberOrO<br>
> const Expr *Arg = *CE->arg_begin();<br>
> LValue RHS = EmitLValue(Arg);<br>
> LValue Dest = MakeAddrLValue(This.getAddress(), Arg->getType());<br>
> - EmitAggregateCopy(Dest, RHS, Arg->getType());<br>
> + // This is the MSVC p->Ctor::Ctor(...) extension. We assume that's<br>
> + // constructing a new complete object of type Ctor.<br>
> + EmitAggregateCopy(Dest, RHS, Arg->getType(),<br>
> + AggValueSlot::DoesNotOverlap);<br>
> return RValue::get(This.getPointer());<br>
> }<br>
> llvm_unreachable("unknown trivial member function"); @@ -631,7 +634,7<br>
> @@ CodeGenFunction::EmitCXXConstructExpr(co<br>
><br>
> // Call the constructor.<br>
> EmitCXXConstructorCall(CD, Type, ForVirtualBase, Delegating,<br>
> - Dest.getAddress(), E);<br>
> + Dest.getAddress(), E, Dest.mayOverlap());<br>
> }<br>
> }<br>
><br>
> @@ -933,7 +936,8 @@ static llvm::Value *EmitCXXNewAllocSize( }<br>
><br>
> static void StoreAnyExprIntoOneUnit(CodeGenFunction &CGF, const Expr *Init,<br>
> - QualType AllocType, Address NewPtr) {<br>
> + QualType AllocType, Address NewPtr,<br>
> + AggValueSlot::Overlap_t MayOverlap)<br>
> + {<br>
> // FIXME: Refactor with EmitExprAsInit.<br>
> switch (CGF.getEvaluationKind(AllocType)) {<br>
> case TEK_Scalar:<br>
> @@ -949,7 +953,8 @@ static void StoreAnyExprIntoOneUnit(Code<br>
> = AggValueSlot::forAddr(NewPtr, AllocType.getQualifiers(),<br>
> AggValueSlot::IsDestructed,<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased);<br>
> + AggValueSlot::IsNotAliased,<br>
> + MayOverlap);<br>
> CGF.EmitAggExpr(Init, Slot);<br>
> return;<br>
> }<br>
> @@ -1018,7 +1023,8 @@ void CodeGenFunction::EmitNewArrayInitia<br>
> AggValueSlot::forAddr(CurPtr, ElementType.getQualifiers(),<br>
> AggValueSlot::IsDestructed,<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased);<br>
> + AggValueSlot::IsNotAliased,<br>
> + AggValueSlot::DoesNotOverlap);<br>
> EmitAggExpr(ILE->getInit(0), Slot);<br>
><br>
> // Move past these elements.<br>
> @@ -1083,7 +1089,8 @@ void CodeGenFunction::EmitNewArrayInitia<br>
> // an array, and we have an array filler, we can fold together the two<br>
> // initialization loops.<br>
> StoreAnyExprIntoOneUnit(*this, ILE->getInit(i),<br>
> - ILE->getInit(i)->getType(), CurPtr);<br>
> + ILE->getInit(i)->getType(), CurPtr,<br>
> + AggValueSlot::DoesNotOverlap);<br>
> CurPtr = Address(Builder.CreateInBoundsGEP(CurPtr.getPointer(),<br>
> Builder.getSize(1),<br>
> "array.exp.next"), @@ -<br>
> 1236,7 +1243,8 @@ void CodeGenFunction::EmitNewArrayInitia<br>
> }<br>
><br>
> // Emit the initializer into this element.<br>
> - StoreAnyExprIntoOneUnit(*this, Init, Init->getType(), CurPtr);<br>
> + StoreAnyExprIntoOneUnit(*this, Init, Init->getType(), CurPtr,<br>
> + AggValueSlot::DoesNotOverlap);<br>
><br>
> // Leave the Cleanup if we entered one.<br>
> if (CleanupDominator) {<br>
> @@ -1267,7 +1275,8 @@ static void EmitNewInitializer(CodeGenFu<br>
> CGF.EmitNewArrayInitializer(E, ElementType, ElementTy, NewPtr,<br>
> NumElements,<br>
> AllocSizeWithoutCookie);<br>
> else if (const Expr *Init = E->getInitializer())<br>
> - StoreAnyExprIntoOneUnit(CGF, Init, E->getAllocatedType(), NewPtr);<br>
> + StoreAnyExprIntoOneUnit(CGF, Init, E->getAllocatedType(), NewPtr,<br>
> + AggValueSlot::DoesNotOverlap);<br>
> }<br>
><br>
> /// Emit a call to an operator new or operator delete function, as implicitly<br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CGObjC.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CGObjC.cpp?rev=329342&r1=329341&r2=329342&view=d<br>
> iff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CGObjC.cpp (original)<br>
> +++ cfe/trunk/lib/CodeGen/CGObjC.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -1013,8 +1013,9 @@ CodeGenFunction::generateObjCGetterBody(<br>
> // that's not necessarily the same as "on the stack", so<br>
> // we still potentially need objc_memmove_collectable.<br>
> EmitAggregateCopy(/* Dest= */ MakeAddrLValue(ReturnValue, ivarType),<br>
> - /* Src= */ LV, ivarType);<br>
> - return; }<br>
> + /* Src= */ LV, ivarType, overlapForReturnValue());<br>
> + return;<br>
> + }<br>
> case TEK_Scalar: {<br>
> llvm::Value *value;<br>
> if (propType->isReferenceType()) { @@ -1439,7 +1440,8 @@ void<br>
> CodeGenFunction::GenerateObjCCtorDt<br>
> EmitAggExpr(IvarInit->getInit(),<br>
> AggValueSlot::forLValue(LV, AggValueSlot::IsDestructed,<br>
><br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased));<br>
> + AggValueSlot::IsNotAliased,<br>
> +<br>
> + AggValueSlot::DoesNotOverlap));<br>
> }<br>
> // constructor returns 'self'.<br>
> CodeGenTypes &Types = CGM.getTypes(); @@ -3381,7 +3383,8 @@<br>
> CodeGenFunction::GenerateObjCAtomicGette<br>
> Qualifiers(),<br>
> AggValueSlot::IsDestructed,<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased));<br>
> + AggValueSlot::IsNotAliased,<br>
> + AggValueSlot::DoesNotOverlap));<br>
><br>
> FinishFunction();<br>
> HelperFn = llvm::ConstantExpr::getBitCast(Fn, VoidPtrTy);<br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CGOpenMPRuntime.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CGOpenMPRuntime.cpp?rev=329342&r1=329341&r2=3293<br>
> 42&view=diff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CGOpenMPRuntime.cpp (original)<br>
> +++ cfe/trunk/lib/CodeGen/CGOpenMPRuntime.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -4793,7 +4793,7 @@ CGOpenMPRuntime::emitTaskInit(CodeGenFun<br>
> CGF.getNaturalTypeAlignment(SharedsTy));<br>
> LValue Dest = CGF.MakeAddrLValue(KmpTaskSharedsPtr, SharedsTy);<br>
> LValue Src = CGF.MakeAddrLValue(Shareds, SharedsTy);<br>
> - CGF.EmitAggregateCopy(Dest, Src, SharedsTy);<br>
> + CGF.EmitAggregateCopy(Dest, Src, SharedsTy,<br>
> + AggValueSlot::DoesNotOverlap);<br>
> }<br>
> // Emit initial values for private copies (if any).<br>
> TaskResultTy Result;<br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CGStmt.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CGStmt.cpp?rev=329342&r1=329341&r2=329342&view=d<br>
> iff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CGStmt.cpp (original)<br>
> +++ cfe/trunk/lib/CodeGen/CGStmt.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -1007,7 +1007,7 @@ void CodeGenFunction::EmitReturnOfRValue<br>
> } else if (RV.isAggregate()) {<br>
> LValue Dest = MakeAddrLValue(ReturnValue, Ty);<br>
> LValue Src = MakeAddrLValue(RV.getAggregateAddress(), Ty);<br>
> - EmitAggregateCopy(Dest, Src, Ty);<br>
> + EmitAggregateCopy(Dest, Src, Ty, overlapForReturnValue());<br>
> } else {<br>
> EmitStoreOfComplex(RV.getComplexVal(), MakeAddrLValue(ReturnValue, Ty),<br>
> /*init*/ true);<br>
> @@ -1085,11 +1085,12 @@ void CodeGenFunction::EmitReturnStmt(con<br>
> /*isInit*/ true);<br>
> break;<br>
> case TEK_Aggregate:<br>
> - EmitAggExpr(RV, AggValueSlot::forAddr(ReturnValue,<br>
> - Qualifiers(),<br>
> - AggValueSlot::IsDestructed,<br>
> -<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased));<br>
> + EmitAggExpr(RV, AggValueSlot::forAddr(<br>
> + ReturnValue, Qualifiers(),<br>
> + AggValueSlot::IsDestructed,<br>
> + AggValueSlot::DoesNotNeedGCBarriers,<br>
> + AggValueSlot::IsNotAliased,<br>
> + overlapForReturnValue()));<br>
> break;<br>
> }<br>
> }<br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CGValue.h<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CGValue.h?rev=329342&r1=329341&r2=329342&view=di<br>
> ff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CGValue.h (original)<br>
> +++ cfe/trunk/lib/CodeGen/CGValue.h Thu Apr 5 13:52:58 2018<br>
> @@ -472,17 +472,25 @@ class AggValueSlot {<br>
> /// evaluating an expression which constructs such an object.<br>
> bool AliasedFlag : 1;<br>
><br>
> + /// This is set to true if the tail padding of this slot might<br>
> + overlap /// another object that may have already been initialized<br>
> + (and whose /// value must be preserved by this initialization). If<br>
> + so, we may only /// store up to the dsize of the type. Otherwise we<br>
> + can widen stores to /// the size of the type.<br>
> + bool OverlapFlag : 1;<br>
> +<br>
> public:<br>
> enum IsAliased_t { IsNotAliased, IsAliased };<br>
> enum IsDestructed_t { IsNotDestructed, IsDestructed };<br>
> enum IsZeroed_t { IsNotZeroed, IsZeroed };<br>
> + enum Overlap_t { DoesNotOverlap, MayOverlap };<br>
> enum NeedsGCBarriers_t { DoesNotNeedGCBarriers, NeedsGCBarriers };<br>
><br>
> /// ignored - Returns an aggregate value slot indicating that the<br>
> /// aggregate value is being ignored.<br>
> static AggValueSlot ignored() {<br>
> return forAddr(Address::invalid(), Qualifiers(), IsNotDestructed,<br>
> - DoesNotNeedGCBarriers, IsNotAliased);<br>
> + DoesNotNeedGCBarriers, IsNotAliased,<br>
> + DoesNotOverlap);<br>
> }<br>
><br>
> /// forAddr - Make a slot for an aggregate value.<br>
> @@ -500,6 +508,7 @@ public:<br>
> IsDestructed_t isDestructed,<br>
> NeedsGCBarriers_t needsGC,<br>
> IsAliased_t isAliased,<br>
> + Overlap_t mayOverlap,<br>
> IsZeroed_t isZeroed = IsNotZeroed) {<br>
> AggValueSlot AV;<br>
> if (addr.isValid()) {<br>
> @@ -514,6 +523,7 @@ public:<br>
> AV.ObjCGCFlag = needsGC;<br>
> AV.ZeroedFlag = isZeroed;<br>
> AV.AliasedFlag = isAliased;<br>
> + AV.OverlapFlag = mayOverlap;<br>
> return AV;<br>
> }<br>
><br>
> @@ -521,9 +531,10 @@ public:<br>
> IsDestructed_t isDestructed,<br>
> NeedsGCBarriers_t needsGC,<br>
> IsAliased_t isAliased,<br>
> + Overlap_t mayOverlap,<br>
> IsZeroed_t isZeroed = IsNotZeroed) {<br>
> - return forAddr(LV.getAddress(),<br>
> - LV.getQuals(), isDestructed, needsGC, isAliased,<br>
> isZeroed);<br>
> + return forAddr(LV.getAddress(), LV.getQuals(), isDestructed, needsGC,<br>
> + isAliased, mayOverlap, isZeroed);<br>
> }<br>
><br>
> IsDestructed_t isExternallyDestructed() const { @@ -571,6 +582,10 @@<br>
> public:<br>
> return IsAliased_t(AliasedFlag);<br>
> }<br>
><br>
> + Overlap_t mayOverlap() const {<br>
> + return Overlap_t(OverlapFlag);<br>
> + }<br>
> +<br>
> RValue asRValue() const {<br>
> if (isIgnored()) {<br>
> return RValue::getIgnored();<br>
> @@ -583,6 +598,14 @@ public:<br>
> IsZeroed_t isZeroed() const {<br>
> return IsZeroed_t(ZeroedFlag);<br>
> }<br>
> +<br>
> + /// Get the preferred size to use when storing a value to this slot.<br>
> + This /// is the type size unless that might overlap another object,<br>
> + in which /// case it's the dsize.<br>
> + CharUnits getPreferredSize(ASTContext &Ctx, QualType Type) const {<br>
> + return mayOverlap() ? Ctx.getTypeInfoDataSizeInChars(Type).first<br>
> + : Ctx.getTypeSizeInChars(Type); }<br>
> };<br>
><br>
> } // end namespace CodeGen<br>
><br>
> Modified: cfe/trunk/lib/CodeGen/CodeGenFunction.h<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/CodeGenFunction.h?rev=329342&r1=329341&r2=329342<br>
> &view=diff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/CodeGenFunction.h (original)<br>
> +++ cfe/trunk/lib/CodeGen/CodeGenFunction.h Thu Apr 5 13:52:58 2018<br>
> @@ -2061,7 +2061,8 @@ public:<br>
> T.getQualifiers(),<br>
> AggValueSlot::IsNotDestructed,<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased);<br>
> + AggValueSlot::IsNotAliased,<br>
> + AggValueSlot::DoesNotOverlap);<br>
> }<br>
><br>
> /// Emit a cast to void* in the appropriate address space.<br>
> @@ -2118,28 +2119,52 @@ public:<br>
> }<br>
> return false;<br>
> }<br>
> - /// EmitAggregateCopy - Emit an aggregate assignment.<br>
> - ///<br>
> - /// The difference to EmitAggregateCopy is that tail padding is not copied.<br>
> - /// This is required for correctness when assigning non-POD structures in<br>
> C++.<br>
> +<br>
> + /// Determine whether a return value slot may overlap some other object.<br>
> + AggValueSlot::Overlap_t overlapForReturnValue() {<br>
> + // FIXME: Assuming no overlap here breaks guaranteed copy elision for<br>
> base<br>
> + // class subobjects. These cases may need to be revisited depending on<br>
> the<br>
> + // resolution of the relevant core issue.<br>
> + return AggValueSlot::DoesNotOverlap; }<br>
> +<br>
> + /// Determine whether a field initialization may overlap some other object.<br>
> + AggValueSlot::Overlap_t overlapForFieldInit(const FieldDecl *FD) {<br>
> + // FIXME: These cases can result in overlap as a result of P0840R0's<br>
> + // [[no_unique_address]] attribute. We can still infer NoOverlap in the<br>
> + // presence of that attribute if the field is within the nvsize of its<br>
> + // containing class, because non-virtual subobjects are initialized in<br>
> + // address order.<br>
> + return AggValueSlot::DoesNotOverlap; }<br>
> +<br>
> + /// Determine whether a base class initialization may overlap some<br>
> + other /// object.<br>
> + AggValueSlot::Overlap_t overlapForBaseInit(const CXXRecordDecl *RD,<br>
> + const CXXRecordDecl *BaseRD,<br>
> + bool IsVirtual);<br>
> +<br>
> + /// Emit an aggregate assignment.<br>
> void EmitAggregateAssign(LValue Dest, LValue Src, QualType EltTy) {<br>
> bool IsVolatile = hasVolatileMember(EltTy);<br>
> - EmitAggregateCopy(Dest, Src, EltTy, IsVolatile, /* isAssignment= */<br>
> true);<br>
> + EmitAggregateCopy(Dest, Src, EltTy, AggValueSlot::MayOverlap,<br>
> + IsVolatile);<br>
> }<br>
><br>
> - void EmitAggregateCopyCtor(LValue Dest, LValue Src) {<br>
> - EmitAggregateCopy(Dest, Src, Src.getType(),<br>
> - /* IsVolatile= */ false, /* IsAssignment= */ false);<br>
> + void EmitAggregateCopyCtor(LValue Dest, LValue Src,<br>
> + AggValueSlot::Overlap_t MayOverlap) {<br>
> + EmitAggregateCopy(Dest, Src, Src.getType(), MayOverlap);<br>
> }<br>
><br>
> /// EmitAggregateCopy - Emit an aggregate copy.<br>
> ///<br>
> - /// \param isVolatile - True iff either the source or the destination is<br>
> - /// volatile.<br>
> - /// \param isAssignment - If false, allow padding to be copied. This often<br>
> - /// yields more efficient.<br>
> + /// \param isVolatile \c true iff either the source or the destination is<br>
> + /// volatile.<br>
> + /// \param MayOverlap Whether the tail padding of the destination might be<br>
> + /// occupied by some other object. More efficient code can often be<br>
> + /// generated if not.<br>
> void EmitAggregateCopy(LValue Dest, LValue Src, QualType EltTy,<br>
> - bool isVolatile = false, bool isAssignment = false);<br>
> + AggValueSlot::Overlap_t MayOverlap,<br>
> + bool isVolatile = false);<br>
><br>
> /// GetAddrOfLocalVar - Return the address of a local variable.<br>
> Address GetAddrOfLocalVar(const VarDecl *VD) { @@ -2303,11 +2328,13 @@<br>
> public:<br>
><br>
> void EmitCXXConstructorCall(const CXXConstructorDecl *D, CXXCtorType Type,<br>
> bool ForVirtualBase, bool Delegating,<br>
> - Address This, const CXXConstructExpr *E);<br>
> + Address This, const CXXConstructExpr *E,<br>
> + AggValueSlot::Overlap_t Overlap);<br>
><br>
> void EmitCXXConstructorCall(const CXXConstructorDecl *D, CXXCtorType Type,<br>
> bool ForVirtualBase, bool Delegating,<br>
> - Address This, CallArgList &Args);<br>
> + Address This, CallArgList &Args,<br>
> + AggValueSlot::Overlap_t Overlap);<br>
><br>
> /// Emit assumption load for all bases. Requires to be be called only on<br>
> /// most-derived class and not under construction of the object.<br>
><br>
> Modified: cfe/trunk/lib/CodeGen/ItaniumCXXABI.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-" target="_blank">http://llvm.org/viewvc/llvm-</a><br>
> project/cfe/trunk/lib/CodeGen/ItaniumCXXABI.cpp?rev=329342&r1=329341&r2=329342<br>
> &view=diff<br>
> ==============================================================================<br>
> --- cfe/trunk/lib/CodeGen/ItaniumCXXABI.cpp (original)<br>
> +++ cfe/trunk/lib/CodeGen/ItaniumCXXABI.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -3896,7 +3896,7 @@ static void InitCatchParam(CodeGenFuncti<br>
> caughtExnAlignment);<br>
> LValue Dest = CGF.MakeAddrLValue(ParamAddr, CatchType);<br>
> LValue Src = CGF.MakeAddrLValue(adjustedExn, CatchType);<br>
> - CGF.EmitAggregateCopy(Dest, Src, CatchType);<br>
> + CGF.EmitAggregateCopy(Dest, Src, CatchType,<br>
> + AggValueSlot::DoesNotOverlap);<br>
> return;<br>
> }<br>
><br>
> @@ -3923,7 +3923,8 @@ static void InitCatchParam(CodeGenFuncti<br>
> AggValueSlot::forAddr(ParamAddr, Qualifiers(),<br>
> AggValueSlot::IsNotDestructed,<br>
> AggValueSlot::DoesNotNeedGCBarriers,<br>
> - AggValueSlot::IsNotAliased));<br>
> + AggValueSlot::IsNotAliased,<br>
> + AggValueSlot::DoesNotOverlap));<br>
><br>
> // Leave the terminate scope.<br>
> CGF.EHStack.popTerminate();<br>
><br>
> Added: cfe/trunk/test/CodeGenCXX/tail-padding.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGenCXX/tail-" target="_blank">
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGenCXX/tail-</a><br>
> padding.cpp?rev=329342&view=auto<br>
> ==============================================================================<br>
> --- cfe/trunk/test/CodeGenCXX/tail-padding.cpp (added)<br>
> +++ cfe/trunk/test/CodeGenCXX/tail-padding.cpp Thu Apr 5 13:52:58 2018<br>
> @@ -0,0 +1,34 @@<br>
> +// RUN: %clang_cc1 -triple %itanium_abi_triple -emit-llvm -o - %s |<br>
> +FileCheck %s<br>
> +<br>
> +// PR36992<br>
> +namespace Implicit {<br>
> + struct A { char c; A(const A&); };<br>
> + struct B { int n; char c[3]; ~B(); };<br>
> + struct C : B, virtual A {};<br>
> + static_assert(sizeof(C) == sizeof(void*) + 8);<br>
> + C f(C c) { return c; }<br>
> +<br>
> + // CHECK: define {{.*}} @_ZN8Implicit1CC1EOS0_<br>
> + // CHECK: call void @_ZN8Implicit1AC2ERKS0_(<br>
> + // Note: this must memcpy 7 bytes, not 8, to avoid trampling over the<br>
> virtual base class.<br>
> + // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8*<br>
> +{{.*}}, i64 7, i1 false)<br>
> + // CHECK: store i32 {{.*}} @_ZTVN8Implicit1CE }<br>
> +<br>
> +namespace InitWithinNVSize {<br>
> + // This is the same as the previous test, except that the A base lies<br>
> + // entirely within the nvsize of C. This makes it valid to copy at<br>
> +the<br>
> + // full width.<br>
> + struct A { char c; A(const A&); };<br>
> + struct B { int n; char c[3]; ~B(); };<br>
> + struct C : B, virtual A { char x; };<br>
> + static_assert(sizeof(C) > sizeof(void*) + 8);<br>
> + C f(C c) { return c; }<br>
> +<br>
> + // CHECK: define {{.*}} @_ZN16InitWithinNVSize1CC1EOS0_<br>
> + // CHECK: call void @_ZN16InitWithinNVSize1AC2ERKS0_(<br>
> + // This copies over the 'C::x' member, but that's OK because we've not<br>
> initialized it yet.<br>
> + // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8*<br>
> +{{.*}}, i64 8, i1 false)<br>
> + // CHECK: store i32 {{.*}} @_ZTVN16InitWithinNVSize1CE<br>
> + // CHECK: store i8<br>
> +}<br>
><br>
><br>
> _______________________________________________<br>
> cfe-commits mailing list<br>
> <a href="mailto:cfe-commits@lists.llvm.org" target="_blank">cfe-commits@lists.llvm.org</a><br>
> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits" target="_blank">
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits</a><br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@lists.llvm.org" target="_blank">cfe-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits</a><o:p></o:p></p>
</blockquote>
</div>
</div>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</div>
</div>
</body>
</html>