similar to: [LLVMdev] svn errors

Hi, this is to let people know that the recently released LLVM 2.2 compiler toolkit contains experimental support for Ada through the llvm-gcc-4.2 compiler. Currently the only platform it works on is linux running on 32 bit intel x86. This is because that's what I run, and I'm the only one who's been working on this. I would appreciate help from other Ada guys, both for porting to

Andre Tavares wrote: > Can someone tell me how to use ACATS? I have searched for documentation, > but found none. The ACATS is here: http://www.ada-auth.org/acats.html including various documentation. It stands for "Ada Conformity Assessment Test Suite". - Bob

Hello, I have written a LLVM pass for strongly typed languages. My pass implements the ABCD algorithm. I'm not going to get into what is ABCD, since it has been discussed here. I would like to test it, and on my proposal Duncan Sands told me to use Ada ACATS. Can someone tell me how to use ACATS? I have searched for documentation, but found none. Thanks, -- Andre Tavares Master

Hi all, I plan to turn on the new type legalization infrastructure "LegalizeTypes" by default tomorrow. This is a redesign/reimplementation of the logic currently in LegalizeDAG that turns (for example) 64 bit arithmetic on a 32 bit machine into a series of 32 bit operations. As well as being a cleaner design, it also supports code generation for arbitrary precision integers such as

Andr? Tavares wrote: > Thanks for the link Duff. You're welcome. > I downloaded ACATS, but could not run it on LLVM. Could not find any > instructions that could lead me to do so. Do you know how can do it? Compiler vendors are expected to write their own scripts, which is not a trivial task. The "B Tests" have deliberate errors, marked with "-- ERROR:"

Hi Scott, I'm currently porting the Ada gcc front-end to LLVM. This is similar to what you want to do, so here are some comments from the trenches... > I plan on first attempting to implement the FORTRAN front-end by > co-opting the GCC FORTRAN parser. Good plan. However the Fortran front-end that comes with gcc 4.0 is known to be weak (llvm-gcc is based on gcc 4.0). That's

Hello, i'm trying to backup one of my hosts with a two rsync-scripts, which are mainly just calling on the client side /usr/bin/rsync --server --sender -vlogDtprz --delete-excluded --numeric-ids --exclude-from=/etc/sm-backup/rsync.exclude / and on the server side rsync -avz --numeric-ids -e "ssh -i $key" --delete --delete-excluded rsync@$client:/ $DATA_PATH/$client/daily.0

This is a forward of a question from the SourceForge LLVM forum. If anyone has experience with Cygwin and building the C front-end there, please reply and CC Alex. --- Post by Alex Vinokur below --- =============== Windows 2000 GNU gcc 3.3.3 (cygwin special) =============== ./configure ./make I have got compilation error ------------------------------- make[1]: Entering directory

Hi, sounds like a nice project. Some comments below. > *1. Project title:* > Extend the llvm-test testsuite to include new programs and benchmaraks[1], benchmaraks -> benchmarks > and give a web service interface to run a test build remotely. Also, this is not a title, it is a summary. How about calling it: "Improve the llvm testsuite" > *2. Abstract:* > LLVM[2]

I would like to see: (1) LLVM testsuite run every night for all targets, target variants and operating systems, for example by using an emulator to emulate targets for which the hardware is not available. The gcc project has a compile farm which might be usable for this, but we would need to ask them if it is ok. (2) Likewise for the gcc testsuite, with results emailed to the nightly test

> > 4. Running Fortran, Ada, C/C++/ObjC tests as well with test results emailed > > to the llvm-testresults. > > Are these different or new tests? Why wouldn't they just be a part of the > llvm-test module? Then you don't have to do any modifications to the > scripts. Probably means the gcc testsuite. Ciao, Duncan.

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

Hi Chris, I've CC'd Eric Botcazou in the hope that he will clear up just what the Ada front-end needs from the rest of the compiler as far as asynchronous exceptions are concerned. >> gcc Ada turns signals into exceptions. As far as I know it does this >> completely asynchronously, and the fact that LLVM doesn't support this >> is rather bad as far as Ada is

On Mar 19, 2008, at 1:39 AM, Duncan Sands wrote: > I would like to see: > > (1) LLVM testsuite run every night for all targets, target variants > and > operating systems, for example by using an emulator to emulate targets > for which the hardware is not available. The gcc project has a > compile > farm which might be usable for this, but we would need to ask them

salutations! i am doing some longitudinal modeling with sem and thought calculating some "simple variables" would make my model more readable. this is the smallest subset of my model that illustrates the resulting problem. i have 2 observed exogenous variables (c1, d2) and 4 observed endogenous variables (dc1, dd1, dc2, dd2). c1 is the observed state at time 1, dc1 is the change in c

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. >

> 1. Improvements to the perl script which manage actual testing > (./util/NewNightlyTest.pl) > (a). compiling llvm-gcc > (b). allowing someone to use an existing tree versus checking out a > new one > 2. The improvements to the email that get sent to the llvm-testresults > (a). finding a point in time where some test failed > (b). comparing two

>>> 4. Running Fortran, Ada, C/C++/ObjC tests as well with test results emailed >>> to the llvm-testresults. >> >> Are these different or new tests? Why wouldn't they just be a part of the >> llvm-test module? Then you don't have to do any modifications to the >> scripts. > > Probably means the gcc testsuite. Well then this should be

Hi Tanya, the gcc testsuite doesn't seem to be present in llvm-gcc4.2-2.5.source. I don't think removing it is a good idea. I noticed this when I wanted to check that the release passes the Ada checks. Ciao, Duncan.

On Nov 28, 2010, at 3:47 PM, John McCall wrote: > So mem2reg would have to split %try and make a phi in %lp, like so: > > try1: unwinds to %lp > %count = load i32* @count > br label %try2 > try2: unwinds to %lp > call void foo() > br label %return > lp: > %t = phi i32 [ i32 0, label %try1 ], [ i32 %count, label %try2 ] > #etc. > > That's a lot of