similar to: Convert commands in make to llmv commands for code analysis

Displaying 20 results from an estimated 600 matches similar to: "Convert commands in make to llmv commands for code analysis"

2019 Dec 18
2
Missing code depending on a #ifdef within the .ll file
Hi David, My question is: why both #ifdef and #else branches are missing? I think at least one of the two should be present... In fact there is a case where the width could be greater then PNG_USER_WIDTH_MAX but not greater then PNG_UINT_31_MAX. That's why I was expecting at least one of the two... Thanks Alberto On Wed, Dec 18, 2019, 22:12 David Blaikie <dblaikie at gmail.com>
2019 Dec 18
2
Missing code depending on a #ifdef within the .ll file
Hi all, I have managed to compile libpng using wllvm and obtain the IR of pngpixel ( small tool which is part of libpng ). libpng has a function called png_check_IHDR: void /* PRIVATE */ png_check_IHDR(png_const_structrp png_ptr, png_uint_32 width, png_uint_32 height, int bit_depth, int color_type, int interlace_type, int compression_type, int filter_type) { int error = 0; /*
2018 Nov 08
4
LLVM Call Graph may not cover all calls
Hi there, I am working with opt-6.0 and try to generate a call graph of libsndfile, but it seems the call graph doesn't cover all call relationship. Actually, I am doing static analysis on *CVE-2014-8130*, which is a zero division on libtiff/tif_write.c TIFFWriteScanline. (see https://security-tracker.debian.org/tracker/CVE-2014-8130) Theoretically, the main function in
2011 Oct 17
0
[LLVMdev] LLVM Build Bot failure on llmv-x86_64-ubuntu
Looks like pinsr is not being generated on llvm-x86_64-ubuntu... jabbey at davinci:~$ /home/jabbey/src/osuosl/buildbot/sandbox/llvm-x86_64-ubuntu/llvm-x86_64-ubuntu/llvm/Debug+Asserts/bin/llc < /home/jabbey/src/osuosl/buildbot/sandbox/llvm-x86_64-ubuntu/llvm-x86_64-ubuntu/llvm/test/CodeGen/X86/mmx-pinsrw.ll -mtriple=x86_64-linux -mattr=+mmx,+sse2 produces: .file "<stdin>"
2012 Nov 16
1
[LLVMdev] LLMV demo page
Hello all, I was playing with the demo and found that I couldn't use any c++11: warning: 'noexcept' is a keyword in C++11 [-Wc++11-compat] I was wondering if the demo will be updated to LLVM/Clang 3.2 once that finishes, and if it would be possible to enable c++11 support. Thanks, -Stephen -------------- next part -------------- An HTML attachment was scrubbed... URL:
2016 Mar 11
6
big module for a project
Hi All, I am using clang to compile Mysql source code. Because I want to do some inter-procedural analysis, hopefully, I want to get a .o(bitcode) file(a module) containing all possible function declarations and definitions. Is it possible to do that ? Or you guys have some suggestions? To be clear, like Mysql, there is a mysqld routine, which is a major routine. I want to mysqld.o(which is
2013 Sep 21
1
[LLVMdev] Problem with intrinsics
Hi, I faced the following problem when trying to use klee over the llvm format file formed after using wllvm. Does there exist any solution to this? LLVM ERROR: Code generator does not support intrinsic function 'llvm.objectsize.i32'! -------------- next part -------------- An HTML attachment was scrubbed... URL:
2019 Jul 06
2
Seeking suggestions about interfacing of LLVM DataFlowSanitizer library with KLEE in C code.
Dear Developers, I am a Master's student at the ECE department of the University of Florida, USA.​​ For my research project, supervised by Prof. Mark Tehranipoor<http://tehranipoor.ece.ufl.edu/> and Prof. Farimah Farahmandi<http://farimah.ece.ufl.edu/>, I need to use Clang LLVM DataflowSanitizer library in KLEE. However, I have faced some difficulties (explained below) while
2012 Jul 20
1
[LLVMdev] llvm/dragonegg as drop-in replacement to gcc
Hello, Does anyone know of any effort to create a drop-in replacement to gcc, g++ and gfortran using llvm/dragonegg? From what I understand, the link step is complicated because one needs to use llvm-ld to convert the bitcode to a native binary and not all options to gcc/g++/gfortran can be passed to llvm-ld. I believe I could use llvm-as to compile bitcode to x86 assembly and then link
2020 Jan 27
3
Custom Alloca implementation
---Adding llvm-dev list to CC--- Hi Alberto, Thanks for your prompt reply. Actually, I need this information(about total allocation size and object structure) on runtime, so that is why I was planning to encode this info and store it in the memory itself. Regards, Udit On Mon, Jan 27, 2020 at 7:05 PM Alberto Barbaro <barbaro.alberto at gmail.com> wrote: > Hello Udit, > I'm not
2014 Jul 07
4
[LLVMdev] Proposal: support object file-based on-disk module format
Hi, Over in [1] we've been discussing adding support in LTO for an object file-based on-disk module format. Rafael suggested that I send a proposal to this list; this is that proposal. As motivation, consider a compiler that needs to store metadata in the LTO object file that may need to be read by future compilation steps, such as the "export data" used by some Go compilers [2].
2019 Jul 28
2
Efficient way to identify an instruction
Hi Tim, as always thanks for your help. Unfortunately I made a mistake in my email but apart from that I still have problems. Il giorno sab 27 lug 2019 alle ore 11:53 Tim Northover < t.p.northover at gmail.com> ha scritto: > Hi Alberto, > > On Sat, 27 Jul 2019 at 10:09, Alberto Barbaro via llvm-dev > <llvm-dev at lists.llvm.org> wrote: > > Having the reference I to
2020 Jan 03
3
Interpreter crash due to an "Unknown constant pointer type!"
David, sorry for this email but I noticed I made a mistake in the previous one. So I managed to compile llvm Debug with asserts release. I have used the following commands: cmake -DLLVM_TARGETS_TO_BUILD=X86 -DLLVM_ENABLE_RTTI=ON -DLLVM_ENABLE_FFI=ON -DCMAKE_BUILD_TYPE=Debug -DLLVM_ENABLE_ASSERTIONS=ON .. cmake --build . -- -j8 && sudo cmake --build . --target install Once lli was
2018 May 14
1
LLVM IR with MakeFile
Hi LLVM Devs I am not sure whether this is the right email to ask such kind of question. If not, please tell me the right mailing list. I am new to llvm and I am going to use llvm to do some task related to program analysis. Now I would like to generate llvm IR. I know that we can use the command like "clang -S -emit-llvm" to get the llvm IR. However, I would like to have a makefile
2020 Feb 10
2
Interpreter crash due to an "Unknown constant pointer type!"
> > Hey Lang - does any of this look familiar to you? I'm afraid not: I know nothing about the interpreter. As far as I'm aware it's essentially abandonware. Alberto: The usual recommendation in these circumstances is to use a JIT class instead of the interpreter. You're using -force-interpreter though, so I assume you really want to use the interpreter for your use case?
2019 Mar 04
2
Interpreter improvement
Hi, I my case I needed to trace the execution of a specific .ll file. I wanted to know when a store and load instruction were executed. Maybe extending the Interpreter class was not the best option so I'm happy to hear suggestions. As a curiosity, why do you think that class should be rewritten? Thanks On Mon, Mar 4, 2019, 08:15 mayuyu.io <admin at mayuyu.io> wrote: > I dont quite
2018 Nov 18
2
How to add instructions to a Module at runtime?
Hi David, Thanks for your answer. Just to clarify, I would like to create 2 3 instructions put them in a function and execute them. Do you still think the JIT would be the best option? Thanks On Sun, Nov 18, 2018, 12:55 David Blaikie <dblaikie at gmail.com wrote: > If you're looking to execute code at runtime (within th eam process - or > across a network etc - as the one that
2019 Dec 18
2
Standard way to remove llvm intrinsics
Hi Eric, Currently I'm mainly playing with interpreter and trying to understand how it exactly works. I have noticed that lli complains when llvm.dbg.value is encounter that why I wanted to remove it. Additionally, I would like to understand that performances with and without intrinsics and the impact they have on the interpreter in general. Thanks Alberto On Wed, Dec 18, 2019, 00:33 Eric
2019 Jul 29
2
Efficient way to identify an instruction
Hi Alberto, I have not used this myself, but I think you should be able to visit your Instruction ‘users()’. I think the name this function was given is a bit confusing, but this returns an iterator range you can iterate through to find instructions that depend on a given one. Similarly, you have the function ‘uses()’ that can be used to traverse down the DAG when instructions are still on SSA
2019 Dec 24
2
Interpreter crash due to an "Unknown constant pointer type!"
Hi David, In pretty sure that the crash is due to the instruction I have shared in my first email. In order to run pngpixel you just need libpng and zlib.. honest I thought that the .bc had Al the necessary. I'm happy to help you to reproduce it. As a curiosity, why do you think you cannot reproduce it? Unfortunately I won't be able to modify the interpreter soon.. anyway, I'll try to