<div dir="auto"><div>Thanks, Jeroen.<div dir="auto"><br></div><div dir="auto">We would love to see your patches merged as soon as possible, so I was wondering: do you think the lack of bitcode support will prevent that from happening?</div><div dir="auto"><br></div><div dir="auto">Best,</div><div dir="auto">Alexey</div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun., Nov. 3, 2019, 5:15 p.m. Jeroen Dobbelaere, <<a href="mailto:Jeroen.Dobbelaere@synopsys.com">Jeroen.Dobbelaere@synopsys.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">





<div lang="EN-US" link="blue" vlink="purple">
<div class="m_-3646429248676759428WordSection1">
<p class="MsoNormal">Hi Alexey,<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Adding llvm-ir bitcode support means adding/adapting the tags for LOAD/STORE instructions and adding<u></u><u></u></p>
<p class="MsoNormal">the support for the noalias_sidechannel at the right places.<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">I had a short attempt to implement it when preparing the public patches, but I am not familiar with that<u></u><u></u></p>
<p class="MsoNormal">part of the llvm code. When I noticed that it would take a lot longer than anticipated, I postponed it.<u></u><u></u></p>
<p class="MsoNormal">Also because it is likely that the way how the noalias_sidechannel was added to LoadInst/StoreInst might<u></u><u></u></p>
<p class="MsoNormal">change.<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">At this moment, I am not planning to work on this. For the current implementation, there might be<u></u><u></u></p>
<p class="MsoNormal">a number of possibilities for adding support :<u></u><u></u></p>
<p class="MsoNormal">  - maybe 2 new tags are needed (FUNC_CODE_INST_{LOAD_NOALIAS,STORE_NOALIAS})<u></u><u></u></p>
<p class="MsoNormal">  - or maybe it is sufficient to add the noalias_sidechannels as extra operands and look at the number of<u></u><u></u></p>
<p class="MsoNormal">     operands to see if they are present or not<u></u><u></u></p>
<p class="MsoNormal">  - or maybe it is sufficient to look at the number of operands, and the noalias_sidechannel operand should<u></u><u></u></p>
<p class="MsoNormal">    be added with an extra bit, indicating if it is really there or not...<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Greetings,<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Jeroen Dobbelaere<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal"><u></u> <u></u></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 #e1e1e1 1.0pt;padding:3.0pt 0in 0in 0in">
<p class="MsoNormal"><b>From:</b> Alexey Zhikhartsev <<a href="mailto:alexey.zhikhar@gmail.com" target="_blank" rel="noreferrer">alexey.zhikhar@gmail.com</a>> <br>
<b>Sent:</b> Thursday, October 31, 2019 16:21<br>
<b>To:</b> Jeroen Dobbelaere <<a href="mailto:dobbel@synopsys.com" target="_blank" rel="noreferrer">dobbel@synopsys.com</a>><br>
<b>Cc:</b> <a href="mailto:llvm-dev@lists.llvm.org" target="_blank" rel="noreferrer">llvm-dev@lists.llvm.org</a><br>
<b>Subject:</b> Re: [llvm-dev] Full restrict support - status update<u></u><u></u></p>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal">Hi Jeroen,<u></u><u></u></p>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">Thank you very much for the great work, it is much appreciated.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">> - For now, there is still no llvm-ir bitcode support for the load/store noalias_sidechannel argument<span style="font-size:9.5pt;font-family:"Arial",sans-serif">.</span><u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">Do you have plans to work on this in the near future? Do you know how much work it is and if there are significant hurdles?<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">Thanks,<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">Alexey<u></u><u></u></p>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></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">[...]<u></u><u></u></p>
</blockquote>
</div>
</div>
</div>
</div>

</blockquote></div></div></div>