<div dir="ltr">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.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Mar 26, 2019 at 2:03 PM div code <<a href="mailto:divsubmission@gmail.com">divsubmission@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr"><div><div>Hello,</div><div><br></div><div>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. </div><div><br></div><div>I am wondering if there has been some already implemented sample code, regarding these intrinsics? Either C or LLVM IR. Thanks a lot!</div></div><div><br></div><div>Best,</div></div></div>
</blockquote></div>