<p class="MsoNormal" style="font-size:1rem;color:rgb(49,49,49);word-spacing:1px">Seems like it’s more complicated than just checking intrinsics/target features. Some intrinsics seem to require specific opt passes to lower.<u></u><u></u></p><p class="MsoNormal" style="color:rgb(49,49,49);word-spacing:1px"><u></u> <u></u></p><p class="MsoNormal" style="font-size:1rem;color:rgb(49,49,49);word-spacing:1px">For eg. <a href="https://llvm.org/docs/LangRef.html#matrix-intrinsics" target="_blank" style="font-size:1rem">https://llvm.org/docs/LangRef.html#matrix-intrinsics</a> : it doesn’t say anything in the doc but<u></u><u></u></p><p class="MsoNormal" style="font-size:1rem;color:rgb(49,49,49);word-spacing:1px">llc with no opt pass - <a href="https://godbolt.org/z/dWYddx" target="_blank" style="font-size:1rem">https://godbolt.org/z/dWYddx</a><u></u><u></u></p><p class="MsoNormal" style="font-size:1rem;color:rgb(49,49,49);word-spacing:1px">lowering with opt pass : <a href="https://godbolt.org/z/18n69T" target="_blank" style="font-size:1rem">https://godbolt.org/z/18n69T</a><u></u><u></u></p><p class="MsoNormal" style="color:rgb(49,49,49);word-spacing:1px"><u></u> <u></u></p><p class="MsoNormal" style="color:rgb(49,49,49);word-spacing:1px"><u></u> <u></u></p><div><span style="color:rgb(49,49,49);font-size:1rem;word-spacing:1px">That raises the question – is there any doc available with similar exceptions which require additional passes to be run for codegen? </span></div><div dir="auto"><br></div><div dir="auto">-Deepak</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">On Wed, Feb 24, 2021 at 12:34 PM Craig Topper <<a href="mailto:craig.topper@gmail.com" target="_blank">craig.topper@gmail.com</a>> wrote:<br></div><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div dir="ltr">The prefixes should work excerpt for all the subfeatures of avx512 where everything is just llvm.avx512.</div><div dir="ltr"><div><br clear="all"><div><div dir="ltr" data-smartmail="gmail_signature">~Craig</div></div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Feb 24, 2021 at 12:19 PM Deepak Rajendrakumaran <<a href="mailto:deepak3@vt.edu" target="_blank">deepak3@vt.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div dir="auto">Yeah...that’ll be tricky.</div><div dir="auto"><br></div><div dir="auto">Assuming intrinsic prefix denote target support needed, maybe I can handle that considering during runtime target to be compiled to is known.</div><div dir="auto"><br></div><div dir="auto">I.e., Lets use <a href="http://llvm.x86.sse41.round.as" target="_blank">llvm.x86.sse41.round.as</a> as an example. If the prefix llvm.x86.sse4 can be used to decide the supported target features for this intrinsics are x86 arch and sse4 vector support, maybe that’ll be enough. Ideally, I was hoping for some way to specify target features (say target cpu) and have the intrinsics filtered. But if it’s not available, this can be an alternate path.</div><div dir="auto"><br></div><div dir="auto">Regards,</div><div dir="auto">Derpak</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Feb 24, 2021 at 11:41 AM Craig Topper <<a href="mailto:craig.topper@gmail.com" target="_blank">craig.topper@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div dir="ltr"><div>That doesn't check for target features being enabled for target specific intrinsics. I believe Andy's suggestion will just check if the types are valid.</div></div><div dir="ltr"><br clear="all"><div><div dir="ltr">~Craig</div></div><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Feb 24, 2021 at 11:34 AM Deepak Rajendrakumaran <<a href="mailto:deepak3@vt.edu" target="_blank">deepak3@vt.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div dir="auto">Thank you! That looks like it should do the trick assuming it checks for both target specific and target independent intrinsics.</div><div dir="auto"><br></div><div dir="auto">Regards,</div><div dir="auto">Deepak</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Feb 24, 2021 at 11:29 AM Kaylor, Andrew <<a href="mailto:andrew.kaylor@intel.com" target="_blank">andrew.kaylor@intel.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)">
<div lang="EN-US">
<div>
<p class="MsoNormal">Does Intrinsic::getIntrinsicInfoTableEntries() + Intrinsic::matchIntrinsicSignature() do what you’re looking for?<u></u><u></u></p></div></div><div lang="EN-US"><div>
<p class="MsoNormal"><u></u> <u></u></p>
<div style="border-style:solid none none;border-top-width:1pt;padding:3pt 0in 0in;border-top-color:rgb(225,225,225)">
<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>Deepak Rajendrakumaran via llvm-dev<br>
<b>Sent:</b> Wednesday, February 24, 2021 11:27 AM<br>
<b>To:</b> Craig Topper <<a href="mailto:craig.topper@gmail.com" target="_blank">craig.topper@gmail.com</a>><br>
<b>Cc:</b> <a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<b>Subject:</b> Re: [llvm-dev] Query supported llvm intrinsic calls during runtime.<u></u><u></u></p>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal">Both. Target specific intrinsics especially are important but ideally I’d like to be able to query for both. The idea is to enable to directly call any available llvm intrinsic.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">Regards,<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">Deepak<u></u><u></u></p>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal">On Wed, Feb 24, 2021 at 11:17 AM Craig Topper <<a href="mailto:craig.topper@gmail.com" target="_blank">craig.topper@gmail.com</a>> wrote:<u></u><u></u></p>
</div>
<div>
<div>
<p class="MsoNormal">Are you asking about target independent intrinsics or target specific intrinsics?<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><br clear="all">
<u></u><u></u></p>
<div>
<div>
<p class="MsoNormal">~Craig<u></u><u></u></p>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<div>
<p class="MsoNormal">On Wed, Feb 24, 2021 at 11:15 AM Deepak Rajendrakumaran via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<u></u><u></u></p>
</div>
</div>
<div>
<blockquote style="border-style:none none none solid;border-left-width:1pt;padding:0in 0in 0in 6pt;margin-left:4.8pt;margin-right:0in;border-left-color:rgb(204,204,204)">
<p class="MsoNormal">Hello,<u></u><u></u></p>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">I have a frontend which creates LLVM IR and uses LLVM optimizations and codegen. Is there someway to query LLVM during runtime if a particular intrinsic is supported?<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">For example- during runtime user says call the following intrinsic - ‘llvm.foo(<8 x i64>)’. I’m looking for a way to verify that llvm.foo(<8 x i64>)’. is a valid llvm intrinsic before creating IR/inserting in IR.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">Regards,<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">Deepak<u></u><u></u></p>
</div>
</blockquote>
</div>
<p class="MsoNormal">_______________________________________________<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="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><u></u><u></u></p>
</div>
</div>
</blockquote></div></div>
</blockquote></div>
</blockquote></div></div>
</blockquote></div>
</blockquote></div></div>