search for: cminusminus

...isappointing "raw" performances : http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=al http://www.gecode.org/benchmarks.html I have found a very interesting language : http://www.ps.uni-sb.de/alice/ Concurrency, logic verification I found this link : http://www.cminusminus.org with a front-end for ML Is it possible to do the same thing for llvm. What is the best framework ? : c-- or llvm Thank you for your answer, Best Regards, Guillaume FORTAINE

...I think we've been doing this wrong all >> along. Instead of writing assembly for each machine, we should be >> using LLVM assembly code and writing part of the bignum library on the >> "other side" of this interface. >> >> If you have time, check out the cminusminus language reference. They >> had a bits1 type for flags, like carry from addition, and a mulhi and >> mullo instruction. Now cminusminus never took off and died an untimely >> death (largely because they wrote it in some bizarre ML in my >> opinion), but from a bignum point o...

...LLVM is so capable, I think we've been doing this wrong all > along. Instead of writing assembly for each machine, we should be > using LLVM assembly code and writing part of the bignum library on the > "other side" of this interface. > > If you have time, check out the cminusminus language reference. They > had a bits1 type for flags, like carry from addition, and a mulhi and > mullo instruction. Now cminusminus never took off and died an untimely > death (largely because they wrote it in some bizarre ML in my > opinion), but from a bignum point of view, they got...

Hi all, After searching for a decent compiler backend for ages (google sometimes isn't helpful), I recently stumbled upon LLVM. Woot!! I work on bignum arithmetic (I'm a professional mathematician) and have recently decided to switch from developing GPL'd bignum code to BSD licensed code. (See http://www.mpir.org/ which I contributed to for a while - a fork of GMP). Please bear with

Chris Lattner <clattner at apple.com> writes: > FWIW, I really like this idea or concept, but we have to be careful > for it to be done right. This is also more general than just backends: > experimental optimizers and runtime libraries can also benefit from > something like this. Absolutely. In particular: > In the past, we've had some general infrastructure features