similar to: [LLVMdev] LLVM-gcc for Ada

Hello, I'm trying to build LLVM-gcc to compile Ada. But I'm having a few problems. First thing I did was install gnat 2007. In the bin directory there is a gcc version 4.1. So I think that these versions are good for Ada. Now when I ran make I get an error that for me it seams very weird. ../../gcc/c-format.c: In function 'set_Wformat': ../../gcc/c-format.c:48: error:

Hi Andre, > In file included from ../../gcc/llvm-backend.cpp:23: > ../../gcc/llvm-internal.h:31: fatal error: vector: No such file or directory > compilation terminated. line 31 of llvm-internal.h is: #include <vector> so if that's failing then your C++ compiler is somehow borked. How did you arrange to use the right gcc for the build? Maybe that's getting in the way of

Duncan Sands wrote: > Hi Andre, > > >> In file included from ../../gcc/llvm-backend.cpp:23: >> ../../gcc/llvm-internal.h:31: fatal error: vector: No such file or directory >> compilation terminated. >> > > line 31 of llvm-internal.h is: > > #include <vector> > > so if that's failing then your C++ compiler is somehow borked. >

I'm having problems building llvm-gcc for Ada, which may or may not be similar to the trouble Andre was having recently. I'm trying to build it on Fedora 10 (32-bit), using the instructions on the web site. The make terminates with a gnatbind error: gcc -c -g -O2 -gnatpg -gnata -I- -I. -Iada -I../../llvm-gcc-4.2/gcc/ada ../../llvm-gcc-4.2/gcc/ada/gnat1drv.adb -o ada/gnat1drv.o

Hi Eric, > I'm having problems building llvm-gcc for Ada, which may or may not be > similar to the trouble Andre was having recently. I'm trying to build > it on Fedora 10 (32-bit), using the instructions on the web site. The > make terminates with a gnatbind error: > > gcc -c -g -O2 -gnatpg -gnata -I- -I. -Iada > -I../../llvm-gcc-4.2/gcc/ada

Duncan Sands wrote: > Hi Eric, > > >> I'm having problems building llvm-gcc for Ada, which may or may not be >> similar to the trouble Andre was having recently. I'm trying to build >> it on Fedora 10 (32-bit), using the instructions on the web site. The >> make terminates with a gnatbind error: >> >> gcc -c -g -O2 -gnatpg -gnata

Dear Duncan, Everything worked out with your help. Thanks. I'm now looking at bound checks that an Ada program has, so I can remove all possible. It seams that Ada already does some optimization to remove bound checks. Do you know how are they done, and where? I tested two codes (below) and the first code did not produce any bound check and the second produced two bound checks. -- -- Simple

Dear Community, I'm working on a project for Google Summer of Code, to implement the ABCD and Bitwidth analysis in LLVM. I'm not going to extend the description of the project here, this link shows my proposal http://homepages.dcc.ufmg.br/~andrelct/projects/gsoc_2009/proposal. I have been in some discussions on this list about Ada and SSI that helped on my decisions up to this

Hello, I'm working on a project to remove unnecessary array bound checks in Java. For this purpose I will need to use llvm-java. What is the state of llvm-java? Can someone explain how to build and use it? I saw some old emails on the list, and some about a SoC 2008 on Java, but I didn't find anything regarding its current state and documentation. Regards, -- Andre Tavares Master

Dear Nicolas, I'm curious why you are using ABCD in vmkit. Do you need any features from static array bounds checking? As far as I know, SAFECode has a number of implementation for that. Thanks. Haohui On Thu, 2009-06-04 at 20:48 +0200, Nicolas Geoffray wrote: > Dear Andre, > > That's great! Thanks for the blog. I am really looking forward into > using ABCD in vmkit!

Mai, Haohui wrote: > Dear Nicolas, > > I'm curious why you are using ABCD in vmkit. Do you need any features > from static array bounds checking? As far as I know, SAFECode has a > number of implementation for that. > > Thanks. > > Haohui > > On Thu, 2009-06-04 at 20:48 +0200, Nicolas Geoffray wrote: > >> Dear Andre, >> >> That's

Thanks for the suggestion, Andre. I downloaded GNAT GPL 2007, and followed the directions on your web page. Now I get a lot of C++ errors. In fact, the output I captured to a log file is over six megabytes just from the start of the problem command to the termination of the make. I'm obviously not going to include it all here, but the command and the first few errors are copied below.

Dear Andre, That's great! Thanks for the blog. I am really looking forward into using ABCD in vmkit! Cheers, Nicolas Andre Tavares wrote: > Dear Community, > > I'm working on a project for Google Summer of Code, to implement the > ABCD and Bitwidth analysis in LLVM. I'm not going to extend the > description of the project here, this link shows my proposal >

Duncan Sands wrote: > Hi Andre, > >> my g++ is broken, but I used g++-4.3 and it worked. Unfortunately there >> is another problem. If I compile with llvm-gcc the ali file resulting >> says V "GNAT Lib v4.2" on the first line. > > yes, that's because llvm-gcc is based on gcc 4.2. > > So it compiled version 4.2 and >> so gnatbind and gnatlink

Dear all, I'm trying to exploit the LLVM framework to optimize my Ada programs. To this extent I compiled the Ada f-e from source (v. 2.5). However, while trying to compile a simple HelloWorld example I get several errors dealing with undefined references (while invoking LLVM on hello). Arguably I missed something on the right way to use the LLVM tools with Ada sourcecode. I would really

Hi Enrico, did you follow the instructions here http://llvm.org/docs/GCCFEBuildInstrs.html#ada to build llvm-gcc with Ada support? > To this extent I compiled the Ada f-e from source (v. 2.5). If by 2.5 you mean LLVM-2.5 I suggest you use something more recent, for example LLVM-2.7. > However, while trying to compile a simple HelloWorld example I get several > errors dealing with

I am trying to build llvm-gcc-4.2 but cannot figure out how to get past the problem described below. Any help will be much appreciated. Regards Roger gnatbind -C -I- -I. -Iada -I../../llvm-gcc-4.2/gcc/ada -o ada/b_gnat1.c -n ada/gnat1drv.ali error: "s-imenne.adb" must be compiled error: ("/opt/gnat-gpl-2009/lib/gcc/i386-apple-darwin10.2.0/4.3.4/adalib/s-imenne.ali" is obsolete

Good day all, Initial Ada bindings have been introduced for the LLVM 2.6 release. Unfortunately no one was able/had time to help me better integrate it into the LLVM build system. Thus, It has been left with a GPR Ada project file for building the bindings, anyone using the Ada bindings will know what this is and how to handle it. However, in future as these bindings improve/progress. We should

Hi Roger, > I am trying to build llvm-gcc-4.2 but cannot figure out how to get past the problem described below. you need to build with GNAT GPL 2007 or earlier, as described here: http://llvm.org/docs/GCCFEBuildInstrs.html This is because llvm-gcc-4.2 is based on gcc-4.2, and you have the same problem with gcc-4.2. I don't know if anyone ever built an Ada-enabled llvm-gcc on MacOS

Hi Edward, > Initial Ada bindings have been introduced for the LLVM 2.6 release. > Unfortunately no one was able/had time to help me better integrate it > into the LLVM build system. Thus, It has been left with a GPR Ada > project file for building the bindings, anyone using the Ada bindings > will know what this is and how to handle it. does this mean the bindings only work with