[llvm-dev] Implement LLVM Intrinsics in C/LLVM IR

[div code via llvm-dev]

Thank you Ryan. Yes, I am aware of them. Just wondering whether there
exists a already implemented version of those intrinsics.

So basically I am analyzing a program of LLVM IR with a static analysis
tool. And since that tool cannot figure out the meaning of the intrinsics
(e.g., llvm.bswap.i256), I will need to "manually" add a function
implementation of such intrinsic and let it calls my function. Am I missed
something?

Best,

On Tue, Mar 26, 2019 at 2:07 PM Ryan Taylor <ryta1203 at gmail.com> wrote:

> Have you looked at these?
>
> https://llvm.org/docs/LangRef.html
>
> https://llvm.org/docs/ExtendingLLVM.html
>
> On Tue, Mar 26, 2019 at 9:06 AM div code via llvm-dev <
> llvm-dev at lists.llvm.org> wrote:
>
>> Of course, in this sense they are not platform-dependent. I just want to
>> write a semantics-correct version of such intrinsics and let my static
>> analyzer goes smoothly.
>>
>> On Tue, Mar 26, 2019 at 2:03 PM div code <divsubmission at gmail.com> wrote:
>>
>>> Hello,
>>>
>>> I am basically working on a static analysis project on LLVM IR, and the
>>> problem is that I will need to simulate the execution of a few LLVM
>>> Intrinsic, such as llvm.bswap.i160, and llvm.ctlz.i256.
>>>
>>> I am wondering if there has been some already implemented sample code,
>>> regarding these intrinsics? Either C or LLVM IR. Thanks a lot!
>>>
>>> Best,
>>>
>> _______________________________________________
>> LLVM Developers mailing list
>> llvm-dev at lists.llvm.org
>> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190326/cf18846a/attachment.html>