div code via llvm-dev
2019-Mar-26 13:03 UTC
[llvm-dev] 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>
div code via llvm-dev
2019-Mar-26 13:05 UTC
[llvm-dev] Implement LLVM Intrinsics in C/LLVM IR
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>
Ryan Taylor via llvm-dev
2019-Mar-26 13:07 UTC
[llvm-dev] Implement LLVM Intrinsics in C/LLVM IR
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>