Re: [Caml-list] testers wanted for experimental SSE2 back-end

2010-03-29 Thread Dmitry Bely
On Mon, Mar 29, 2010 at 8:49 PM, Xavier Leroy wrote: >>> This is a call for testers concerning an experimental OCaml compiler >>> back-end that uses SSE2 instructions for floating-point arithmetic.[...] >> >> I cannot provide any benchmark yet > > Too bad :-( I got very little feedback to my call

Re: [Caml-list] testers wanted for experimental SSE2 back-end

2010-03-29 Thread Xavier Leroy
Hello Dmitry, >> This is a call for testers concerning an experimental OCaml compiler >> back-end that uses SSE2 instructions for floating-point arithmetic.[...] > > I cannot provide any benchmark yet Too bad :-( I got very little feedback to my call: just one data point (thanks Gaetan). Perhap

Re: [Caml-list] testers wanted for experimental SSE2 back-end

2010-03-23 Thread Dmitry Bely
On Tue, Mar 23, 2010 at 12:07 PM, Daniel Bünzli wrote: >> let round x = truncate (x +. 0.5) > > Side note, if you are also interested in negative numbers Sure, it was just an code generation example. Probably I should use round_positive name. > that's not what you want. You want : > >> let round

Re: [Caml-list] testers wanted for experimental SSE2 back-end

2010-03-23 Thread Daniel Bünzli
> let round x = truncate (x +. 0.5) Side note, if you are also interested in negative numbers that's not what you want. You want : > let round x = floor (x +. 0.5) Best, Daniel ___ Caml-list mailing list. Subscription management: http://yquem.inria.f

Re: [Caml-list] testers wanted for experimental SSE2 back-end

2010-03-23 Thread Dmitry Bely
On Tue, Mar 9, 2010 at 7:33 PM, Xavier Leroy wrote: > Hello list, > > This is a call for testers concerning an experimental OCaml compiler > back-end that uses SSE2 instructions for floating-point arithmetic. > This code generation strategy was discussed before on this list, and I > include below

Re: [Caml-list] testers wanted for experimental SSE2 back-end

2010-03-13 Thread Gaëtan DUBREIL
With my audio processing application of about 1300 LOC, i get a speedup of about 9%. I run the application on Intel Pentium M under Kubuntu. The application spend all the time doing computation on bigarray of float. For me, the gain is appreciable. In real time audio processing, a speedup of 9%

Re: [Caml-list] testers wanted for experimental SSE2 back-end

2010-03-11 Thread Xavier Leroy
Mike Lin wrote: I have a bunch of biological sequence analysis stuff that could be interesting but I am already in x86-64 ("Wow! A 64 bit architecture!"). The above seems pretty clear but just to verify - I would not benefit from this new back-end, right? Right. Sorry for not mentioning this

Re: [Caml-list] testers wanted for experimental SSE2 back-end

2010-03-10 Thread Will M. Farr
On Mar 10, 2010, at 1:25 PM, Mike Lin wrote: > On Tue, Mar 9, 2010 at 11:33 AM, Xavier Leroy wrote: > Note that x86-64 bits systems as well as Mac OS X already use SSE2 as > their default floating-point model. > > I have a bunch of biological sequence analysis stuff that could be > interesting

Re: [Caml-list] testers wanted for experimental SSE2 back-end

2010-03-10 Thread Mike Lin
On Tue, Mar 9, 2010 at 11:33 AM, Xavier Leroy wrote: > - The register-based SSE2 model fits the OCaml back-end much better > than the stack-based x87 model. In particular, "let"-bound intermediate > results of type "float" can be kept in SSE2 registers, while in > the current x87 mode they ar

[Caml-list] testers wanted for experimental SSE2 back-end

2010-03-09 Thread Xavier Leroy
Hello list, This is a call for testers concerning an experimental OCaml compiler back-end that uses SSE2 instructions for floating-point arithmetic. This code generation strategy was discussed before on this list, and I include below a summary in Q&A style. The new back-end is being considered f