<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Sep 9, 2017 at 10:18 PM, Chris Lattner via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word"><br><div><span class="gmail-"><blockquote type="cite"><div>On Sep 7, 2017, at 11:06 PM, Chris Lovett via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:</div><br class="gmail-m_-1706221198718354305Apple-interchange-newline"><div><div dir="ltr">I'm running into some pretty bad performance in llc.exe when compiling some large neural networks into code that contains some very large llvm::<wbr>ConstantDataArrays, some are { size=102,760,448 }. There's a small about of actual code for processing the network, but the assembly is mostly global data.</div></div></blockquote><div><br></div></span><div>Yes, llvm’s representation of constant arrays is insanity for cases like this.  Your case is bad, but just imagine the cost of a large char[] initialization: even though each byte is stored as a ConstantInt, the bloat isn’t huge because they are uniqued.  The real problem comes from each entry in the ConstantArray being stored as an operand list.  An operand in the operand list consumes something like 3-4 words per operand to maintain the uselist and a bunch of other nonsense that isn’t right for this.</div><div><br></div><div>IMO, there is a relatively easy solution for this.  Introduce a new subclass of ConstantData which represents a blob of data that gets emitted to the .o file, stored in a reasonable native format.  I think it would be fine to limit this to only representing arrays of primitive types (e.g. array of float, array of bytes, etc) since this keeps the API to the type simple (the type models an array, so it should have array element members only), and things that want to get the elements of the array out can have them returned as ConstantInt’s (or whatever).  I’d name this something like “ConstantArrayBlob”.</div></div></div></blockquote><div><br></div><div><br></div><div><div>What's the relationship between ConstantDataArray and ConstantArray?</div><div><br></div><div>The former's doxygen says "An array constant whose element type is a simple 1/2/4/8-byte integer or float/double, and whose elements are just simple data values (i.e. ConstantInt/ConstantFP). This Constant node has no operands because it stores all of the elements of the constant as densely packed data, instead of as Value*'s." so I assumed that it was a dense representation and it seemed reasonable that an i8 typed one of them would basically operate as a "ConstantArrayBlob". (but I guess if MC still creates one fragment per element that will still be a memory hog regardless of the IR's representation)</div><div><br></div><div>-- Sean Silva</div></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word"><div><div><br></div><div>There are cases this wouldn’t cover well, e.g. an array of small structs, but I think that is ok, and it could be feature crept to support that over time.   The next trick is adding the corresponding special case to Clang to not generate the ConstantArray and the ConstantFP/Int members when given a candidate initialization.  This can be done as a secondary optimization after the basic mechanics are in place.</div><span class="gmail-HOEnZb"><font color="#888888"><div><br></div><div>-Chris</div><div> </div><br></font></span><blockquote type="cite"><div><span class="gmail-"><div dir="ltr"><div><br></div><div>I'm finding that llc.exe memory spikes up around 30 gigabytes and the job takes 20-30 minutes compiling from bitcode.  When I looked into it I found that every single floating point number is loaded into ConstantFP object where the float is parsed into exponent, mantissa and stored in an integer part is stored in a heap allocated array, then these are emitted into MCDataFragments where again more heap allocated data, the float appears to be stored in <span style="font-size:9.5pt;font-family:Consolas">SmallVectorImpl<</span><span style="font-size:9.5pt;font-family:Consolas;color:blue">char</span><span style="font-size:9.5pt;font-family:Consolas">>.  </span>On top of this I see a lot of <span style="font-family:Consolas;font-size:9.5pt">MCFillFragments </span>added because of long double padding.</div><div><br></div><div>All up the code I'm compiling ends up with 276 million MCFragments, which just take a super long time in each phase of compiling (loading from bitcode, emitting, layout and writing).  With a peak working set of 30 gigabytes each float is taking around 108 bytes!  </div><div><br></div><div>Is there a more efficient way to do this? Or is there any plan in the works to handle global data more efficiently in llc ?</div></div></span><span class="gmail-">
______________________________<wbr>_________________<br>LLVM Developers mailing list<br><a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br><a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-dev</a><br></span></div></blockquote></div><br></div><br>______________________________<wbr>_________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-dev</a><br>
<br></blockquote></div><br></div></div>