Re: [Caml-list] Ocamlopt x86-32 and SSE2

2009-05-10 Thread David MENTRE
Hello, Xavier Leroy xavier.le...@inria.fr writes: 1- Have an additional ia32sse2 port of ocamlopt in parallel with the current i386 port. 2- Declare pre-SSE2 processors obsolete and convert the current i386 port to always use SSE2 float arithmetic. 3- Support both x87 and SSE2 float

Re: [Caml-list] Ocamlopt x86-32 and SSE2

2009-05-10 Thread Richard Jones
On Sun, May 10, 2009 at 10:56:37AM +0200, CUOQ Pascal wrote: According to http://en.wikipedia.org/wiki/SSE2, someone using a Via C7 should be fine. AMD Geode then ... $ grep -i flags /proc/cpuinfo flags : fpu de pse tsc msr cx8 pge cmov mmx mmxext 3dnowext 3dnow up Rich. --

Re: [Caml-list] Ocamlopt x86-32 and SSE2

2009-05-10 Thread Florian Weimer
* Goswin von Brederlow: Having ocaml require SSE2 is quite unacceptable for someone with a Via C7 cpu (they don't have SSE2, right?) More problematic are AMD's K7 and some of their Sempron processors, I think. AMD introduced SSE2-less CPUs as late as 2004.

Re: [Caml-list] Ocamlopt x86-32 and SSE2

2009-05-10 Thread Matteo Frigo
Do you guys have any sort of empirical evidence that scalar SSE2 math is faster than plain old x87? I ask because every time I tried compiling FFTW with gcc -m32 -mfpmath=sse, the result has been invariably slower than the vanilla x87 compilation. (I am talking about scalar arithmetic here.

Re: [Caml-list] Ocamlopt x86-32 and SSE2

2009-05-10 Thread Jon Harrop
On Sunday 10 May 2009 12:04:13 David MENTRE wrote: Regarding option 2, I assume that byte-code would still work on i386 pre-SSE2 machines? So OCaml programs would still work on those machines. As far as I know, one is using ocamlopt to improve performance. I can't think of any case where one

Re: [Caml-list] Ocamlopt x86-32 and SSE2

2009-05-10 Thread Jon Harrop
On Monday 11 May 2009 00:12:49 Matteo Frigo wrote: Do you guys have any sort of empirical evidence that scalar SSE2 math is faster than plain old x87? I believe the motivation is to make good performance tractible in ocamlopt so it is more about the ease of code generation rather than the

[Caml-list] Student grants available: Global Computing Tutorial Series

2009-05-10 Thread Martin Steffen
with DisCoTec 09, Lisbon, 9-11 June. A Global Computing Tutorial Series promoted by the Sensoria and Mobius European projects will be held together with DisCoTec'09 (9-11 June) in Lisbon. Research themes addressed by the Sensoria (http://www.sensoria-ist.eu/) and Mobius (http://mobius.inria.fr/)

[Caml-list] Re: Ocamlopt x86-32 and SSE2

2009-05-10 Thread Stefan Monnier
As far as I know, one is using ocamlopt to improve performance. I can't think of any case where one would need native code running on pre-SS2 machines which are so outdated performance-wise. You mean we should make slow machines even slower? Stefan

Re: [Caml-list] Re: Ocamlopt x86-32 and SSE2

2009-05-10 Thread Jon Harrop
On Monday 11 May 2009 04:43:21 Stefan Monnier wrote: As far as I know, one is using ocamlopt to improve performance. I can't think of any case where one would need native code running on pre-SS2 machines which are so outdated performance-wise. You mean we should make slow machines even