<div dir="ltr">Hi Eli, do you know what's the difference between "DataLayout::getTypeAllocSize()" and "llvm::ConstantExpr::getSizeOf()"</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jan 15, 2020 at 3:10 AM Eli Friedman <<a href="mailto:efriedma@quicinc.com">efriedma@quicinc.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">





<div lang="EN-US">
<div class="gmail-m_-134431680083988177WordSection1">
<p class="MsoNormal">I’d recommend just using DataLayout::getTypeAllocSize() directly to get the number you want.  (If you really want to fold your Constant to a ConstantInt, llvm::ConstantFoldConstant should work, but that’s a really convoluted way to do it.)<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">-Eli<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<div style="border-top:none;border-right:none;border-bottom:none;border-left:1.5pt solid blue;padding:0in 0in 0in 4pt">
<div>
<div style="border-right:none;border-bottom:none;border-left:none;border-top:1pt solid rgb(225,225,225);padding:3pt 0in 0in">
<p class="MsoNormal"><b>From:</b> llvm-dev <<a href="mailto:llvm-dev-bounces@lists.llvm.org" target="_blank">llvm-dev-bounces@lists.llvm.org</a>> <b>On Behalf Of
</b>Yafei Liu via llvm-dev<br>
<b>Sent:</b> Tuesday, January 14, 2020 1:52 AM<br>
<b>To:</b> llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>><br>
<b>Subject:</b> [EXT] [llvm-dev] sizeof implementation: how to get size as a constantInt?<u></u><u></u></p>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal">I'm implementing c style "sizeof()", and I did as <a href="http://nondot.org/sabre/LLVMNotes/SizeOf-OffsetOf-VariableSizedStructs.txt" target="_blank">http://nondot.org/sabre/LLVMNotes/SizeOf-OffsetOf-VariableSizedStructs.txt</a> illuarstrated, and it
 works find, here's an example of my implementation:<u></u><u></u></p>
<div>
<p class="MsoNormal">auto *p = builder.CreateGEP(structTy,<br>
                              llvm::ConstantPointerNull::get(pointerTy),<br>
                              constint1);<br>
<br>
  auto *size = builder.CreatePtrToInt(p, llvm::IntegerType::get(context, 64));<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">and type definitions:<u></u><u></u></p>
</div>
<div>
<div>
<p class="MsoNormal">auto *constint1 = llvm::ConstantInt::get(context, llvm::APInt(64, 1));<br>
auto *int64Ty = llvm::IntegerType::get(context, 64);<br>
auto *doubleTy = llvm::Type::getDoubleTy(context);<br>
auto *structTy = llvm::StructType::create(context, "Foo");<br>
structTy->setBody({int64Ty, doubleTy});<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">auto *pointerTy = llvm::PointerType::get(structTy, 0);<u></u><u></u></p>
</div>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">take care that the "size" is a "llvm::Value" type, not a "llvm::constantInt" type, this leads to a problem:  definitions like "int i[sizeof(Foo)]" will fail (please ignore that this definition makes no sense), because in my implementation,
 sizeof() should get the result on compile time, but the current implementation seems calculate at runtime( or at least an llvm::Value, not an llvm::ConstantInt)<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">and I noticed this in the tutorial:<u></u><u></u></p>
</div>
<div>
<pre style="white-space:pre-wrap"><span style="color:black">Note that in both of these cases, the expression will be evaluated to a<u></u><u></u></span></pre>
<pre><span style="color:black">constant at code generation time, so there is no runtime overhead to using this<u></u><u></u></span></pre>
<pre><span style="color:black">technique.<u></u><u></u></span></pre>
</div>
<div>
<p class="MsoNormal">But how can he cast an llvm::Value to llvm::ConstantInt?<u></u><u></u></p>
</div>
</div>
</div>
</div>
</div>

</blockquote></div>