search for: acat

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 Student in Computer Science - UFMG - Brasil http://dcc.ufmg.br/~andrelct

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:" co...

Hi all, This talk includes the performance comparison between LLVM and GCC (page 30/31): LLVM wins a lot for both compilation and execution time. http://llvm.org/pubs/2008-10-04-ACAT-LLVM-Intro.pdf That talk and data were in 2008, I was wondering if there is any updated performance evaluation between the latest LLVM and GCC? Thanks. -- Jianzhou

Is there a problem with the svn server. When I try a: svn co http://llvm.org/svn/llvm-project/llvm-gcc-4.0/trunk/gcc llvm-gcc-4.0.try2/gcc I keep getting errors similar to those below, but at a different file each time. svn: In directory 'llvm-gcc-4.0.try2/gcc/testsuite/ada/acats/tests/l' svn: Error processing command 'modify-wcprop' in 'llvm-gcc-4.0.try2/gcc/testsuite/ada/acats/tests/l' svn: Can't set file 'llvm-gcc-4.0.try2/gcc/testsuite/ada/acats/tests/l/.svn/wcprops/la140133.a.svn-work' read-only: No such file or directory Is there a...

Hello Tristan and all, I have already know that if I want to do this feature(c -> EFI Byte code) for GCC I should further modify the GCC front end(parser) to solve the problem (the size of pointer is determined at run time). I have read a powerpoint about LLVM ( http://llvm.org/pubs/2008-10-04-ACAT-LLVM-Intro.pdf) It is the LLVM-GCC design graph ( http://www.im.ntu.edu.tw/~b95030/llvm_gcc.png<http://www.im.ntu.edu.tw/%7Eb95030/llvm_gcc.png> ). According to the above discussion , LLVM IR doesn't care about the size of pointers. I am wondering how could LLVM support dynamic pointer si...

[and copy to list] Jianzhou Zhao wrote: > Hi all, > > This talk includes the performance comparison between LLVM and GCC > (page 30/31): LLVM wins a lot for both compilation and execution time. > http://llvm.org/pubs/2008-10-04-ACAT-LLVM-Intro.pdf > That talk and data were in 2008, I was wondering if there is any > updated performance evaluation between the latest LLVM and GCC? > Thanks. > Here's a more recent one: http://www.phoronix.com/scan.php?page=article&item=gcc_46_llvm29&num=1 Martin

...gt; I have already know that if I want to do this feature(c -> EFI Byte code) for GCC > I should further modify the GCC front end(parser) to solve the problem (the size > of pointer is determined at run time). > > I have read a powerpoint about LLVM (http://llvm.org/pubs/2008-10-04-ACAT-LLVM-Intro.pdf) > It is the LLVM-GCC design graph (http://www.im.ntu.edu.tw/~b95030/llvm_gcc.png). > According to the above discussion , LLVM IR doesn't care about the size of pointers. > I am wondering how could LLVM support dynamic pointer size model without modifying > GCC front...

On Mon, Mar 15, 2010 at 10:50 AM, Renato Golin <rengolin at systemcall.org> wrote: > On 10 March 2010 16:57, 琬菁楊 <ching1119.cs96 at g2.nctu.edu.tw> wrote: >> I think the main issue is that EFI C dialect is not ANSI-C compliant: the >> size of pointer is determined at the run-time and therefore the layout of >> the structure is not static. Does LLVM support 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

...eady know that if I want to do this feature(c -> EFI Byte code) > for GCC > I should further modify the GCC front end(parser) to solve the problem (the > size > of pointer is determined at run time). > > I have read a powerpoint about LLVM ( > http://llvm.org/pubs/2008-10-04-ACAT-LLVM-Intro.pdf) > It is the LLVM-GCC design graph ( > http://www.im.ntu.edu.tw/~b95030/llvm_gcc.png<http://www.im.ntu.edu.tw/%7Eb95030/llvm_gcc.png> > ). > According to the above discussion , LLVM IR doesn't care about the size of > pointers. > I am wondering how could L...

...now how to get the 4.1.3 version? > > Version 4.1.3 is the wrong one: it is the version of GPL 2007. You > want 4.2 because that's what llvm-gcc is. > > What are you trying to compile by the way? > > Also, does "cd llvm_gcc_build_directory/gcc && make -k check-acats" > work? Do you get any test failures? > > Ciao, > > Duncan. > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev > Duncan,...

...ubject: Re: [LLVMdev] The performance of LLVM vs GCC [and copy to list] Jianzhou Zhao wrote: > Hi all, > > This talk includes the performance comparison between LLVM and GCC > (page 30/31): LLVM wins a lot for both compilation and execution time. > http://llvm.org/pubs/2008-10-04-ACAT-LLVM-Intro.pdf > That talk and data were in 2008, I was wondering if there is any > updated performance evaluation between the latest LLVM and GCC? > Thanks. > Here's a more recent one: http://www.phoronix.com/scan.php?page=article&item=gcc_46_llvm29&num=1 Martin _________...

Hi Jianzhou Zhao, > This talk includes the performance comparison between LLVM and GCC > (page 30/31): LLVM wins a lot for both compilation and execution time. > http://llvm.org/pubs/2008-10-04-ACAT-LLVM-Intro.pdf > That talk and data were in 2008, I was wondering if there is any > updated performance evaluation between the latest LLVM and GCC? Vladimir Makarov did some comparisons and reported the results here: http://gcc.gnu.org/ml/gcc/2011-09/msg00043.html Ciao, Duncan.

Hi, I just want to know how to get leverage values in VGLM(Adjacent category logit model, *acat()*) model [[alternative HTML version deleted]]

Hi all, Is it possible to use a printer attached to a WinXP computer from Linux (Suse) using only console mode, ie. no graphic mode?

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

...do this feature(c -> EFI Byte code) >> for GCC >> I should further modify the GCC front end(parser) to solve the problem >> (the size >> of pointer is determined at run time). >> >> I have read a powerpoint about LLVM ( >> http://llvm.org/pubs/2008-10-04-ACAT-LLVM-Intro.pdf) >> It is the LLVM-GCC design graph ( >> http://www.im.ntu.edu.tw/~b95030/llvm_gcc.png<http://www.im.ntu.edu.tw/%7Eb95030/llvm_gcc.png> >> ). >> According to the above discussion , LLVM IR doesn't care about the size of >> pointers. >> I...

So it looks like the Frauenhoffer boys are issuing an updated format -- MP3pro. They claim that it will give 128kbps/MP3 quality in 64kbps. I'm interested to see what others think of this. I'm also curious: I've seen others on the list say that Ogg/Vorbis' sound quality is "better" than MP3. Can this be quantified (or is this already on a web page somewhere)? I kinda

...ith languages Ada, C, C++, Fortran, Objc and Obj-c++ on x86-32-linux, and bootstraps with languages C, C++ and Fortran on x86-64-linux. This is the same as without LegalizeTypes. (c) No additional failures in the full testsuite for x86 linux (32 and 64 bit). (d) No additional failures in the Ada ACATS testsuite (x86-32 linux). Ciao, Duncan.