[llvm-commits] CVS: llvm-www/ProjectsWithLLVM/index.html
Changes in directory llvm-www/ProjectsWithLLVM: index.html updated: 1.39 -> 1.40 --- Log message: add puzzle solving project. --- Diffs of the changes: (+36 -0) index.html | 36 1 files changed, 36 insertions(+) Index: llvm-www/ProjectsWithLLVM/index.html diff -u llvm-www/ProjectsWithLLVM/index.html:1.39 llvm-www/ProjectsWithLLVM/index.html:1.40 --- llvm-www/ProjectsWithLLVM/index.html:1.39 Tue Jul 31 19:03:33 2007 +++ llvm-www/ProjectsWithLLVM/index.htmlSat Dec 8 18:26:42 2007 @@ -35,6 +35,7 @@ +Register Allocation by Puzzle Solving Faust Real-Time Signal Processing System Adobe "Hydra" Language Calysto Static Checker @@ -59,6 +60,41 @@ + +Register Allocation by Puzzle Solving + + + +By Fernando Pereira and Jens Palsberg, UCLA. + + + + +In this project, we have shown that register allocation can be viewed +as solving a collection of puzzles. +We model the register file as a puzzle board and +the program variables as puzzle pieces; +pre-coloring and register aliasing fit in naturally. +For architectures such as x86, SPARC V8, and StrongARM, +we can solve the puzzles in polynomial time, and we have augmented +the puzzle solver with a simple heuristic for spilling. +For SPEC CPU2000, our implementation is as fast as +the extended version of linear scan used by LLVM. +Our implementation produces Pentium code that is of similar quality to the +code produced by the slower, state-of-the-art iterated register coalescing +algorithm of George and Appel augmented with extensions by Smith, Ramsey, and +Holloway. + + + +http://compilers.cs.ucla.edu/fernando/projects/puzzles/";>Project + page with a link to a tool that verifies the output of LLVM's register + allocator. + + + + + Faust Real-Time Signal Processing System ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
[llvm-commits] CVS: llvm-www/ProjectsWithLLVM/index.html
Changes in directory llvm-www/ProjectsWithLLVM: index.html updated: 1.38 -> 1.39 --- Log message: Reference SVN. --- Diffs of the changes: (+1 -1) index.html |2 +- 1 files changed, 1 insertion(+), 1 deletion(-) Index: llvm-www/ProjectsWithLLVM/index.html diff -u llvm-www/ProjectsWithLLVM/index.html:1.38 llvm-www/ProjectsWithLLVM/index.html:1.39 --- llvm-www/ProjectsWithLLVM/index.html:1.38 Thu Jul 5 11:00:58 2007 +++ llvm-www/ProjectsWithLLVM/index.htmlTue Jul 31 19:03:33 2007 @@ -410,7 +410,7 @@ http://wiki.cs.uiuc.edu/cs497rej/LLVM+Visualization+Tool";>Wiki page with overview; design doc, and user manual. You can download -llvm-tv from LLVM CVS (the llvm-tv module). +llvm-tv from LLVM SVN (http://llvm.org/svn/llvm-project/television/trunk). ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
[llvm-commits] CVS: llvm-www/ProjectsWithLLVM/index.html
Changes in directory llvm-www/ProjectsWithLLVM: index.html updated: 1.37 -> 1.38 --- Log message: add faust --- Diffs of the changes: (+29 -0) index.html | 29 + 1 files changed, 29 insertions(+) Index: llvm-www/ProjectsWithLLVM/index.html diff -u llvm-www/ProjectsWithLLVM/index.html:1.37 llvm-www/ProjectsWithLLVM/index.html:1.38 --- llvm-www/ProjectsWithLLVM/index.html:1.37 Wed Jun 6 15:07:02 2007 +++ llvm-www/ProjectsWithLLVM/index.htmlThu Jul 5 11:00:58 2007 @@ -35,6 +35,7 @@ +Faust Real-Time Signal Processing System Adobe "Hydra" Language Calysto Static Checker Improvements on SSA-Based Register Allocation @@ -58,6 +59,34 @@ + +Faust Real-Time Signal Processing System + + + + +By http://www.grame.fr";>Grame, National Center of Music Creation + + + + + +FAUST is a compiled language for real-time audio signal processing. The name +FAUST stands for Functional AUdio STream. Its programming model combines two +approaches: functional programming and block diagram composition. You can +think of FAUST as a structured block diagram language with a textual syntax. +The project aims at developing a new backend for Faust that will directly +produce LLVM IR instead of the C++ class Faust currently produces. With a +(yet to come) library version of the Faust compiler, it will allow +developers to embed Faust + LLVM JIT to dynamically define, compile on the +fly and execute Faust plug-ins. LLVM IR and tools also allows some nice +bytecode manipulations like "partial evaluation/specialization" that will +also be investigated. + + + + + Adobe "Hydra" Language ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
[llvm-commits] CVS: llvm-www/ProjectsWithLLVM/index.html
Changes in directory llvm-www/ProjectsWithLLVM: index.html updated: 1.36 -> 1.37 --- Log message: Fix adobe's name --- Diffs of the changes: (+3 -3) index.html |6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) Index: llvm-www/ProjectsWithLLVM/index.html diff -u llvm-www/ProjectsWithLLVM/index.html:1.36 llvm-www/ProjectsWithLLVM/index.html:1.37 --- llvm-www/ProjectsWithLLVM/index.html:1.36 Wed Jun 6 13:47:31 2007 +++ llvm-www/ProjectsWithLLVM/index.htmlWed Jun 6 15:07:02 2007 @@ -35,7 +35,7 @@ -Adobe Inc "Hydra" Language +Adobe "Hydra" Language Calysto Static Checker Improvements on SSA-Based Register Allocation LENS Project @@ -59,13 +59,13 @@ -Adobe Inc "Hydra" Language +Adobe "Hydra" Language -By Adobe Inc. +By Adobe Systems Incorporated ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
[llvm-commits] CVS: llvm-www/ProjectsWithLLVM/index.html
Changes in directory llvm-www/ProjectsWithLLVM: index.html updated: 1.35 -> 1.36 --- Log message: Add the adobe Hydra language --- Diffs of the changes: (+29 -0) index.html | 29 + 1 files changed, 29 insertions(+) Index: llvm-www/ProjectsWithLLVM/index.html diff -u llvm-www/ProjectsWithLLVM/index.html:1.35 llvm-www/ProjectsWithLLVM/index.html:1.36 --- llvm-www/ProjectsWithLLVM/index.html:1.35 Mon Apr 23 10:39:59 2007 +++ llvm-www/ProjectsWithLLVM/index.htmlWed Jun 6 13:47:31 2007 @@ -35,6 +35,7 @@ +Adobe Inc "Hydra" Language Calysto Static Checker Improvements on SSA-Based Register Allocation LENS Project @@ -58,6 +59,34 @@ +Adobe Inc "Hydra" Language + + + + + +By Adobe Inc. + + + + + +Efficient use of the computational resources available for image processing is +a goal of the Adobe Image Foundation project. Our language, "Hydra", is used +to describe single- and multi-stage image processing kernels, which are then +compiled and run on a target machine within a larger application. Similarly +to how its namesake had many heads, our Hydra can be run on the GPU or +alternately on the host CPU(s). AIF uses LLVM for our CPU path. + + +The first Adobe application to use our system is the soon-to-ship After +Effects CS3. We welcome you to try out our public beta found at +http://labs.adobe.com/technologies/aftereffectscs3/";>labs.adobe.com. + + + + + Calysto Static Checker ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
[llvm-commits] CVS: llvm-www/ProjectsWithLLVM/index.html
Changes in directory llvm-www/ProjectsWithLLVM: index.html updated: 1.34 -> 1.35 --- Log message: add the calysto checker --- Diffs of the changes: (+56 -0) index.html | 56 1 files changed, 56 insertions(+) Index: llvm-www/ProjectsWithLLVM/index.html diff -u llvm-www/ProjectsWithLLVM/index.html:1.34 llvm-www/ProjectsWithLLVM/index.html:1.35 --- llvm-www/ProjectsWithLLVM/index.html:1.34 Mon Mar 26 14:05:37 2007 +++ llvm-www/ProjectsWithLLVM/index.htmlMon Apr 23 10:39:59 2007 @@ -35,6 +35,7 @@ +Calysto Static Checker Improvements on SSA-Based Register Allocation LENS Project Trident Compiler @@ -57,6 +58,61 @@ +Calysto Static Checker + + + + + +By Domagoj Babic, UBC. + + + + + +http://www.cs.ubc.ca/~babic/index_calysto.htm";>Calysto +is a scalable context- and path-sensitive SSA-based static +assertion checker. Unlike other static +checkers, Calysto analyzes SSA directly, which means that it not only +checks the original code, but also the front-end (including +SSA-optimizations) of the compiler which +was used to compile the code. The advantage of doing static checking on +the SSA is language independency and the fact that the checked code is much +closer to the generated assembly than the source code. + + + +Several main factors contribute to Calysto's scalability: + + A novel SSA symbolic execution algorithm that exploits the + structure of the control flow graph to minimize the number of + paths that need to be considered. + + Lazy interprocedural analysis. + Tight integration with the + http://www.cs.ubc.ca/~babic/index_spear.htm";>Spear + automated theorem prover, designed for software static + checking. + And, of course, fast implementations of the basic algorithms + in LLVM (dominator trees, postdominance, etc.). + + + + +Currently, Calysto is still in the development phase, and the first results +are encouraging. Most likely, the first public release will happen some +time in the fall 2007. +http://www.cs.ubc.ca/~babic/index_spear.htm";>Spear +and Calysto generated +http://www.cs.ubc.ca/~babic/index_benchmarks.htm";>benchmarks +are available. + + + + + + + Improvements on SSA-Based Register Allocation. ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
[llvm-commits] CVS: llvm-www/ProjectsWithLLVM/index.html
Changes in directory llvm-www/ProjectsWithLLVM: index.html updated: 1.33 -> 1.34 --- Log message: Fix URL, thanks to Bill for noticing this! --- Diffs of the changes: (+1 -1) index.html |2 +- 1 files changed, 1 insertion(+), 1 deletion(-) Index: llvm-www/ProjectsWithLLVM/index.html diff -u llvm-www/ProjectsWithLLVM/index.html:1.33 llvm-www/ProjectsWithLLVM/index.html:1.34 --- llvm-www/ProjectsWithLLVM/index.html:1.33 Mon Mar 26 13:46:43 2007 +++ llvm-www/ProjectsWithLLVM/index.htmlMon Mar 26 14:05:37 2007 @@ -99,7 +99,7 @@ -http://compilers/fernando/projects/soc/";>Project page. +http://compilers.cs.ucla.edu/fernando/projects/soc/";>Project page. ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
Re: [llvm-commits] CVS: llvm-www/ProjectsWithLLVM/index.html
On 3/26/07, Chris Lattner <[EMAIL PROTECTED]> wrote: > +http://compilers/fernando/projects/soc/";>Project page. > Relative URL alert! -bw ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
[llvm-commits] CVS: llvm-www/ProjectsWithLLVM/index.html
Changes in directory llvm-www/ProjectsWithLLVM: index.html updated: 1.32 -> 1.33 --- Log message: add fernando's project --- Diffs of the changes: (+49 -0) index.html | 49 + 1 files changed, 49 insertions(+) Index: llvm-www/ProjectsWithLLVM/index.html diff -u llvm-www/ProjectsWithLLVM/index.html:1.32 llvm-www/ProjectsWithLLVM/index.html:1.33 --- llvm-www/ProjectsWithLLVM/index.html:1.32 Sun Feb 4 23:47:58 2007 +++ llvm-www/ProjectsWithLLVM/index.htmlMon Mar 26 13:46:43 2007 @@ -35,6 +35,7 @@ +Improvements on SSA-Based Register Allocation LENS Project Trident Compiler Ascenium Reconfigurable Processor Compiler @@ -54,6 +55,54 @@ + + + Improvements on SSA-Based Register Allocation. + + + +By Fernando Pereira, UCLA. + + + + +The register allocation problem has an exact polynomial solution when restricted +to programs in the Single Static Assignment (SSA) form. +Although striking, this major theoretical accomplishment has yet to be endorsed empirically. +This project consists in the implementation of a complete +SSA-based register allocator using the +http://llvm.org/"; target="blank">LLVM compiler framework. +We have implemented a static transformation of the target program that simplifies the +implementation of the register allocator and improves the quality of the code that +it generates. +We also describe novel techniques to perform register coalescing and +SSA-elimination. +In order to validate our allocation technique, we extensively compare different +flavors of our method against a modern and heavily tuned extension of +the linear-scan register allocator described +here. +The proposed algorithm consistently produces faster code when the target +architecture provides a small number of registers. +For instance, we have achieved an average speed-up of 9.2% when limiting the +number of registers to four general purpose and three reserved register. +By augmenting the algorithm with an aggressive coalescing technique, we have + +been able to raise the speed improvement up to 13.0%. + + + +This project was supported by the google's +http://code.google.com/soc/"; target="blank">Summer of Code +initiative. Fernando Pereira is funded by +http://www.capes.gov.br/capes/portal/"; target="blank">CAPES +under process number 218603-9. + + + +http://compilers/fernando/projects/soc/";>Project page. + + + ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
[llvm-commits] CVS: llvm-www/ProjectsWithLLVM/index.html
Changes in directory llvm-www/ProjectsWithLLVM: index.html updated: 1.31 -> 1.32 --- Log message: fix afficliation --- Diffs of the changes: (+1 -1) index.html |2 +- 1 files changed, 1 insertion(+), 1 deletion(-) Index: llvm-www/ProjectsWithLLVM/index.html diff -u llvm-www/ProjectsWithLLVM/index.html:1.31 llvm-www/ProjectsWithLLVM/index.html:1.32 --- llvm-www/ProjectsWithLLVM/index.html:1.31 Sun Feb 4 23:46:33 2007 +++ llvm-www/ProjectsWithLLVM/index.htmlSun Feb 4 23:47:58 2007 @@ -62,7 +62,7 @@ -By http://www.lanl.gov/";>Los Alamos National Laboratory +By Michael O. McCracken, UCSD. ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
[llvm-commits] CVS: llvm-www/ProjectsWithLLVM/index.html
Changes in directory llvm-www/ProjectsWithLLVM: index.html updated: 1.30 -> 1.31 --- Log message: add info about the LENS project --- Diffs of the changes: (+42 -0) index.html | 42 ++ 1 files changed, 42 insertions(+) Index: llvm-www/ProjectsWithLLVM/index.html diff -u llvm-www/ProjectsWithLLVM/index.html:1.30 llvm-www/ProjectsWithLLVM/index.html:1.31 --- llvm-www/ProjectsWithLLVM/index.html:1.30 Mon Jan 22 22:07:36 2007 +++ llvm-www/ProjectsWithLLVM/index.htmlSun Feb 4 23:46:33 2007 @@ -35,6 +35,7 @@ +LENS Project Trident Compiler Ascenium Reconfigurable Processor Compiler The PyPy Python Implementation Project @@ -53,6 +54,47 @@ + + + + LENS Project + + + + +By http://www.lanl.gov/";>Los Alamos National Laboratory + + + + +The http://www.cs.ucsd.edu/~mmccrack/lens/";>LENS Project +is intended to improve the task of measuring programs and +investigating their behavior. LENS defines an external representation +of a program in XML to store useful information +that is accessible based on program structure, including loop +structure information. + +Lens defines a flexible naming scheme for program components +based on XPath and the LENS XML document structure. This allows +users and tools to selectively query program behavior from a +uniform interface, allowing users or tools to ask a variety of +questions about program components, which can be answered by any +tool that understands the query. Queries, metrics and program +structure are all stored in the LENS file, and are annotated with +version names that support historical comparison and scientific +record-keeping. + +Compiler writers can use LENS to expose results of transformations +and analyses for a program easily, without worrying about display or +handling information overload. This functionality has been +demonstrated using LLVM. LENS uses LLVM for two purposes: first, to +generate the initial program structure file in XML using an LLVM +pass, and second, as a demonstration of the advantages of selective +querying for compiler information, with an interface built into LLVM +that allows LLVM passes to easily respond to queries in a LENS file. + + + Trident Compiler ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
[llvm-commits] CVS: llvm-www/ProjectsWithLLVM/index.html
Changes in directory llvm-www/ProjectsWithLLVM: index.html updated: 1.29 -> 1.30 --- Log message: Added LANL's Trident compiler. --- Diffs of the changes: (+27 -0) index.html | 27 +++ 1 files changed, 27 insertions(+) Index: llvm-www/ProjectsWithLLVM/index.html diff -u llvm-www/ProjectsWithLLVM/index.html:1.29 llvm-www/ProjectsWithLLVM/index.html:1.30 --- llvm-www/ProjectsWithLLVM/index.html:1.29 Sat Mar 4 17:48:08 2006 +++ llvm-www/ProjectsWithLLVM/index.htmlMon Jan 22 22:07:36 2007 @@ -35,6 +35,7 @@ +Trident Compiler Ascenium Reconfigurable Processor Compiler The PyPy Python Implementation Project Scheme to LLVM Translator @@ -54,6 +55,32 @@ + Trident Compiler + + + + +By http://www.lanl.gov/";>Los Alamos National Laboratory + + + + +http://trident.sf.net/";>Trident is a compiler for +floating point algorithms written in C, producing Register Transfer +Level VHDL descriptions of circuits targetted for reconfigurable logic +devices. Trident automatically extracts parallelism and pipelines loop +bodies using conventional compiler optimizations and scheduling +techniques. Trident also provides an open framework for +experimentation, analysis, and optimization of floating point +algorithms on FPGAs and the flexibility to easily integrate custom +floating point libraries. + + +Trident uses the LLVM C/C++ front-end to parse input languages and +produce low-level platform independent code. + + + Ascenium Reconfigurable Processor Compiler ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
[llvm-commits] CVS: llvm-www/ProjectsWithLLVM/index.html
Changes in directory llvm-www/ProjectsWithLLVM: index.html updated: 1.28 -> 1.29 --- Log message: add missing tag --- Diffs of the changes: (+1 -0) index.html |1 + 1 files changed, 1 insertion(+) Index: llvm-www/ProjectsWithLLVM/index.html diff -u llvm-www/ProjectsWithLLVM/index.html:1.28 llvm-www/ProjectsWithLLVM/index.html:1.29 --- llvm-www/ProjectsWithLLVM/index.html:1.28 Sat Mar 4 17:46:45 2006 +++ llvm-www/ProjectsWithLLVM/index.htmlSat Mar 4 17:48:08 2006 @@ -79,6 +79,7 @@ sophisticated optimizations easy. LLVM's great ancillary tools and documentation make it easy to work with -- even hardware geeks can understand it! + Ascenium's http://www.hotchips.org/archives/hc17/";>HOT CHIPS 17 ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits