llvm dev - Mar 2019 - Implement LLVM Intrinsics in C/LLVM IR

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,
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20190326/4c44252b/attachment.html>

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,
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20190326/969829f8/attachment.html>

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/effa3272/attachment.html>