On Sun, Mar 9, 2014 at 3:27 PM, Waldek Hebisch <[email protected]>wrote:
>
> LLVM potentially has advantages like generating code
> to memory, exception support, garbage collection
> support.


Also automatic code vectorization, interprocedural and link time
optimizations, debugging support and many many more.

LLVM together with Clang is a direct competitor to GCC compiler. With my
approach, instead of generating C code, SPAD programs are encoded directly
into LLVM intermediate representation. Thus we skip another layer of
indirection (C language) which can introduce its own inefficiencies.

In case of LLVM backend that Krystian
> developed, it can generate quite good code when
> types are simple and known.  Much better than
> typical SBCL code.


It's worth to mention that currently the backend doesn't use all of
available optimizations. Some of them are hindered by Lisp-derived data
structures, another ones are disabled because of dynamic compilation (JIT
engine).

-- 
Kind regards
Krystian Bacławski

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to