similar to: [LLVMdev] verification

Hi, I am interested in obtaining LLVM IR without any optimization performed on it.( IR obtained from cfrontend's AST). Is this LLVM IR in SSA form? Secondly, I want to make a transformation on this unoptimized IR, and convert it back to C. I believe llc -c does that. Thirdly, is it possible to use LLVM tool suite on LLVM IR that's not in SSA form, if we have such LLVM so.

Well, I compiled release but it gave error while making png library. The inclusion of zlib.h in the file png.h cannot locate file zlib.h. If you change the inclusion to include "../zlib/zlib.h" instead of just "zlib.h" in png.h then compilation succeeds. regards,

Well, I compiled release but it gave error while making png library. The inclusion of zlib.h in the file png.h cannot locate file zlib.h. If you change the inclusion to include "../zlib/zlib.h" instead of just "zlib.h" in png.h then compilation succeeds. regards,

Hi, I have written a ModulePass (c++ code) that does transformation to LLVM bytecode. How do I build,compile and run it on windows. a) I need Win32 LLVM tools. (so I downloaded)b) How do I build the dll( modulepass) so that I can pass it to optimizer or other llvm tool.c) To test, I need to compile a test C code, emit llvm intermediate code and pass it to optimizer so  that it can run my

gccld: Cannot find linker input file 'crtend.o I have set the LLVM_LIB_SEARCH_PATH ls -l $LLVM_LIB_SEARCH_PATH total 104 -rw-r--r-- 1 muj20 muj20 12788 Dec 7 17:05 crtend.o -rw-r--r-- 1 muj20 muj20 1984 Dec 7 17:05 libc.bc -rw-r--r-- 1 muj20 muj20 120 Dec 7 17:05 libcurses.bc

Hi llvm, 1) The lib/VMCore/Verifier.cpp in 2.7 implements Verifier::VerifyType, which is empty in 2.6. I noticed that it does not check all types, for example, UnionTyID, OpaqueTyID, LabelTyID, MetadataTyID and etc are ignored in the 'default' branch. Does it mean we dont need to check them? Another question is: How much does Verifier.cpp check statically? Can I take it as a type checker

On Nov 28, 2010, at 2:20 AM, Bill Wendling wrote: > On Nov 27, 2010, at 4:57 PM, John McCall wrote: > >> On Nov 25, 2010, at 3:03 AM, Duncan Sands wrote: >>> I'm pointing out that if the invoke instruction >>> is removed and catch information is attached to entire basic blocks, then if no >>> care is taken then it is perfectly possible to use %x before

On Mar 10, 2011, at 11:11 AM, Dan Bailey wrote: > John McCall wrote: >> >> On Mar 10, 2011, at 10:43 AM, Dan Bailey wrote: >> >>> I've written an IR->IR translation as part of a high-level language I've >>> designed. It replaces my own specific functions in LLVM passes with >>> custom logic. >>> >>> As part of the

I am interested in type-based verification of LLVM IR in the areas of certified compilation and software verification. It seems to me that the LLVM IR type system is rather informal in the sense that there is no paper with a proper formalization of the type rules, and for example, a proof of soundness for well-formedness of the code. I would like to know if you are aware of any work in this

Chris, I am thinking of using LLVM as a platform to carry out my research in using static analsis for program security and safety/system biology. What I look forward from you in response to this mail is the availability of support and commitment by your team in continuing LLVM. Secondly, in addition to the application of LLvM mention on website, do you know other poeple using LLVM..

Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii -------- Hi, How to get access to the Abstract syntax tree generated by GCC front end in LLVM. ( if some one wants to write his own type systems, or generate constraints by walking over the tree ) Secondly, is it possible to regenerate the source code from the AST? How good would LLVM be at this.

On Mar 6, 2010, at 9:13 AM, Jianzhou Zhao wrote: > Hi llvm, > > 1) The lib/VMCore/Verifier.cpp in 2.7 implements Verifier::VerifyType, > which is empty in 2.6. I noticed that it does not check all types, > for example, UnionTyID, OpaqueTyID, LabelTyID, MetadataTyID > and etc are ignored in the 'default' branch. Does it mean we dont > need to check them? They are

On Nov 28, 2010, at 2:59 AM, John McCall wrote: > On Nov 28, 2010, at 2:20 AM, Bill Wendling wrote: > >> On Nov 27, 2010, at 4:57 PM, John McCall wrote: >> >>> On Nov 25, 2010, at 3:03 AM, Duncan Sands wrote: >>>> I'm pointing out that if the invoke instruction >>>> is removed and catch information is attached to entire basic blocks, then

Please read this if you're working out of LLVM CVS: I just checked in a change to the makefiles to stop using -fshort-enum when building LLVM. This flag enables a trivial optimization, but causes the code generated by the G++ compiler to not match the standard C++ ABI. Because of this, the presence of the flag makes it more difficult to link LLVM libraries to external source bases, and it

I have recently built the LLVM suite .. The problem is when I run llvmgcc( after setting alias to $LLVM ) gcc: installation problem, cannot exec `gccld': No such file or directory the LLVM_LIB_SEARCH_PATH=.. is set to LLVMGCCDIR/bytecode-libs Any idea

Hi, The getCalledFunction on CallInst is returning NULL, although it is (directly) calling a function, which is defined in the same file. ---------------------- if (CallInst* callInst = dyn_cast<CallInst>(&inst)) { std::cerr<<callInst->getCalledFunction(); } ----------------------- When ------------------ std::cerr<<*callInst ---------------- the

Hi, We are working on a project to improve garbage collection using pool allocation in llvm. Has anybody implemented any garbage collection algorithm in llvm? There is an incomplete semispace GC implementation in llvm. It will be of great help, if somebody has a complete GC implementation. Regards, Swarup. ************************************* Swarup Kumar Sahoo Thomas M. Siebel Center for

I tried to optimize the following code using opt -load-vn -sccp -dcse, but no effect. The loading and storing of unique should be removed, and branch should be statically evaluated. Any suggestions? The code: %tmp.0 = call int %acquireLock( ) ; <int> [#uses=0] store int 1, int* %unique %load = load int* %unique ; <int> [#uses=1] %Set = seteq int 1, %load ; <bool> [#uses=1]

On 4/3/13 8:21 AM, Marcelo Sousa wrote: > I am interested in type-based verification of LLVM IR in the areas of > certified compilation and software Can you explain what you mean by type-based verification? Do you mean that you want to use a set of typing rules to perform verification, or do you mean something else? > verification. It seems to me that the LLVM IR type system is

Perhaps I am missing some link. Need a bit clarification. For the C language, I want to access the LLVM code immediately generated by llvmgcc(cfrontend/bin/gcc) before it undergoes any further transformation or optimization. 1) Are there any libraries that enable me to parse C code and create the Module instance. 2) If answer to 1) is no, then is there some other way to create Module