Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.compilers > #1468

Re: Automatic algorithm optimisation via fast matrix exponentiation

From "Nuno Lopes" <nuno.lopes@ist.utl.pt>
Newsgroups comp.compilers
Subject Re: Automatic algorithm optimisation via fast matrix exponentiation
Date 2015-01-11 19:22 +0000
Organization Compilers Central
Message-ID <15-01-011@comp.compilers> (permalink)
References <15-01-010@comp.compilers>

Show all headers | View raw


> Lovely article:
>
> http://kukuruku.co/hub/algorithms/automatic-algorithms-optimization-via-fast-matrix-exponentiation
>
> Do any compilers do this kind of thing?

Partially, yes.

For example, LLVM has a quadratic recurrence solver (named SCEV --
scalar evolution).  For this purpose, matrix exponentiation is pretty
much equivalent to recurrence solving.  So, if LLVM manages to rewrite
an induction variable as a recurrence, and if it manages to compute
its closed-form, then LLVM may replace a loop with straight-line code.

I believe GCC and MSVC can do similar things, since it's a somehow required
piece of technology for automatic vectorization, which all compilers can do
to some extent these days..

Nuno

Back to comp.compilers | Previous | Next — Previous in thread | Find similar | Unroll thread


Thread

Automatic algorithm optimisation via fast matrix exponentiation willvarfar@gmail.com - 2015-01-11 07:18 -0800
  Re: Automatic algorithm optimisation via fast matrix exponentiation "Nuno Lopes" <nuno.lopes@ist.utl.pt> - 2015-01-11 19:22 +0000

csiph-web