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>
div code via llvm-dev
2019-Mar-26 13:34 UTC
[llvm-dev] Implement LLVM Intrinsics in C/LLVM IR
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>
Alexandre Isoard via llvm-dev
2019-Mar-29 07:31 UTC
[llvm-dev] Implement LLVM Intrinsics in C/LLVM IR
Did you look into http://llvm.org/doxygen/IntrinsicLowering_8h_source.html ? On Tue, Mar 26, 2019 at 6:34 AM div code via llvm-dev < llvm-dev at lists.llvm.org> wrote:> 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 >>> >> _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev >-- *Alexandre Isoard* -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190329/d7ccfe66/attachment.html>