similar to: [LLVMdev] languages, semantic trees, LLVM interfaces

Hello Vikram, Saturday, September 6, 2003, 9:10:45 PM, you wrote: VSA> For any language with relatively sophisticated syntax and semantic VSA> rules, you will probably need a higher-level representation like an VSA> Abstract Syntax Tree in order to do type-checking and other kinds of VSA> checking. OK, concerning AST -- I see. Thank you. VSA> For OCAML, for example, the

> VSA> For OCAML, for example, the front-end is quite sophisticated > VSA> and complex and the LLVM representation would not be suitable for > VSA> supporting all the checking and translation. > > But I have just meant ocamlyacc, i.e. ocaml clone of the yacc. > And here my question was: what kind of interface is expected to use > from within ocml, CommonLisp

Valery, For any language with relatively sophisticated syntax and semantic rules, you will probably need a higher-level representation like an Abstract Syntax Tree in order to do type-checking and other kinds of checking. For OCAML, for example, the front-end is quite sophisticated and complex and the LLVM representation would not be suitable for supporting all the checking and translation. It

2009/4/13 Chris Wailes <chris.wailes at gmail.com>: > I'm currently going through the LLVM OCaml bindings tutorial in preparation > for using LLVM in my own project.  While the tutorial is very helpful, it > was somewhat hard to start due to the fact that I plan on using ocamllex and > ocmalyacc and the tutorial hand rolls their own lexer and parser. > > I have managed

I'm currently going through the LLVM OCaml bindings tutorial in preparation for using LLVM in my own project. While the tutorial is very helpful, it was somewhat hard to start due to the fact that I plan on using ocamllex and ocmalyacc and the tutorial hand rolls their own lexer and parser. I have managed to adapt almost all of the tutorial code into using ocamllex and ocamlyacc (the only

On Wed, 7 Jan 2004, Valery A.Khamenya wrote: > Hello Reid and LLVMers, > 10. Basic support for distributed computations. What kind of support? What do you think should be included in LLVM directly, as opposed to being built on top of it? -Chris -- http://llvm.cs.uiuc.edu/ http://www.nondot.org/~sabre/Projects/

Hi, are there any attempts to use LLVM in graph-rewriting (term-rewriting) language implementations? How good is LLVM for this? E.g., is it natural to expect that the LLVM-based implementation of the language Concurrent Clean be any faster than its reference implementation? Best regards -- Valery A.Khamenya -------------- next part -------------- An HTML attachment was scrubbed... URL:

> > I'm happy to apply any patches :) Even better if you wanted to extend > the tutorial to support things like garbage collection. As I go along in my project and explore these features I might be willing to produce code for additional chapters but I don't think I have time to dedicate to it now. What was the problem? I just tested it out on fedora 10 and it worked > after

On Wed, 7 Jan 2004, Valery A.Khamenya wrote: > just imagine, that we have Linux cluster, and we have two functions in > one module (`f' and `g'). If they are about to be executed at one host, > then one is allowed to do very aggressive interprocedural > optimizations between these `f' and `g'. However if `g' should be > "outsourced to" (i.e.

Building PowerPC.td register information header with tblgen Included from PowerPC.td:22: Parsing PowerPCInstrInfo.td:53: Variable not defined: 'GPRC'! make[3]: *** [PowerPCGenRegisterInfo.h.inc] Error 1 make[3]: Leaving directory `/pool/tmp/ssrc/llvm/lib/Target/PowerPC' maybe I just have to "make clean" and/or ./configure BTW, would it be nice to put Depend, Release and

Hi LLVMers, the example attached I have used to prove that JIT and some visible optimizations are really invoked. Proved OK. I got 30% speed-up in comparison to gcc 3.3.3 on my Athlon XP 1500. Nice. P.S. guys, no fears, I don't plan to flood the cvs repository with my "brilliant" examples ;) --- Valery A.Khamenya -------------- next part -------------- An

Hi Valery On 13 September 2010 19:07, Valery Khamenya <khamenya at gmail.com> wrote: > are there any attempts to use LLVM in graph-rewriting (term-rewriting) > language implementations? I've added a new LLVM backend to the ghc Haskell compiler. > How good is LLVM for this? Works very well. I'm operating from the low levels of the ghc compiler though where I don't

Hi all, web-browser access to cvs is of course nice, but is it possible to provide anonymous read-only access to llvm cvs? (it would be nice to have an ability just download last sources) P.S. BTW, this and previous my post were actually motivated by desire to find some simple example on JIT usage :) --- Valery A.Khamenya

Hi all, I think there is still too few docs/samples for those, who'd like to write JIT-based interpreters. Today, the real examples to learn from are rather: - lli.cpp - ModuleMaker.cpp - Stacker which is still unfortunatelly not that much about JITing :( Well, what I am going to sell: What about very small JIT-based example similar to ModuleMaker? I mean example, where, say, two

Hi, where could one find any LLVM development roadmap for this and perhaps next year? Especially would be interesting to know about * planned features for PS3 Cell processor -- as well as for Wii, Xbox360 CPUs * multithreading in general * possibly coming changes in major versioning and related issues * other interesting featuring comments on current status to above listed items are also

Hi all maybe it is of interest for someone: I successfully compiled llvm and gcc front-end sources at Gentoo Linux (even on exotic x86-compatible CPU). Things seem to be running OK. This is a good prerequisite for making llvm ebuild script and promote llvm to hackers of fast-growing progressive Gentoo world. -- Valery A.Khamenya

Hi all, compilation of package llvm-1.0.tar.gz under redhat 9 is failed with following output: ------- make[3]: *** No rule to make target `/home/vak/llvm/llvm/runtime/GCCLibraries/crtend/BytecodeObj/C++-Exception.bc', needed by `/home/vak/llvm/llvm/lib/BytecodeLibs/libcrtend.bc'. Stop. make[3]: Leaving directory `/home/vak/llvm/llvm/runtime/GCCLibraries/crtend' ...skipped -------

Hi all see $subj http://www.google.com/trends?q=llvm congrats! P.S. sorry if known. best regards -- Valery A.Khamenya -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20080318/2bfc6887/attachment.html>

Attached are alternative the files for chapters 1-7 that use ocamlyacc and ocamllex. I have cleaned them up and debugged them as best I can but I may have missed something, so any comments on them would be great. Also, the LLVM-OCaml bindings are messed up in Fedora 10 (some of the binary files point to their origonal build directory) so I had to put in a dirty hack in the Makefile. I left in

On Tuesday 14 April 2009 01:29:44 Chris Wailes wrote: > I have managed to adapt almost all of the tutorial code into using ocamllex > and ocamlyacc (the only thing I'm missing is the ability to assign > precendence to user defined binary and unary operators), and was wondering > if ther would be an interest in adding my code as supplimental material. Yes! I thought it was a bit of