Are there other systems similar in some way to FriCAS that already use LLVM?
On 10 March 2014 15:43, Krystian Bacławski <[email protected]> wrote: > 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. -- 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.
