similar to: Is there a python binding, or any other script binding, that has access to individual instructions?

Hi, On 1/1/2018 07:26, Yuri via llvm-dev wrote: > I was thinking to make a simple code analysis tool to, for example, > find all system calls that have unchecked return codes, but I can't > find a binding for any scripting language. And I am averse to writing > this in C++. One possible choice would be llvmcpy -- Python bindings used by the rev.ng (https://rev.ng/) project:

Hi, I wrote yet another [1,2] Python binding for LLVM! I'm doing this because llvmlite has some serious limitations: 1) it cannot parse an existing IR, only create new modules [3], 2) it keeps its own representation of the IR (which is less memory efficient than the LLVM one), and 3) each llvmlite version supports a single LLVM version. Considering that my need is to load modules of hundreds

Hi Yuri, When you say code analysis, do you mean checking from source code itself, the intermediate representation, the assembly instructions or the binary? Brenda On Mon, Jan 1, 2018 at 1:26 AM, Yuri via llvm-dev <llvm-dev at lists.llvm.org> wrote: > There is llvmlite http://llvmlite.readthedocs.io/en/latest/ , but it > doesn't seem to support reading individual instructions,

As much as I'm not a fan of most XML things, this application of XPath is *inspired*. This would be a great testing/query tool for tests. It would also be a great way to prototype passes. Looking forward to seeing something like this in llvm/tools/ ! Cheers > On 1 Nov 2017, at 04:00, Sean Silva via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > This is so cool! I once

Hi, sometimes when dealing with LLVM IR getting to a desired point of the code is a bit cumbersome, in particular if you're instrumenting existing code. A lot of nested loops and if checks. Maybe all of this could be avoided by employing a query language. Since an LLVM module can be seen as a sort of tree with attributes, I think that reusing an existing query language for XML would be

​Hi all, I am using llvmlite for pyvex and I want the output of my code (which is written based on llvmlite) to be like pyvex. In pyvex, (https://github.com/angr/pyvex). Considering pyvex, I tried to implement the following statements in pyvex to llvmlite: for stmt in irsb.statements: if isinstance(stmt, pyvex.IRStmt.Store): print "ST%s(%s) = %s" % (self.endness[-2:].lower(),

2016-01-20 1:11 GMT+02:00 Antoine Pitrou via llvm-dev < llvm-dev at lists.llvm.org>: > On Wed, 20 Jan 2016 00:47:56 +0200 > "Eddy B. via llvm-dev" <llvm-dev at lists.llvm.org> wrote: > > > > I would love to know your thoughts on this, and more specifically: > > Which of the 3 (byval(T), byval(N) and byval + dereferenceable + align) > > do you

On Tue, Feb 17, 2015 at 8:56 AM, Antoine Pitrou <antoine at python.org> wrote: > > Hi, > > Dirkjan Ochtman <dirkjan <at> ochtman.nl> writes: > > > > As far as I understand, this change is wanted because the LLVM > > infrastructure derives no value from knowing the types, and there's a > > cost in terms of code spent to support all of it.

​Hello all, I have written a code in llvmlite. Using command numba --dump-llvm example.py > example.ll I can have .ll file. However, using lli example.ll, I am stopped with error: 'main' function not found in module. Is there anyway at which it can be executed using lli? Thank you in advance Best -- This email was Anti Virus checked by Security Gateway. -------------- next part

Hello everyone I am Germano, from Italy. Sorry to intruding, but I don't know who to ask anymore. I developed a small programming language, entirely written in Python. I state that I work under Windows, I'm using anaconda and Python 3.6. I wrote the lexical generator and the parser generator. Now I have to write a code generator and thought about using LLVM. It seems that the Uncio way to

On Thu, 12 May 2016 16:40:44 +0100 David Chisnall via cfe-dev <cfe-dev at lists.llvm.org> wrote: > > The end result is that shortly after a release (sometimes every alternate release) is branched a load of downstream projects update to the new APIs, test things, and find a bunch of regressions that have been sitting in the tree for months. We then have to scrabble to bisect and try

LLVM Weekly - #57, Feb 2nd 2015 =============================== If you prefer, you can read a HTML version of this email at <http://llvmweekly.org/issue/57>. Welcome to the fifty-seventh issue of LLVM Weekly, a weekly newsletter (published every Monday) covering developments in LLVM, Clang, and related projects. LLVM Weekly is brought to you by [Alex Bradbury](http://asbradbury.org).

Hello, We are happy to release version 0.10.0 of llvmlite. llvmlite is a light-weight Python binding for LLVM (compatible with Python 2.7 as well as Python 3.4 and later). It stems from the needs of the Numba community and is geared towards creating JIT compilers. llvmlite is available both as source code and as binaries for a number of platforms. Source code is available on PyPI and Github:

On Sat, 17 Dec 2016 21:43:16 -0500 Andrew Kelley via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > I agree that if an API user violates the API of a library, it is > appropriate for the library to abort with a fatal error. <unlurking> Is it? If you pass an invalid fd to the libc, it replies with a EBADF, it doesn't crash hard. Most mature libraries have guards

Hi, I've recently run into a problem of missing !dbg metadata after the code has been optimized (even opt -O1). The original code was generated using llvmlite python package and I've verified that all instructions have their !dbg metadata present. After optimizing the module (even opt -O1) I see that some instructions (~25%) don't have any dbg metadata. These are mostly getelementptr

Hal Finkel <hfinkel <at> anl.gov> writes: > > Do you require long-term cross-release ABI and/or API stability > from the C API that you're using? Do these > other projects? For the record, in llvmlite and Numba we don't require C API stability for two reasons: 1) the C API is not enough for us and we rely on bits of the C++ API 2) we also rely on other details

Hi I am looking at open projects that LLVM want to implement and it seems to be a suggestion to write an LLVM IR level debugger. Is there any existing LLVM projects out there that already does such a thing? If not, I would like to try implementing one myself. By debugger, I think it means something like gdb, where you can insert breakpoints, run code and observe layout of registers and memory at

Program counter - EIP, RIP for x86/64. I need to obtain it and pass it as an argument to the function that calculates an ordinal from it. I think that there must be some way to use the bitcode language to place byte values at a designated offset. Or use the command line to specify the section and offset for the data. On Sun, Apr 1, 2018 at 6:00 PM, Brenda So <sogun3 at gmail.com> wrote:

The bitcode is only a representation of the IR, which is in SSA form. And SSA form assumes an infinite amount of registers, which is not offered by x86. When bitcode gets assembled/compiled to machine language, it breaks down the SSA form into non-SSA format. Personally I don't know how to use bitcode language to achieve what you want to do. The closest thing I can think of is the llvm-MC

Thank you so much! What about discovering the instruction pointer value? Also, does anybody know how to embed an artifact as a resource in a binary? I'd like to have two text sections, and have one copied in from another binary. On Sun, Apr 1, 2018 at 2:15 PM, Brenda So <sogun3 at gmail.com> wrote: > Hi, > > You can write it as if you are writing an optimization pass: >